Моделирование рассуждений. Опыт анализа мыслительных актов | страница 37



>1 и q>2, а в другом месте этого текста говорится о том же самом, но в качестве необходимой посылки указывается лишь q>1, то и в первом случае посылку q>2 можно опустить.

4. Если в тексте содержатся два утверждения, противоречащие друг другу, то либо в тексте имеется утверждение, примиряющее их, либо такое утверждение надо построить, введя в противоречащие утверждения такую посылку, которая «разводит» их и снимает их противоречивость. Этот прием весьма хитроумно использовали талмудисты для устранения вопиющего противоречия, связанного с указаниями срока употребления опресноков во время пасхи. В книге «Второзаконие» в одной и той же главе говорится, что опресноки надо употреблять в пищу и шесть и семь дней. Ситуация исключительно тяжелая. Но вот как талмудисты преодолели ее. По учению фарисеев первый сноп нового урожая торжественно приносился в храм на второй день пасхи. После его освящения в храме разрешалось есть хлеб нового урожая. Учитывая это обстоятельство, талмудисты устранили противоречие, добавив к заключениям о том, что опресноки надо есть шесть дней и что опресноки надо есть семь дней, посылки о типе муки, используемой при выпечке опресноков. Если это мука получена из зерен старого урожая, то такие опресноки можно есть все семь пасхальных дней, а если для их приготовления используется мука из зерен нового урожая, то число дней потребления опресноков, естественно, сокращается до шести.

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

5. Если в ряду однотипных утверждений что-то упоминается ранее, то оно автоматически переносится на все последующие утверждения. Если бы этот прием герменевтики перенести на текст известной русской сказки «Терем-Теремок», то можно было бы существенно сократить ее текст, ибо повтор всего диалога с вновь пришедшим к теремку персонажем не нужен. Достаточно лишь последней его части, отличающей его от предшествующего диалога. Правда, тогда бы потерялась вся прелесть и привлекательность этой сказки.

Наверное, читатель уже уловил суть герменевтических схем. Конечно, в отличие от строгих силлогистических рассуждений, сомнение в справедливости которых возможно лишь при очень тщательном их анализе, правильность герменевтических рассуждений можно подвергнуть критике «с ходу». Однако с их помощью удается объяснить многие особенности человеческих рассуждений, которые, как мы уже неоднократно подчеркивали, не являются в большинстве своем рассуждениями, порождаемыми формальными системами. Именно поэтому мы рассмотрим еще несколько «экзотических» схем рассуждений.