About The Course
- Does this hypothesis clash with the evidence we have or is it consistent with the evidence?
- Is this argument watertight, or do we need to add more to make the conclusion to really follow from the premises?
- Do these two sentences say the same things in different ways, or do they say something subtly different?
- Does this information follow from what’s in this database, and what procedure could we use to get the answer quickly?
- Is there a more cost-effective design for this digital circuit? And how can we specify what the circuit is meant to do so we could check that this design does what we want?
If you take this subject, you will learn how to use the core tools in logic: the idea of a formal language, which gives us a way to talk about logical structure; and we'll introduce and explain the central logical concepts such as consistency and validity; models; and proofs. But you won’t only learn concepts and tools. We will also explore how these techniques connect with issues in linguistics, computer science, electronic engineering, and philosophy.
Frequently Asked Questions
- Will I get a Statement of Accomplishment after completing this class?
Yes. Students who successfully complete the class will receive a Statement of Accomplishment signed by the instructors.
- What resources will I need for this class?
For this course, all you need is an Internet connection, and the time to watch the lectures, read the notes, practice your skills, think, and discuss the material online with other people participating in the class.
- What if I love this subject and I want to learn more logic?
Immediately after Logic 1, we’re be teaching Logic: Language and Information 2, and introduction to first order predicate logic and its connections to computer science, electronic engineering, linguistics, mathematics and philosophy.