Truth and deducibility
The basic content of this section is Lemma 1.4 and Definitions 1.5 and 1.6. The lemma guarantees that the terms and formulas of any language in L1 can be deciphered in a unique way, and it serves as a basis for most inductive arguments. (The reader may take the lemma on faith for the time being, provided that he was able independently to verify the last formula in 3.7 of Chapter I. However, the proof of the lemma will be needed in §4 of Chapter VII.) It is important to remember that the theory of any formal language begins by checking that the syntactic rules are free of ambiguity.
KeywordsBoolean Algebra Quantum Logic Induction Assumption Atomic Formula Standard Interpretation
Unable to display preview. Download preview PDF.