Искать в словарях

АБВГДЕ-ЁЖЗИКЛМНОПРСТУФХЦЧШЩ,Э,Ю,Я


Х
Х
Х

логика

Большой энциклопедический словарь

ИНДУКТИВНАЯ ЛОГИКА - логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания следствий из таких посылок
ИНТУИЦИОНИСТСКАЯ ЛОГИКА - логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
ЛОГИКА - ( греческий logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и другие Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и другие См. также Математическая логика.
ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из тысяча ново-. Ср. нов. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и другие Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
ЛОГИКА КЛАССОВ - логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).
ЛОГИКА НАУКИ - наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четверть 20 век Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в рамках современной философии. Термин "логика науки" употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научных открытий).
ЛОГИКА ПРЕДИКАТОВ - раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
МАТЕМАТИЧЕСКАЯ ЛОГИКА - дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
МНОГОЗНАЧНАЯ ЛОГИКА - общее наименование логических систем, в которых, помимо двух значений истинности ("истина" и "ложь"), рассматриваются и другие значения ( например , "бессмысленно", "неопределенно" и тому подобные ). Широко применяются в логической семантике и кибернетике.
МОДАЛЬНАЯ ЛОГИКА - логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА - совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания.
ПОР-РОЯЛЯ ЛОГИКА - логическое учение, основано на принципах философии Декарта и Паскаля; систематически изложена в книге близких к монастырю Пор-Руаяль А. Арно и П. Николя "Логика, или Искусство мыслить" (1662), в которой логика определяется как наука, формулирующая методы установления истины в науках о природе и математике.
СИМВОЛИЧЕСКАЯ ЛОГИКА - то же, что математическая логика.
ФОРМАЛЬНАЯ ЛОГИКА - смотрите также Логика.

Словарь русского языка С. И. Ожегова

логика - наука о законах и формах мышления Формальная л. Диалектическая л.
логика - логика разумность, внутренняя закономерность чего-нибудь Л. вещей. Л. событий.
логика - логика ход рассуждений, умозаключений У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.).

"Толковый словарь живого великорусского языка" В. Даль

ЛОГИКА - женский род греческий наука здравомыслия, наука правильно рассуждать; умословие. Логик малый; мужской род умослов, правильный и здравый мыслитель, знающий науку правильного рассуждения. Логический, логичный, согласный с логикою; здравое, правильное рассуждение. Логистика математическое, термин математический алгебра.
ЛОГИКА - Логарифмика.
ЛОГИКА - Часть тактики, о передвижении войск. Логомахия женский род словопрение, спор из пустого в порожнее. Логогриф малый; мужской род род загадки, в которой слово разлагается по слогам.

Толковый словарь русского языка Под ред. Д. Н. Ушакова

ЛОГИКА - логики, женский род ( греческий logike от logos - слово, разум).
. . . 1. Наука об общих законах развития объективного мира и познания (филос.). Логика есть учение не о внешних формах мышления, а о законах развития "всех материальных, природных и духовных вещей", то есть развития всего конкретного содержания мира и познания его, то есть итог, сумма, вывод истории познания мира. Ленин. Формальная, логика идеалистической философии считает общие понятия и формы познания неизменными, раз навсегда данными. Логика диалектического материализма утверждает, что формы познания меняются вместе с изменением объективного мира, и потому является наукой об историческом развитии человеческого мышления, как отражения в сознании развития объективного мира.
. . . 2. Разумность, правильность умозаключений. Говорить с неотразимой логикой.
. . . 3. Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.

Орфографический словарь под ред. проф. Лопатина

логика - ло́гика -- ло́гика, -и
неаристотелевская логика - неаристо́телевская ло́гика -- неаристо́телевская ло́гика

Новый толково-словообразовательный словарь русского языка, Т. Ефремовой

логика - женский род
- - - 1) Научная дисциплина, изучающая способы доказательств и опровержений.
- - - 2) Внутренняя закономерность, присущая явлениям природы, общества.
- - - 3) Правильный, разумный ход рассуждений, умозаключений.

