Reliability of Logics

What is Required?

• Users want to represent their domain of interest
• Users want to reason about their domain of interest
• A "common notion of truth" is required ... classical logic is one

For Users, How Easy is it to ...

• Represent Reliably
  • Represent only what is the case
  • Represent everything that is the case

• Reason Reliably
  • Infer only truths from truths
  • Infer all truths from truths

Reliability of Logics

• Soundness (only what is the case) is required
• Completeness (everything that is the case) is desired
• Reliability = Soundness + Completeness