Language, Proof and Logic
About this Course
In this course you will be introduced to the concepts and techniques used in logic. We will start right from the beginning, assuming no prior exposure to this or similar material, and progress through discussions of the proof and model theories of propositional and first-order logic. All learners receive a complete textbook and software package ($55.00 value). We will proceed by giving a theory of truth, and of logical consequence, based on a formal language called FOL (the language of First-Order Logic). We adopt a formal language for making statements, since natural languages (like English, for example) are far too vague and ambiguous for us to analyze sufficiently. Armed with the formal language, we will be able to model the notions of truth, proof and consequence, among others.Created by: Stanford University
Level: Introductory
Related Online Courses
In this course, you’ll be learning about musical rhythm from across the world. You don’t have to read music notation to take this course; you don’t have to play an instrument. You don’t need to... more
Hong Kong Cinema has a global reach. Let’s explore how it reached you… Perhaps you know the films of martial arts icons Bruce Lee and Jackie Chan or the heroic bloodshed films of John Woo. Per... more
In recent years, Tokyo became a global tourist destination as interest in the city increased in the lead-up to the planned 2020 Olympics. While the Olympic venues are concentrated in the city’s s... more
In the 13th century, by force of arms, the Mongols created the greatest empire in human history. Yet by the end of the Ming dynasty in the late 16th century, a new global economy emerged. New World... more
Teamwork is an essential component of most professional activities in the modern world. But what makes an effective team? This course is an introduction to teamwork skills for all disciplines that... more
Powered by
