Методы установления причинной связи
Метод сходства: если два и более случаев наблюдаемого явления сходны только в одном обстоятельстве, то это одно обстоятельство, вероятно, и есть причина данного явления.
Метод различия: если случай, когда событие наступает, и случай, когда оно не наступает, сходны во всех обст-вах, кроме одного, имеющего место лишь в 1-м случае, то это обст-во и есть причина события.
Метод сопутствующих изменений: если изменение – следствие затрагивает предполагаемое его явл-ие, то это явл-ие и есть его причина
Метод остатков: если мы имеем группу явл-ий и для всех явл-ий, за исключением одного, нам известны их следствия, то оставшийся фактор может вызывать следствия, интересующие нас.
ABC – a
B – b
C – c
A – a
Соединённый метод сходства и различия: если 2 или больше случаев возникновения явл-я имеют общим 1 обст-во, а 2 и больше случая, когда явл-ие не возникает, имеют общим отсутствие этого же обст-ва, то это обст-во и есть причина рас-емого явл-ия.
ABC – a
AMN – a
BC – ┐a
MN- ┐a
A→a
39. Логическая теория аргументации. Структура аргументации. Прямое доказательство, схема проведения, пример.
Аргументация – это форма мыслительной деятельности, цель которой состоит в обосновании утверждения об истинности или ложности некоторого высказывания и в особых случаях об обосновании принципиальной невозможности оценки некоторого высказывания как истинного или ложного, т. е. бессмысленности данного высказывания.
Обоснование высказывания может быть полным или частичным.
- Полное обоснование утверждения об истинности какого-либо высказывания
называется доказательством этого высказывания.
- Полное обоснование утверждения о ложности какого-либо выказывания называется
опровержением этого высказывания
- Частичное обоснование утверждения об истинности некоторого высказывания
называется подтверждением этого высказывания.
- Частичное обоснование утверждения о ложности некоторого высказывания
называется критикой этого высказывания.
Структура
В составе доказательства и опровержения выделяются следующие элементы.
1. Тезис доказательства – высказывание, истинность или ложность которого
следует доказать.
2. Аргументы – высказывания (истинность которых не вызывает сомнения),
посредством которых осуществляется доказательство тезиса.
Аргументы- это суждения об установленных фактах, определения, аксиомы,
теоремы
3. Демонстрация – логическая форма построения доказательства. Демонстрация, как правило, имеет форму дедуктивного умозаключения или цепи таких умозаключений. Значительно реже встречаются недедуктивные доказательства, где демонстрация выступает в форме индуктивного умозаключения или аналогии.
Логический способ обоснования тезиса при помощи аргументов, возможно, с исполь-
зованием промежуточных допущений.
Основное функциональное назначение логики заключается в том, что она исп-ся в процедурах док-ва и опровержения.
Доказательство – логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Строение доказательства определяется тремя вопросами:
-
Что доказывается?
-
Чем доказывается выдвигаемое положение?
-
Как оно доказывается?
Ответы на эти вопросы раскрывают соответственно тезис, основания (аргументы) и демонстрация.
Виды док-ва: прямое и косвенное
Прямое – доказательство, при котором тезис логически следует из найденных аргументов. При прямом доказательстве берутся такие аргументы, которые являются достаточными для обоснования тезиса, и из которых доказываемый тезис выводится по логическим правилам.
Косвенное – доказательство, при котором истинность тезиса обосновывается посредством опровержения истинности противоречащего положения. Наиболее распространенными видами косвенного доказательства являются апагогическое и разделительное доказательства.
Прямое док-во – это доказательство, когда из принятых предпосылок по установленным правилам непосредственно следуют тезис, требующий доказательства.
Алгоритм прямого док-ва:
1) формулируется тезис;
2) находится правило или факт, его подтверждающий;
3) применение этого факта
4) вывод об истинности тезиса
Пример:
1)1992 г. – високосный.
2)Правило – високосным наз-ся год, в записи которого единицы с десятками делятся на 4 без остатка.
3) считаем
4) 1992 год – високосный.