Читать книгу Свобода воли. Иллюзия или возможность - Дмитрий Волков - Страница 25

A. Невыполнимость условий мысленного эксперимента

На первый взгляд, описанный выше аппарат представим и возможен. Но уверенность в этом рассеивается, стоит лишь обдумать механизм его функционирования более тщательно. Видимо, программисты фактически все-таки не могли реализовать аппарат так, чтобы свойства «быть истинным» или «быть ложным высказыванием» регулярно вызывали соответствующую цветовую индикацию. Во-первых, истинность части высказываний должна со временем быть опровергнута, во-вторых, что-то должно было измениться с момента создания базы и, в-третьих, то, что было истинным для машины А, могло не быть истинным для машины Б. К примеру, высказывание «Изотоп антигелия-4 был зарегистрирован на ионном коллайдере RHIC» могло быть ложным до 2011 г., истинным после 2011 г. и даже бессмысленным до появления слов «изотоп», «антигелий» и «ионный коллайдер». А выражение «Мою программу написал Эл» истинно для первой машины и ложно для второй. Таким образом, в работе аппарата отсутствовали бы регулярности, которые описаны в мысленном эксперименте. И, при нажатии α, на ящике Б иногда загорался бы красный индикатор, а иногда – зеленый и даже оранжевый.

Парировать возражение можно небольшим усовершенствованием эксперимента. Допустим, что программисты предварительно договорились, какие истины включить в экспертную программу. Тогда их базы данных должны соответствовать друг другу, а регулярность работы аппарата – соблюдаться. Но в таком случае неясно, что является каузально эффективным свойством. «Быть истинным» или «быть ложным выражением» в качестве таких свойств уже не работают. Так как в случае с предварительно согласованной базой высказываний программисты могли бы допустить совместные ошибки. Также в ходе исследования ящиков ученые могли случайно набрать последовательность символов, которая была бы истинной, но при этом не вошла бы в согласованный массив знаний Эла и Бо. В качестве кандидата на каузальную эффективность можно принять свойство «быть истинным выражением для… машин А