Магазин готовых дипломов, курсовых и рефератов
Библиотека студента

Эвристика. Ч. 2

16. ФОРМАЛЬНАЯ СХЕМА ПРЕДПОЛОЖЕНИЯ

Исследование возможного основания. Пусть дано некоторое высказывание А, которое надо доказать или опровергнуть. После некоторой работы над А мы обнаруживаем, что существует другое предположение В, из которого следовало бы А: А следует из В. Нам не известна истинность В, но В теперь есть возможное основание для А. От его истинности зависит схема рассуждения, которая может быть:

Доказательная схема - это классическая схема логики (логическим предметом выступает объект смысловых операций), а эвристическая несколько похожа на фундаментальную индуктивную схему (2) и допускает такую словесную формулировку: когда возможное основание для гипотезы рушится, наша уверенность в этой гипотезе может только уменьшиться.

Исследование противоречащего предположения. Пусть А и В - два противоречащих предположения: А несовместно с В, т.е. из истинности одного из двух предположений необходимо следует ложность другого; если этого не происходит, то имеет место логическая ошибка (нарушение правил или законов логики). Относительно истинности А и В нам ничего не известно, но мы знаем, что А и В не могут быть истинны оба, хотя оба могут быть ложными.

Рассмотренная ситуация может иметь место в естественных науках (категории логического и исторического; обозначают соотношение логического развития мысли о предмете с реальным процессом становления объекта). Так, ученый, чтобы объяснить какое-то явление, высказал предположение А, другой ученый, иначе объясняя то же самое явление, высказал предположение В. Объяснения несовместны. Оба ученых не могут быть правы, но оба могут ошибаться. При этом возможны следующие схемы рассуждения:

Когда рушится несовместное соперничающее предположение, наша уверенность в оставшемся предположении может только возрасти.

Итоговая таблица. Во всех рассмотренных схемах исследований следствия возможного основания и противоречащего предположения исследуемый элемент непрерывно изменялся в пределах крайнего состояния истинности - отложного до истинного или в обратном направлении. В соответствии с этим изменением заключение также непрерывно изменялось. Используя эту закономерность, рассмотренные схемы допускают систематизацию в следующей таблице:


Чтобы более сжато записать рассмотренные схемы в таблицу, была использована символика логической предметной области (логическая предметная область - область возможных смыслов как функциональных переменных логического языка), с помощью которой заменили записи:

Умозаключение по аналогии. Пусть доказано утверждение А.

A. Из всех плоских фигур с данной площадью наименьший периметр имеет круг.

Используя истинность утверждения А, выдвигаем гипотезу В.

B. Из всех мембран с данной площадью наиболее низкую основную частоту имеет круг.

Для проверки гипотезы измеряются основные частоты мембран равной площади. Полученные данные (они не приводятся) дают серьезные индуктивные доводы в пользу гипотезы, но, конечно, не доказывают ее. Однако естественно ожидать, что аналогичное физическое минимальное свойство круга, индуктивно подкрепленное опытными данными, также окажется верным. Ожидая это, мы следуем важной схеме правдоподобного умозаключения:

Предположение становится более правдоподобным, когда оказывается истинным аналогичное предположение. При усилении аналогии значительно возрастает правдоподобность выдвинутой гипотезы. Так, если в рассмотренный ряд геометрических фигур внести еще некоторые, то подчинение их основных частот усиливает эвристический вывод:

Таким образом, гипотеза становится несколько более правдоподобной, когда становится более правдоподобной аналогичная гипотеза. Рассмотренные схемы считаются доказательными и едва ли могут вызвать сомнение. Более спорные допредельные схемы, все являющиеся схемами правдоподобных умозаключений, возникают из соответствующих предельных схем путем равномерного процесса «ослабления»:

Так, например, более сильный ряд утверждений А»В, А истинно, А более правдоподобно заменяется соответствующими более слабыми утверждениями А®В, А более правдоподобно, А несколько более правдоподобно.

 

2009-05-16 02:52:51 Учебникивернуться к списку

← предыдущая страница    следующая страница →
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Яндекс.Метрика