Логика

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

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

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

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

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

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

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

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

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

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