Тема 2. Понятие о логической форме и логическом законе

2.1.Логическая форма и логическое содержание суждений.

2.2. Логическая форма умозаключений и критерий их правильности. Отношение логического следования.

2.3.Основные логические законы.

2.1. Логическая форма и логическое содержание суждений

Любое суждение (высказывание) выражается в языке в виде повествовательных предложений и имеет определённую знаковую (языковую) форму. Напомним, что суждение – это форма мысли, в которой утверждается наличие или отсутствие какой-либо ситуации. Например, «2- простое число»; «Волга впадает в Каспийское море». Это примеры простых суждений.

Можно выделить и сложные суждения, в которых содержатся такие логические характеристики как «некоторые», «всякий», «ни один», «все» и т.д. Например, «Все металлы электропроводны»; «Некоторые студенты отличники». Все эти суждения выражены определенным образом в языке, то есть имеют определённую знаковую, языковую форму.

Рассмотрим суждение «Все металлы электропроводны». Его языковая форма очевидна. Это суждение выражено в знаках (буквах) русского языка. Также из этого суждения мы может почерпнуть определённую информацию о конкретном предмете и его свойствах, то есть мы может выделить языковое содержание этого суждения. Оно заключается в следующем: всякий предмет, имеющий свойство металличности, также обладает и свойством проводить электрический ток.

Но с точки зрения задач логики как науки выражения естественного языка имеют ряд особенностей, которые затрудняют процедуру точного выражения логических форм.

Например, сравним два высказывания «Москва находится между Киевом и Нижним Новгородом» и «Москва находится южнее Мурманска и Архангельска». На первый взгляд эти высказывания по свое структуре одинаковы. И это так. Но только в отношении их грамматической структуры (они сходны). Но, по сути, в первом речь идёт о наличии какого-то отношения между тремя городами, то есть оно является простым. А во втором мы имеем дело со сложным суждением, состоящим из двух простых: «Москва южнее Мурманска» и «Москва южнее Архангельска».

Кроме того, выражения естественного языка многозначны и допускают различные трактовки одной и той же языковой формы. Например: сравним союзы «если…то» в высказываниях «Если вода нагрета до 100 , то она кипит» и «Если Волга впадает в Каспийское море, то Днепр – в Чёрное». В первом случае союз «если…то» выражает условную связь (при условии наличия одного свойства у предмета, обязательно появляется и другое свойство), то во втором случае этой условной связи нет.

В связи с этим, логика отвлекается от конкретной языковой формы и языкового содержаний высказываний и выделяет их логическую форму и логическое содержание. Чтобы выявить логическую форму и логическое содержание суждения, нужно отвлечься от тех конкретных предметов, свойств или отношений, о которых говорится в суждении. Например, найдем логическую форму и логическое содержание суждения «Все металлы электропроводны».

Отвлекаясь от того, что речь идет о металлах, обозначим их просто переменной S, а свойство электропроводности – переменной P. Так, мы получили две переменные – S и Р. Теперь нам надо восстановить между ними ту связь, которая у нас была в исходном суждении. Это исходное суждение утверждало, что у всех металлов есть конкретное свойство проводить ток. Эта связь выражается следующим образом: Все S есть Р. Таким образом вместо конкретного суждения о конкретных предметах и свойствах мы имеем логическую форму «Все S есть Р».

Это выражение несет в себе определенное содержание. В нем утверждается, что всякий предмет, обладающий свойством S , обладает также и свойством Р. Это и есть логическое содержание высказывания.

Рассмотрим ещё один пример. «Если вода нагрета до 100 , то она закипает». Найдем логическую форму и логическое содержание данного высказывания. Для этого мы снова отвлекаемся от того, что речь идет о конкретном предмете – воде. Результатом этого отвлечения будет введение некоторой переменной для обозначения этого предмета, например, А. Отвлекаясь так же от конкретных свойств (а их у нас два – нагретость до 100 , и закипание), заменим их переменными S и Р. В итоге получим: Если А есть S, то А есть Р. Логическое содержание здесь состоит в указании на связь между наличием у одного предмета свойства S и наличием другого – Р.

Таким образом, мы можем определить логическую форму как способ связи основных частей мысли, строение мысли, её структурные связи. Иными словами, логическая форма – это структура мысли. Логическое содержание – это содержание, которое представляет логическая форма высказывания.

При анализе высказываний необходимо выделять в них дескриптивные и логические термины. Дескриптивные термины – это термины, обозначающие предметы, свойства, отношения. Именно они составляют конкретное содержание мысли, от которого мы отвлекаемся при выделении логической формы.

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