Γλώσσα: εισαγωγή

Περίληψη

Αυτό το μάθημα ανοίγει την πρώτη ενότητα του κύκλου μαθημάτων, αφιερωμένη στη γλώσσα της προτασιακής λογικής. Παρουσιάζει τα τέσσερα μαθήματά της και το νήμα που τα ενώνει, από τη διάκριση ανάμεσα στην εγκυρότητα και την αλήθεια ως την τυποποίηση επιχειρημάτων διατυπωμένων στα ελληνικά· τοποθετεί την ενότητα στη συνολική πορεία του κύκλου μαθημάτων, που πηγαίνει από τη γλώσσα στην παραγωγή, στη σημασιολογία και στη μεταθεωρία, και εξηγεί γιατί η σύνταξη πρέπει να προηγείται των άλλων τριών· αιτιολογεί την επιλογή μιας γλώσσας με δύο μόνο σύμβολα, τον κύκλο και τον δίσκο, και με έναν μοναδικό κανόνα σχηματισμού· διευκρινίζει το λίγο που θεωρείται γνωστό, δηλαδή την προσεκτική ανάγνωση και τη στοιχειώδη αριθμητική· διατυπώνει το πρόβλημα που λύνει η ενότητα, να γράφουμε έτσι ώστε κάθε έκφραση να έχει μία μόνο ανάγνωση και να το αποδεικνύουμε για άπειρους τύπους, και δίνει συμβουλές για τη μελέτη της.

Μαθησιακοί στόχοι

Να περιγράφεται η ακολουθία των περιεχομένων της ενότητας και να εξηγείται τι προσφέρει κάθε μάθημα στο επόμενο.
Να τοποθετείται η ενότητα στην πορεία του κύκλου μαθημάτων (γλώσσα, παραγωγή, σημασιολογία και μεταθεωρία) και να εξηγείται γιατί η σύνταξη μελετάται πριν από τα άλλα τρία μέρη.
Να εξηγείται, με ένα παράδειγμα, γιατί ένας συμβολισμός με τον σύνδεσμο ανάμεσα στα ορίσματά του και χωρίς παρενθέσεις είναι αμφίσημος, και γιατί η γλώσσα των κύκλων και των δίσκων δεν είναι.
Να αναγνωρίζεται το λίγο που προϋποθέτει η ενότητα και να οργανώνεται η μελέτη της, με αφετηρία την αρχική αυτοαξιολόγηση.

Αρχική αξιολόγηση

Πριν διατρέξουμε την ενότητα, αξίζει να μετρήσουμε το σημείο εκκίνησης. Η αξιολόγηση αυτή είναι αυτοαξιολόγηση: δεν βαθμολογείται, και μοναδικός σκοπός της είναι να προσανατολίσει τη μελέτη. Οι έντεκα ερωτήσεις της αφορούν, με τη σειρά, τα τέσσερα μαθήματα της ενότητας: τρεις το πρώτο, τρεις το δεύτερο, δύο το τρίτο και τρεις το τέταρτο. Όποιος δεν έχει μελετήσει ποτέ λογική δεν πρέπει να περιμένει να τις απαντήσει όλες σωστά, και αυτό δεν έχει σημασία: κάθε απάντηση, σωστή ή λανθασμένη, εξηγεί το ζήτημα και κατονομάζει το μάθημα που το πραγματεύεται. Οι ίδιες δεξιότητες μετρώνται ξανά στο τέλος, στο μάθημα της σύνθεσης· επειδή αυτή είναι η πρώτη ενότητα ενός κύκλου μαθημάτων χωρίς προαπαιτούμενα, δεν υπάρχουν ερωτήσεις για προηγούμενες ενότητες.

Τα περιεχόμενα της ενότητας

