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
How can you improve your understanding of Islam and its most important holy text, the Quran? How can you make sense of a tradition and a text that have been interpreted in different ways across... more
The Italian language has spread around the world thanks to songs, cinema, theatre, opera, food and design, which means that the language itself is associated with the best of Italian production.... more
La nascita e lo sviluppo della letteratura latina furono profondamente condizionati da un lato dall'influenza della cultura greca con la quale i Romani entrarono in contatto a partire dal II sec.... more
This course is an excellent foundation for learners wanting to understand the basics of everything related to South Korea. You will learn about the people, contemporary culture, language, history,... more
We often have firmly held beliefs about why people think and behave the way they do. Sometimes our intuitions are correct, but often they are not. Social psychology helps us understand how people... more
Powered by
