Задания
1. Укажите вид следующих умозаключений:
1.1. Все планеты Солнечной системы - небесные тела
Некоторые небесные тела входят в Солнечную систему
В данном случае имело место обращение (конверсия), т.е. непосредственный вывод, в заключении которого субъектом является предикат, а предикатом – субъект исходного выражения-посылки.
1.2. Ни один вулкан не является безопасным.
Следовательно, все вулканы являются небезопасными
Это случай превращения (обверсии), т.е. непосредственный вывод, в процессе которого предикат посылки заменяется на противоречащее ему имя и изменяется ее качество, т.е. утвердительная посылка заменяется на отрицательную и наоборот.
1.3. Все христиане не являются язычниками.
Следовательно, некоторые не язычники – христиане
Это противопоставление, непосредственный вывод, в котором в заключении субъект выражается именем, противоречащим предикату посылки, а на место предиката становится ее субъект, при этом посылка изменяют свое качество.
2. Проверьте правильность следующих непосредственных умозаключений по логическому квадрату:
2.1. Если верно, что все квадраты являются равносторонними прямоугольниками, то неверно, что некоторые квадраты не являются равносторонними прямоугольниками.
Данное непосредственное умозаключение правильно, в соответствии с отношением противоречия.
SaP
~(SoP)
2.2. Если неверно, что ни одно преступление не раскрывается, то также неверно и то, что все преступления раскрываются.
~(SeP)
~(SaP)
Данное непосредственное умозаключение неправильно. Правильным выводом в соответствии с отношением противоречия было бы: «верно, что некоторые преступления раскрываются».
2.3. Если неверно, что все импрессионисты - французы, то следует признать, что некоторые из них не были французами.
~(SaP)
SoP
Данное непосредственное умозаключение правильно, в соответствии с отношением противоречия.
2.4. Если верно, что некоторые писатели являются лауреатами Нобелевской премии, то также верно и то, что некоторые из писателей ими не являются.
SiP
SoP
Данное непосредственное умозаключение неправильно.
Cписок использованных источников
1. Берков В.Ф., Терлюкевич И. Логика: Практикум. Учебное пособие. – Мн., 2003.
2. Берков В.Ф. Логика. Учеб пособие. – Мн., 1994.
3. Бойко А.Н. Логика. Учеб пособие. – М., 1994.
4. Кобзарь В.И Логика. – С-пб., 2001.
5. Попов Ю.П. Логика. – М., 1999.