Η ενότητα αυτή υπηρετεί, πρώτα απ’ όλα, τον πρώτο από τους στόχους του κύκλου μαθημάτων, να διακρίνουμε τη γλώσσα-αντικείμενο από τη μεταγλώσσα και να αποφασίζουμε με τους κανόνες σχηματισμού αν μια συμβολοσειρά είναι τύπος· υπηρετεί επίσης τον δεύτερο, να τυποποιούμε αποφάνσεις και επιχειρήματα της φυσικής γλώσσας, και προετοιμάζει τον τέταρτο, να αποδεικνύουμε μεταθεωρήματα με επαγωγή, που θα συνοδεύει τον κύκλο μαθημάτων ως την τελευταία του ενότητα. Στόχος της είναι όποιος την ολοκληρώσει να ξέρει τι μελετά η λογική, να διαθέτει μια τυπική γλώσσα κατασκευασμένη με πλήρη αυστηρότητα, να ξέρει να αποδεικνύει ιδιότητες όλων των τύπων της και να μπορεί να μεταφράζει σε αυτήν αποφάνσεις και επιχειρήματα των ελληνικών, γνωρίζοντας τι διατηρεί και τι χάνει η μετάφραση. Τα τέσσερα μαθήματά της σχηματίζουν μια αλυσίδα στην οποία καθένα στηρίζεται στα προηγούμενα.

Τι είναι η μαθηματική λογική. Οριοθετεί το αντικείμενο του κλάδου: όχι την αλήθεια των επιμέρους αποφάνσεων, αλλά την εγκυρότητα, τη σχέση ανάμεσα στις υποθέσεις και στο συμπέρασμα που εγγυάται ότι η αλήθεια των πρώτων περνά στο δεύτερο. Διακρίνει την εγκυρότητα από την αλήθεια, δείχνει γιατί η φυσική γλώσσα, αμφίσημη και ικανή να μιλά για τον εαυτό της, δεν αρκεί για να τη μελετήσουμε, και θεμελιώνει τη διάκριση ανάμεσα στη γλώσσα-αντικείμενο και στη μεταγλώσσα. Αναλύει, με ρητές τις παραδοχές τους, τα παράδοξα του ψεύτη, του Μπέρι, του κουρέα και του Ράσελ, και τελειώνει με τον χάρτη του κύκλου μαθημάτων.
Η γλώσσα της προτασιακής λογικής. Διδάσκει τα απαραίτητα από τα σύνολα και τις συμβολοσειρές, μετρά τις συμβολοσειρές που μπορούν να γραφτούν με δύο σύμβολα και κατασκευάζει τη βασική γλώσσα: άπειρες μεταβλητές γραμμένες με κύκλους και δίσκους, έναν μόνο κανόνα σχηματισμού και μια συνθήκη κλειστότητας, από την οποία προκύπτει μια αρχή για την απόδειξη ιδιοτήτων όλων των τύπων. Δίνει μια διαδικασία για να αποφασίζουμε αν μια συμβολοσειρά είναι τύπος και κατασκευάζει, πάνω στη βασική γλώσσα, τη μεταγλώσσα με την οποία θα δουλεύουμε στο εξής: μεταμεταβλητές, την κοινή άρνηση γραμμένη με παρενθέσεις και τις επίσημες συντομογραφίες των υπόλοιπων συνδέσμων.
Η επαγωγή στους φυσικούς αριθμούς και στους τύπους. Διδάσκει την επαγωγή στους φυσικούς αριθμούς, απλή και ισχυρή, και τη μεταφέρει στους τύπους. Με αυτήν αποδεικνύει το λήμμα του βάρους και, από αυτό, το θεώρημα της μονοσήμαντης ανάγνωσης, που το προηγούμενο μάθημα είχε διατυπώσει: κάθε σύνθετος τύπος αναλύεται με έναν μόνο τρόπο. Η μονοσήμαντη ανάγνωση νομιμοποιεί, τέλος, τους ορισμούς με αναδρομή στους τύπους (μήκος, υποτύποι, βάθος) και την υποκατάσταση ενός υποτύπου με άλλον.
Η τυποποίηση της φυσικής γλώσσας. Γεφυρώνει τα ελληνικά με την τυπική γλώσσα: το λεξικό μιας τυποποίησης, την ανάγνωση κάθε συνδέσμου συναγμένη από εκείνη του πρωταρχικού συνδέσμου, τις λεπτότητες του «αλλά», του «μόνο αν» και του «εκτός αν», την εμβέλεια των συνδέσμων, την υλική συνεπαγωγή και όσα η προτασιακή λογική δεν μπορεί να εκφράσει. Τελειώνει τυποποιώντας ολόκληρα επιχειρήματα ως ένα σύνολο υποθέσεων και ένα συμπέρασμα, που οι επόμενες ενότητες θα υποβάλουν στην παραγωγή και στη σημασιολογία.

