Д Шадрин - Логика: конспект лекций

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

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

Исключающие суждениятакже отделяют один предмет от группы других. В них присутствуют слова «за исключением», «кроме» и др. Например: «Все студенты сдали сессию вовремя, кроме Иванова»; «За исключением Луны, небесные тела не являются спутниками Земли». Исключающими понятиями следует считать также правила русского языка, математики, физики, логики, иностранных языков и других наук, содержащие исключения из общего.

Частные сужденияможно отразить как «Некоторые S являются (не являются) Р». Учеными рассматривается точка зрения, относительно которой такие суждения могут быть неопределенными и определенными.По мнению исследователей, неопределенными суждениямиявляются те, которые не содержат более-менее точного указания на круг предметов, мнение о которых отражается в данных суждениях. Так, например, суждение «Некоторые автомобили являются спортивными» считают неопределенным, так как в нем мы не говорим, что спортивными следует признать все автомобили, но и не даем указания на то, что только часть автомобилей может считаться спортивными. Слово «некоторые», которое указывает на принадлежность данного суждения к частным, исследователи, придерживающиеся указанной точки зрения, считают недостаточным ограничением количества предметов, относительно которых выводится данное суждение. Для изменения смысла этого слова и получения определенных суждений предлагается уточнять их словом «только». Например, определеннымбудет суждение «Только некоторые автомобили являются спортивными».

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

Единичные категорические суждения имеют структуру «Это S суть (не суть) Р». Соответственно, их субъектом является единичное понятие, т. е. понятие, объем которого исчерпывается лишь одним элементом. Единичными суждениями, таким образом, являются: «Москва — столица России»; «Дж. Лондон не является русским писателем»; «Солнце не является планетой».

Понятие сложных суждений неразрывно связано с конъюнкцией, дизъюнкцией, импликацией, эквиваленцией и отрицанием.

Это так называемые логические связки. Они используются в качестве объединяющего звена, привязывающего одно простое суждение к другому. Именно так образуются сложные суждения. То есть сложные суждения— это суждения, созданные из двух простых.

Отношение истинности суждений отображается в таблицах. Эти таблицы отражают все возможные случаи истинности и ложности суждений, причем каждое из простых суждений, входящее в состав сложного, отражается в «шапке» таблицы в виде буквы (например, a, b). Истинность или ложность отражается в виде букв «И» или «Л» (истина и ложь соответственно).

Прежде чем рассматривать конъюнкцию, дизъюнкцию, импликацию, эквиваленцию и отрицание, имеет смысл дать им краткую характеристику. Данные логические связки называют логическими постоянными.

В литературе можно встретить их иное название — логические константы, однако от этого не меняется их суть. В нашем языке эти постоянные выражаются определенными словами. Так, конъюнкция выражается союзами «да», «но», «хотя», «зато», «и» и другими, а дизъюнкция — при помощи союзов «или», «либо» и др. Можно говорить об истинности конъюнкции, если истинны оба простых суждения, входящих в нее. Дизъюнкция истинна, когда истинно только одно простое суждение. Это относится к строгой дизъюнкции, нестрогая же истинна при условии истинности хотя бы одного из составляющих ее простых суждений. Импликация характеризуется истинностью всегда, кроме одного случая.

Рассмотрим сказанное выше подробнее.

Конъюнкция (a^b) — это способ связи простых суждений в сложные, при котором истинность полученного суждения напрямую зависит от истинности составных. Истинность таких суждений достигается только тогда, когда оба простых суждения (и а, и b) так же истинны. Если хотя бы одно из данных суждений ложно, то ложным следует признать и образованное из них новое, сложное суждение. Например, в суждении «Этот автомобиль очень качественный (а) и пробежал всего десять тысяч метров (b)» истинность зависит как от его правой стороны, так и от левой. Если оба простых суждения истинны, то истинно и сложное, образованное из них. В противном случае (если хотя бы одно из простых суждений ложно) оно является ложным. Это суждение является характеристикой конкретному автомобилю. Ложность одного из простых суждений, очевидно, не исключает истинности другого, и это может приводить к ошибкам, связанным с определением истинности сложных суждений, образованных при помощи конъюнкции. Конечно, истинность одного простого суждения не исключается ложностью другого, но не следует забывать, что мы даем характеристику предмету, и с этой точки зрения ложность одного из простых суждений рассматривается с другой стороны. Это связано с тем, что с ложностью суждения по одному из пунктов данной характеристики характеристика в целом становится ложной (другими словами, ведет к передаче неверной информации о машине в целом).