Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Логическое следствие

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

Логический эмпиризм

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

Логический позитивизм (Фролов, 1991)

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

Логический атомизм (Фролов, 1991)

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

Логические формы

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

Логические ошибки (Фролов, 1991)

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

Логическая семантика (Фролов, 1991)

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

Логическая и фактическая истинность

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

Логицизм (Фролов, 1991)

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

Страницы