## Elements of formal semantics: an introduction to logic for students of language |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Naive Set Theory | 41 |

Metatheory and Its Criteria of Adequacy | 76 |

Simple Sentences | 100 |

Copyright | |

7 other sections not shown

### Common terms and phrases

abstract arbitrary assertions assigns assume assumption atomic sentences axiom biconditional called Chapter classical logic clause common nouns complex concepts conditional proof congruence relation conjunction consistent construction tree corresponding defined definition discussion disjunction domain entities equivalent example explain expressions extensional fact false finite number first-order logic follows formal formation rule free logic Frege function grammar Hence homomorphism idea identity inductive set inductive system intensional intensions interpretation intuitionistic logic intuitive linguistic logical truth logicians many-valued mathematics matrix means metatheorem modal n-tuples natural deduction negation node notation notion pairs philosophers possible worlds predicate presupposition proof theory proof tree proper names properties propositional logic quantified reference relation referential semantic rule semantic theory sense set of sentences set theory structure subject-predicate sentences subset substitutional supervaluations syllogism Syn-QL syntactic syntax THEOREM things translation true truth-table truth-values valid argument variable verbs