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

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
→‎Λογική μορφή: ελληνική ορολογϊα
Ετικέτες: Επεξεργασία από κινητό Διαδικτυακή επεξεργασία από κινητό
Ετικέτες: Επεξεργασία από κινητό Διαδικτυακή επεξεργασία από κινητό
Γραμμή 233:
Η κατηγορηματική λογική παρέχει έναν απολογισμό από ποσοδείκτες αρκετά γενικούς ώστε να εκφράσουν ένα ευρύ σύνολο από επιχειρήματα που εμφανίζονται στη φυσική γλώσσα. Η αριστοτελική συλλογιστική λογική καθορίζει ένα μικρό αριθμό από τους τύπους των οποίων το αντίστοιχο τμήμα των εμπλεκόμενων κρίσεων μπορεί να λάβει. Η κατηγορηματική λογική επιτρέπει φράσεις να αναλυθούν στο θέμα και στο επιχείρημα με διάφορους εναλλακτικούς τρόπους, και έτσι επιτρέπει να λύσει το πρόβλημα των πολλαπλών γενικοτήτων που είχε φέρει σε αμηχανία του μεσαιωνικούς επιστήμονες της λογικής.
 
Η ανάπτυξη της κατηγορηματικής λογικής συνήθως αποδίδεται στον [[Γκότλομπ Φρέγκε|Φρέγκε]], ο οποίος επίσης καταλογίζεται ως ένας από τους θεμελιωτές της [[αναλυτική φιλοσοφία|αναλυτικής φιλοσοφίας]], αλλά η κατηγορηματική λογική που χρησιμοποιείται πιο συχνά σήμερα είναι η πρώτης τάξεως λογική που παρουσιάστηκε στο ''Αρχές της μαθηματικής λογικής'' (''Principles of mathematical logic'') από τους [[ΝτέιβιντΝτάβιντ Χίλμπερτ]] και [[Βίλχεμ Άκερμαν]] το 1928. Η αναλυτική γενικότητα της κατηγορηματικής λογικής επέτρεψε την τυποποίηση των μαθηματικών, οδηγώντας στην έρευνα της θεωρία των συνόλων, και την ανάπτυξη της [[θεωρία μοντέλων|θεωρίας μοντέλων]] του [[Άλφρεντ Τάρσκι]]. Παρέχει τα θεμέλια της σύγχρονης μαθηματικής λογικής.
 
Το αρχικό σύστημα της κατηγορηματικής λογικής του Φρέγκε ήταν δεύτερης τάξης, και όχι πρώτης τάξης. Τη δεύτερης τάξης λογική εμφανώς υπερασπίστηκαν, έναντι της κριτικής του [[Ουίλαρντ Φαν Όρμαν Κουίν]] και άλλων, οι [[Τζορτζ Μπόολος]] και [[Στιούαρτ Σαπίρο]].
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Λογική"