The Semantics of First-Order Logic
About this Course
The focus of this class is on the language of first-order logic , a formally defined language that allows us to make precise and unambiguous statements about any subject of interest. Using the language of first-order logic we will investigate many foundational topics in logic. We will address such questions as what counts as a grammatical expression, and the circumstances under which it makes a claim about the world (whether it can be considered true or false, E.g. “the sky is brown”, as compared to “oh, my goodness!”). For expressions that do make claims — we call these sentences — we can further examine whether they are true or false in particular situations. “Aristotle is alive” is a sentence that was once true, but became false around 2000 years ago, and has remained false ever since. These questions fall into the study of semantics , or meaning. Once we understand how sentences can be considered true or false, we can investigate important related questions. Some sentences are always true, that is true in every situation — we call such sentences logical truths. Sentences bear relationships with one another. For example, two sentences might be true in exactly the same situations - they are logically equivalent. We will demonstrate methods for determining when these properties and relationships hold as natural extensions to the semantic theory for first-order logic. Finally, we will explore the limits of first-order logic. There are some sentences of English that are not expressible in the language, and it is important to know that this is the case, and to understand why it is so. This observation has led logicians to develop yet more powerful languages with more complex semantics. Almost all of these languages are based on the language of first-order logic and knowledge of first-order logic is fundamental to understanding them. So first-order logic is a basic building block for the study of these language and is a great place to begin the journey into the field of logic.Created by: Stanford University
Level: Introductory

Related Online Courses
By the Tang period, China was divided into northern and southern dynasties with different rulers and political systems. The north was conquered by relatively unsophisticated barbarians, but in the... more
يتناول هذا المساق أهم الجوانب المتعلقة بدولة الإمارات العربية المتحدة من خلال تعريف المُتَعَلِّم بملامح التنمية الاقتصادية والاجتماعية للمجتمع الإماراتي وتأكيد قيمه وموروثاته الأساسية، وتقديم ... more
This course provides an introduction to Balinese music, and the role of music in Balinese culture. Students will have the opportunity to both learn about and watch Balinese performances, as well as... more
The fashion industry has a large influence on the global economy and is more and more known for its social and environmental impact. Everywhere, new sustainable initiatives are arising from... more
Travel through central Europe in the 1800s to experience the premieres of Meyerbeer’s Les Huguenots , Wagner’s Das Rheingold , and Verdi’s Otello. A complement to our course on 18th-century opera... more