Файл: posobie_logika.pdf

опаснее любого бегемота. 3.7. Киев – столица Украины. 3.8. У всякого хватит ума, чтобы решить задачу на сложение. 3.9. Не у всякого в Киеве дядька, а в огороде бузина. 3.10. Всякий не выше всякого. 3.11. Всякий человечнее кого-то. 3.12. Некоторые не знают Гитлера. 3.13. Всякий сейчас спит или не спит. 3.14. СПИД – страшная болезнь. 3.15. Некоторые коровы бегают быстрее всякой лошади. 3.16. Некоторые обыватели боятся смотреть телевизор. 3.17. Всякий боится всякого. 3.18. Глупые превосходят по уму еще более глупых. 3.19. Любой спортсмен употребляет допинг или нет. 3.20. Всякая девушка ходит в платье или в брюках. 3.21. Неправда, что друзья растут на огороде. 3.22. Всяк сверчок знай свой шесток. 3.23. От горшка два вершка. 3.24. Яйца курицу не учат. 3.25. На всякого мудреца довольно простоты. 3.26. Ворон ворону глаз не выклюет. 3.27. Всякий любит самого себя. 3.28. Человек человеку – волк. 3.29. Всякий тюлень добродушен. 3.30. У оленя есть рога.

2.3. Объединенная классификация простых суждений по количеству и качеству.

По логическому качеству суждения делятся на утвердительные и отрицательные. Утвердительность суждения грамматически никак не выражается, тогда как отрицательность выражается грамматической конструкцией “Неверно, что...”, обозначаемой на логических схемах символом ; например, “Неверно, что бегемоты летают” - (S есть Р). В формальной логике используются следующие упрощающие

предположения:

 если предмет не обладает каким-либо признаком, то неверно,

 если предмет не обладает каким-либо признаком, то он обла-

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

42

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

(буквально: “Для всякого х неверно, что он мифологический персонаж”);

здесь - квантор общности, а - знак материальной импликации.

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

(буквально: “Существует х такой, что он птица, и существует у

(буквально: “Существует х такой, что он легендарный герой и наличествовал в действительности”).

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

“Л.Н.Толстой - великий русский писатель”, “Каспаров играет в шахматы лучше, чем Иванов”, “Бабы Яги нет”. В логике единичные суждения приравниваются к общим.

Сочетание классификационных признаков логического качества и логического количества позволяет построить объединенную классифи-

кацию простых категорических суждений по количеству и качеству, которая включает в себя следующие четыре основных вида про-

общеотрицательное суждение (Е) -

43

Если субъект и предикат атрибутивного суждения рассматривать как особые понятия, то простые атрибутивные суждения можно интерпретировать как специальные логические структуры, посредством которых мы можем зафиксировать отношение объемов данных понятий. В том случае, если объем какого-либо термина суждения полностью входит или полностью не входит в объем другого термина, термин считается распределенным; если же объем какого-либо термина суждения частично входит или частично не входит в объем другого термина, термин считается не распределенным.

О характере распределенности терминов в простых суждениях позволяют сделать вывод следующие объемные диаграммы:

1. А: Все S есть Р.

Исключение: общеутвердительное выделяющее суждение -

Аv: Все S и только S есть Р.

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

А1 А2,

44

где А1: Все S есть Р,

А2: Все Р есть S.

2. Е: Все S не есть Р.

или

3. I: Некоторые S есть Р.

(38)

S - не распределено ( ) Р - не распределено ( )

Исключение: частноутвердительное выделяющее суждение -

Iv : Некоторые S и только S есть Р.

45

Контрольная работа №9.

Упражнение 1. Определите вид суждения и распределенность терминов в нем.

О б р а з е ц: “Законность - неотъемлемая часть демократии”.

1.Субъект - “законность”, предикат - “неотъемлемая часть демократии”.

2.Общеутвердительное суждение (А): (Все) S есть Р.

3.Субъект распределен, предикат не распределен.

1.1. Иногда люди делают глупости. 1.2. “Глядя на луч пурпурного заката, стояли Вы на берегу Невы” (романс). 1.3. Этот человек – проходимец. 1.4. Собака - друг человека. 1.5. Некоторые животные впадают зимой в спячку. 1.6. “Но есть и Божий суд” (М.Ю.Лермонтов). 1.7. Все предложения имеют главные члены. 1.8. Ни один преступник не уйдет от возмездия на небесах. 1.9. Существенная часть выделенных заводу средств была потрачена впустую. 1.10. Один из троих подозреваемых - преступник. 1.11. Аптека – лечебное учреждение. 1.12. Франц Иосиф Первый - последний император Австро-Венгрии. 1.13. Кто-то живет в коробке из-под холодильника. 1.14. Некоторые студенты не являются спортсменами. 1.15. Некоторые студенты - диссиденты. 1.16. Некоторые преступники - вероотступники. 1.17. Не каждый кот хорошо живёт. 1.18. Не существует абсолютной истины. 1.19. Май этого года теплее мая года минувшего. 1.20. “Не искушай меня без нужды возвратом нежности своей” (А.Баратынский). 1.21. “Дни поздней осени бранят обыкновенно” (А.С.Пушкин). 1.22. “Каждый, право, имеет право на то, что слева, и то, что справа” (А.Макаревич). 1.23. Ничто не существует беспричинно. 1.24. “Собственность - это кража” (Прудон). 1.25. “Да будет так!”- сказал маньяк. 1.26. “Всякому овощу - свое время” (Пословица). 1.27. Лгать нехорошо. 1.28. У меня нет времени. 1.29. “Не всё коту

47