совместно с правдоподобностью В без А. Представим себе, что эта правдоподобность монотонно изменяется: В без А становится все менее и менее правдоподобным. В пределе, когда В без А становится невозможным, из истинности В следует истинность А. Однако мы допустили, что из истинности А следует истинность В, и, таким образом, в пределе А л В взаимно имплицируют друг друга, становятся равнозначными.
Понаблюдаем теперь, как описанное изменение действует на фундаментальную индуктивную схему:
Из А следует В В истинно А более правдоподобно
Допустим, что пока первая посылка изменяется, как описано выше, вторая посылка остается неизменной. Когда В без А становится все менее и менее правдоподобным, предположение А в результате подтверждения его следствия В становится все более и более правдоподобным. Иными словами, заключение становится сильнее, вес его увеличивается. В пределе заключение превратится в «Л истинно», и, таким образом, наша схема правдоподобного умозаключения станет в пределе следующей (очевидной) схемой доказательного умозаключения:
Л и б равнозначны В истинно А истинно
Короче, наша схема правдоподобного умозаключения имеет «предельную форму», являющуюся схемой доказательного умозаключения. Когда посылки правдоподобного умозаключения «стремятся» к соответствующим посылкам предельной формы, правдоподобное заключение «приближается» к своей наибольшей предельной силе. Еще короче: от эвристической схемы к доказательной схеме существует непрерывный переход.
Большая часть этого описания соответствует и ряду других случаев. Некоторые из них показаны в табл. III. В табл. III употребляются символика и обозначения, введенные выше. Мы пользуемся также объясненным выше символом zt. Вместо не-В, определенного в § 4, применяется более короткий символ В.
Таблица III
|
Допредельный
Предельный
|
А -> В В истинно
|
Л н> В В более пр.
|
А | В В ложно
|
Л | В В менее пр.
|
|
А более пр. Л ^В В истинно
|
А н. более пр. Л =±В В более пр.
|
А более пр. А^В В ложно
|
А н. более пр. А^В В менее пр.
|
|
А истинно
|
А более пр.
|
А истинно
|
Л более пр.
|
(3) Правдоподобное из доказательного? Таблица III может натолкнуть нас и на другую мысль. Предельные схемы в этой таблице более очевидны, чем допредельные. Две из этих предельных схем являются доказательными, а две другие, хотя и не являются чисто доказательными, едва ли могут вызывать сомнение. Более спорные допредельные схемы, все являющиеся схемами правдоподобных умозаключений, по-видимому, возникают из соответствующих предельных схем путем равномерного процесса «ослабления»: более сильные утверждения, как например
A ^zB, А истинно, А более пр.
.
Комментарий:
Автор Елисей:
Во всякой стране молодое поколение - всегда иностранцы.
Автор :
Автор :