Logic

• There are lots of forms of logic.
• Logics are systems that are developed to try to quantify what knowledge is.
• That's why Aristotle came up with a system 2500 years ago.
• The logics we are going to talk about are relatively simple and involve the concept of Truth.
• For example London is a City is True, and Chris is British is False
• (For the pedantic, this really is a simplification of the world.)