Save for later

The Semantics of First-Order Logic

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.

What you'll learn

    Get Details and Enroll Now

    OpenCourser is an affiliate partner of edX and may earn a commission when you buy through our links.

    Get a Reminder

    Send to:
    Rating Not enough ratings
    Length 4 weeks
    Effort 5 - 10 hours per week
    Starts On Demand (Start anytime)
    Cost $50
    From Stanford University via edX
    Instructors John Etchemendy, Dave Barker-Plummer
    Download Videos On all desktop and mobile devices
    Language English
    Subjects Humanities
    Tags Philosophy & Ethics

    Get a Reminder

    Send to:

    Similar Courses

    Careers

    An overview of related careers and their average salaries in the US. Bars indicate income percentile.

    Adjunct instructor of Logic, Philosophy & Humanities $60k

    Mark Logic Developer $68k

    Audio Technology, Logic Pro, and Music Education and Technology Instructor $80k

    RT Logic DSP Development Engineer $93k

    Senior Digital Logic Design Engineer $112k

    Logic Scientist and Web Application Developer $115k

    PLC Engineer / Programmer / Programmable Logic Controller $126k

    Logic Analyst $132k

    Product Marketing Engineer, Logic Division $139k

    Programmable Logic Engineer $150k

    Senior Product Marketing Engineer, Logic Division $169k

    Principal Logic Design Engineer $204k

    Write a review

    Your opinion matters. Tell us what you think.

    Rating Not enough ratings
    Length 4 weeks
    Effort 5 - 10 hours per week
    Starts On Demand (Start anytime)
    Cost $50
    From Stanford University via edX
    Instructors John Etchemendy, Dave Barker-Plummer
    Download Videos On all desktop and mobile devices
    Language English
    Subjects Humanities
    Tags Philosophy & Ethics

    Similar Courses

    Sorted by relevance

    Like this course?

    Here's what to do next:

    • Save this course for later
    • Get more details from the course provider
    • Enroll in this course
    Enroll Now