Τυπικό σύστημα: Διαφορά μεταξύ των αναθεωρήσεων

Στην [[λογική]], ένα '''τυπικό σύστημα''' (formal system), ή '''λογικό σύστημα''' (logic system), ή απλά '''λογική''' αποτελείται από μια [[τυπική γλώσσα]] σε συδυασμό με ένα [[συμπερασματικό σύστημα]], που αποτελείται από ένα [[σύνολο]] από [[συμπερασματικός κανόνας|συμπερασματικούς κανόνες]] και/ή [[αξίωμα|αξιώματα]]. Ένα τυπικό σύστημα χρησιμοποιείται για να [[τυπική απόδειξη|παράγει]] μια έκφραση από μια ή περισσότερες άλλες εκφράσεις που διατυπώνονται ως υποθέσεις. Οι εκφράσεις αυτές λέγονται αξιώματα, στην περίπτωση που υποτίθεται ότι είναι αληθείς, ή [[θεώρημα|θεωρήματα]], στην περίπτωση που παράγονται. Ένα τυπικό σύστημα μπορεί να διατυπωθεί και να μελετηθεί για τις εγγενείς του ιδιότητες, ή μπορεί να έχει στόχο την περιγραφή εξωτερικών φαινομένων ([[μοντέλο]]).

Κάθε τυπικό σύστημα περιλαμβάνει μια [[τυπική γλώσσα]] που συντίθεται από πρωτογενή [[σύμβολο|σύμβολα]]. Τα σύμβολα αυτά συμπεριφέρονται και συντάσσονται βάσει συγκεκριμένων κανόνων και αναπτύσσονται συναγωγικά από ένα σύνολο [[αξίωμα|αξιωμάτων]]. Έτσι, το σύστημα απαρτίζεται από οποιοδήποτε αριθμό τύπων που συντίθενται με πεπερασμένους συνδυασμούς πρωτογενών συμβόλων, συνδυασμοί που διαμορφώνονται από τα αξιώματα με βάση τους ορισμένους κανόνες.

# Μια [[γραμματική]], που καθορίζει πως οι ''καλά ορισμένη διατύπωση'' κατασκευάζονται από τα σύμβολα του αλφαβήτου. Συνήθως απαιτείται να υπάρχει μια διαδικασία που να αποφασίζει αν μια διατύπωση είναι καλά ορισμένη.

{{ΜεταφρασμένοΕνσωμάτωση κειμένου|en|Formal system}}