Логика

МОДАЛЬНОСТЬ (в логике) (лат. modus — мера, способ) — характеристика суждения по «силе» высказываемого в нем утверждения: суждение может быть необходимым, возможным, случайным, невозможным и т. д. В традиционной логике различают суждения, выражающие необходимость (аподиктические), возможность (проблематические) и действительность (ассерторические). Современная логика дает возможность анализировать свойство Модальности, рассматривая его как известную «металогическую» оценку суждения, высказывания. При этом различаются логическая и описательная Модальности.

МОДАЛЬНАЯ ЛОГИКА— логическая система, изучающая структуру рассуждений, в состав которых входят модальности (модальные операторы): «необходимо», «возможно», «действительно», «случайно» — и их отрицания. В трудах Аристотеля, стоиков, схоластов уже были сформулированы некоторые основные определения и законы Модальной логики. Исследование модальностей средствами математической (символической) логики было начато К. Льюисом и Лукасевичем.

МНОГОЗНАЧНАЯ ЛОГИКА — логическая система, выражения которой принимают в интерпретации более двух истинностных значений (в случае только двух значений — «истинно» или «ложно» — имеет место классическая двузначная логика), а в общем случае — любое конечное или бесконечное множество значений. Первые такие системы — трехзначная логика высказываний и n-значная логика высказываний — построены Лукасевичем (1920) и Э. Постом (1921).

МЕТАЛОГИКА (греч. meta — после, за и logos — слово, понятие, рассуждение) — теория, исследующая системы и понятия (Метатеория) современной формальной логики. Разрабатывает вопросы теории доказательств, определимости понятий, истины в формализованных языках, интерпретации, смысла и т. д. Металогика делится на два раздела: логический синтаксис и логическую семантику. Развитие М. связано с построением и изучением свойств формализованных языков. Основные работы в области Металогики принадлежат Фреге, представителям львовско-варшавской школы польских логиков, Гильберту, Гёделю, А.

МАТЕМАТИЧЕСКАЯ ЛОГИКА  (или символическая логика) — область знания, которая сложилась в результате применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств. В М. л. логические процессы изучаются посредством их отображения в формализованных языках, или логических исчислениях. Наряду с изучением формального строения логических исчислений (Логический синтаксис) в М. л. встает также задача рассмотрения отношений между исчислениями и теми содержательными областями, которые служат их интерпретациями и моделями.

ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА — группа польских логиков и философов (Лукасевич, Т. Котарбиньский, Айдукевич, С. Лесьневский, Л. Хвистек, Тарский и др.), работавших в период между 1-й и 2-й мировыми войнами в основном в Варшаве, Львове и Кракове. Основоположником ее является К. Твардовский. В философском отношении в Львовско-варшавской школе представлены самые разнообразные направления (от материализма Т. Котарбиньского до неотомизма Я. Саламухи и Ю. Бохеньского). Для большинства представителей этой школы характерно: а) отрицание иррационализма, уточнение с помощью аппарата математической логики основных идей и принципов традиционного рационализма; б) стремление к точному исследованию логики научного рассуждения; в) интерес к логической семантике...

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ одно из основных понятий логики, выражающее отношение (отношение логического следования) между высказываниями, зависящее от их логического содержания. Согласно принятому (в классической логике) определению, высказывание В есть Л. с.

ЛОГИЧЕСКИЙ ЭМПИРИЗМ — один из вариантов аналитической философии, являющийся непосредственным продолжением логического позитивизма конца 20 — начала 30-х гг. 20 в. Основные представители Логического эмпиризма — Карнап, Рейхенбах, Г. Фейгль, К. Гемпель, Г. Бергман, Франк. В качестве «эмпирического языка науки» Логический эмпиризм предлагал так называемый вещный язык, выражающий чувственно воспринимаемые физические явления, а не язык личных переживаний субъекта.

ЛОГИЧЕСКИЙ СИНТАКСИС —1) система правил, определяющих построение и преобразование выражений некоторого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений.

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ,— 1. Разновидность неопозитивизма. Возник в 20-х гг. 20 в. в венском кружке (Карнап, О. Нейрат и др.), с которым тесно сотрудничало берлинское Общество эмпирической философии (Рейхенбах, К. Гемпель и др.). В конце 20— начале 30-х гг. широко распространяется в научных кругах западной интеллигенции и выступает как идейная основа неопозитивистской «философии науки». С конца 30-х гг. основным центром Л. п. становятся США.