What people are saying - Write a review
We haven't found any reviews in the usual places.
Set Theoretical and Mathematical Preliminaries
General Syntactic Theory
General Semantic Theory
7 other sections not shown
analysis Assume atomic propositions basic expressions Carnapian intensions Church's cognitive significance concepts congruence relation consequence relation constant construction counterfactual situation defined definite descriptions den(A dom(f domains elements entities exists extensional finitary finite following conditions formal language formation rule formula Frege's puzzle Fregean semantics Fregean senses function F Hence Hesperus homomorphism identity statements infinitary intensional logic intuitive isomorphism Kaplan Lemma Montague-type language notion objects of type oblique contexts operation f ordered tree ordinal Peano algebra Phosphorus polynomial operation possible worlds pow(S Proof proper class proper expression proper names propositional terms purely referential quantification Quine ramified type theory Russellian satisfies the conditions semantical function semantical interpretation sense and denotation sentence sequence set-theoretical singular terms smallest structural operations symbols syntactical theorem thesis true iff truth truth-value semantics type theory unique universal grammar variables well-formed expressions wfe's ZFC/u