Укажите выделяющие и исключающие суждения. Запишите их схемы.

Пример. «Некоторые города – столицы государств». – Частновыделяющее суждение: Некоторые города, и только они, являются столицами государств: ∃S, и только S, есть Р.

1. Президент РФ является главой государства.

Общевыделяющее суждение: только ∀S, есть P.

 

2. Н.В. Гоголь – автор «Мертвых душ».

Н.В. Гоголь, и только он, является автором «Мертвых душ». – еденичновыделяющее суждение: это S, И только S, есть P.

 

3. Обязанность по опеке и попечительству исполняются безвозмездно, кроме случаев предусмотренных законом (ГК, ст. 14).

Исключающее суждение: ∀S, кроме S1, есть P.

 

4. Единица есть начало всякого числа.

Единица, и только единица, есть начало всякого числа. – еденичновыделяющее суждение: это S, И только S, есть P.

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

Исключающее суждение: ∀S, кроме S1, есть P.

 

6. Всякое общественно опасное деяние есть преступление.

Общевыделяющее суждение: ∀S, и только S, есть P.

 

7. Смерть данного человека могла произойти по любой причине, за исключением естественной.

Исключающее суждение: ∀S, кроме S1, есть P.

 

8. Только не помнящие прошлого осуждены на его повторение.

Частновыделяющее суждение: только ∃S, есть P.

 

9. Только великие люди могут иметь недостатки (Ларошфуко).

Частновыделяющее суждение: ∃S, и только S, есть P.

 

10. Некоторые преступления являются особо тяжкими.

Частновыделяющее суждение: только ∃S, есть P.

 

S^+

4. Дайте объединенную классификацию суждений, изобразите схему отношений между терминами с помощью кругов Эйлера для каждого случая, установите их (терминов) распределенность.

P^-

Пример. Все металлы электропроводны. –

Общеутвердительное суждение (А), где S распределен, Р не распределен.

1. Юрий Гагарин — первый в мире космонавт. Общеутвердительное суждение

2. Некоторые города — столицы Европы. частноутвердительное

3. Некоторые студенты – не спортсмены.

4. Ч. Дарвин – создатель научной теории эволюции.

5. Все сыновья – мужчины.

6. Некоторые юристы – судьи.

7. Никто не имеет права нарушать законы.

8. Некоторые водители за рулем не курят.

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

10. Большинство присутствующих не изучали теорию машин и механизмов.

11. Все жанры хороши, кроме скучного.

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

 

5. Установите, в каком отношении по истинности находятся следующие простые суждения (отношения по логическому квадрату).

1. Каждый человек имеет право на свою точку зрения. Есть люди, которые имеют право на свою точку зрения.

 

Каждый человек имеет право на свою точку зрения. – общеутвердительное (А)

Есть люди, которые имеют право на свою точку зрения.- частноутвердительное (I)

Отношение подчинени.

 

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

 

Некоторые адвокаты обладают ораторскими способностями. – частноутвердительное (I)

Некоторые адвокаты не обладают ораторскими способностями. – частноотрицательное (О)

Отношение противоположности (субконтрарности).

 

3. Среди категорических суждений есть утвердительные. Ни одно категорическое суждение не является утвердительным.

Среди категорических суждений есть утвердительные. – частноутвердительное (I)

Ни одно категорическое суждение не является утвердительным. – общеотрицательное (Е)

Отношение противоречие (контрадикторность)

 

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

 

Некоторые писатели – драматурги. – частноутвердительное (I)

Некоторые писатели не являются драматургами. – частноотрицательное (О)

Отношение противоположности (субконтрарности).

 

5. Все взрослые когда-то были детьми. Некоторые взрослые когда-то были детьми.

 

Все взрослые когда-то были детьми. – общеутвердительное (А)

Некоторые взрослые когда-то были детьми. – частноотрицательное (О)

Отношение противоречие (контрадикторность)

 

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

Пример. Некоторые знаки не имеют значения. Это суждение является частноотрицательным ∃S не есть P "О". Примем исходное суждение за истинное, тогда по логическому квадрату суждение "Все знаки имеют значение" ∀ S есть P (А) - ложь (они находятся в отношении противоречия), суждение "Ни один знак не имеет значение" ∀ S не есть P (Е) является неопределенным по истинности, суждение "Некоторые знаки имеют значение" ∃ S есть P (I) является истинным.

1. Все нотариусы − юристы.

Все нотариусы − юристы. Это суждение является общеутвердительным ∀S есть P (А). Примем исходное суждение за истинное, тогда по логическому квадрату:

суждение «Часть нотариусов – не юристы» ∃S не есть P (О) – ложь (они находятся в отношении противоречия),

суждение «Все нотариусы – не юристы» - ложь (является противоположным значением),

суждение «Часть нотариусов – юристы» ∃S есть P (I) - истина (отношение подчинения)