Логика

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

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

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

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

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

ЛОГИЦИЗМ — одно из основных направлений обоснования математики, стремящееся свести всю математику к логике. Хотя эта идея высказывалась еще Лейбницем, но только в конце прошлого в. Фреге предпринял попытку ее реализации. Фреге ставил своей задачей: 1) определить исходные понятия математики в терминах одной лишь логики, 2) доказать ее принципы, исходя лишь из принципов логики и применяя только логические доказательства. Дальнейшие работы в этом направлении (Рассел и Уайтхед, 1910—13, Ф. П. Рамсей, 1926, У.

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

ЛОГИСТИКА — первоначально так назывались логические исчисления. Лейбниц нередко говорил о математической логике как логистике. Понимание логистики как символической или математической логики было закреплено на философском конгрессе в Женеве в сентябре 1904 по предложению Ительсона, А. Лаланда и Л. Кутюра (Логицизм).

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 224.

ЛОГИКА НАУЧНОГО ПОЗНАНИЯ— философская дисциплина, целью которой является применение идей, методов и аппарата современной логики к научному познанию. Логика научного познания изучает логическую структуру научных теорий, их компонентов (определений, классификаций, понятий, законов и т. п.), устанавливает логические связи между этими компонентами, рассматривает вопрос о непротиворечивости и полноте теорий, о способах формирования и проверки научных гипотез, анализирует логические аспекты таких методов научного познания, как обобщение, объяснение, абстракция, идеализация и т. п.

ЛЕММА (греч. lemma — предположение) — в логике — условно-разделительное умозаключение (лемматический силлогизм). В зависимости от количества условных суждений в большей посылке (соответственно членов дизъюнкции в меньшей) Л. выступает как дилемма (двучленная Л.), трилем ма (трехчленная), полилемма (многочленная). Наиболее распространенный вид Л.— дилемма, выражающая необходимость выбора между двумя решениями (альтернативами).

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 218.