Формальная система – это четверка вида
Ф=<T,L,Q,R>.
Множество Т есть множество базовых элементов, исходных кирпичиков, не расчленяемых на более простые. Примерами таких элементов служат буквы (графемы) или детали в детском конструкторе. Единственное требование к элементам множества Т состоит в том, что для любого элемента за конечное число шагов можно узнать, принадлежит он Т или нет, а также отличить одни элементы от других, отождествляя одинаковые элементы.
Множество L есть множество синтаксических правил. С их помощью из элементов множества Т строятся более сложные образования, которые называются синтаксически правильными. Так, из графем возникают линейно упорядоченные сочетания, называемые словами, предложениями (для их образования используется специальный знак – пробел и знаки пунктуации), текстами; из деталей детского конструктора возникают более сложные образования, в которых отдельные элементы набора соединяются крепежными элементами.
Множество Q состоит из выделенных на основе некоторого соображения синтаксически правильных образований. Такое множество называется начальным или априорно принимаемым. Часто синтаксически правильные образования, входящие в Q, называют аксиомами. Тогда Q называют множеством аксиом.
Наконец, R представляет собой совокупность процедур, с помощью которых можно получать одни синтаксически правильные совокупности из других. Эти процедуры носят название правил вывода.
Формальные системы обладают одним общим свойством – автономностью. Если в такой системе задать все четыре множества, то она самостоятельно начнет генерировать множество выводимых в ней синтаксически правильных совокупностей. Они будут порождаться в результате применения различными способами правил вывода к совокупностям из множества Q. Сами элементы Q считаются в данной формальной системе выведенными всегда, т.е. априорно выведенными.
Легко усмотреть, что силлогистика Аристотеля и ее расширения, описанные нами, являют собой пример формальной системы. В качестве элементов Т выступают буквы, символизирующие имена конкретных сущностей и имена классов, а также символы А, Е, I и О. Синтаксические правила образуют из этих элементов нормальные формы представления высказываний Asp, Esp и т.п. В качестве исходных аксиом выступают законы силлогистики. Наконец, правилами вывода являются фиксированные выводы с одной посылкой, предназначенные для эквивалентных преобразований высказываний (например, Esp
Другие подходы к моделированию человеческих рассуждений, возникшие в столь же давние времена, что и силлогистика, не сумели достигнуть ее уровня. Но анализ их достижений полезен, ибо позволяет ввести некоторые типы нестрогих человеческих рассуждений, которые были отброшены силлогистикой как не отвечающие строгим логическим принципам. Ибо истина и ложь в человеческих рассуждениях это не Истина и Ложь с большой буквы, о которых говорят строгие логические теории. Но и они имеют право говорить об Истине лишь тогда, когда исходные факты, служащие посылками, не могут быть подвергнуты никакой критике. А возможно ли это? Во всяком случае, возможно ли это, когда мы рассуждаем о проблемных областях, знание о которых у нас не абсолютно? Ответ, как мне кажется, дан героем повести «Сказка о тройке» А. и Б. Стругацких Фарфуркисом:
«Действительно, что такое ложь? Ложь это отрицание или искажение факта. Но что есть факт? Можно ли вообще в условиях нашей невероятно усложнившейся действительности говорить о фактах? Факт есть явление или деяние, засвидетельствованное очевидцами? Однако очевидцы могут быть пристрастными, корыстными или просто невежественными. Факт есть деяние или явление, засвидетельствованное в документах? Но документы могут быть подделаны или сфабрикованы. Наконец, факты есть деяния или явления, фиксируемые лично мной. Однако мои чувства могут быть притуплены или даже совсем обмануты привходящими обстоятельствами. Таким образом, оказывается, что факт как таковой есть нечто весьма эфемерное, расплывчатое, недостоверное, и возникает естественная потребность отказаться от такого понятия. Но в этом случае ложь и правда автоматически становятся первопонятиями, неопределимыми через какие бы то ни было более общие категории. Существует Большая Правда и антипод ее, Большая Ложь. Большая Правда столь велика и истинность ее столь очевидна всякому нормальному человеку, каким являюсь и я, что опровергать ее и искажать ее, т.е. лгать, становится совершенно бессмысленно. Вот почему я никогда не лгу и не лжесвидетельствую».
Это высказывание Фарфуркиса должно звучать для читателя предостережением от слепого поклонения ясным и прозрачным моделям рассуждений, в основе которых лежат генераторы правильных заключений, т.е. формальные системы. Ибо в подобных генераторах вывод всегда правилен, но это ничего не говорит об истинности получаемого заключения. Истинность определяется не только правильностью вывода, обеспечиваемой самой формальной дедуктивной системой, но и истинностью тех посылок, которые были выбраны в качестве аксиом. Именно поэтому во времена Аристотеля силлогизм
казался истинным, ибо посылка «Все лебеди белые» подтверждалась, как и посылка «Все люди смертны», всем человеческим опытом, накопленным в Греции той эпохи. И понадобились сотни лет, чтобы убедиться в ложности этой посылки, ибо в Австралии были обнаружены черные лебеди. И если теперь заключение силлогизма о лебедях является явно ложным, сам способ его получения, т.е. путь доказательства, остается правильным.
Забытые науки
На пути развития человеческих знаний о внешнем мире возникали и исчезали целые науки. Одни из них, например алхимия или риторика, известны современному человеку хотя бы понаслышке, о других, например экзегетике, герменевтике или мантике, знает весьма узкий круг специалистов, занимающихся историей науки и культуры.
Но в последние годы отмечается возрождение интереса к этим, казалось бы, прочно забытым наукам. Появляются книги, посвященные алхимии и ее влиянию на современные представления в химии, вновь возрождаются исследования в области риторики, используемой как в теории аргументации (о которой в этой книге речь будет позже), так и в юриспруденции. Герменевтические схемы становятся предметом тщательного изучения специалистами, работающими в области семантики текстов. Поистине многое новое – это хорошо забытое старое. Очищенные от мистической шелухи, в которую они были надежно запрятаны, некоторые результаты алхимии, герменевтики или экзегетики начинают включаться в современную сумму научных сведений и методов, переживая новое рождение.
Алогичность ряда положений священных книг древности, наличие в них непонятных и многозначно толкуемых мест породили среди адептов соответствующего учения стремление к выявлению той внутренней логики и непротиворечивости, которая должна быть в «боговдохновенных» сочинениях. Упоминавшийся уже Фома Аквинский использовал для этих целей силлогистику Аристотеля. Комментаторы первых пяти книг Ветхого завета, считавшихся в иудаизме священными, избрали другие приемы рассуждений, давшие обширную талмудическую литературу, представляющую собой логические (точнее, герменевтические) комментарии к Пятикнижию и комментарии на ранее сделанные комментарии.