Силлогизм — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
м
м
Строка 7: Строка 7:
 
=== Состав из терминов ===
 
=== Состав из терминов ===
 
В силлогизм входит три термина:
 
В силлогизм входит три термина:
* '''S — меньший термин''': субъект заключения (входит также в меньшую посылку);
+
*'''S — меньший термин''': субъект заключения (входит также в меньшую посылку);
* '''P — больший термин''': предикат заключения (входит также в большую посылку);
+
*'''P — больший термин''': предикат заключения (входит также в большую посылку);
* '''M — средний термин''': входит в обе посылки, но не входит в заключение.
+
*'''M — средний термин''': входит в обе посылки, но не входит в заключение.
 
=== Состав из суждений ===
 
=== Состав из суждений ===
 
В силлогизм входит три суждения:
 
В силлогизм входит три суждения:
* '''большая посылка''', включает '''S''' и '''M''';
+
*'''большая посылка''', включает '''S''' и '''M''';
* '''меньшая посылка''', включает '''P''' и '''M''';
+
*'''меньшая посылка''', включает '''P''' и '''M''';
* '''заключение''', включает '''S''' и '''P'''.
+
*'''заключение''', включает '''S''' и '''P'''.
 
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках.
 
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках.
 
=== Первая фигура ===
 
=== Первая фигура ===
[[файл:СИЛ01.JPG]] - схема посылок похожа на зеркальное отражение буквы '''Z'''.
+
[[файл:СИЛ01.JPG]] схема посылок похожа на зеркальное отражение буквы '''Z'''.
 
=== Вторая фигура ===
 
=== Вторая фигура ===
[[файл:СИЛ02.JPG]] - схема посылок похожа на зеркальное отражение буквы '''C'''.
+
[[файл:СИЛ02.JPG]] схема посылок похожа на зеркальное отражение буквы '''C'''.
 
=== Третья фигура ===
 
=== Третья фигура ===
[[файл:СИЛ03.JPG]] - схема посылок похожа на букву '''C'''.
+
[[файл:СИЛ03.JPG]] схема посылок похожа на букву '''C'''.
 
=== Четвёртая фигура ===
 
=== Четвёртая фигура ===
[[файл:СИЛ04.JPG]] - схема посылок похожа на букву '''Z'''.
+
[[файл:СИЛ04.JPG]] схема посылок похожа на букву '''Z'''.
  
 
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.
 
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.
Строка 60: Строка 60:
 
2) заключение не может быть общеутвердительным суждением.
 
2) заключение не может быть общеутвердительным суждением.
 
=== Правильные модусы: ===
 
=== Правильные модусы: ===
* 1-ая фигура
+
*1-ая фигура
** сильные: '''AAA, AII, EAE, EIO'''
+
**сильные: '''AAA, AII, EAE, EIO'''
** слабые: '''AAI, EAO'''
+
**слабые: '''AAI, EAO'''
* 2-ая фигура
+
*2-ая фигура
** сильные: '''AEE, AOO, EAE, EIO'''
+
**сильные: '''AEE, AOO, EAE, EIO'''
** слабые: '''AEO, EAO'''
+
**слабые: '''AEO, EAO'''
* 3-ья фигура
+
*3-ья фигура
** сильные: '''AAI, AII, EAO, EIO, IAI, OAO'''
+
**сильные: '''AAI, AII, EAO, EIO, IAI, OAO'''
* 4-ая фигура
+
*4-ая фигура
** сильные: '''AAI, AEE, EAO, EIO, IAI'''
+
**сильные: '''AAI, AEE, EAO, EIO, IAI'''
** слабый '''AEO'''
+
**слабый '''AEO'''
 
== Структурные схемы ==
 
== Структурные схемы ==
 
=== Первая фигура ===
 
=== Первая фигура ===
[[файл:СИЛ11.JPG]]
+
[[файл:Сил01.png]]
 
=== Вторая фигура ===
 
=== Вторая фигура ===
[[файл:СИЛ12.JPG]]
+
[[файл:Сил02.png]]
 
=== Третья фигура ===
 
=== Третья фигура ===
[[файл:СИЛ13.JPG]]
+
[[файл:Сил03.png]]
 
=== Четвёртая фигура ===
 
=== Четвёртая фигура ===
[[файл:СИЛ14.JPG]]
+
[[файл:Сил04.png]]
* Знак '''"+"''' означает, что термин распределён.
+
*Знак '''"+"''' означает, что термин распределён.
* Знак '''"-"''' означает, что термин не распределён.
+
*Знак '''"-"''' означает, что термин не распределён.
 
== [[Логические понятия|Другие понятия:]] ==
 
== [[Логические понятия|Другие понятия:]] ==
{{Список ЛП}}
+
{{Список ЛПон}}
 
== Ссылки ==
 
== Ссылки ==
* Википедия
+
*Википедия
* [[Участник:Logic-samara]]  
+
*[[Участник:Logic-samara]]  
 
[[Категория:Дискретная математика]][[Категория:Логика]]
 
[[Категория:Дискретная математика]][[Категория:Логика]]

Версия 08:07, 13 января 2024

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

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

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

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

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

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

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

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

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

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

  • большая посылка, включает S и M;
  • меньшая посылка, включает P и M;
  • заключение, включает S и P.

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

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

СИЛ01.JPG — схема посылок похожа на зеркальное отражение буквы Z.

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

СИЛ02.JPG — схема посылок похожа на зеркальное отражение буквы C.

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

СИЛ03.JPG — схема посылок похожа на букву C.

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

СИЛ04.JPG — схема посылок похожа на букву Z.

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

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

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

1) в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нём не может быть ни меньше, ни больше трёх терминов. Нарушение этого правила связано с отождествлением разных понятий, которые принимаются за одно и рассматриваются как средний термин.

2) средний термин должен быть распределён хотя бы в одной из посылок. Если средний термин не распределён ни в одной из посылок, то связь между крайними терминами остаётся неопределённой.

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

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

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

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

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

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

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

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

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

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

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

2) одна из посылок – отрицательное суждение.

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

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

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

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

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

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

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

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

  • 1-ая фигура
    • сильные: AAA, AII, EAE, EIO
    • слабые: AAI, EAO
  • 2-ая фигура
    • сильные: AEE, AOO, EAE, EIO
    • слабые: AEO, EAO
  • 3-ья фигура
    • сильные: AAI, AII, EAO, EIO, IAI, OAO
  • 4-ая фигура
    • сильные: AAI, AEE, EAO, EIO, IAI
    • слабый AEO

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

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

Файл:Сил01.png

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

Файл:Сил02.png

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

Файл:Сил03.png

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

Файл:Сил04.png

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

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

Ссылки