|
Истинная индукция. истинная индукция. Истинная индукция Общий принцип, методы и логические процедуры
Истинная индукция Подготовила Лика Толмачева, 2 МЭО-МИЭП 13
Фрэнсис Бэкон
Общий принцип истинной индукции - Понятия общего, необходимого и существенного
- СУЩЕСТВЕННОЕ (никакая вещь не существует без собственной сущности)
- НЕОБХОДИМОЕ (то, что необходимо для существования вещи, ДОЛЖНО присутствовать, причем всюду, где встречается природа этой вещи)
- Фрэнсис Бэкон провел связь между этими понятиями:
- От общего через необходимое к существенному
- СУЩЕСТВЕННОЕ => НЕОБХОДИМОЕ => ОБЩЕЕ
- Если что-то отсутствует там, где присутствует это природа, оно НЕ НЕОБХОДИМО И НЕСУЩЕСТВЕННО
- Если это что-то присутствует где-то, где данной природы нет, аналогично
От общего через необходимое к существенному (обратное) - НЕ ОБЩЕЕ, значит,
- НЕ НЕОБХОДИМОЕ, значит,
- НЕСУЩЕСТВЕННОЕ
Методы истинной индукции - Таблицы сущности или присутствия
- Таблицы отклонения или отсутствия в ближайшем
- Таблицы степеней, или сравнений
МЕТОДЫ ИСТИННОЙ ИНДУКЦИИ (таблицы сущности или присутствия) «Сначала нужно для каждой данной природы представить разуму все известные примеры, сходящиеся в этой природе, хотя бы и посредством самых различных материй. И собрание этого рода должно быть образовано исторически без преждевременного умствования или каких-либо чрезмерных тонкостей.»
«Новый Органон» 1
| A
| B
| C
| D
| E
| 2
| B
| C
| D
| E
| F
| 3
| C
| D
| E
| F
| G
| 4
| D
| E
| F
| G
| H
| 5
| E
| F
| G
| H
| I
| «Во-вторых, должно представить разуму примеры, которые лишены данной природы, ибо форма… так же должна отсутствовать там, где отсутствует природа, как и присутствовать там, где она присутствует. Но перечисление этого во всех случаях было бы бесконечным. Поэтому отрицательное должно быть подчинено положительному, и отсутствие природы должно быть рассмотрено только в предметах наиболее родственных тем, в которых данная природа присутствует и наблюдается.»
«Новый Органон» | Примеры присутствия
| Примеры отсутствия в ближайшем
| 1
| Солнечные лучи, особенно летом и в полдень.
| Лучи Луны, звёзд и комет не оказываются тёплыми для осязания.
| 2
| Солнечные лучи, отражённые и собранные, как, например, среди гор или в стенах и особенно в зажигательных зеркалах.
| Лучи солнца не производят тепла в средней (как её называют) области воздуха. Обычно этому даётся неплохое объяснение, а именно что эта средняя область не приближена достаточно ни к теплу солнца, откуда исходят лучи, ни к земле, которая их отражает. Это можно видеть на вершинах гор (если они не чрезмерно высоки), где постоянно пребывает снег.
| 3
| Огненные метеоры.
| Не обнаруживается, чтобы кометы (если и их причислять к метеорам) производили очевидное и постоянное действие на увеличение жары.
| Таблицы степеней или сравнений «В-третьих, должно представить разуму примеры, в которых исследуемая природа присутствует в большей и в меньшей степени. Это возможно или посредством сопоставления роста и уменьшения этого свойства в одном и том же предмете, или посредством сравнения его в различных предметах»
«Новый Органон»
Методы познания - Итак, следует совершать разложение и разделение природы, конечно, не огнём, но разумом, который есть как бы божественный огонь.
- Поэтому первое дело истинной индукции (в отношении открытия форм) есть отбрасывание, или исключение, отдельных природ, которые не встречаются в каком-либо примере, где присутствует данная природа, или встречаются в каком-либо примере, где отсутствует данная природа, или встречаются растущими в каком-либо примере, где данная природа убывает,или убывают, когда данная природа растёт.
- Тогда после отбрасывания и исключения, сделанного должным образом (когда все легковесные мнения обратятся в дым), на втором месте (как бы на дне) останется положительная форма, твёрдая, истинная и хорошо определённая.
Логические процедуры «истинной индукции» Modus tollendo ponens (путь исключения исключений) — разновидность разделительно-категорического умозаключения, где есть некое разделительное суждение (суждение о том, что предмету присущ только один признак), категорическое суждение, отрицающее один из членов из разделительных, и заключение, которое, соответственно, утверждает неисключенный член разделительного суждения. - C есть либо A, либо B
- Если С не есть А, то С есть В
MODUS TOLLENDO PONENS - Modus tollendo ponens есть разновидность дедуктивного вывода, что и делает его доказательным (если бы он был индуктивным, он был бы предположительным.
- Индуктивность бэконовской логики заключается в ее ключевой операции построения разделительного суждения
- Сложность состоит в том, чтобы не упустить каких-либо соответствующих природе свойств, альтернативных членов разделительного суждения, иначе вывод утратит доказательность
Спасибо за внимание! |
|
|