Статья 215

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

Язык первопорядковой логики предикатов.

Здесь мы дадим одно из возможных описаний языка первопорядковой логики функционального исчисления первого порядка. Язык первопорядковой логики предикатов состоит из знаковых выражений нескольких типов индивидных, функциональных, предикатных, логических и технических.