Модальные сложные суждения

Модальные простые суждения

Простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий)

Структура: М (SестьР)илиМ (Sне естьР), где М –модальный оператор (модальное понятие)

Пример: Из немодального высказывания (Ртуть – металл» можно образовать модальные высказывания «Возможно, что ртуть – металл», «немыслимо, чтобы ртуть была металлом», «Доказано, что ртуть – металл» и т.д.

Сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий)

Структура: М (p&q); M (p ν q); M (p É q); M (p º q).

Пример:Из сложного высказывания «Если температура выше 100 градусов, то вода превращается в пар» можно получить модальное высказывание «Физически необходимо, что если температура выше 100 градусов, то вода превращается в пар».

VI. Понятие логического закона

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

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

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

§ ЗАКОНЫ ЛОГИКИ – это такие выражения, которые являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами, логическим законом является сама логическая форма, гарантирующая истинность выражения при любом содержании.

§ ЗАКОН ЛОГИКИ – это выражение, содержащее только константы и переменные и являющееся истинным в любой (непустой) предметной области (так, любой закон логики высказываний или логики предикатов является примером логического закона). Это так называемые законы связи между мыслями. Логические законы принято называть также тавтологиями.

§ ЛОГИЧЕСКАЯ ТАВТОЛОГИЯ – это «всегда истинное выражение», то есть остающееся истинным независимо от того, о какой области объектов идет речь. Любой закон логики является логической тавтологией.

§ Особую роль играют так называемые законы (принципы), определяющие необходимые общие условия, которым должны удовлетворять наши мысли и логические операции с мыслями. В традиционной логике в качестве таковых рассматриваются:

Ø закон тождества

Ø закон непротиворечия

Ø закон исключенного третьего

Ø закон достаточного основания

1. Закон тождества: В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе.

В математической логике закон тождества выражается следующими формулами:

аºа (в логике высказываний) и АºА (в логике классов, в которой классы отождествляются с объемами понятий).

Тождество есть равенство, сходство предметов в каком-либо отношении. Например, все жидкости тождественны в том, что они теплопроводны, упруги. Каждый предмет тождествен самому себе. Но реально тождество существует в связи с различием. Нет и не может быть двух абсолютно тождественных вещей (например, двух листочков дерева, близнецов и т.д.). Вещь вчера и сегодня и тождественна, и различна. Например, внешность человека изменяется с течением времени, но мы его узнаем и считаем одним и тем же человеком. Абстрактного, абсолютного тождества в действительности не существует, но в определенных границах мы можем отвлечься от существующих различий и фиксировать свое внимание на одном только тождестве предметов или их свойств.

В мышлении закон тождества выступает в качестве нормативного правила (принципа). Он означает, что нельзя в процессе рассуждения подменять одну мысль другой, одно понятие – другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.

Например, тождественными по объему будут три такие понятия: «ученый, по инициативе которого был основан Московский университет»; «ученый, сформулировавший принцип сохранения материи и движения»; «ученый, ставший с 1745 г. первым русским академиком Петербургской академии» – все они обозначают одного и того же человека (М.В. Ломоносова), но дают различную информацию о нем.

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

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

Отождествление (или идентификация) широко используется в следственной практике, например, при опознании предметов, людей, отождествлении почерков, документов, подписей на документе, отождествлении отпечатков пальцев.

2. Закон непротиворечия: Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресение» и «Лев Толстой не является автором романа «Воскресение».

Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: «Осенью дождь полезен для грибов» и «Осенью дождь не полезен для уборки урожая». Суждения «Этот букет роз свежий» и «Этот букет роз не является свежим» также не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время.

Не могут быть одновременно истинными следующие четыре типа простых суждений:

1. «Данное S есть Р» и «Данное S не есть Р».

2. «Ни одно S не есть Р» и «Все S есть Р».

3. «Все S есть Р» и «Некоторые S не есть Р».

4. «Ни одно S не есть Р» и «Некоторые S есть Р».

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

В исчислении высказываний классической двузначной логики закон непротиворечия записывается следующей формулой: а∧ā. Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том отношении». К противоположным суждениям относятся: 1) противные (контрарные) суждения А и Е, которые оба могут быть ложными, поэтому не являются отрицающими друг друга, и их нельзя обозначить как а и ā; 2) противоречащие (контрадикторные) суждения А и О, Е и I, а также единичные суждения «Это S есть P» и «Это S не есть Р», которые являются отрицающими, так как если одно из них истинно, то другое обязательно ложно, поэтому их обозначают а и ā.

Формула закона непротиворечия в двузначной классической логике а ∧ ā отражает лишь часть содержательного аристотелевского закона непротиворечия, так как она относится только к противоречащим суждениям (а и не-а) и не распространяется на противные (контрарные суждения). Поэтому формула а∧ā неадекватно, не полностью представляет содержательный закон непротиворечия. Следуя традиции, мы за формулой а∧ ā сохраняем название «закон непротиворечия», хотя оно значительно шире, чем данная формула.

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, отрицается и считается ложным. Поэтому в полемике при опровержении мнения оппонента широко используется метод «приведения к абсурду».

3. Закон исключенного третьего: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а, то другое следует обозначить ā. Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного – суждения не может быть.

Отрицающими являются следующие пары суждений:

1) «Это S есть Р» и «Это S не есть Р» (единичные суждения).

2) «Все S есть Р» и «Некоторые S не есть Р» (суждения А и О).

3) «Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I).

В отношении противоречащих (контрадикторных) суждений (А и О, Е и I) действует как закон исключенного третьего, так и закон непротиворечия – в этом одно из сходств данных законов.

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

Закон исключенного третьего и в содержательном, и в формализованном виде охватывает один и тот же круг суждений – противоречащие, т.е. отрицающие друг друга. Формула закона исключенного третьего: А vù А