Логика для юристов полностью

2. Все сделки, не соответствующие требованиям закона, являются недействительными.

3. Некоторые птицы не летают.

4. Киты не дышат жабрами.

5. Некоторые студенты являются мастерами спорта.

Суждения об отношениях. Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т.д. предметов, называются суждениями об отношениях; таковыми являются, например, суждения: “Москва больше Рязани”, “Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора”. В первом суждении утверждается, что отношение “больший” имеет место между Москвой и Рязанью, во втором утверждается, что отношение “знающий лучше чем” имеет место между каждым следователем, некоторым адвокатом и некоторым прокурором.

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

Суждения об отношениях делятся на виды и по количеству. Так суждения о двухместных отношениях делятся по количеству на единично-единичные, обще-общие, частно-частные, единично-общие единично-частные, общеединичные, частно-единичные, общечастные, частно-общие.

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

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

Кроме атрибутивных суждений и суждений об отношениях иногда в качестве специальных видов простых суждений выделяют суждения существования (типа “Инопланетяне существуют”) и суждения тождества (равенства) типа “а = в”. Мы специально не рассматриваем суждения этих видов, поскольку суждения существования можно, с определенными оговорками, истолковать как атрибутивные суждения равенства — как суждения об отношениях.

Какими по качеству и количеству являются следующие суждения об отношениях?

1. Студент Петров не знает английского языка.

2. Каждый юрист знает некоторого философа лучше, чем некоторого журналиста.

3. Некоторые города расположены между Москвой и Одессой.

4. Все студенты сдают какие-то экзамены.

5. Некоторые студенты нашего факультета знают польский язык лучше, чем английский.

6. Производитель обязан поставить получателю все комплектующие изделия в срок до 21 декабря по каждому из указанных в договоре адресов.

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

Соединительные суждения — это суждения, в которых утверждается наличие двух или более ситуаций. Пример: “Понятые присутствуют, и протокол составляется”. Чаще всего такие утверждения выражаются посредством предложений, содержащих союз “и”.

Встречающийся в естественном языке союз “и” употребляется в нескольких значениях. Сравним суждения: “Идет дождь, и идет снег”, “Я вышел на улицу и сломал ногу”. Если в первом суждении можно переставить составляющие его простые суждения без изменения смысла суждения в целом, то во втором суждении этого сделать нельзя. В логике находит широкое употребление союз “и”, имеющий определенный смысл. Этот союз обозначается символом ∧ (читается “и”), называемым знаком (неопределённой) конъюнкции. Суждение с этим союзом называется (неопределённо) конъюнктивным. Определением знака конъюнкции является таблица, показывающая зависимость истинности конъюнктивного суждения от истинности составляющих его суждений.

Форма конъюнктивного суждения: (А ∧ B). Каждое из высказываний А и В может принимать как значение "истина", так и значение "ложь". Эти значения для краткости будем обозначать буквами и, л. Таблица истинности имеет вид: