Thinking rationally: "laws of thought"
l Aristotle: what are correct arguments/thought
processes?
l Several Greek schools developed various forms of
logic: notation and rules of derivation for thoughts; may
or may not have proceeded to the idea of
mechanization
l Direct line through mathematics and philosophy to
modern AI
l Problems:
1. Not all intelligent behavior is mediated by logical deliberation
2. What is the purpose of thinking? What thoughts should I
have?