§ 4. Квантори
Заміна змінних іменами — це не єдиний можливий спосіб створення із пропозиційних форм істинних або хибних висловлювань. В логіці предикатів задля цієї мети ми можемо використовувати такі логічні константи, які
Очевидно, що (4') і (5') є істиннимм/хибними висловлюваннями.
Дійсно, по суті вони є точно тими ж висловлюваннями, які више згадувалися як приклади несингу- ляоних висловлювань:
Такий символічний запис складатиме аналіз внутрішньої структури (4) і (5).
Зауважимо, шо (4) і (5) можна переформулювати, відповідно:
(4'") “Усі речі є матеріальними’’;
(5'") “Деякі речі є матеріальними”
(або “матеріальні речі існують”), що очевидніше демонструватиме універсальний характер квантору загальності (“всі”) та екзистенційний характер квантору існування (“деякі”).
Несингулярні висловлювання (4) і (5) є прикладами загальних висловлювань, які отримують із пропозиційних форм шляхом приписування одного або декількох кванторів.
(4") і (5") є символічними репрезентаціями (універсальним та екзестенційним узагальненням) пропозиційної форми “Qx”.