Logic

• Logic is a big field and old field.
• It's a branch of Philosophy with Socrates using it to show arguments were valid or not.
• There are lots of different types of logic, but we'll talk mostly about Boolean Logic.
• It enables systems to prove things are true or not.
• More and more it is used to verify programs (and other systems).
• I don't think it's good for Turing test passing systems, but it is useful.
• It is also a way to represent knowledge.