Логика. Учебное пособие. Тимофеев А.И. - 55 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

55
ствие, не ошибается и не говорит сознательно неправду. Значит, он
описывает его правильно. Для правильного построения modus
tollendo ponens необходимо, чтобы в большей посылке были предус
мотрены все возможные случаи (т. е. члены деления), и необходимо,
чтобы они исключали друг друга.
В modus ponendo tollens умозаключение имеет следующую форму:
A есть либо Б, либо В, либо C. Но A есть Б. Значит, A не есть ни В, ни
C. Пример: “Треугольники бывают или остроугольные, или тупоу
гольные, или прямоугольные. Данный треугольник остроугольный.
Значит, он не тупоугольный и не прямоугольный”.
Определение правильности умозаключений основывается на зна
нии правильных модусов (разновидностей) этих умозаключений и
сопоставлении логической формы проверяемого умозаключения с
формой правильных модусов.
Условноразделительное (лемматическое) – это такое умозаклю
чение, в котором большая посылка состоит из двух условных сужде
ний, а меньшая – состоит из разделительного. Существует четыре
модуса условноразделительных умозаключений: простой конструк
тивный, сложный конструктивный, простой деструктивный,
сложный деструктивный.
Разберем строение двух подвидов:
1. Простой конструктивный модус имеет утвердительную мень
шую посылку и утвердительное заключение.
Этот модус имеет следующую форму: Если A есть Б, то C есть Д;
если E есть К, то C есть Д. Но или A есть Б, или E есть К. Значит, C
есть Д. Пример: “Если жители осажденного города не будут сдавать
ся, то понесут ущерб от бомбардировок; если они сдадутся, то поне
сут ущерб изза уплаты контрибуции. Но они могут или не сдаваться
или сдаваться. Значит, они и в том, и в другом случае понесут ущерб”.
2. Простой деструктивный модус. В нем в меньшей посылке отри
цается следствие, а поэтому отрицается и основание.
Этот модус имеет следующую форму: Если A есть Б, то C есть Д; и
если A есть Б, то E есть К. Но C не есть Д, и E не есть К. Значит, A не
есть Б. Пример: “Если человек не может прогрессировать, то он есть
или животное, или божество. Но человек не есть ни животное, ни
божество. Значит, он может прогрессировать”.
7. Индуктивные умозаключения
Индуктивными называются умозаключения, в которых соверша
ется переход от знания об отдельных предметах класса или о некото
рых его частях к знанию обо всем классе в целом. Этот переход осу

Страницы