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
『源氏物語』は世界最古の長篇物語といわいますが、単に古くて長いだけではありません。とりわけ強調されるべきことは、一千年も前に紫式部をはじめとする女性たちが、長い生命力をもつ文学の創作という、大きな文化事業の中心に立っていたという点です。 こうした女性の活躍こそ、人類の歴史においても画期的なことでありました。 一方、『源氏物語』が次代の文化の創造を促している点も見逃せません。源氏絵、源氏能などから現... more
In this course, part of the Public Library Management Professional Certificate program, we’ll explore the nuts and bolts of creating a strategic plan by reviewing and reflecting on the strategic p... more
En este curso en línea de música aprenderás los conceptos básicos para poder usar el sistema Soundcool para educación musical y creación colaborativa mediante móviles, tablets y Kinect. Soundc... more
What is Resilience? Resilience is often perceived as an abstract term that varies in meaning for people from different fields and backgrounds. Nevertheless, it has been a “buzzword” in the dis... more
Should you be able to buy a vote, citizenship, or college admission? Would you bet on someone else’s life—or, more accurately their death date? What about paying to see the exploitation of a per... more
Powered by
