• 5

ГЛАВА V ФУНКЦИОНАЛЬНЫЕ ИСЧИСЛЕНИЯ ВТОРОГО ПОРЯДКА

Функциональное исчисление второго порядка, или простое функциональное исчисление второго порядка, как мы будем его еще называть (чтобы отличать от разветвленных функциональ­ных исчислений второго порядка, описанных ниже в § 58), имеет в дополнение к обозначениям функционального исчисления пер­вого порядка еще кванторы, операторными переменными которых являются пропозициональные или функциональные переменные. Как и в случае функционального исчисления первого порядка, имеется целый ряд различных систем (простых) функциональных исчислений второго порядка, которые мы будем рассматривать одновременно. Частную формулировку, которая будет рассматри­ваться в настоящей главе, мы будем называть F|, указывая ниж­ним индексом на содержащуюся в ней частную формулировку пропозиционального исчисления). Или, если нужно будет раз­личать между собой различные функциональные исчисления второго порядка, то F|p есть формулировка чистого функциональ­ного исчисления второго порядка, рассматриваемая в настоящей главе, Ff-1 — сингулярное функциональное исчисление второго порядка, Ff,a — бинарное функциональное исчисление второго порядка и т. д.

Авторы: 1379 А Б В Г Д Е З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Книги: 1908 А Б В Г Д Е З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я