Изменения

'''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения.

Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''.

== Простой категорический силлогизм ==

'''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру.

== Состав силлогизма ==

=== Состав из терминов ===

* '''P — больший термин''': предикат заключения (входит также в большую посылку);

* '''M — средний термин''': входит в обе посылки, но не входит в заключение.

=== Состав из суждений ===

В силлогизм входит три суждения:

* '''заключение''', включает '''S''' и '''P'''.

Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках.

=== Первая фигура ===

[[файл:СИЛ01.JPG]] - схема посылок похожа на зеркальное отражение буквы '''Z'''.

=== Вторая фигура ===

[[файл:СИЛ02.JPG]] - схема посылок похожа на зеркальное отражение буквы '''C'''.

=== Третья фигура ===

[[файл:СИЛ03.JPG]] - схема посылок похожа на букву '''C'''.

=== Четвёртая фигура ===

[[файл:СИЛ04.JPG]] - схема посылок похожа на букву '''Z'''.

Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.

== Правила силлогизма ==

=== Правила терминов: ===

3) крайний термин не распределённый в посылке, не может быть распределён и в заключении.

=== Правила посылок: ===

1) хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует.

4) если одна из посылок – частное суждение, то и заключение должно быть частным.

=== Правила 1-ой фигуры: ===

1) большая посылка – общее суждение.

2) меньшая посылка – утвердительное суждение.

=== Правила 2-ой фигуры: ===

1) большая посылка – общее суждение.

3) заключение – отрицательное суждение.

=== Правила 3-ей фигуры: ===

1) меньшая посылка – утвердительное суждение.

2) заключение – частное суждение.

=== Правила 4-ой фигуры: ===

1) ни одна из посылок не может быть частноотрицательным суждением.

2) заключение не может быть общеутвердительным суждением.

=== Правильные модусы: ===

* 1-ая фигура

** сильные: '''AAI, AEE, EAO, EIO, IAI'''

** слабый '''AEO'''

== Структурные схемы ==

=== Первая фигура ===

[[файл:СИЛ11.JPG]]

=== Вторая фигура ===

[[файл:СИЛ12.JPG]]

=== Третья фигура ===

[[файл:СИЛ13.JPG]]

=== Четвёртая фигура ===

[[файл:СИЛ14.JPG]]

* Знак '''"+"''' означает, что термин распределён.

* Знак '''"-"''' означает, что термин не распределён.

== Другие понятия: ==

* [[Суждение]];

* [[Умозаключение]].

== Ссылки ==

* Википедия

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]