Лекция 8

Общие правила посылок.

1) Если одна из посылок частная, то и вывод должен быть частным

1.2) Из двух частных посылок невозможно построить истинный вывод. Это означает, что хотя бы одна из посылок должна быть общей (Некоторые студенты - двоечники. Некоторые студенты - отличники. | Некоторые отличники - двоечники?).

1.3) Если одна из посылок отрицающая, то вывод также должен быть отрицающим.

1.4) Из двух отрицающих посылок невозможно построить истинный вывод. Это означает, что хотя бы одна из посылок должна быть утверждающей (Ни один кит не является рыбой. Ни одна акула не является китом. | Ни одна щука не является рыбой?).

Общие правила терминов-силлогизмов:

2.1) В составе простого силлогизма должно быть только 3 термина: средний, больший и меньший. Если количество терминов меньше или больше необходимого, вывод построить невозможно. Ситуация, при которой число терминов больше, чем требуется называются учетверение, ситуация, при которой число терминов меньше, чем требуется называется удвоение.

(Все флегматики - спокойной люди. Некоторые спокойные люди - флегматичны.)

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

2.3) Если больший и меньший термины распределены в посылках, то они должны быть распределены и в выводах. Если же больший и меньший термины нераспределены в посылках, то они должны быть нераспределены и в выводе.

Общее правило фигур:

3.1) Фигуры первого типа. Первая посылка обязательно должна быть общей, а вторая посылка обязательно должна быть утверждающей.

3.2) Фигура второго типа. Первая посылка обязательно должна быть общей, одна из посылок и вывод должны быть отрицающими.

3.3) Фигура третьего типа. Вторая посылка должна быть утверждающей, а вывод должен быть частным.

3.4) Фигура четвертого типа. Никогда не может быть общеутвердительного вывода. При этом, если первая посылка утверждающая, то вторая посылка обязательно должна быть общей. Если одна из посылок отрицающая, то первая должна быть общей.

Вопрос 3.2.

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

В прогрессивном сложном силлогизме промежуточный вывод предыдущего простого силлогизма одновременно является первой посылкой последующего простого силлогизма (Всё, что укрепляет здоровье - полезно. Спорт укрепляет здоровье (1). | Спорт - полезен. Легкая атлетика - это спорт (2). | Легкая атлетика - полезна. Бег - это лёгкая атлетика (3).|| Бег - полезен.).

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

Вопрос 3.3.

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

а) чистые условные

б) условно-категорические

В чистом условном силлогизме все посылки являются сложными условными суждениями. Такие умозаключения имеют следующий вид.

В условно-категорическом силлогизме первая посылка является сложным условным суждением, а вторая посылка и вывод являются простыми категорическими суждениями. Условно-категорические силлогизмы подразделяются на 2 основных модуса, т.е. разновидности: утверждающие и отрицающие. При этом каждый из них в свою очередь подразделяется на достоверный и вероятностный.

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

а) утверждающе-отрицающие

б) отрицающе-утверждающие

Основными условиями построением таких умозаключений являются:

1) элементы, содержащиеся в посылках должны быть исчерпывающими.

2) элементы должны исключать друг друга

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

1) дилеммы

2) трилеммы

3) полилеммы

Наиболее простой разновидностью лемматических умозаключений считается дилемма, которая в зависимости от способа построения может быть конструктивной (утверждающей) и деструктивной (отрицающей). В зависимости от числа условий дилемма делится на простую и сложную.

Простая конструктивная дилемма. В дилемме данного типа в первой посылке из двух различных условий выводится одинаковое следствие, во второй посылке выбирается и утверждается одно из возможных условий. В выводе утверждается следствие (p->q, r->q, p v r|q).

Сложная конструктивная дилемма. В дилемме данного типа в первой посылке из двух различных условий выводятся 2 различных следствия. Во второй посылке выбирается и утверждается одно из условий. В выводе выбирается и утверждается одно из следствий (p->q, r->q, p v r|q v q).

Простая деструктивная дилемма. В дилемме данного типа в первой посылке из одного и того же условия выводятся 2 различных следствия. Во второй посылке выбираются или отрицаются оба следствия. В выводе отрицаются условия (p->q, r->q, ¬q v ¬q|¬p).

Сложная деструктивная дилемма. В дилемме данного типа в первой посылке из двух различных условий выводятся 2 различных следствия. Во второй посылке выбираются и отрицаются оба следствия. В выводе выбираются и отрицаются оба условия (p->q, r->q, ¬q v ¬q|¬p v ¬r).

Дата добавления: 2014-01-07