LING 360 Lecture Notes - Lecture 29: Propositional Formula, Logical Connective, Intransitive Verb
Document Summary
The basic expressions of propositional logic, aside form the parentheses and propositional connectives, are its propositional variables. The basic expressions of predicate logic, aside from the parentheses and propositional connectives, are the predicates and individual constants. The basic expressions of quantificational logic, aside from the parentheses, propositional connectives, the predicates and individual constants, are variables and quantificational symbols. First order predicate logic is called here classical quantificational logic. Classical predicate logic is a proper part of classical quantificational logic, or what is often called first order predicate logic. It refers essentially to that art of a mono- clausal sentence, which remains when the subject constituent is removed. It is what is called today a verb phrase. A grammatical predicate is not the right analogy for a logical predicate. Just as proper nouns are required to turn a verb into mono-clausal sentences, so individual constants are required to turn a predicate of logic into an atomic formula.