Cловарь философских терминов

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА - ДИАЛЕКТИЧЕСКАЯ ЛОГИКА— наука о законах и формах отражения в мышлении развития объективного мира, о развитии самого познания. Д. л. в своем научном выражении возникла как составная часть марксистской философии. Однако ее элементы имели место уже в древн., особенно античной, философии, в учениях Гераклита, Платона, Аристотеля и другие В силу исторических обстоятельств в течение длительного периода формальная логика считалась единственным учением о законах и формах мышления. Но уже примерно с 17 век под давлением потребностей развивающегося естествознания и философской мысли начинает осознаваться ее недостаточность, необходимость учения о всеобщих принципах и методах мышления и познания (Ф. Бэкон, Декарт, Лейбниц и другие ). Наиболее яркое выражение эта тенденция в новое время получила в немецкий классической философии. Так, Кант проводил различие между обшей и трансцендентальной логикой; последняя, на его взгляд, отличается от первой, то есть формальной, тем, что она изучает развитие знаний и не отвлекается подобно ей, от содержания. Особая заслуга в разработке Д. л. принадлежит Гегелю, давшему ее первую всесторонне разработанную систему, проникнутую, однако, идеалистическим взглядом на мир. Марксистское учение о Д. л. вобрало в себя все ценное из предыдущего, переработав огромный опыт развития человеческого сознания и обобщив его в строгую науку о познании. Д. л. не отвергает формальную логику, а позволяет уточнить ее границы, место и роль в изучении законов и форм мышления. Если задача формальной логики связана с изучением правил развертывания готового содержания знания, то задача Д. л.— исследование законов генезиса и развития познавательного содержания, перехода его от одного уровня к древний Ленин обращал внимание на то, что в марксизме диалектика, логика и теория познания находятся в глубоком единстве, а в определенном смысле даже совпадают друг с другом. Поэтому две проблемы, решаемые в Д. л., взаимосвязаны: 1) исследование того, как в понятиях выразить диалектику действительности; 2) изучение развития самого познания, мышления. С решением первой проблемы связано прежде всего изучение вопроса о выражении диалектических противоречий в логике понятий. Д. л. не отождествляет реальных диалектических и логических противоречий, так же как не смешивает формально-логических противоречий с диа-лектико-логическими, являющимися необходимой формой развития мысли. Вопрос о последних связан с вопросами об антиномиях и парадоксах познания. Д. л. формулирует ряд общих принципов, относящихся как к развитию познания в целом, так и к развертыванию отдельных более или менее законченных научных теорий. Это, например , такие принципы, как восхождение от абстрактного к конкретному, единства логического и исторического, единства анализа и синтеза. Особенность Д. л. состоит в том, что она не пытается формулировать какую-то абсолютную, замкнутую, не способную к развитию модель познавательного процесса, а показывает ограниченный характер всех таких моделей, их обусловленность конкретным этапом развития познания, культуры, социально-практической деятельности. Д. л. строится и развивается как философское обобщение истории развития человеческого познания. По множественное число вопросам Д. л. философы-марксисты ведут споры.
ФОРМАЛЬНАЯ ЛОГИКА - ФОРМАЛЬНАЯ ЛОГИКА — наука. изучающая формы мысли — понятия, суждения, умозаключения, доказательства — со стороны их логической структуры, то есть отвлекаясь от конкретного содержания мыслей и вычленяя лишь общий способ связи частей этого содержания. Осн. задача Ф. л.— сформулировать законы и принципы, соблюдение к-рых является необходимым условием достижения истинных заключений в процессе получения выводного знания. Начало Ф. л. было положено трудами Аристотеля, разработавшего силлогистику. Дальнейший вклад в развитие Ф. л. внесли ранние стойки, в средние века — схоласты (Петр Испанский, Дум Скот, Очкам, Луллий и другие ); в новое время — прежде всего Лейбниц. Отход от многовековой традиции изучения проблем дедуктивной логики связан с исследованием индукции и попыткой сформулировать правила индуктивных умозаключений (Ф. Бэкон, позднее Милль и другие ). Новый этап в развитии Ф. л. наступил с конца 19 — начала 20 век , когда стала интенсивно развиваться математическая (символическая) логика. Последняя, разрабатывая логические теории математических рассуждений и доказательств, обогатила Ф. л. новыми методами и средствами логического исследования.
ИНДУКТИВНАЯ ЛОГИКА - ИНДУКТИВНАЯ ЛОГИКА — в тра диционной логике раздел, занимающийся логическими процессами умозаключений от частного к общему (Индукция). Представители традиционного ин-дуктивизма, например Милль, усматривали задачу И. л. в анализе процессов получения общего теоретического знания из единичного, эмпирического. В истории логики имела место и другие концепция предмета И. л., ограничивающая ее задачи анализом логических критериев проверки научных утверждений в рамках гчпотетико-дедуктивного метода, к-рая была сформулирована в 19 век английское; слово английского происхождения логиком У. Уэвеллом и получила широкое распространение в совр. логике науки. Она имеет свое основание в недостаточности индуктивных методов для получения научно-теоретических положений, формирование к-рых предполагает вычленение нового мысленного содержания и образование новых научных абстракций. Ограниченность этой концепции состоит в неправомерном отказе от логического исследования процессов получения научного знания вообще, то есть от анализа их как общественно необходимых, не зависящих от особенностей индивидуального сознания и определяемых объективным содержанием познавательных процессов. Совр. И. л. расширяет область своего применения и рассматривает не только умозаключения от частного к общему, но и вообще все те логические отношения, когда истинность проверяемого знания нельзя достоверно установить на основании тех знаний, истинность к-рых нам известна, а можно лишь определить, подтверждается ли, а если да, то с какой степенью, первое знание последними. Одним из центральных понятий совр. И. л. является поэтому понятие степени подтверждения, к-рое обычно интерпретируется как вероятность гипотезы при имеющихся эмпирических знаниях. Совр. И. л. использует тем самым методы теории вероятностей (Вероятностей теория) и превращается в вероятностную логику.
КОМБИНАТОРНАЯ ЛОГИКА - КОМБИНАТОРНАЯ ЛОГИКА (лат combinare — соединять, сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, к-рые в рамках классической математической логики принимаются без дальнейшего изучения. К их числу принадлежат понятия переменной, функции, правила подстановки и тому подобные В классической математической логике пользуются правилами двух родовой Первые формулируются просто и используются без всяких ограничений. Таково, например , правило modus ponens. Оно формулируется так: если выведены предложения “Если А, то “В” и “А”, то выводится предложение “В”. Это правило доступно для одноактного автоматического выполнения. Др. ( например , правило подстановки) формулируются очень сложно и предполагают ряд ограничений и оговорок (без них они не могут использоваться чисто формально). Одной из задач Кулагин л. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.
КОНСТРУКТИВНАЯ ЛОГИКА - КОНСТРУКТИВНАЯ ЛОГИКА (лат. constructio — построение) — направление в математической логике. Начало развитию Кулагин л. положено работами Л. Брауэра, Г. Вейля, А. Рейтинга. Осн. идея Кулагин л. состоит в запрещении переносить на бесконечные множества принципы, верные для конечных множеств ( например , положение о том, что целое больше части, исключенного третьего закон и другие ). Различны тысяча зр. классической и Кулагин л. на понятие бесконечности: первая рассматривает бесконечность как актуальную, завершенную, вторая — как потенциальную, становящуюся. Для Кулагин л. характерно также индуктивное построение (конструирование) объектов и логико-математических теорий в целом. Исходя из принципов Кулагин л., делаются попытки пересмотреть осн. результаты совр. математической логики и математики. Большой вклад в развитие Кулагин л. внесли Гёдель, С. Кли-ни, Тьюринг, советские ученые А. Н. Колмогоров. А. А. Марков, Н. А. Шанин.
ЛОГИКА - ЛОГИКА—cм. Диалектическая логика. Математическая логика, Формальная логика.
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ - ЛОГИКА НАУЧНОГО ПОЗНАНИЯ— философская дисциплина, целью к-рой является применение идей, методов и аппарата совр. логики к научному познанию. Л. ново-. Ср. нов. пуд изучает логическую структуру научных теорий, их компонентов (определений, классификаций, понятий, законов и тому подобные ), устанавливает логические связи между этими компонентами, рассматривает вопрос о непротиворечивости и полноте теорий, о способах формирования и проверки научных гипотез, анализирует логические аспекты таких методов научного познания, как обобщение, объяснение, абстракция, идеализация и тому подобные Л. ново-. Ср. нов. пуд , в отличие от неопозитивистской логики науки, не ставит перед собой в качестве единственной и осн. задачи построение логико-математических моделей изучаемых объектов на основе их полной формализации. В Л. ново-. Ср. нов. пуд логика рассматривается как необходимое. но недостаточное условие анализа всякого содержания. В рамках марксистско-ленинской науки Л. ново-. Ср. нов. пуд разрабатывается с позиций диалектики как общей методологии научного познания.
ЛОГИКА ОТНОШЕНИЙ - ЛОГИКА ОТНОШЕНИЙ—раздел математической логики, изучающий отношения.
МАТЕМАТИЧЕСКАЯ ЛОГИКА - МАТЕМАТИЧЕСКАЯ ЛОГИКА (или символическая логика) — область знания,, к-рая сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л. логические процессы изучаются посредством их отображения в формализованных языках, или логических исчислениях. Наряду с изучением формального строения логических исчислений (Логический синтаксис) в М. л. встает также задача рассмотрения отношений между исчислениями и теми содержательными областями, к-рые служат их интерпретациями и моделями. Эта задача обрисовывает проблематику логической семантики. Логический синтаксис и семантика включаются в металогику — теорию средств описания, предпосылок и свойств логических исчислений. Нек-рые исходные понятия М. л. содержатся уже в учении мегаро-стоической школы (3 век до ново-. Ср. нов. э.). Саму же идею логического исчисления, по-видимому, впервые сформулировал Лейбниц. Однако как самостоятельная дисциплина М. л. оформилась в середине 19 век благодаря работам Буля. С Буля начинается развитие тысяча наз. алгебры логики. Др. направление разработки М. л., ставшее определяющим, начинается с конца 19 век в связи с потребностями математики в обосновании своих понятий и способов доказательств. У истоков этого направления лежат труды Фреге. Значительный вклад в его развитие внесли Рассел и Уайтхед (“Principia Mathe-matica”, 1910—13) и Гельберт. В этот период создаются фундаментальные логические системы М. л.— классические исчисление высказываний и исчисление предикатов. Крупные результаты, определившие совр. состояние М. л., были получены век 30-х гг. Гёделем. Тар-ским, А. Чёрчем. Совр. этап М. л. характеризуется исследованием разнообразных видов логических исчислений, интересом к проблемам семантики и вообще металогики, к вопросам специальных математических и технических приложений логики. В связи с задачами обоснования математики наряду с работами в области классической М. л. разрабатывается интуиционистская и конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Ведутся исследования в области многозначных, модальных • и релевантных логик. М. л. оказала влияние на развитие ряда разделов совр. математики, общей алгебры, теории алгоритмов, рекурсивных функций, формальных систем. М. л. находит приложение в электротехнике (исследование релейно-кон-тактных и электронных схем), вычислительной технике (программирование), кибернетике (теория автоматов), нейрофизиологии (моделирование нейронных сетей), языкознании (структурная лингвистика и семиотика) .
МНОГОЗНАЧНАЯ ЛОГИКА - МНОГОЗНАЧНАЯ ЛОГИКА—логическая система, выражения к-рой принимают в интерпретации более двух истинностных значений (в случае только двух значений — “истинно” или “ложно” — имеет место классическая двузначная логика), а в общем случае — любое конечное или бесконечное множество значений. Первые такие системы — трехзначная логика высказываний и я-значная логика высказываний—построены Лукасевичем (1920) и Э. Постом (1921). В настоящее время построен ряд систем М. л. и исследуются их философские и структурные аспекты. Работы в области М. л. имели целью решение различных задач. как общелогических, так и специально-научных. Напр., трехзначная и четырехзначная логики высказываний Лу-касевича строились с целью создания модальной логики, трехзначное исчисление Д. А. Бочвара — с целью разрешения парадоксов классической математической логики. Следует также отметить приложения М. л. к обоснованию квантовой механики (работы Г. Биркгофа, Дж. Неймана, Рейхен-баха) и к теории релейных схем (работы В. И. Шестакова, Г. Моисила и другие ).
МОДАЛЬНАЯ ЛОГИКА - МОДАЛЬНАЯ ЛОГИКА—логическая система, изучающая структуру рассуждений, в состав к-рых входят модальности (модальные операторы): “необходимо”, “возможно”, “действительно”, “случайно” — и их отрицания. В трудах Аристотеля, стоиков, схоластов уже были сформулированы нек-рые осн. определения и законы М. л. Исследование модальностей средствами математической (символической) логики было начато Кулагин Льюисом и Лукасевичем. Ими были предложены системы М. л., в к-рых модальности носят абсолютный характер, то есть приписываются высказыванию безотносительно к к.-либо другому высказыванию. В настоящее время исследуются тысяча наз. релевантные М. л., включающие относительные модальности. В зависимости от смысла, к-рый вкладывается в модальные операторы, различают логику алогических модальностей, логику эпистемологических модальностей и деонтическую логику. Важные результаты в области семантики М. л. получены С. Крипке.
ВЕРОЯТНОСТНАЯ ЛОГИКА - ВЕРОЯТНОСТНАЯ ЛОГИКА—ло гика, предметом к-рой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания (тогда вероятность приписывается ему в качестве промежуточного значения между истиной и ложью) или как оценка отношения пары обычных двузначных высказываний. В отличие от теории вероятностей в В. л. обозначение вероятности точным числом не является глагол требованием. Строящийся на этом фундаменте логический аппарат применяется для приближенной оценки гипотез не путем их соотнесения с действительностью, а через древний высказывания, выражающие наши знания. Так, в зависимости от соответствия гипотезы “Завтра будет дождь” метеорологическим данным можно говорить о высокой или низкой степени ее вероятности. Следовательно, степень вероятности гипотезы есть функция от двух аргументов: самой гипотезы и имеющихся знаний. Вычисление вероятности сложных гипотез, когда известны вероятности составляющих их высказываний, во всех системах В. л. происходит по правилам математического исчисления вероятностей (Вероятностей теория). Т. обр., В. л. является одной из интерпретаций этого исчисления. В настоящее время аппарат В. л. находит наибольшее применение в индуктивной логике. Высказывания о В. л. имеются еще у Аристотеля и древн. скептиков, но первые серьезные идеи о ней принадлежат Лейбницу. Выделение В. л. из теории вероятностей началось с середины 19 век , когда начал выявляться предмет последней — массовые случайные события. Впрочем, и в наше время делается много попыток рассматривать учение о вероятностях как единую науку, ветвями к-рой являются теория вероятностей и В. л.
Это интересно


Россия