Понятие умозаключения. Дедукция и другие виды умозаключений
Умозаключение – форма мышления, в которой из одного или нескольких суждений, на основании определенных логических правилах вывода получается новое суждение с необходимостью или с определенной степенью вероятности следующих из них:
|
|
|
Типы:
1) дедукция (дедуктивное умозаключение) – логическое следствие из данных посылок есть суждение, которое не может быть ложным, если посылки истинны.
Пр. Если Иван брат Марьи или сын, то они родственники (сложное, дизъюнкция и импликация)
Иван и Марья родственники
Иван и сын Марьи.
Дедуктивное умозаключение – те умозаключения, в которых между посылками и заключениями имеются отношения логического следствия.
Все М есть Р (все рыбы дышат жабрами), Все S есть М (все караси рыбы), Все S есть Р (все караси дышат жабрами)
2)Индуктивные умозаключения – в которых на основании нескольких единичных частных суждений делается вывод, который является общим суждением.
Индукция делится на:
- полную – делается на основании анализа всех без исключения возможных случаев.
Пр. Студентка Люба получит зачет по ТТСО. Все студенты СО-08 получат зачет по ТТСО.
В полной индукции заключение является необходимым следствием из посылок.
- неполная основывается на анализе части возможных случаев и дает вероятное (правдоподобное) заключение. Применяется в тех случаях, когда рассмотреть все варианты невозможно.
3)Умозаключения по аналогии – это умозаключения, в которых делается вывод о наличии у предмета некоторых свойств на основании сходства этого предмета с другим предметом.
Пр. А обладает свойствами а,в,с,д,е. В обладает свойствами а,в,с,д. Вывод: вероятно В обладает свойством е.
Оно дает вероятное заключение, в некоторых дает точное заключение.
Аналогия называется строгой, когда она дает точное заключение. Аналогия является строгой, когда свойство е является следствием наличия у предмета свойств а,в,с,д.
Категорический силлогизм.
Пр. Все волки хищные животные.
Дедуктивное умозаключение называется непосредственно с одной посылкой.
Пр. Ни один волк не является млекопитающим. Ни один волк не является травоядным.
Категорический силлогизм – вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных средним термином, при соблюдении правил вывода необходимо (достоверно) следует заключение.
Пр. Все рыбы дышат жабрами.(Все М есть Р). Все караси – рыбы. (Все S есть М). Все караси дышат жабрами. (Все S есть Р).
Два термина различны, есть общий (средний) термин, который содержится в обоих посылках.
Предикат заключения (Р) называется большим термином. Субъект заключения (S) называется меньшим термином. Посылка, содержащая больший термин, называется большей (и наоборот).
Правила вывода по категорическому силлогизму основываются на аксиоме силлогизма. Все, что утверждается о некотором роде (родовом понятии) необходимо утверждается и о виде (видовом понятии) данного рода.
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина в посылках.
Модусами фигур категорического силлогизма называются разновидности силлогизма, различающиеся между собой типами простых категорических суждений, входящих в посылки и заключение.
Вопрос 19: Фигуры и модусы категорического силлогизма.
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина в посылках.
I фигура
Ни один лентяй не получит диплом
Все студенты лентяи
S-P ни один студент не получит диплом
II фигура
Все ужи пресмыкающиеся
Данное животное не является пресмыкающимся
S-P данное животное - не уж
III фигура
Все PR-технологии - коммуникативны
Все PR-технологии - есть социальные технологии
S-P некоторые социальные технологии коммуникативны
IVфигура
Все киты млекопитающие
Ни одно млекопитающие не есть рыба
S-P Ни одна рыба не есть кит
Модусами фигур категорического силлогизма называются разновидности силлогизма, различающиеся между собой типами простых категорических суждений, входящих в посылки и заключения.
Модусы бывают правильные и неправильные. Было замечено: для того чтобы в категорическом силлогизме получалось истинное заключение должны выполнять некоторые правила, особые правила фигур.
I фигура: Большая посылка должна быть общей, меньшая утвердительной. Не даёт истинны.
II фигура: Большая посылка общая, одна из посылок отрицательна. – Заключение отрицательное.
III фигура: Меньшая посылка утвердительная, по большой посылке нет ограничений. Заключение – частное суждение либо утвердительное, либо отрицательное.
IVфигура:отсутствует общеутвердительное заключение.
Из 256 модусов во всех четырех фигурах правильных только 19 (дают истинное заключение).
1. AAA; EAE; AII; EIO
2. AEE; AOO; EAE; EIO
3. AAI; EAO; IAI; OAO; AII; EIO
Некоторые М есть Р
Все М есть S
Некоторые S есть Р
Некоторые 
Р есть М
Все М есть S
Некоторые S есть Р
Вопрос 20: Аргументация и доказательство.
Доказательство - логическая операция, устанавливающая истинность исходного тезиса (суждения) на основании определенных правил вывода, соответствующих типу умозаключения.
Структура доказательства:
· Доказываемое суждение (тезиса)
· Исходные посылки (иногда называются аргументы)
· Аргументы – истинные суждения, которыми пользуются при доказательстве тезиса
· Демонстрация – способ установления логической связи между тезисом и аргументацией
Виды аргументов
1. Удостоверенные единичные факты (фактический материал)
2. Определения как аргументы
3. Аксиомы и постулаты – суждения, которые принимаются в качестве истины без доказательства.
4. Ранее доказанные законы и теоремы
Аргументация - это способ рассуждения, включающий в себя доказательство тезиса ( и опровержение антитезиса), в процессе которого создается убеждение в истинности тезиса и ложности антитезиса у самого доказывающего и оппонентов; Обосновывает целесообразностью принятия тезиса с целью выработки активной жизненной и реализации позиции определенных программ действий, вытекающих из доказанного положения. В теории аргументации аргументы – это не только аргументы доказательства, но и приемы убеждения.
Ошибки в доказательствах
Подмена тезиса
2. «Довод к человеку» - это подмена доказательства тезиса ссылками на личные качества того, кто выдвинул этот тезис – Авторитет.
3. Переход в другой род – разновидность подмены тезиса, когда вместо исходного тезиса доказывают логически более сильное утверждение, которое может оказаться ложным; либо наоборот – вместо сильного тезиса доказывают слишком слабую деятельность.
4. Ложность оснований - в качестве аргументов берутся ложные суждения, которые выдаются за истинные (ошибка может быть непреднамеренной).
5. Предвосхищение оснований – разновидность предыдущей ошибки, когда аргументы не доказаны, и в итоге они не доказывают тезис, а только предвосхищают его.
6. «Порочный круг» (логический круг) - тезис обосновывается аргументами, а аргументы обосновываются этим же тезисом.
7. Мнимые следования – тезис не следует из проводимых в него подтверждении аргументов.