Реферат: Дедуктивные умозаключения 3

Формализация способов вывода состоит прежде всего в том, что каждый шаг вывода совершается только в соответствии с каким-нибудь из заранее перечисленных правил вывода, отно­сящихся только к способам оперирования с некоторыми мате­риальными объектами, например, словами, служащими для вы­ражения мысли, и вообще с формальными выражениями мысли с помощью материальных знаков. Среди последних имеются спе­цифические логические знаки, так называемые логические кон­станты (постоянные). В математической логике - это конъюнк­ция, дизъюнкция, отрицание, импликация, эквиваленция, кванто­ры общности и существования и др.

Различают правила прямого вывода и правила непрямо­го (косвенного) вывода. Правила прямого вывода позволяют из имеющихся истинных посылок получить истинное заключе­ние. Правила непрямого (косвенного) вывода позволяют заклю­чать о правомерности некоторых выводов из правомерности других.

Типы дедуктивных умозаключений (выводов) такие:

- выво­ды, зависящие от субъектно-предикатной структуры суждений;

- выводы, основанные на логических связях между суждениями (выводы логики высказываний).

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

1.Выводы посредством преобразования суждений;

2.Категорический силлогизм, сокращенный силлогизм (энтимема), сложные силлогизмы (полисиллогизмы) и сложно-со­кращенные силлогизмы (сориты и эпихейрема).

4.Выводы из категорических суждений посредством их преобразования.

Непосредственными умозаключениями называются дедуктив­ные умозаключения, делаемые из одной посылки, являющейся ка­тегорическим суждением. К ним в традиционной логике относятся следующие: превращение, обращение, противопоставление пре­дикату и умозаключения по “логическому квадрату”.

Превращение - вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количест­ва, при этом предикат заключения является отрицанием предика­та посылки. Как уже отмечалось, по качеству связки (“есть” или “не есть”) категорические суждения делятся на утвердительные и отрицательные.

Схема превращения:

S есть Р

S не есть не-Р

При этом частноутвердительное суждение превращается в частноотрицательное и наоборот, а общеутвердительное суж­дение превращается в общеотрицательное и наоборот. Можно выделить два частных способа превращения:

1.Путем двойного отрицания, которое ставится перед связ­кой и перед предикатом:

S есть Р → S не есть не-Р

Пример: “Подлежащее-главный член предложения”. “Ни одно подлежащее не является не главным членом предложения”.

2.Отрицание можно переносить из предиката в связку:

S есть не-Р → S не есть Р.

Пример: “Все галогены являются неметаллами.” → “Ни один галоген не является металлом”.

Превращению подлежат все четыре вида суждения А, Е , I, О. При этом:

1. Суждение А переходит в Е , что записывается А → Е . Структура: Все S есть Р. →Ни одно S не есть не-Р.

Примеры: “Все волки - хищные животные”.→ “Ни один волк не является нехищным животным”; “Все бамбуки - злаки”. →“Ни один бамбук не является не злаком”.

2. Суждение Е переходит в А , т. е. Е -→А .

Ни одно S не есть Р. →Все S есть не-Р.

Примеры: “Ни один многогранник не является плоской фигу­рой”. →“Все многогранники являются неплоскими фигурами”; “Ни одна ель не является лиственным деревом”. →“Все ели являются нелиственными деревьями”.

3. Суждение I переходит в О, т. е. I → О. Некоторые S есть Р. → Некоторые S не есть не-Р. Пример: “Некоторые грибы съедобны”. →“Некоторые гри­бы не являются несъедобными”.

4. Суждение О переходит в I, т. е. О →1. Некоторые S не есть Р. →Некоторые S есть не-Р. Пример: “Некоторые члены предложения не являются главны­ми”. →“Некоторые члены предложения являются неглавными”.

Обращением называется такое непосредственное умозаключе­ние, в котором в заключении (в новом суждении) субъектом явля­ется предикат, а предикатом - субъект исходного суждения, т. е. происходит перемена мест субъекта и предиката при сохранении качества суждения. Схема обращения:

S есть Р

Р ecть S

Приведем четыре примера: