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

 

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

 

Ανεπίσημα, λέγοντας "κατηγορηματική λογική" πολλοί αναφέρονται στη [[λογική πρώτου βαθμού]].

 

 

{{Μαθηματικά-επέκταση}}