ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.
Читайте подробное определение понятия Логика.
ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ,— 1. Разновидность неопозитивизма. Возник в 20-х гг. 20 в. в венском кружке (Карнап, О. Нейрат и др.), с которым тесно сотрудничало берлинское Общество эмпирической философии (Рейхенбах, К. Гемпель и др.). В конце 20— начале 30-х гг. широко распространяется в научных кругах западной интеллигенции и выступает как идейная основа неопозитивистской «философии науки». С конца 30-х гг. основным центром Л. п. становятся США.
ЛОГИЧЕСКИЙ АТОМИЗМ —концепция, сформулированная Расселом в его работах «Наше познание внешнего мира» (1914), «Философия логического атомизма» (1918) и др. и Витгенштейном в «Логико-философском трактате» (1921). В соответствии с Л. а. весь мир представляет собой совокупность не связанных друг с другом атомарных фактов. Философия J1. а. является, как признает сам Рассел, крайним плюрализмом, ибо она утверждает существование множества единичных вещей и отрицает к.-л. единство, целостность, состоящую из этих вещей. Исторически Л. а. возник как реакция на неогегельянство Ф.
ЛОГИЧЕСКИЕ ФОРМЫ — способы построения, выражения и связи мыслей (и частей мыслей) различного конкретного содержания, осуществляющиеся в процессе познания. Логические формы сложились в ходе общественно-исторической практики человечества, носят общечеловеческий характер, являются формами отражения действительности в мышлении и сами отражают наиболее общие черты действительности (напр., то, что всякий предмет имеет те или иные свойства, находится в каких-либо отношениях к др. предметам, что предметы образуют классы, одни явления вызывают др. явления и т. д.).
ЛОГИЧЕСКИЕ ОШИБКИ — ошибки, обусловливаемые неправильным ходом мыслей в рассуждении. логические ошибки могут проистекать из-за неправильного истолкования или использования в качестве посылок данного рассуждения тех или иных утверждений (например, какое-либо утверждение, истинное при известных условиях, рассматривается как безусловно истинное); из-за нарушения законов логики в ходе рассуждения (например, известное «учетверение терминов» в силлогизме, когда посылки связываются благодаря наличию якобы общих терминов, хотя в действительности за этими терминами кроются разные понятия); из-за неправильного истолкования в качестве заключения утверждения, которое на самом деле не является выводом данного рассуждения (например, в доказательстве — подмена тезиса), и т. д. Логические ошибки делятся на непреднамеренные (паралогизмы) и сознательные.
ЛОГИЧЕСКАЯ СЕМАНТИКА — отдел логики, изучающий значение выражений языка; в более точном смысле раздел металогики, изучающий интерпретации (Интерпретация и модель) логических исчислений (Формализованный язык). Основные понятия Логической семантики можно разделить на две группы: 1) входящие в так называемую теорию обозначения, применение которых к выражениям данного языка существенным образом зависит от выбора интерпретации (понятия истинности, обозначения, выполнимости, именования (Имя), экстенсиональности, синтетической истинности и др.); 2) принадлежащие к т. наз. теории смысла (значение и смысл, синонимия, аналитическая истинность и др.) и определяющиеся относительно всех возможных интерпретаций данного языка...
ЛОГИЧЕСКАЯ И ФАКТИЧЕСКАЯ ИСТИННОСТЬ — логические понятия, восходящие к Лейбницу, который различал необходимые истины, или «истины разума», и случайные истины, или «истины факта»; истинность первых вытекает из законов логики, истинность вторых — из соответствия фактическому положению вещей. Рассматривая законы логики как абсолютные, Лейбниц считал, что «истины разума» истинны во всех возможных (т. е. не противоречащих логике) мирах, тогда как истины факта истинны лишь в некотором из возможных миров (в т. ч.
ЛОГИЦИЗМ — одно из основных направлений обоснования математики, стремящееся свести всю математику к логике. Хотя эта идея высказывалась еще Лейбницем, но только в конце прошлого в. Фреге предпринял попытку ее реализации. Фреге ставил своей задачей: 1) определить исходные понятия математики в терминах одной лишь логики, 2) доказать ее принципы, исходя лишь из принципов логики и применяя только логические доказательства. Дальнейшие работы в этом направлении (Рассел и Уайтхед, 1910—13, Ф. П. Рамсей, 1926, У.
ЛОГИСТИЧЕСКИЙ МЕТОД — принятый в современной математике и логике метод построения формализованных систем (Формализация), или исчислений (в логическом синтаксисе употребляется термин «синтаксическая система»), Такие системы строятся чисто формально, как некоторые конфигурации знаков и их последовательности в отвлечении от смысла соответствующих выражений. Л. м.
ЛОГИСТИКА — первоначально так назывались логические исчисления. Лейбниц нередко говорил о математической логике как логистике. Понимание логистики как символической или математической логики было закреплено на философском конгрессе в Женеве в сентябре 1904 по предложению Ительсона, А. Лаланда и Л. Кутюра (Логицизм).
Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 224.
ЛОГИКА НАУЧНОГО ПОЗНАНИЯ— философская дисциплина, целью которой является применение идей, методов и аппарата современной логики к научному познанию. Логика научного познания изучает логическую структуру научных теорий, их компонентов (определений, классификаций, понятий, законов и т. п.), устанавливает логические связи между этими компонентами, рассматривает вопрос о непротиворечивости и полноте теорий, о способах формирования и проверки научных гипотез, анализирует логические аспекты таких методов научного познания, как обобщение, объяснение, абстракция, идеализация и т. п.