Словарь логики

— теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, ма­нипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включает­ся в теорию. Поэтому более точно Ф. т. можно определить как упорядоченную тройку (L, A, C), где L представляет формализо­ванный язык, A — множество аксиом и С — множество правил вывода. Ф. т. обычно строится следующим образом. Вначале задается алфа­вит языка — набор исходных символов, включающий в себя симво­лы для индивидных констант и переменных, для предикатов и функ­ций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение дол­жно быть эффективным, т. е. должна существовать эффективная про­цедура, позволяющая для произвольной последовательности симво­лов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Оп­ределение аксиомы также должно быть эффективным. Наконец фор­мулируются правила вывода, позволяющие получать из одних фор­мул другие. Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математи-   ческие или конкретно-научные принципы, получают формальную конкретно-научную теорию. Примерами Ф. т. являются: пропозицио­нальное исчисление, исчисление предикатов, теория порядка, тео­рия групп, теория решеток, теория множеств и т. п.