3) По содержанию предиката:

• суждение свойства (отражает принадлежность или непринадлежность предмету мысли того или иного свойства: «Прокурор – это человек, имеющий специальное юридическое образование»);

• суждение отношения (выражает различные связи между предметами мысли по месту, времени, причинной зависимости: «Благополучие государства зависит от законов»);

• суждение существования (указывает на факт наличия или отсутствия того или иного предмета мысли: «Нет преступления без указания о том в законе»)

Классификация сложных высказываний

1) Отрицанием высказывания А называется высказывание, обозначаемое А, которое истинно тогда, когда А ложно. Читается «не А», «неверно, что А». Пример: «Солнце – не звезда».

2) Конъюнкцией высказываний А и В называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда А и В истинны. Читается «А и В». Может быть выражена союзами «а», «но», «да». Пример: «Он знал каждого в лицо и по имени».

3) Дизъюнкцией (слабой) называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда хотя бы одно из выражений А и В истинно. Читается «А или В». Союз «или» имеет неисключающее значение, входящие в высказывания имена не исключают друг друга. Пример: «Договор купли-продажи может быть заключён в устной или письменной форме».

Дизъюнкцией (сильной) называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда лишь одно из выражений А и В истинно. Читается «либо А, либо В». Союз «или» употребляется в исключающем смысле. Пример: «Всякое высказывание либо истинно, либо ложно».

4) Импликацией называется высказывание, обозначаемое выражением А В, которое ложно тогда, когда А истинно, а В ложно. Читается: «Если А, то В». Пример: «Если в обращении появляется избыток бумажных денег, то они обесцениваются».

5) Эквиваленцией высказываний А и В называется высказывание, обозначаемое выражением А В, которое истинно тогда, когда логические выражения А и В совпадают. Читается: «А тогда и только тогда, когда В». Пример: «Монета падает орлом тогда и только тогда, когда падает решкой».

4.4 Отношения между логическими формами высказываний

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

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

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

1. Эквивалентные суждения выражают одну и ту же мысль в раз­личной форме. Пример: «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля».

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

3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. В отно­шениях подчинения находятся суждения: «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны остаться без ответа». В данном случае первое суждение будет подчиняю­щим, а второе — подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для таких суждений характерны следующие зависимости:

• при истинности общего суждения частное всегда будет истин­ным;

• при ложности частного суждения общее суждение также будет ложным;

• при ложности общего суждения частное неопределенно;

• при истинности подчиненного частного суждения общее не­определенно.

Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одно­временно не могут быть истинными. Различают два вида несовмес­тимости:

1) Несовместимость как противоположность характерна для суж­дений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновремен­но ложными, как, например, суждения: «Все адвокаты - юристы» и «Ни один адвокат не является юристом».

Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обя­заны соблюдать закон» сразу же делает ложным суждение «Ни один гражда­нин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остает­ся неопределенным. Оно может быть как истинным, так и ложным.

2) Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть пи истин­ными, ни ложными. При истинности одного из них другое будет лож­ным, а при ложности первого второе будет истинным, как, например, суждения «Все судьи справедливы» и «Некоторые судьи несправедливы».

Отношение между простыми суждениями обычно иллюстри­руют с помощью схемы, получившей название логического квадра­та. Логический квадрат (квадрат противоположностей) — это диаграмма, служащая для мнемонического запоминания логи­ческих отношений между видами суждений по объединенной классификации.

Сравнимые среди сложных — это суждения, которые имеют оди­наковые составляющие и различаются типами логических связок, включая отрицание, например: «Норвегия или Швеция является членами НАТО» и «Неверно, что Норвегия и Швеция являются членами НАТО». Сравнивать эти су­ждения можно потому, что у них общие составляющие, хотя по логи­ческой форме они отличаются друг от друга: первое из них раздели­тельное суждение, второе — отрицание соединительного суждения. Наличие общих составляющих позволяет сопоставить их по смыслу и установить зависимости по истинности.

Несравнимыми среди сложных являются суждения, которые частично или полностью различаются составляющими их простыми суждениями. Например, нельзя сравнивать следующие два суждения: «Отговорила роща золотая березовым веселым языком, и журавли, печально пролетая, уж не жалеют больше ни о ком» (С. Есенин) и «Ночевала тучка золотая на груди утеса-великана» (М.Ю.Лермонтов). Различия в составляющих не позволяют устано­вить смысловую и истинную зависимость между суждениями.

4.5 Законы логики высказываний

1) Закон тождества

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

2) Закон противоречия

Сущность закона: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них ложное.

3) Закон исключённого третьего

Сущность закона: два противоречащих суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть вместе истинными или ложными. Одно — необходимо истинно, а другое — ложно; третьего быть не может.

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