What is logic?
Study of proof and justification (Aristotle 400BC)
- All human beings are mortal;
- All Greeks are human beings;
- Therefore, all Greeks are mortal.
Profound idea: logic can be formalized (Frege 1879)
Statements are true or false by virtue of their form (“shape”) not their content (what they mean)