Η ενότητα τελειώνει με το μάθημα σύνθεσης και προκλήσεων, που συγκεντρώνει όσα επιτεύχθηκαν σε μια παραγωγική αλυσίδα, επαναλαμβάνει στην τελική του αξιολόγηση τις δεξιότητες της αρχικής αξιολόγησης και προτείνει προκλήσεις που συνδυάζουν περισσότερα μαθήματα.

Η θέση της ενότητας στον κύκλο μαθημάτων

Ο κύκλος μαθημάτων διατρέχει, για την απλούστερη γλώσσα της λογικής, την πλήρη πορεία μιας λογικής θεωρίας, και το κάνει σε τέσσερα μέρη, που είναι οι τέσσερις ενότητες περιεχομένου του. Η πρώτη, αυτή, καθορίζει τη γλώσσα. Η δεύτερη, η παραγωγή, ορίζει τι σημαίνει ότι ένας τύπος $\varphi$ προκύπτει από ένα σύνολο τύπων $\Gamma$ μέσω αξιωμάτων και κανόνων συμπερασμού, πράγμα που θα γράφεται $\Gamma \vdash \varphi$ · είναι η συντακτική όψη της εγκυρότητας, στην οποία χειριζόμαστε σύμβολα χωρίς να προσέχουμε τη σημασία τους. Η τρίτη, η σημασιολογία, αποδίδει σε κάθε τύπο μια τιμή αλήθειας σε κάθε αποτίμηση και ορίζει τι σημαίνει ότι ο $\varphi$ είναι συνέπεια του $\Gamma$ , πράγμα που θα γράφεται $\Gamma \models \varphi$ · είναι η σημασιολογική όψη της εγκυρότητας. Η τέταρτη, η μεταθεωρία, αποδεικνύει ότι οι δύο όψεις συμπίπτουν: η ορθότητα λέει ότι κάθε παραγώγιμο είναι συνέπεια, και η πληρότητα ότι κάθε συνέπεια είναι παραγώγιμη.

Αν αυτό ισχύει, η σύνταξη δεν είναι ένα προοίμιο που μπορεί να συντομευτεί, αλλά η προϋπόθεση των άλλων τριών μερών. Μια παραγωγή είναι μια ακολουθία τύπων, και για να αποφασίσουμε αν μια ακολουθία είναι παραγωγή πρέπει να ξέρουμε, χωρίς δισταγμό, ποιες συμβολοσειρές είναι τύποι και πώς αναλύονται· μια αποτίμηση επεκτείνεται από τις μεταβλητές σε όλους τους τύπους με αναδρομή, και η αναδρομή δίνει μία τιμή σε κάθε τύπο μόνο αν κάθε τύπος διαβάζεται με έναν μόνο τρόπο· τα θεωρήματα της μεταθεωρίας αποδεικνύονται με επαγωγή, στην πολυπλοκότητα των τύπων ή στο μήκος των παραγωγών. Από αυτό έπεται η σειρά της ενότητας: πρώτα, τι θέλουμε να μελετήσουμε και γιατί χρειάζεται μια τυπική γλώσσα· έπειτα, η γλώσσα· ύστερα, το εργαλείο για να αποδείξουμε κάτι για όλους τους τύπους της, με το οποίο αποδεικνύεται η μονοσήμαντη ανάγνωση· και, τέλος, η γέφυρα προς τα επιχειρήματα των ελληνικών, που είναι ο λόγος ύπαρξης όλων των προηγουμένων.

Γιατί μια γλώσσα κύκλων και δίσκων

