Philosophy Unit 1

• Aristotelian logic uses "all" and "some" in generalizations in the first premise, while propositional calculus uses words like "and", "or", "if… then”, “not”, and “therefore” in a more formulaic way
• Propositional calculus symbols:

  • And: .
  • Or: v
  • If…then: ⊃
  • Not: ~
  • Therefore: ∴