What people are saying - Write a review
We haven't found any reviews in the usual places.
Naive Set Theory
Metatheory and Its Criteria of Adequacy
7 other sections not shown
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