First Order Logic vs Prop. Logic

• Ontology

  • Objects, properties, relations vs.Facts

• Syntax

  • Sentences have more structure: terms
  • Variables & Quantification ?, ?

• Semantics

  • Much more complicated, but who cares

• Inference

  • Much more complicated

Previous slide

Next slide

Back to first slide

View graphic version