5 Логическа философия на извода Предикатно смятане
Teichman j., Evans k. Философия: Ръководство за начинаещи. Oxford University Press. 1995. гл. 23.
Изчисление на предикати
Предикатно смятане и обикновен език
Обичайните естествени езици като английския съдържат думи от различен вид. Това са собствени съществителни ("Ема"), общи съществителни ("котка"), глаголи ("тичам", "мисля", "удрям" и т.н.), както и комбинации от думи, включително прилагателни и прилагателни; някои от прилагателните (например "червен") означават свойства, докато други (например "по-висок от") - връзки.
Общите езици също съдържат количествени изрази като "всички", "един", "поне два", "някои" и т.н.
И накрая, естествените езици ви позволяват да посочвате нещата по неопределен начин. Когато искаме да посочим нещата по неопределен начин, казваме „нещо“, „каквото и да е“, „някой“, „произволно число“ и т.н.
Предикатното смятане осигурява точно отражение на тези различни елементи на общия език. Това е вид изкуствен език, предназначен да обясни вътрешните структурни характеристики на обикновените твърдения, които се считат за важни за разсъждение.
Елементи на предикатното смятане
Елементите на езика на предикатното смятане са.
Предложни изчисления оператори: символи , &, -> и =.
"Синтаксични" означава - скоби и периоди, взети от естествен език.
Имена: обичайно е да се използват малки букви по-близо до началото на азбуката (a, b, c) като символи за имена.