Κατηγορηματική λογική

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Για τη συγκεκριμένη έννοια, βλ. λογική πρώτου βαθμού.

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

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

Το άρθρο αντλεί πληροφορίες από το αντίστοιχο της αγγλόφωνης Wikipedia.