Η γλώσσα του κύκλου μαθημάτων έχει ένα αλφάβητο δύο μόνο συμβόλων, τον κύκλο $\sigO$ και τον δίσκο $\sigI$ , και έναν μόνο κανόνα σχηματισμού: αν οι $\varphi$ και $\psi$ είναι τύποι, τότε είναι τύπος και ο $\sigI\varphi\psi$ . Η $n$ -οστή μεταβλητή είναι η συμβολοσειρά από $n$ κύκλους ακολουθούμενους από έναν δίσκο, $v_{n} = \sigO^{n}\sigI$ . Με την πρώτη ματιά, η επιλογή είναι παράξενη, γιατί οι τύποι γραμμένοι έτσι διαβάζονται δύσκολα. Έχει, ωστόσο, τέσσερις συγκεκριμένους λόγους.

Ο πρώτος είναι ότι δύο σύμβολα αρκούν για να γράψουμε άπειρες μεταβλητές χωρίς να βγούμε από ένα πεπερασμένο αλφάβητο, ώστε κάθε τύπος είναι, κυριολεκτικά, μια πεπερασμένη συμβολοσειρά από σύμβολα ενός συνόλου δύο στοιχείων, και τα ερωτήματα για τη γλώσσα είναι ερωτήματα για συμβολοσειρές, που μπορούν να μετρηθούν και να συγκριθούν. Ο δεύτερος είναι ότι ένας μόνο κανόνας αφήνει μία μόνο περίπτωση σε κάθε απόδειξη με επαγωγή: ό,τι αποδεικνύεται για τις μεταβλητές και για τον $\sigI\varphi\psi$ έχει αποδειχθεί για όλους τους τύπους, χωρίς μία περίπτωση ανά σύνδεσμο. Ο τρίτος είναι ότι ο κανόνας βάζει τον σύνδεσμο μπροστά από τα δύο ορίσματά του, όπως στον συμβολισμό που πρότεινε ο Γιαν Λουκασέβιτς τη δεκαετία του 1920, και γι’ αυτό δεν χρειάζεται παρενθέσεις: η μονοσήμαντη ανάγνωση αποδεικνύεται με ένα επιχείρημα μίας σελίδας, που αποδίδει σε κάθε μεταβλητή το βάρος $+1$ και σε κάθε συνδετικό δίσκο το βάρος $-1$ . Ο τέταρτος είναι ότι ο μοναδικός σύνδεσμος, η κοινή άρνηση, «ούτε $\varphi$ ούτε $\psi$ », αρκεί για να εκφράσει όλους τους άλλους, όπως παρατήρησε ο Τσαρλς Σάντερς Πιρς γύρω στο 1880 και δημοσίευσε ο Χένρι Σέφερ το 1913, και όπως θα αποδείξει η ενότητα της σημασιολογίας· ώστε η οικονομία της γλώσσας δεν θυσιάζει τίποτε από όσα μπορεί να πει η προτασιακή λογική.

Όμως, το τίμημα αυτής της οικονομίας είναι η αναγνωσιμότητα, και η ενότητα το πληρώνει στη μεταγλώσσα: κανείς δεν θα γράφει καθημερινά συμβολοσειρές κύκλων και δίσκων, αλλά τα ονόματά τους, $(\varphi \downarrow \psi)$ , $\neg\varphi$ , $(\varphi \rightarrow \psi)$ , που ορίζονται μία μόνο φορά και μπορούν, ανά πάσα στιγμή, να αναπτυχθούν ως τη συμβολοσειρά που δηλώνουν. Επομένως, ο κύκλος μαθημάτων δουλεύει σε δύο επίπεδα συγχρόνως: μια ελάχιστη βασική γλώσσα, πάνω στην οποία αποδεικνύουμε, και έναν βολικό συμβολισμό, με τον οποίο γράφουμε· και η διάκριση ανάμεσα στη γλώσσα-αντικείμενο και στη μεταγλώσσα, που εισάγει το πρώτο μάθημα, είναι εκείνη που μας επιτρέπει να μην τα συγχέουμε.

Τι θεωρείται γνωστό

