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
As we see American women coming into positions of economic and political influence, we start to wonder: why now? The Women Have Always Worked MOOC, offered in four parts, explores the history of... 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
Religion gilt als Privatsache und ist trotzdem an vielen Stellen in der Öffentlichkeit sichtbar. Religiöse Institutionen treten als gesellschaftliche Akteure auf, die ihre Anliegen kommunizieren m... more
『源氏物語』は世界最古の長篇物語といわいますが、単に古くて長いだけではありません。とりわけ強調されるべきことは、一千年も前に紫式部をはじめとする女性たちが、長い生命力をもつ文学の創作という、大きな文化事業の中心に立っていたという点です。 こうした女性の活躍こそ、人類の歴史においても画期的なことでありました。 一方、『源氏物語』が次代の文化の創造を促している点も見逃せません。源氏絵、源氏能などから現... more
Based on the second half of the Masterpieces of World Literature edX MOOC, this short literature course examines how writers reach beyond national and linguistic boundaries as worldly readers and... more
Powered by
