Elements of Formal Semantics: An Introduction to Logic for Students of Language |
Contents
Classical Propositional and Quantificational Logic | 5 |
Naive Set Theory | 49 |
Metatheory and Its Criteria of Adequacy | 76 |
Copyright | |
8 other sections not shown
Other editions - View all
Common terms and phrases
a₁ abstract antecedent arbitrary assertions assigns assume assumption atomic sentences basic biconditional called Chapter classical clause common nouns complex concepts conditional proof congruence relation conjunction consistent corresponding deduction defined definition disjunction domain elements entities equivalent example explain extensional fact false finite first-order logic formation rule Frege function given grammar H₁ Hence homomorphism idea identity inductive set inductive system intensional interpretation intuitionistic logic intuitive linguistic logical truth logicians many-valued mathematics means metatheory n-tuples natural deduction negation notation notion pairs philosophers possible worlds predicate premises presupposition proof theory proof tree propositional logic quantifier reference relation referring expressions semantic rules semantic theory sense sequence set theory structure subject-predicate sentences subset substitution supervaluations Syn-QL syntactic syntax Tarski THEOREM things translation true truth-table truth-values universal valid argument verbs W. V. O. Quine