Cons of propositional logic All students know arithmetic. AlicelsStudent-AliceKnowsArithmetic BoblsStudent-BobKnowsArithmetic 44 Propositional logic is very clunky.What's missing? Objects and relations:propositions (e.g., AliceKnowsArithmetic)have more internal structure (alice, Knows,arithmetic) Quantifiers and variables:all is a quantifier which applies to each person,don't want to enumerate them all... 4口◆4⊙t1三1=，￥9QC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Cons of propositional logic ▶ All students know arithmetic. ▶ AliceIsStudent → AliceKnowsArithmetic ▶ BobIsStudent → BobKnowsArithmetic ... ▶ Propositional logic is very clunky. What’s missing? ▶ Objects and relations: propositions (e.g., AliceKnowsArithmetic) have more internal structure (alice, Knows, arithmetic) ▶ Quantifiers and variables: all is a quantifier which applies to each person, don’t want to enumerate them all