The Notion of Analytic Truth |
Contents
Semantical Substructure | 1 |
Analytic Truth | 22 |
Adequacy | 46 |
Copyright | |
2 other sections not shown
Other editions - View all
Common terms and phrases
ā₁ abstract entities analytic sentence analytic truth Anlytc atomic formulae atomic sentences Carnap class of sentences closure Clsr Cmprh containing no free defined predicate constants definiens definition of analytic denotation denumerable descriptive axioms distinction express extensional F¹ LImp G¹ false finite number first-order first-order logic Fmla follows free occurrences free variables Frege FrIng fundamental domain given Gödel's Completeness Theorem Hence hrsh kind L-implies L-semantics L-true language LDep LExcl LFls logical primitive logical theorem LogThm mathematical meaning postulates non-denumerable non-logical axioms non-translational semantics null object-language objects occur one-place predicate constant PredConOne predicate parameter predicate variant PredVar primitive individual constants primitive predicate constants priori provable put forward quasi-intensions Quine Quine's R1PC semantical meta-language semantical rules sense Skolem normal form state-descriptions statement structural description syntactical Tarski theory of analytic tilde translational tripbar true two-place universal quantifiers values for variables virtual class