MyPage is a personalized page based on your interests.The page is customized to help you to find content that matters you the most.

I'm not curious

Logic Language and Information 2

Course Summary

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

  • +

    Course Syllabus

    Week 1The Syntax of Predicate LogicTranslations using quantifiers

    Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

    Week 3Tree Proofs for Predicate LogicSoundness and Completeness

    Week 4. Identity; Functions; Counting 

    Weeks 5–8. Applications to different reasoning domains (take at least three):

    • Electronic Engineering — simplifying digital circuits with timing
    • Philosophy — definite descriptions and existence
    • Computer Science — databases, resolution and Prolog
    • Linguistics — quantificational scope
    • Mathematics — limits, continuity and quantifier alternation

  • +

    Recommended Background

    This subject presumes a background in propositional logic, such as that provided in Logic: Language and Information 1. Beyond that, you need to be able to read and write, and be prepared to think, work and learn new skills—in particular, a willingness to work with symbolic representation and reasoning.

  • +

    Course Format

    The class will consist of lecture videos, which are between 5 and 15 minutes in length. They will contain integrated quiz questions to give you immediate feedback. There will be practice problems available for your to sharpen your skills, and grading problems to form a part of your final grade. In weeks 5-8 there are five topics, from which each student is expected to choose at least two. These will be assessed by a combination of quizzes and short assignments. There is a final exam to wrap everything up.

  • +

    Suggested Reading

    The course is self contained, with all required resources available online.

    The textbook Logic (Greg Restall, Routledge 2000; especially chapters 8 to 15) covers most but not all of the material in this course. If you like following along with a book, this one will suit the course, but it is complementary and not necessary. We will provide you with a comprehensive set of written course notes, as well as the lecture videos and other freely available teaching resources.

Course Fee:

Course Type:


Course Status:



1 - 4 hours / week

This course is listed under Development & Implementations Community

Related Posts:



Attended this course?

Back to Top

Awards & Accolades for MyTechLogy
Winner of
Top 100 Asia
Finalist at SiTF Awards 2014 under the category Best Social & Community Product
Finalist at HR Vendor of the Year 2015 Awards under the category Best Learning Management System
Finalist at HR Vendor of the Year 2015 Awards under the category Best Talent Management Software
Hidden Image Url

Back to Top