Λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 75:
* '''[[Αξιοπιστία (λογική)|Αξιοπιστία]]''', ο όρος αυτός έχει πολλές ξεχωριστές σημασίες, πράγμα το οποίο δημιουργεί κάποια σύγχυση στη βιβλιογραφία. Πιο συχνά, η αξιοπιστία αναφέρεται σε λογικά συστήματα, που σημαίνει ότι αν ένας τύπος μπορεί να αποδειχθεί σε ένα σύστημα λογικής, τότε είναι αλήθεια στο αντίστοιχο μοντέλο/δομή (αν Α είναι ένα θεώρημα, τότε το Α είναι αλήθεια). Αυτό είναι το αντίστροφο της πληρότητας. Μια ξεχωριστή, περιφερική χρήση της αξιοπιστίας αναφέρεται στα επιχειρήματα, που σημαίνει ότι οι προκείμενες προτάσεις ενός έγκυρου επιχειρήματος είναι αληθινές και στον πραγματικό κόσμο.
Κάποια λογικά συστήματα δεν έχουν και τις τέσσερεις αυτές ιδιότητες. Ως παράδειγμα, τα θεωρήματα μη πληρότητας Kurt Gödel δείχνουν ότι αρκετά σύνθετα τυπικά συστήματα της αριθμητικής δεν μπορούν να είναι συνεπή και πλήρη. Ωστόσο, πρώτης-τάξης [[κατηγορηματική λογική|κατηγορηματικές λογικές]] δεν διευρύνονται από συγκεκριμένα αξιώματα με σκοπό να γίνουν αριθμητικά τυπικά συστήματα συνεπή και πλήρη.
==== Προκείμενες ====
| |||