Лемматические (усл-разделительные) ум.з. Дилеммы

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

- делеммы: конструктивные и деструктивные.

- трилеммы.

- полилемы.

В свою очередь, конструктивные делеммы подраздел на:

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

a→c

b→c

a \/ b (\'/)

c

- сложные – в 1й посылке утв-ся 2 следствия, вытекающие из 2х различных оснований. А во 2й – утвержд присутствие (истин) по крайней мере одного из этих оснований, а знач. присутствует (ист) по крайней мере одно из названных следствий.

a→b

c→d

a \/ c

b \/ d

Т.о, в конструкт дилемме осущ переход от утверждения оснований к утверждению их следствий.

Деструктивные дилеммы так же мож подразделить на:

- простые – в 1й условной посылке указ, что из одного основания вытекает 2а различных следствия. Во 2й – говорится, что по крайней мере одно из этих следствий отсутствует (лож), а знач. основание тоже лож. Т.е. основана на переходе от отрицания следствий к отрицанию оснований.

a→b

a→c

не b \'/ не c

не a

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

a→b

c→d

не b \'/ не d

не a \'/ не c

 

Демонстративн и правдоподобные ум-з.

Ум-з – это форма мышления, в рамках котророй из 1/неск исходных суждений, называемых «посылками» по определ правилу получ новое суждение, называемое «заключением». Логич переход от посылок к заключению принято называть «правилом вывода». Последнее считается верным, если применяя это правило, мы из истинных посылок всегда получим ист заключение.

Ум-з дел на виды по различным основаниям:

ПО КОЛ-ВУ ПОСЫЛОК:

- непосредственные – из 1 посылки.

- опосредованные – из 2х и более посылок.

ПО НАПРАВЛЕНИЮ ДВИЖЕНИЯ МЫСЛИ:

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

- индуктивные – от частного к общему, те от знания частных случаев к-л класса к знанию обо всех эл-ах этого класса.

- по аналогии – движение от частного к частному, те из сходства объектов в к-л признаках, мы делаем заключ об их сходстве в др признаках.

ПО ХАР-РУ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ:

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

Сюда относятся:

- непосредственные ум-з

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

- ум-з на основе логических связок (условные, разделительные, условно-разделительные)

- полная индукция

- математическая индукция

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

Сюда относятся:

- неполная индукция

- индук-ные методы установления причинных связей Бэкона-Милля

- ум-з по аналогии

- статистические ум-з (выводы)

- практические силлогизмы

- вероятностные модусы дедуктивных ум-з

- общая дедукция.

ВИДЫ ПРОСТЫХ СУЖДЕНИЙ:

-(A) общеутвердит-ные – общ кол, утверд кач.

Все S есть P. (A)

 

- (E) общеотрицат-ные – общ кол, отриц кач.

Ни один S не есть P.(E)

 

- (I) частноутвердит-ные – част кол, утв кач.

Некоторые S есть P.(I)

 

- (O) частноотрицат-ные – част кол, отриц кач.

Некоторые S не есть P.(O)