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