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

(Выводы из сложных суждений).

1. Чисто условное умозаключение. (P→q)˄(q→v)/р→v

Чисто условными называются умозаключения обе посылки которого являются «Если лобная кора головного мозга повреждена, то человек становится рабом ситуации»

(p→q)˄(q→v)˄(v→z)..˄(q→n)/p→n

Заключения в чисто условном умозаключении может быть получено из большого числа суждений.

2. Условно—категорическое умозаключение. Условно-категорическим называется умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения. 1) p→q,p/q – утвердительный модус (modus ponens) – когда утверждается условие. 2) p→q,˥q/p - отрицательный (modus tollens). Он заключается в том, что отрицается основание. Отрицается истинность основания. p - условие q - следствие 3) p→q,˥q/˥p – «если поезд пришел вовремя, я не опоздал на конференцию». От отрицания истинности основания к отрицанию истинности следствия. 4) p→q,p/p – от утверждения истинности следствия к утверждению истинности основания. «Я опоздал на конференцию, значит поезд вовремя не пришел» 3) и 4) модус не дают достоверных выводов.

В условно-категорическом умозаключении 4 модуса.

3. Разделительно-категорические умозаключения.

- это умозаключение в котором одна из посылок

p˅˅q,p/˥q ˅ - не строгая дисфункция ˅˅ - строгая

Различают 2 модуса – утверждающий отрицающий и отрицающий утверждающий. «науки делятся на естественные и гуманитарные» - «физика наука естественная, значит не гуманитарная».

Отрицающее-утвердительный – «физика не гуманитарная наука, значит она естественная».

<p˅q>,q/˥p <p˅˅q>,p/˥q

4. Условно-разделительное умозаключение.

Конструктивная –созидательная дилемма Деструктивная – разрушительная дилемма

«Если Н совершил тайное хищение чужого имущества, то он привлекается по статье 158» «Если Н совершил открытое хищение чужого имущества, то он привлекается по статье 160»

(p→q)˄(n→v),p˅n/q˅v – сложная конструктивная дилемма.

«Чтобы попасть на этой неделе в Красноярск, нужно приобрести билет на самолёт или на поезд, но достать билет на самолёт или на поезд не удалось».

(p→q)˄(v→q),˥p˅˥v/˥q – простая деструктивная дилемма.

(p→q)˄(v→q),p˅v/q

(p→q)˄(n→v),˥p˅˥n/˥q˅˥v – сложная деструктивная дилемма.

Сокращенный силлогизм этимема. «Если человек совершает преступление он должен нести уголовное наказание». В обыденной речи мы все пользуемся сокращенными силлогизмами и энтимемами.

«Посещение концертов классической музыки не является материальной потребностью, значит это духовная потребность». Это суждение не общее – следовательно оно частное.

09.04.12 Простой логический силлогизм и правила категорического силлогизма.

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

Отношение между средним термином и предикатом остальных терминов… В зависимости от места среднего термина в посылках различают 4 фигуры силлогизма. «Лицо совершившее кражу привлекается к уголовной ответственности» - (2 график). «Заведомо незаконный арест – преступление против правосудия» - (3 график). «Не один невиновный не должен быть привлечен к уголовной ответственности» - «Электрон – элементарная частица» 1. В силлогизме должно быт только 3 термина – это субъект, предикат и … Два разных понятия закона не могут связать крайние термины. 2. Средний термин должен быт распределен, хотя бы в одной из посылок. «Некоторые юристы члены коллегии адвокатов» «Все сотрудники нашего коллектива юристы» - «Некоторые юристы являются сотрудниками нашего коллектива». «Не опубликованные законы М к применению не подлежат»

«Все врачи имеют высшее образование» - «Врачи работающие в судебно-следственных органах имеют высшее образование».

«Причинение тяжко вреда здоровью, является умышленным». «Некоторые преступления являются преступлениями по неосторожности». «Некоторые студенты отличники, Сидоров не отличник». «Все студент в юридических вузах изучают логику, Фёдоров изучает логику».