Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
таблицы логика (заочное).doc
Скачиваний:
7
Добавлен:
02.12.2018
Размер:
749.06 Кб
Скачать

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

Общая схема

индуктивных умозаключений

Виды индукции

Схема полной индукции

Схема неполной индукции

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. Дедукция

(а1а2)→Т, (а1а2)

Т

  1. Индукция

Sn есть Р (аn)

Sn не исчерпывает

класс S

Вероятно, все S есть Р.

  1. Аналогия

А имеет авс (а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