Автор работы: Пользователь скрыл имя, 10 Апреля 2012 в 22:37, контрольная работа
Обычно доказательство слагается из серии шагов. Нужно уметь проследить каждый шаг доказательства, иначе его части лишатся связи, и оно в любой момент может рассыпаться, как карточный домик. Но не менее важно понять доказательство в целом, как единую конструкцию, каждая часть которой необходима на своем месте.
1. Прямое и косвенное доказательство 3
2. Разделительно-категорическое умозаключение 7
4. Список использованной литературы 8
В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например: Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q) Данная облигация не является именной (не-q) Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции.
В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)Данная облигация именная (q)твердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.
Список использованной литературы
Информация о работе Разделительно-категорическое умозаключение