Philosophy of Logic

adverbs alternation attributes cate Chapter classes closed sentence complete proof procedure complex conjunction conquered contextual definition cordates count definition of logical definition of validity deviant logic distinction elementary number theory equivalence excluded middle existential quantification false finite formal grammarian grammatical categories Grelling's paradox identity theory intuitionist logic law of excluded lexical lexicon of predicates logic of quantification logical grammar logical schema logical structure logical truth mathematics matical means names notation object language one-place predicate ontological open sentence paradox particle philosophical phonemes predicate letters proof procedure propositional attitude Quine salva congruitate satisfaction schematic letters semantic ascent sense sequences satisfy set theory simple sentences simulated singular terms snow is white standard grammar strings of phonemes strings of signs substitution of sentences substitutional quantification synonymy talk tence theorem things tion translation truth functions truth predicate truth values two-place predicate universal quantification uttered virtual theory walks weak inflection word