Навигация
УСЛОВНЫЙ (ГИПОТЕТИЧЕСКИЙ) СИЛЛОГИЗМ
15745
знаков
6
таблиц
0
изображений
3. УСЛОВНЫЙ (ГИПОТЕТИЧЕСКИЙ) СИЛЛОГИЗМ
В гипотетическом силлогизме в качестве посылок (суждений из которых делается вывод) входят суждение вида p®q и одно из суждений p или q. Вывод делается либо относительно p, либо относительно q.
Различают четыре вида (модуса) условных силлогизмов:
1.Условный силлогизм, получивший название утверждение по посылке. Он имеет следующую структуру
((p®q)Ùp)®q,
где p и q – какие-то суждения. Прочесть это выражение можно так : «Если из p следует q и p истинно, то q также истинно». Примером такого силлогизма может быть следующее рассуждение: «Если в комнате затопить печь, то станет тепло. В комнате затопили печь. В комнате станет тепло». Истинность этого силлогизма легко проверить с помощью таблицы
р | q | ((p®q)Ùp)®q |
| 0 | 0 | 1 0 1 |
| 0 | 1 | 1 1 1 |
| 1 | 0 | 0 0 1 |
| 1 | 1 | 1 1 1 |
(В этой таблице ради экономии места истинностные значения проставлены непосредственно под связками).
2. Модус по следствию имеет структуру:
((p ® q) Ù q) ® p
Это модус ложен, т.е. он не всегда истинен. В этом можно убедиться с помощью таблицы истинности:
| p | q | (p ® q) Ù q ® p |
| 0 | 0 | 1 0 1 |
| 0 | 1 | 1 1 0 |
| 1 | 0 | 0 0 1 |
| 1 | 1 | 1 1 1 |
Например, из посылок «Если замок сломан, то дверь открыта. Дверь открыта, нельзя сделать с необходимостью вывод, что замок сломан».
3. Ложен будет также модус, получивший название «отрицание по посылке». Он имеет следующую структуру:
((p ® q) Ù `p ) ®`q
В самом деле, в таблице его истинностного значения
| p | q | ((p ® q) Ù ` |
| 0 | 0 | 1 1 1 |
| 0 | 1 | 1 1 0 |
| 1 | 0 | 0 0 1 |
| 1 | 1 | 1 0 1 |
) ®`qимеются такие значения переменных, для которых он ложен. Из посылок «Если я нахожусь в Луганске, то я нахожусь на Украине. Я не нахожусь в Луганске», нельзя сделать с необходимостью вывод, что «Я не нахожусь на Украине».
Похожие работы
... предложения, которые суждений не выражают. Например: “Кто сегодня дежурный?”, “Вызваны ли свидетели?”, “Войдите!”, “Следуйте за мной” и т.д. Вопросительное предложение не выражает суждения, так как его назначение состоит не в передаче информации, а в побуждении к ее получению. Побудительное предложение, выражающее волеизъявление, направленное на осуществление определенных действий, также не ...
... и обстоятельство. В-третьих, различие между суждением и предложением состоит также в том, что каждый национальный язык имеет свой особый единый грамматический и фонетический строй. Логическая же структура суждения одинакова независимо от его выражения в том или ином языке. В-четвертых, логический строй мысли и грамматическая форма речи также не совпадают. Подлежащее в предложении должно ...
... на: - суждения существования; - атрибутивные суждения; - суждения отношения. Суждения существования - это суждения которые отражают сам факт существования или несуществования отражаемого в мысли предмета. Данный вид суждения можно выразить формулой S есть (S нет). Предикат здесь само утверждение или отрицание (сама связка). Например: “Мир существует”, “Бога нет”. Атрибутивные суждения дают ...
... - это отображение мира, находимого в виде действия в себе, т.е. такое трансцедентальное отображение себя. В какнтовской философии познавать мир и мыслить можно в зависимости от возможности этот мир представить. Термин представления также напрямую участвует в решении проблемы сознания. Кант расширяет термин “представлене”, так, чтобы учесть, что, собственно, говоря в какой области мы представляем, ...
0 комментариев