Предположим, что Смит и Джонс пытаются получить одну и ту же должность. Предположим также, что у Смита есть веские основания полагать истинность следующего высказывания: (D)
Именно Джонс получит должность, и у Джонса в кармане есть 10 монет. Основания Смита полагать, что (D) истинно, могут заключаться в том, что президент компании уверил его, что из них двоих выберут именно Джонса, и, с другой стороны, Смит сам сосчитал монеты в кармане Джонса всего десять минут назад. Из высказывания (D) следует, что: (Е) У человека, который получит должность, в кармане лежит 10 монет. Предположим, что Смит видит, что из (D) следует (Е), и принимает (Е) как истинное на основании (D), для которого, в свою очередь, у него есть веские основания. В таком случае, Смит обоснованно убежден в истинности (Е). Но представим себе, что, хотя еще и не зная того, сам Смит, а не Джонс, получит должность. И, также сам того не подозревая, Смит имеет в кармане 10 монет. Высказывание (Е) в таком случае по-прежнему остается истинным, хотя высказывание (D), из которого Смит и вывел (Е), оказывается ложным. Следовательно, в данном примере выполнены все условия: (i) (Е) истинно, (ii) Смит убежден в том, что (Е) истинно, и (iii) Смит имеет основания для того, чтобы быть убежденным в истинности (Е). Но настолько же очевидно и то, что СмитОтметим также, что рассуждение Гетье основывается на предположении, что обоснованность конъюнкции «Джонс получит должность, и у Джонса в кармане есть 10 монет», D, следует из обоснованности конъюнктов (если бы число конъюнктов было велико, это предположение могло бы показаться сомнительным См. также ниже принцип замкнутости обоснования относительно вывода из многочисленных посылок), а также на предположении, что из обоснованности конъюнкции следует обоснованность логического следствия, что у того, кто получит должность, в кармане 10 копеек, из D следует E, (см. ниже принцип замкнутости обоснования относительно вывода из посылки).
Предположим, что у Смита есть веские основания для того, чтобы утверждать следующее: (F)
У Джонса есть «Форд». Основания Смита могут состоять в том, что у Джонса всегда, насколько помнит Смит, была машина и всегда – именно «Форд». К тому же Джонс только что предложил подвезти Смита и сидел за рулем «Форда». Теперь представим себе, что у Смита есть еще один друг, Браун, о местонахождении которого в данное время Смиту совершенно ничего неизвестно. Смит выбирает наугад названия трех мест и строит три следующих высказывания: (G) Либо у Джонса есть «Форд», либо Браун – в Бостоне. (Н) Либо у Джонса есть «Форд», либо Браун – в Барселоне. (I) Либо у Джонса есть «Форд», либо Браун – в Брест-Литовске. Каждое из этих высказываний обусловлено (F). Представим себе, что Смит, видя обусловленность построенных им высказываний (F), принимает (G), (Н) и (I) на основании (F). Смит делает правильное заключение о (G), (Н) и (I) из высказывания, для которого у него есть веские основания. Следовательно, Смит совершенно оправданно убежден в каждом из этих трех высказываний. При этом, конечно, Смит не знает, где на самом деле находится Браун. Но теперь представим себе, что имеют силу два следующих условия: во-первых, у ДжонсаОтметим также, что в примере 2 Гетье использует предположение, что из обоснованности истинности одного из дизъюнктов следует обоснованность истинности дизъюнкта, то есть предположение, что обоснованность сохраняется при логическом выводе – переходе к дизъюнкту как следствию (см. ниже принцип замкнутости обоснования относительности дедукции)[21]
.Бьерн Страуструп , Бьёрн Страуструп , Валерий Федорович Альмухаметов , Ирина Сергеевна Козлова
Программирование, программы, базы данных / Базы данных / Программирование / Учебная и научная литература / Образование и наука / Книги по IT