Это ум-з, где одна посылка сост из 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)