Κατηγορηματική λογική: Διαφορά μεταξύ των αναθεωρήσεων

Στη [[μαθηματική λογική]], '''κατηγορηματική λογική''' είναι ο γενικός όρος για τα συμβολικά [[τυπικό σύστημα|τυπικά συστήματα]] όπως η [[λογική πρώτου βαθμού]], η [[λογική δεύτερου βαθμού]], η [[λογική πολλών ειδών]] (many-sorted logic), ή η [[infinitary λογική]]. Αυτό το τυπικό σύστημα διαφοροποιείται από άλλα τυπικά συστήματα στο ότι οι [[τύπος|τύποι]] του περιέχουν μεταβλητές που μπορεί να είναι [[ποσοτικός τελεστής|ποσοτικοποιημένες]] (quantified). Δύο συνηθισμένοι ποσοτικοί τελεστές είναι ο "[[υπαρξιακός τελεστής|υπάρχει]]" και ο "[[καθολικός τελεστής|για κάθε]]". Οι μεταβλητές μπορούν να είναι στοιχεία σε κάποιο χώρο, ή πιθανώς σχέσεις ή συναρτήσεις πάνω στο χώρο. Για παράδειγμα, ο υπαρξιακός τελεστής σε ένα σύμβολο συνάρτησης ερμηνεύεται ως "υπάρχει κάποια συνάρτηση".