Η ενότητα ξεκινά σχεδόν από το τίποτε. Δεν προϋποθέτει ότι έχουμε μελετήσει λογική, ούτε ότι γνωρίζουμε τη θεωρία συνόλων, ούτε ότι έχουμε αποδείξει ποτέ ένα θεώρημα: όσα χρησιμοποιεί από τα σύνολα τα διδάσκει το δεύτερο μάθημα, και όσα χρησιμοποιεί από την επαγωγή, το τρίτο. Προϋποθέτει μόνο δύο πράγματα. Το πρώτο, την προσεκτική ανάγνωση: σε μια τυπική γλώσσα, ένα σύμβολο που προστίθεται ή παραλείπεται αλλάζει τη συμβολοσειρά, και η σειρά των λέξεων ενός ορισμού μετρά όσο και οι ίδιες οι λέξεις. Το δεύτερο, τη στοιχειώδη αριθμητική των φυσικών αριθμών, που σε αυτόν τον κύκλο μαθημάτων είναι οι $1, 2, 3, \ldots$ : πρόσθεση και πολλαπλασιασμό, υπολογισμό δυνάμεων του $2$ , διάκριση των άρτιων από τους περιττούς και αναγνώριση ενός πρώτου αριθμού.

Όποιος επιθυμεί πρόσθετη στήριξη για την επαγωγή μπορεί να συμβουλευτεί τα μαθήματα για τα αξιώματα του Πεάνο και για τα αθροίσματα και την επαγωγή του κύκλου μαθημάτων Άλγεβρα και γεωμετρία I· δεν είναι απαραίτητο, γιατί το τρίτο μάθημα αυτής της ενότητας διδάσκει την επαγωγή από τη διατύπωσή της.

Το πρόβλημα που λύνει η ενότητα

Η λογική μελετά την εγκυρότητα, και η εγκυρότητα εξαρτάται από τη μορφή των επιχειρημάτων. Όμως, για να μιλήσουμε για τη μορφή με αυστηρότητα, πρέπει κάθε έκφραση να έχει μία μόνο μορφή, και η φυσική γλώσσα δεν το εγγυάται: «το διπλάσιο του τρία συν τέσσερα» μπορεί να είναι $10$ ή $14$ , ανάλογα με το πώς ομαδοποιούμε. Αυτό θέτει δύο προβλήματα, που είναι τα προβλήματα της ενότητας. Το πρώτο είναι να κατασκευάσουμε μια γλώσσα στην οποία κάθε έκφραση διαβάζεται με έναν μόνο τρόπο. Το δεύτερο είναι να το αποδείξουμε: οι τύποι είναι άπειροι, και κανένας έλεγχος περίπτωση προς περίπτωση, όσο μακρύς κι αν είναι, δεν θεμελιώνει ότι όλοι διαβάζονται με έναν μόνο τρόπο. Το ακόλουθο παράδειγμα δείχνει και τα δύο προβλήματα σε μία μόνο έκφραση.

ΠαράδειγμαΜία έκφραση, δύο συμβολοσειρές

Η έκφραση $v_{1} \downarrow v_{2} \downarrow v_{3}$ , γραμμένη με τον σύνδεσμο ανάμεσα στα ορίσματά του και χωρίς παρενθέσεις, δεν δείχνει ποιος από τους δύο συνδέσμους είναι ο κύριος. Στη γλώσσα των κύκλων και των δίσκων, αντίθετα, κάθε ομαδοποίηση είναι διαφορετική συμβολοσειρά, και η ίδια η συμβολοσειρά λέει πώς ομαδοποιείται.

Απόδειξη

