ОТКЛОНЕНИЯ В УМОЗАКЛЮЧЕНИЯХ

Сведение семантических свойств к условиям истинности имеет большое преимущество: оно позволяет объяснить явление, которое иначе оставалось бы загадочным,— отклонения в умозаключениях, осуществляемых в обыденной жизни.

Матфей сидит справа от Марка

Марк сидит справа от Луки,

зависимы от нашего представления о том, что человеческие суще­ства имеют внутренне присущие им правую и левую сторону (см., например, Miller and Johnson-Laird, 1976, разд. 6.1.3). Такие умозаключения легко осуществить в моделях, которые удовлетворя­ют условиям истинности посылок по отношению к системе коорди­нат, определяемой позицией и ориентацией указанных лиц. При этом достаточно простой линейной семантики для х находится справа от у.

Основная идея состоит в том, чтобы сначала установить местопо­ложение требуемого индивида, например Марка, затем установить систему координат, основанную на его ориентации, и, наконец, употребить эту семантику для добавления к модели Матфея в позиции, находящейся в правой стороне поперечной оси, проходящей через Марка. Когда этот процесс осуществляется по отношению к лицам, сидящим за круглым столом, как показано на рис. 3, та же

самая линейная семантика для справа порождает все требуемые

отклонения в умозаключениях. Транзитивное умозаключение:

А находится справа от В

В находится справа от С

Следовательно, А находится справа от С

\

Рис. 3. Системы координат для группы лиц, сидящих за столом.

приемлемо, так как А располагается довольно близко от оси, проходящей через позиции, находящиеся справа от С. Однако транзитивное умозаключение:

А находится справа от В В находится справа от С С находится справа от D

Н находится справа от I Следовательно, А находится справа от I

неприемлемо, так как А находится почти что напротив I и очень далеко от оси, проходящей через позиции, лежащие справа от I.

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

А находится справа от В

В находится справа от С

Следовательно, А находится справа от С

потеряет свою обоснованность. Критерий обоснованности чисто семантический, он состоит в невозможности построения такой модели посылок и их контекста, в которой заключение является ложным.