Formal Languages and Intensional Semantics |
Common terms and phrases
algebra with signature assignment Assume atomic propositions basic expressions binary relation called Carnapian intensions closure operation cognitive significance concepts congruence relation consequence relation constant defined definite descriptions dom(f domain elements entities exists extensional finitary finite following conditions formal language formation rule formula free algebra Frege's Fregean senses function f Hence Hesperus homomorphism identity statements individual induction infinitary intensional logic intuitive isomorphism labeled tree language with signature Lemma Montague-type language n-ary non-empty set notion objects of type oblique contexts occurence operation F ordered sequential tree ordered tree ordinal Peano algebra Phosphorus polynomial possible worlds pow(S predicate principle Proof proper expression proper names propositional terms purely referential quantification ramified type theory regular cardinal Russellian semantical function sense and denotation sentence sequence set-theoretical singular terms structural operations subalgebra symbols syntactical theorem truth-value truth-value semantics unique universal grammar variables well-formed expressions zero-ary ZFC/u