Логика

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

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

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

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

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

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

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

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

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

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