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

Исследуем запись (gh). Если g истинно, то h должно быть истинно, если фраза, которая вложена Д. Самойловым в уста Пестеля, является истинной. Это хорошо, но что будет в случае, когда утверждение g ложно? Для импликации это означает, что как при истинности h, так и при его ложности вся фраза в целом остается истинной. Другими словами, если неверно, что «Трон находится в стране в руках деспо?та», то дворянство может менять основы власти и закона, а может этого и не делать. Всё равно сложное высказывание будет сохранять свою истинность. Если же мы потребуем, чтобы при ложности g всегда было бы ложным и все высказывание целиком, сохраняя остальные свойства импликации, то мы опять вернемся к конъюнкции.

Наверное, самым разумным с точки зрения здравого смысла было бы вообще отказаться от определения истинности или ложности выражения (ЕСЛИ ? ТОГДА ?), когда ? является ложным. Ибо для выводов в этом случае нет никакой информации. Во второй главе мы использовали знак выводимости . Вот с его-то помощью и можно формализовать случай, когда в записи gh из истинности g всегда следует истинность h, а при ложности g ничего сказать нельзя. Но знак выводимости не является логической связкой и не входит в синтаксис исчисления высказываний. Поэтому, оставаясь в рамках этого исчисления, мы вынуждены пользоваться импликацией.

И еще одно замечание, касающееся импликации. Эта связка, как и разделительная дизъюнкция, может быть сведена к комбинации других связок, имеющихся в исчислении. Читатели легко могут убедиться в справедливости замены ?? на ??. Однако по ряду причин в исчислении высказываний в его классической форме импликация сохраняется как самостоятельная связка[5].

Не нужно думать, что переход от фраз на естественном языке к соответствующим им правильным формулам исчисления высказываний столь прост. На этом пути стоит немало трудностей, И прежде всего потому, что частицы и союзы языка типа НЕ, И, ИЛИ, ТО, ЕСЛИ и т.п. не являются однозначными свидетельствами наличия похожих на них связок. Цитата из стихотворения «Смерть поэта» Д. Самойлова иллюстрирует это положение:

И не ведал я, было ли это
Отпеванием времени года,
Воспеваньем страны и народа
Или просто кончиной поэта.

Встречающиеся здесь И и ИЛИ не являются прямыми аналогами связок исчисления высказываний.

Мы ввели множество базовых элементов и множество синтаксических правил. Теперь необходимо ввести множество аксиом. В логике в качестве множества аксиом выбирают обычно совокупность правильных формул, которые являются общезначимыми (или тождественно истинными). Высказывания, описываемые этими формулами, таковы, что они всегда истинны. Вот пример такого множества формул:

Читатели могут сами убедиться в том, что при всех комбинациях истинности и ложности формул ?, ? и ? четыре выписанные аксиомы всегда являются истинными. Такие аксиомы принято называть абсолютными или логическими.

Перейдем к описанию правил вывода R. Вспомним, что Аристотель, создавая свои силлогистические правила, добивался того, чтобы из истинных посылок всегда следовали истинные заключения. Если в качестве аксиом используются абсолютные аксиомы, то правила вывода должны обладать тем свойством, что их применение не должно нарушать истинность. Другими словами, из тождественно истинных формул должны выводиться лишь тождественно истинные формулы. Введем, учитывая это, два правила вывода исчисления высказываний.

Первое правило носит название правило подстановки. Согласно ему в формулу, которая уже выведена, можно вместо некоторого высказывания подставить любое другое при непременном условии, что эта подстановка сделана во всех местах вхождения заменяемого высказывания в данную формулу. Такая подстановка сохраняет свойство формулы быть тождественно истинной. Если в аксиому (?(??)) вместо ? подставить любую формулу, например (?&?), то формула ((?&?)((?&?)?)) останется тождественно истинной, что легко доказывается перебором всех комбинаций истинностных значений ? и ? и проверкой того, что для всех них полученная формула остается истинной.

Второе правило называется модус поненс (лат. modus ponens) или правило заключения и выглядит следующим образом: если ? и (??) являются истинными формулами, то формула ? также истинна. Если ? является истинной, то истинность (??) означает, что ? является истинной. Поэтому правило заключения не портит истинности выводимых формул.