Логика

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

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

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

ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА (греч. … — возле, вне) — класс логических исчислений, в которых логический принцип «из противоречия следует все что угодно», не имеет места. Термин «П.л.» введен в 1976 г. перуанским философом Ф. Мироквисада.

ПАНЛОГИЗМ (от греч. πᾶν— все, весь и λόγος — слово, мысль, разум) — принцип, согласно которому действительность является логическим выражением понятия и по своей структуре эквивалентна логической структуре мышления. С методологической точки зрения П. предполагает умопостигаемость действительности и ее соответствие законам формальной логики. Термин предложен Ердманом (J.E. Erdmann) в 1853 г. для характеристики доктрины Гегеля, философия которого считается классическим выражением принципа П.

ОТРИЦАНИЕ — 1) в естественном языке—в зависимости от местоположения различают внешнее и внутреннее О. Внешнее О. (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем утверждается отсутствие положения дел, описываемого в отрицаемом высказывании. На основании классического понимания истинности как соответствия действительности это означает, что в случае истинности отрицаемого высказывания отрицающее его высказывание будет ложным, и наоборот. В русском языке пропозициональное О. обычно выражается посредством оборота «неверно, что», за которым следует отрицаемое высказывание...

ОБОБЩЕНИЕ И ОГРАНИЧЕНИЕ ПОНЯТИЙ — операции с понятиями, суть которых состоит в переходе от понятия с данным объемом к более широкому или к более узкому по объему понятию. Обобщить понятие А - означает найти понятие В с тем же родом, такое, что объем А строго включается в объем В. Ограничить понятие А — означает найти непустое понятие В с тем же родом, такое, что объем В строго включается в объем А.

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

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

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