$((v_{1} \downarrow v_{2}) \downarrow v_{3}) = \resaltar{\sigI\sigI} v_{1} v_{2} v_{3}$
Πρώτη ανάγνωση: ο πρώτος σύνδεσμος ενώνει τη $v_{1}$ με τη $v_{2}$ , και ο δεύτερος είναι ο κύριος. Στη βασική γλώσσα, οι δύο δίσκοι μπαίνουν μπροστά.
$(v_{1} \downarrow (v_{2} \downarrow v_{3})) = \sigI v_{1} \resaltar{\sigI} v_{2} v_{3}$
Δεύτερη ανάγνωση: ο δεύτερος σύνδεσμος ενώνει τη $v_{2}$ με τη $v_{3}$ , και ο πρώτος είναι ο κύριος. Ο δεύτερος δίσκος μπαίνει ανάμεσα στη $v_{1}$ και στη $v_{2}$ .
$\sigI\resaltar{\sigI}\sigO\sigI\sigO\sigO\sigI\sigO\sigO\sigO\sigI \neq \sigI\resaltar{\sigO}\sigI\sigI\sigO\sigO\sigI\sigO\sigO\sigO\sigI$
Γραμμένες με κύκλους και δίσκους, οι δύο συμβολοσειρές διαφέρουν ήδη στο δεύτερο σύμβολό τους: είναι διαφορετικοί τύποι.
$\sigI \; \resaltar{\sigI \; v_{1} \; v_{2}} \; v_{3}: \quad -1, \quad 0, \quad +1$
Για να διαβάσουμε την πρώτη συμβολοσειρά αρκεί να μετρήσουμε: μετά τον αρχικό δίσκο, κάθε συνδετικός δίσκος αφαιρεί $1$ και κάθε μεταβλητή προσθέτει $1$ , και η πρώτη συνιστώσα τελειώνει εκεί όπου το άθροισμα φτάνει για πρώτη φορά το $+1$ .
$\sigI \, \resaltar{(\sigI v_{1} v_{2})} \, \resaltar{v_{3}}$
Από όπου η πρώτη συνιστώσα είναι η $\sigI v_{1} v_{2}$ και η δεύτερη η $v_{3}$ : η συμβολοσειρά διαβάζεται όπως στην πρώτη ανάγνωση, και με κανέναν άλλο τρόπο. Το ότι αυτή η μέτρηση λειτουργεί για όλους τους τύπους, και όχι μόνο για αυτόν, είναι το θεώρημα της μονοσήμαντης ανάγνωσης, που το τρίτο μάθημα αποδεικνύει με επαγωγή.

Η απάντηση της ενότητας σε αυτά τα δύο προβλήματα έχει, επομένως, δύο μέρη. Για το πρώτο, μια γλώσσα της οποίας ο μοναδικός κανόνας βάζει τον σύνδεσμο μπροστά, ώστε οι παρενθέσεις περισσεύουν, και μια μεταγλώσσα της οποίας οι συντομογραφίες δηλώνουν, καθεμιά, μία μόνο συμβολοσειρά. Για το δεύτερο, μια αρχή απόδειξης, την επαγωγή στην πολυπλοκότητα των τύπων, που περνά από ένα πεπερασμένο πλήθος ελέγχων (τις μεταβλητές και τον κανόνα) σε όλους τους τύπους, όπως η επαγωγή στους φυσικούς περνά από το $1$ και από το βήμα από τον $k$ στον $k + 1$ σε όλους τους αριθμούς. Με τα δύο μέρη, η μορφή ενός επιχειρήματος γίνεται ένα ακριβές αντικείμενο, και το ερώτημα της εγκυρότητάς του μπορεί να τεθεί με αυστηρότητα στις επόμενες ενότητες.

Πώς να μελετήσουμε την ενότητα

Αξίζει να αρχίσουμε από αυτή την αρχική αξιολόγηση και να σημειώσουμε τις ερωτήσεις που δεν απαντήσαμε σωστά, γιατί δείχνουν τα μαθήματα στα οποία πρέπει να σταθούμε. Τα τέσσερα μαθήματα πρέπει να μελετηθούν με τη σειρά, γιατί καθένα χρησιμοποιεί όσα θεμελιώνουν τα προηγούμενα. Στο δεύτερο και στο τρίτο, η μελέτη απαιτεί χαρτί και μολύβι: οι συμβολοσειρές κύκλων και δίσκων διαβάζονται δύσκολα στην οθόνη, και αξίζει να τις αντιγράφουμε, να χωρίζουμε τις λέξεις τους (κάθε μεταβλητή και κάθε μεμονωμένο δίσκο) και να σημειώνουμε το βάρος καθεμιάς, ώσπου η μέτρηση της μονοσήμαντης ανάγνωσης να γίνει συνήθεια. Οι αποδείξεις δημοσιεύονται ως αναπαραγωγείς βημάτων, και κάθε βήμα πρέπει να μπορούμε να το αιτιολογήσουμε πριν προχωρήσουμε. Στο πρώτο και στο τέταρτο, η δουλειά είναι προσεκτική ανάγνωση: μπροστά σε κάθε πρόταση των ελληνικών, αναρωτιόμαστε τι ακριβώς βεβαιώνει, ποιες αναγνώσεις επιδέχεται και ποιος τύπος την αναπαριστά. Τέλος, η υπόδειξη και η απάντηση κάθε προτεινόμενου προβλήματος ανοίγονται μόνο αφού το έχουμε επιχειρήσει σοβαρά.

