- 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.