Логика

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

ЛОГИКА ОТНОШЕНИЙ – 1. Раздел современной логики, рассматривающий отношения между объектами некоторой предметной области (областей). Хотя отношения для логики – частный случай предикатов, а именно многочленные, или многоместные (n-местные, n≥2), предикаты (а свойства трактуются соответственно как одноместные отношения), изучение их составляет особую сферу логики, особенно когда исследуются двуместные (бинарные) отношения.

ЛОГИКА НАУКИ – направление логических и философских исследований научного знания, основными задачами которого являются описание строения и структуры науки, определение важнейших познавательных функций научного знания и анализ используемых в различных научных дисциплинах – математике, естествознании, социальных, гуманитарных и технических науках логических процедур получения и обоснования знания, методов доказательства и опровержения. По своим задачам она тесно связана с философией науки, социологией науки и психологией научного исследования и открытия.

ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика – раздел логики символической, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. При этом в отличие от логики предикатов внутренняя структура простых высказываний не рассматривается, а учитывается лишь, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Под высказыванием понимается то, что выражается повествовательным предложением. Поэтому логику высказываний некоторые авторы называют также «логикой предложений».

ЛОГИКА ВОПРОСОВ – формальные средства описания отношения «вопрос – ответ». Формальные средства имитации вопросов называют интеррогативами. Примерами интеррогативов являются ли-вопросы («верно ли высказывание A?»), какой-вопросы («каковы все те x, которые удовлетворяют условию Р(х)?»), сколько-вопросы («сколько x таких, что Q(x))?») и почему-вопросы («почему химическое соединение х обладает наркотическим действием?»).

ЛОГИКА В РОССИИ. Уникальная история России 20 в. предопределила и уникальное развитие логики в ней, во многом непонятное для западного историка науки. В тоталитарной социальной системе логика стала объектом чисто идеологических манипуляций. Даже после того, как в 1947 формальная логика была возвращена в систему среднего и высшего образования, ее положение в этой системе не было независимым. В результате острой дискуссии в 1950–51 гг.

ФИЛОСОФСКАЯ ЛОГИКА – широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами логики символической, а также применение логики, в основном технического аппарата неклассических логик, к анализу и реконструкции различных философских проблем.

ЛОГИКА В РОССИИ. По-видимому, первым оригинальным российским сочинением по логике стали «Письма к немецкой принцессе» (Lettres à une princesse d'Allemagne) Л.Эйлера, сначала вышедшие в трех частях в Санкт-Петербурге (1767–72) на французском языке, затем в Лейпциге (1770) и позднее переведенные на русский под названием «Письма о разных физических и философических материях» (СПб., 1796). Затем полвека о логике в России книг не писали (за исключением компилятивной «Логики» И.С. Рижского, 1790), ограничиваясь немецкими и французскими источниками.

ЛОГИКА (греч. λογική – наука о мышлении, от λόγος – слово, речь, разум, рассуждение) – наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. Так как работа интеллекта всегда осуществляется в языковой форме, исследования в области логики напрямую связаны с исследованием различного рода языковых конструкций с точки зрения выполнения ими тех или иных познавательных функций. Язык в этом случае рассматривается как орудие познания, т.е.

ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ (непрямое доказательство) – доказательство «от противоречащего случая», такая форма логической аргументации, при которой явно используются дедуктивные свойства противоречия. Обычно выделяют две формы косвенного доказательства – разделительную и апагогическую. В разделительной форме исходной посылкой служит дизъюнкция суждений, о которой известно, что она истинна и образует полную систему гипотез (альтернатив), а тезисом доказательства (тем, что требуется доказать) объявляется (по крайней мере) одна из гипотез этой дизъюнкции. Таким образом, особенность разделительного косвенного доказательства – в исключении (как ложных) всех гипотез главной посылки, кроме тезиса...