Силлогизмы со сложными суждениями

Июль 25, 2022

Главная
Философия
Силлогизмы со сложными суждениями

Содержание

2. Силлогизмы со сложными суждениями Чисто условное умозаключение Формулы правильных модусов: ((a → b)^(b → c))→(a →
3. Силлогизмы со сложными суждениями Условно-категорическое умозаключение Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а
4. Силлогизмы со сложными суждениями Условно-категорическое умозаключение В утверждающем модусе (modus ponens) рассуждение направлено от утверждения истинности
5. Силлогизмы со сложными суждениями Условно-категорическое умозаключение Формулы правильных модусов: ((a → b) ^ a) → b
6. Силлогизмы со сложными суждениями Разделительно-категорическое умозаключение Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное,
7. Силлогизмы со сложными суждениями Разделительно-категорическое умозаключение В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое
8. Силлогизмы со сложными суждениями Разделительно-категорическое умозаключение Формулы правильных модусов: ((a ν b) ^ a) →┐b ((a
9. Силлогизмы со сложными суждениями Условно-разделительный силлогизм Первая посылка условно-разделительного силлогизма является условным (импликативным) суждением, а вторая
10. Силлогизмы со сложными суждениями Дилемма дилемма может быть конструктивной (утверждающей) и деструктивной (отрицающей). каждый из этих
11. Силлогизмы со сложными суждениями Простая конструктивная дилемма В простой конструктивной дилемме из двух оснований вытекает одно
12. Силлогизмы со сложными суждениями Простая деструктивная дилемма В первой посылке простой деструктивной дилеммы из одного основания
13. Силлогизмы со сложными суждениями Сложная конструктивная дилемма В первой посылке сложной конструктивной дилеммы из двух оснований
15. Скачать презентацию

Слайд 2

Силлогизмы со сложными суждениями
Чисто условное умозаключение
Формулы правильных модусов:
((a → b)^(b →

c))→(a → c)
((a → b)^(┐a →b))→ b

Слайд 3

Силлогизмы со сложными суждениями
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из

посылок —условное, а другая посылка и заключение — категорические суждения.
Структура условно- категорического умозаключения:
Если а, то b если a, то b
a не b
--------------- ---------------
b не a

Слайд 4

Силлогизмы со сложными суждениями
Условно-категорическое умозаключение
В утверждающем модусе (modus ponens) рассуждение направлено

от утверждения истинности основания к утверждению истинности следствия.
В отрицающем модусе (modus tollens) рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Слайд 5

Силлогизмы со сложными суждениями
Условно-категорическое умозаключение
Формулы правильных модусов:
((a → b) ^ a)

→ b
((a → b) ^ ┐b) → ┐a

Слайд 6

Силлогизмы со сложными суждениями
Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из

посылок — разделительное, а другая посылка и заключение — категорические суждения.
Структура разделительно-категорического умозаключения:
либо А, либо В А или В
А не А
не В В

Слайд 7

Силлогизмы со сложными суждениями
Разделительно-категорическое умозаключение
В утверждающе-отрицающем модусе (modus ponendo tollens)

меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции.
В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.

Слайд 8

Силлогизмы со сложными суждениями
Разделительно-категорическое умозаключение
Формулы правильных модусов:
((a ν b) ^ a)

→┐b
((a ν b) ^ ┐b) → a

Слайд 9

Силлогизмы со сложными суждениями
Условно-разделительный силлогизм
Первая посылка условно-разделительного силлогизма является условным (импликативным)

суждением, а вторая посылка – разделительным (дизъюнктивным)
Если в первой посылке условно-разделительного силлогизма содержится два основания или следствия, то такой силлогизм называется дилеммой
если оснований или следствий три, то он называется трилеммой
если первая посылка включает в себя более трёх оснований или следствий, то силлогизм является полилеммой.

Слайд 10

Силлогизмы со сложными суждениями
Дилемма
дилемма может быть конструктивной (утверждающей) и деструктивной (отрицающей).

каждый из этих видов дилеммы, в свою очередь, делится на две разновидности: как конструктивная, так и деструктивная дилемма может быть простой и сложной.

Слайд 11

Силлогизмы со сложными суждениями
Простая конструктивная дилемма
В простой конструктивной дилемме из двух

оснований вытекает одно следствие, вторая посылка представляет собой дизъюнкцию оснований, а в выводе утверждается это одно следствие в виде простого суждения.
Форма правильного модуса данной дилеммы:
(((a →b) ^ (c →b)) ^ (a ν c)) →b.

Слайд 12

Силлогизмы со сложными суждениями
Простая деструктивная дилемма
В первой посылке простой деструктивной дилеммы

из одного основания вытекает два следствия, вторая посылка представляет собой дизъюнкцию отрицаний следствий, а в выводе отрицается основание (происходит отрицание простого суждения).
Форма правильного модуса данной дилеммы:
(((a → b) ^ (a → c)) ^ (¬ b ν ¬ c)) → ¬ a.

Слайд 13

Силлогизмы со сложными суждениями
Сложная конструктивная дилемма
В первой посылке сложной конструктивной дилеммы

из двух оснований вытекает два следствия, вторая посылка представляет собой дизъюнкцию оснований, а вывод является сложным суждением в виде дизъюнкции следствий.
Форма правильного модуса данной дилеммы:
(((a → b) ^ (c → d)) ^ (a ν c)) → (b ν d)

Силлогизмы со сложными суждениями

Содержание

Силлогизмы со сложными суждениямиЧисто условное умозаключениеФормулы правильных модусов:((a → b)^(b →

Силлогизмы со сложными суждениямиУсловно-категорическое умозаключениеУсловно-категорическим называется умозаключение, в котором одна из

Силлогизмы со сложными суждениямиУсловно-категорическое умозаключениеВ утверждающем модусе (modus ponens) рассуждение направлено

Силлогизмы со сложными суждениямиУсловно-категорическое умозаключениеФормулы правильных модусов:((a → b) ^ a)

Силлогизмы со сложными суждениямиРазделительно-категорическое умозаключениеРазделительно-категорическим называется умозаключение, в котором одна из

Силлогизмы со сложными суждениямиРазделительно-категорическое умозаключение В утверждающе-отрицающем модусе (modus ponendo tollens)

Силлогизмы со сложными суждениямиРазделительно-категорическое умозаключениеФормулы правильных модусов:((a ν b) ^ a)

Силлогизмы со сложными суждениямиУсловно-разделительный силлогизмПервая посылка условно-разделительного силлогизма является условным (импликативным)

Силлогизмы со сложными суждениямиДилеммадилемма может быть конструктивной (утверждающей) и деструктивной (отрицающей).

Силлогизмы со сложными суждениямиПростая конструктивная дилеммаВ простой конструктивной дилемме из двух

Силлогизмы со сложными суждениямиПростая деструктивная дилеммаВ первой посылке простой деструктивной дилеммы

Силлогизмы со сложными суждениямиСложная конструктивная дилеммаВ первой посылке сложной конструктивной дилеммы

Похожие презентации