- •Отношения между понятиями
- •Объединенная классификация простых категорических суждений по количеству и качеству
- •Сложные суждения
- •Логические отношения между суждениями
- •Логический квадрат
- •Непосредственные умозаключения
- •Индуктивные умозаключения
- •Методы научной индукции
- •Логические основы аргументации
- •Умозаключение по аналогии
Индуктивные умозаключения
Общая схема индуктивных умозаключений |
Виды индукции |
|
Схема полной индукции |
Схема неполной индукции |
|
Sn есть (не есть) Р Sn исчерпывает (не исчерпывает) класс S Все S есть (не есть) Р |
Sn есть (не есть) Р Sn исчерпывает класс S Все S есть (не есть) Р |
Sn есть (не есть) Р Sn не исчерпывает класс S Все S есть (не есть) Р |
Таблица 13
Методы научной индукции
Наз- вание |
Метод сходства |
Метод различия |
Метод сопутствующих изменений |
Метод остатков |
Фор- мула |
АВС вызывает d АДЕ вызывает d А причина d |
АВС вызывает d АВД не вызывает d С причина d |
АВС1 вызывает d1 АВС2 вызывает d2 С причина d |
АВС вызывает d1,d2,d3 А вызывает d1 В вызывает d2 C причина d3 |
Пра- вила |
Из двух и более предшествующих яв-лений (А,В,С,Д,Е) исследуемому явле-нию (d) причиной исследуемого явле-ния является то, которое встречается при всех рассмот-ренных случаях (А).
|
Если в двух и более случаях при устране-нии одного из пред-шествующих явлений (С) исчезает исследу-емое явление, то пер-вое (С) является при-чиной исследуемого явления. |
Предшествующее обстоятельство, за изменением которо-го следует измене-ние исследуемого явления, является причиной исследу-емого явления. |
Известно, что некоторые час-ти предшествующего явления (А,В) являются причинами некоторых частей исследуе-мого явления (d1, d2). Пред-полагается, что оставшаяся часть предшествующего об-стоятельства (С) является причиной оставшейся части исследуемого явления (d3). |
Таблица 14
Логические основы аргументации
Способы доказательства |
Способы опровержения |
|||
Прямой |
Косвенный апагогический |
Косвенный разделительный |
Прямой |
Косвенный |
1 этап
2 этап
3 этап Виды демонстрации:
(а1а2)→Т, (а1а2) Т
Sn есть Р (аn) Sn не исчерпывает класс S Вероятно, все S есть Р.
А имеет авс (а1) В имеет ав (а2) Вероятно, В имеет С. |
1 этап
2 этап
3 этап Вид демонстрации: дедукция
А→(С1Сn), ┐С1┐Сn ┐А 4 этап
<ТА>(┐А→Т) Закон исключенного третьего |
1 этап
2 этап
3 этап Вид демонстрации: дедукция
<ТА >,┐А Т
|
1 этап
2 этап
3 этап демонстрация: дедукция
Т → (С1Сn), ┐(С1Сn) ┐Т
|
1 этап
2 этап
3 этап демонстрация: дедукция
(а1аn)→А, а1аn А
4 этап
Т А, А ┐Т
|
Таблица 15