Transcript So What`s All This Then About Logic?

So What’s With All This Logic
Stuff?
Minds & Machines
Logic and Minds & Machines
• Why are we doing logic in Minds & Machines?
• 3 answers:
– Logic as Method
• If we want to discover truths about the mind, we are going to
have to make and evaluate arguments, and logic will help us
with that
• Relevant course: Methods of Reasoning
– Logic as Subject Matter
• Being able to reason is an aspect, if not at the essence, of a
mind, and so we want to know how we do logic
• Relevant course: Psychology of Reasoning
– Logic as Theory
• Logicism is the view that the mind is an implementation of,
and is best explained and understood in terms of, some
formal logical system. Much of Artificial Intelligence is logic
based
• Relevant course: Philosophy of AI