Πού οδηγεί

Στο τέλος της ενότητας, η γλώσσα θα έχει καθοριστεί, και οι επόμενες ενότητες θα χτίσουν πάνω της χωρίς να την ξανασυζητήσουν. Η ενότητα της παραγωγής θα ορίσει ένα σύστημα αξιωμάτων και δύο κανόνων συμπερασμού, τον modus ponens και, όταν αποδειχθεί η διπλή άρνηση, την αντικατάσταση της διπλής άρνησης, του οποίου οι παραγωγές είναι ακολουθίες τύπων· τα αξιώματά του γράφονται με τις επίσημες συντομογραφίες, που ορίζει αυτή η ενότητα, και το θεώρημα της απαγωγής του αποδεικνύεται με επαγωγή στο μήκος των παραγωγών, με το εργαλείο που μαθαίνουμε εδώ. Το πρώτο της μάθημα είναι εκείνο για τα τυπικά παραγωγικά συστήματα. Η ενότητα της σημασιολογίας θα αποδώσει τιμές αλήθειας στις μεταβλητές και θα τις επεκτείνει σε όλους τους τύπους με αναδρομή, πράγμα που είναι δυνατό μόνο χάρη στη μονοσήμαντη ανάγνωση· θα αιτιολογήσει με πίνακες τις άτυπες αναγνώσεις των συνδέσμων που χρησιμοποιεί το τέταρτο μάθημα, και θα αποδείξει, στο μάθημα για τη συναρτησιακή πληρότητα, ότι η κοινή άρνηση αρκεί για να εκφράσει οποιονδήποτε σύνδεσμο. Η ενότητα της μεταθεωρίας, τέλος, θα αποδείξει με επαγωγή την ορθότητα και την πληρότητα, και τα επιχειρήματα που αυτή η ενότητα διδάσκει να τυποποιούμε θα μπορούν, επιτέλους, να κριθούν αδιάκριτα με την παραγωγή ή με τη σημασιολογία.

Έξω από αυτόν τον κύκλο μαθημάτων, η σύνταξη μιας τυπικής γλώσσας είναι η σύνταξη κάθε γλώσσας προγραμματισμού: ένας μεταγλωττιστής, όπως εκείνος του κύκλου μαθημάτων Προγραμματισμός σε C++ I, αρχίζει αποφασίζοντας αν ένα πρόγραμμα είναι καλά σχηματισμένο και αναλύοντάς το με έναν μοναδικό τρόπο. Η διάκριση ανάμεσα στην εγκυρότητα και την αλήθεια είναι επίσης το σημείο εκκίνησης της Αριστοτελικής λογικής, που μελετά τη μορφή των συλλογισμών· και η επαγωγή του τρίτου μαθήματος είναι η ίδια που αποδεικνύει τις ιδιότητες των αριθμών στον κύκλο μαθημάτων Άλγεβρα και γεωμετρία I. Σε όλους αυτούς τους τομείς, όπως και στη σύνταξη κανονισμών και συμβάσεων, το δίδαγμα είναι το ίδιο: για να πούμε με ακρίβεια τι βεβαιώνουμε χρειάζεται μια γλώσσα στην οποία κάθε έκφραση έχει μία μόνο ανάγνωση.