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

Алматы 2011

Содержание:

1. Общие понятия об умозаключении, виды умозаключений.

2. Дедуктивные умозаключения.

3. Понятие правила вывода.

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

1.Общие понятия об умозаключении. Виды умозаключений.

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

Возьмем пример умозаключения:

Преступление наказуемо.

Мошенничество преступление.

Мошенничество наказуемо.

Структура всякого умозаключения включает посылки, заклю­чение и логическую связь между посылками и заключением. Ло­гический переход от посылок к заключению называется выво­дом. В приведенном примере два первые суждения, стоящие над чертой, являются посылками; суждение “Мошенничество наказуемо ” являет­ся заключением. Для того чтобы проверить истинность заклю­чения “ Мошенничество наказуемо ”, вовсе не нужно обращаться к непосредст­венному опыту, т.е. совершать преступление и ждать наказание, заключение о наказуемости мошенничества с полной достоверностью можно получить посредством умозаключения, опираясь на истинность посылок и соблюдение правил вывода.

Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил выво­да получается новое суждение, с необходимостью или опреде­ленной степенью вероятности следующее из них.

Умозаключения делятся на следующие виды:

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

2.По направленности логического следования, т.е. по характеру связи между знанием различной степени общности выраженного в посылках и заключении различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему) и умозаключения по аналогии (от частного знания к частному).

Дедуктивными (от латинского deductio – «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.

Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями.

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

Процесс получения заключений из посылок по правилам де­дуктивных умозаключений называется выведением следствий.

2.Дедуктивные умозаключения.

В определении дедукции в логике выявляются два подхода:

1. В традиционной (не в математической) логике дедукцией называют умозаключение от знания большей степени общности к новому знанию меньшей степени общности. Впервые теория дедукции в этом плане была обстоятельно разработана Аристотелем;

2. В современной математической логике дедукцией называ­ется умозаключение, дающее достоверное (истинное) суждение. Четкая фиксация существенного различия классического и современного понимания дедукции особенно важна для решения методологических вопросов. Для различения двух смыслов дедукции можно классическое понимание обозначить термином “дедукция₁ ” (сокращенно Д₁ ), а современное - “дедукция₂ ” (Д₂ ). Правильно построенному дедуктивному умозаключению присущ необходимый характер логического следования заключения из данных посылок. Обобщая сказанное, можно дать такое опре­деление.

Дедуктивные умозаключения - те умозаключения, у кото­рых между посылками и заключением имеется отношение логического следования.

Определение дедуктивного умозаключения, данного в традици­онной логике (т. е. Д₁ ), - частный случай этого определения через логическое следование. Рассмотрим пример:

Все перепончатокрылые - насекомые.

Все пчелы - перепончатокрылые.

Все пчелы - насекомые.

Здесь первая посылка “Все перепончатокрылые - насекомые” является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющим­ся общеутвердительным суждением: “Все пчелы - насекомые”. Мы строим умозаключение от признака, принадлежащего роду (“перепончатокрылые”), к его принадлежности к виду - “пчела”, т. е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частными суждениями вида “Не­которые S суть Д или “Некоторые S не суть Д.

3.Понятие правила вывода.

Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила выво­да, или правила преобразования суждений, позволяют перехо­дить от посылок (суждений) определенного вида к заключениям также определенного вида. Например, если в качестве посылок даны два суждения, представимые в виде формулы “a v b ” и формулы “â”, то можно перейти к суждению вида “b”. Это мо­жно в виде формулы путем преобразований по правилу (а ύ b), а ├ b записать так: ((a ύ b)^â) →b. Данная формула является законом логики.

--> ЧИТАТЬ ПОЛНОСТЬЮ <--