subject
Intro

Coursera: Introduction to Logic

 with  Michael Genesereth
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Syllabus

Lesson 1 - Introduction


Lesson 2 - Propositional Logic


Lesson 3 - Propositional Analysis


Lesson 4 - Propositional Proofs


Lesson 5 - Propositional Resolution


Lesson 6 - Relational Logic


Lesson 7 - Relational Analysis


Lesson 8 - Relational Proofs
The description goes here

Lesson 9 - Herbrand Logic


Lesson 10 - Herbrand Proofs


Lesson 11 - Induction
The description goes here

Lesson 12 - Resolution
The description goes here

Supplementary Material


18 Student
reviews
Cost Free Online Course (Audit)
Pace Upcoming
Subject Philosophy
Institution Stanford University
Provider Coursera
Language English
Certificates Paid Certificate Available
Hours 4-10 hours a week
Calendar 10 weeks long
Sign up for free? Learn how

Disclosure: To support our site, Class Central may be compensated by some course providers.

+ Add to My Courses
FAQ View All
What are MOOCs?
MOOCs stand for Massive Open Online Courses. These are free online courses from universities around the world (eg. Stanford Harvard MIT) offered to anyone with an internet connection.
How do I register?
To register for a course, click on "Go to Class" button on the course page. This will take you to the providers website where you can register for the course.
How do these MOOCs or free online courses work?
MOOCs are designed for an online audience, teaching primarily through short (5-20 min.) pre recorded video lectures, that you watch on weekly schedule when convenient for you.  They also have student discussion forums, homework/assignments, and online quizzes or exams.

18 reviews for Coursera's Introduction to Logic

Write a review
10 out of 11 people found the following review useful
3 years ago
Adelyne Chan dropped this course, spending 5 hours a week on it and found the course difficulty to be very hard.
This course started off very well, I was very drawn in to the first week while basic concepts were being presented and I felt very interested in the field of logic. This motivated me to start extremely early in the subsequent weeks (I usually wait till midweek to start on my online courses but I would start this on Mon Read More
This course started off very well, I was very drawn in to the first week while basic concepts were being presented and I felt very interested in the field of logic. This motivated me to start extremely early in the subsequent weeks (I usually wait till midweek to start on my online courses but I would start this on Monday evening) but I felt that by Week 4 the course became impossible to understand.

I feel that not enough time is devoted to really explaining how to solve logic problems as the lectures essentially just gloss over the definitions of various logic concepts. I remain interested in logic (thanks to the first week of this course) and am looking for another MOOC to take up in this subject but I would not recommend this course to beginners who are merely "interested in logic" as that motivation will not be sufficient to carry you through the material unless you are willing to invest a lot of time sourcing and working through external material such as a textbook (in which case you might as well do that and not take this course at all).
Was this review helpful to you? YES | NO
7 out of 8 people found the following review useful
4 years ago
profile picture
Anonymous completed this course.
I dropped this class after 2 or 3 weeks despite having a 100% average on the assignments. The lectures were impossible to follow. I found myself reading a logic textbook to understand the material and do the homework. The book was far better than the video. After a few weeks, I decided I could use the textbook alone to learn logic and dropped the class.
Was this review helpful to you? YES | NO
3 out of 5 people found the following review useful
5 years ago
profile picture
Anonymous completed this course.
The course is brilliant. The video lectures are very succinct, compact (which I think is one of the biggest qualities of a course) and interesting and the short lecture exercises are perfect as to make sure you understand the concepts. The name may not be perfect, as I am not sure that the course really is introduc Read More
The course is brilliant.

The video lectures are very succinct, compact (which I think is one of the biggest qualities of a course) and interesting and the short lecture exercises are perfect as to make sure you understand the concepts.

The name may not be perfect, as I am not sure that the course really is introductory. By this I mean that complicated issues are taken treated in this course although indeed the beginning is introductory enough and they are extremely well presented.

The tests are excellent, they indeed check perfectly how much you have or have not understood the concepts. The application for proofs is excellent and it's a great way to make sure the students really do understand and are also able to use the concepts as it doesn't allow you to finish the exercises with a wrong answer. (that being said, that doesn't guarantee that you actually do finish the exercises, which I think is perfect!)
Was this review helpful to you? YES | NO
7 months ago
profile picture
Anonymous dropped this course.
The content in the course is important to learn, but the introduction of fitch logic it difficult to use. I am someone who has taken courses in formal logic and even I found this difficult. For my purposes, as a philosopher, this is not quite useful to me anyway, as this seems to be more geared toward math majors or th Read More
The content in the course is important to learn, but the introduction of fitch logic it difficult to use. I am someone who has taken courses in formal logic and even I found this difficult. For my purposes, as a philosopher, this is not quite useful to me anyway, as this seems to be more geared toward math majors or those in computer science. I would suggest waiting for University of Melbourne to relaunch their logic courses, which were much more relevant and informative.
Was this review helpful to you? YES | NO
a year ago
profile picture
Maicol Piani dropped this course.
This was my first MOOC ever and I hated it. On week 4 the unalignment between material/explenations provided and the exercises became clear as students started sharing links to third party sources in the forums so to be able to complete go ahead to week 5. According to the forums, several spent hours for exercises tha Read More
This was my first MOOC ever and I hated it. On week 4 the unalignment between material/explenations provided and the exercises became clear as students started sharing links to third party sources in the forums so to be able to complete go ahead to week 5.

According to the forums, several spent hours for exercises that were supposed to take a few minutes. Also, no sort of help from the professor seem to have been given.

This course makes me believe that the quality of courses on coursera isn't that high afterall.

Was this review helpful to you? YES | NO
10 months ago
profile picture
Anonymous dropped this course.
The interface is not friendly and material is not coherent enough. Almost no video and mostly some dry and limited reading material. I felt I would be better off reading a good book on the subject. The course and Stanford did not meet my expectations
Was this review helpful to you? YES | NO
5 months ago
profile picture
Anonymous is taking this course right now.
They really improved the course from a few years ago, concepts are much easier to understand in text than in video form. Many examples and some reiteration ensures your learning.
Was this review helpful to you? YES | NO
3 weeks ago
Leandro Camargo is taking this course right now, spending 4 hours a week on it and found the course difficulty to be hard.
Great content and exercises tool. Herbrand semantics doesn't seem to be that usual in textbooks, especially those for philosophers. Target audience seems to be computer scientists.
Was this review helpful to you? YES | NO
0 out of 2 people found the following review useful
3 years ago
profile picture
Anonymous is taking this course right now.
Was this review helpful to you? YES | NO
0 out of 1 people found the following review useful
2 years ago
Colin Khein completed this course.
Was this review helpful to you? YES | NO
0 out of 1 people found the following review useful
2 years ago
Ilya Rudyak completed this course.
Was this review helpful to you? YES | NO
0 out of 4 people found the following review useful
3 years ago
profile picture
Sardar Hussain Salarzai partially completed this course, spending 15 hours a week on it and found the course difficulty to be medium.
logically understanding any human problem is become easy after doing this course. i suggest all my friends to go through this course.
Was this review helpful to you? YES | NO
a year ago
Stephane Mysona completed this course.
Was this review helpful to you? YES | NO
8 months ago
profile picture
Matthew Philip completed this course.
Was this review helpful to you? YES | NO
a year ago
profile picture
Stephanie Ochoa completed this course.
Was this review helpful to you? YES | NO
a year ago
Stephane Mysona completed this course.
Was this review helpful to you? YES | NO
8 months ago
Pietro Codara completed this course.
Was this review helpful to you? YES | NO

Class Central

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free