Логика

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

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

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

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

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

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

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

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

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

ЛОГИЧЕСКИЕ ОШИБКИ — ошибки, обусловливаемые неправильным ходом мыслей в рассуждении. логические ошибки могут проистекать из-за неправильного истолкования или использования в качестве посылок данного рассуждения тех или иных утверждений (например, какое-либо утверждение, истинное при известных условиях, рассматривается как безусловно истинное); из-за нарушения законов логики в ходе рассуждения (например, известное «учетверение терминов» в силлогизме, когда посылки связываются благодаря наличию якобы общих терминов, хотя в действительности за этими терминами кроются разные понятия); из-за неправильного истолкования в качестве заключения утверждения, которое на самом деле не является выводом данного рассуждения (например, в доказательстве — подмена тезиса), и т. д. Логические ошибки делятся на непреднамеренные (паралогизмы) и сознательные.