Логика

НЕПРОТИВОРЕЧИЯ ЗАКОН - один из основных принципов логического рассуждения, согласно которому два взаимно противоречащих высказывания не могут быть одновременно истинными, т.е. одно из них должно быть ложным. Формулировка Н.з. восходит к софистам. Аристотель формулирует Н.з. прежде всего как универсальный принцип бытия, наиболее достоверного из всех начал: «...невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении».

НЕКЛАССИЧЕСКИЕ ЛОГИКИ - широкая область логических исследований, выходящая за пределы области исследований классической логики высказываний и логики предикатов, или, наоборот, сужающая эти области.

МОДАЛЬНОСТЬ - характеристика положения дел в качестве (онтологически) необходимого, случайного, возможного (факические алетические М.), в качестве логически необходимого, логически случайного, логически возможного (логические алетические М.), в терминах «было», «будет», «всегда было» и пр. (временные М.), характеристика мнения человека в терминах «знает», «полагает» и пр. (эпистемические М.), действий или бездействий как разрешенных, запре-щенных, обязательных (деонтические М.) и др. Понятие М. сформулировано Аристо-телем.

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

МЕТАЛОГИКА — раздел современной логики, в котором исследуются способы построения логических теорий, свойства, присущие им, а также отношения, существующие между ними. Зачатки проблематики М. можно обнаружить уже в «Аналитиках» Аристотеля, пытавшегося обосновать синтаксическими методами полноту своей ассерторической силлогистики, однако активно М. стала развиваться лишь в современной логике.

Обычно под логикой понимается множество предложений, связанных между собой отношением логического следования. Поэтому первый вопрос, который здесь встает, есть вопрос о формализации (аксиоматизации) этого отношения, т.е. о возможности построения логической теории, в которой это отношение задавалось бы отношением выводимости...

ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ - одно из фундаментальных отношений между высказываниями по форме. Для установления этого отношения необходимо предварительно выявить логическую форму высказываний. Понятие Л.с. лежит в основе всякой теории правильных рассуждений. Рассуждение считается правильным, если и только если его посылки и заключение находятся в отношении Л.с., т.е. из посылок логически следует заключение.

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

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

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

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