Chevron Left
Back to Introduction to Logic

Learner Reviews & Feedback for Introduction to Logic by Stanford University

4.4
stars
625 ratings

About the Course

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....

Top reviews

SC

Apr 30, 2018

Pros:

1.good contents

2.good exercises and interesting puzzles

3.good examples

Cons:

1.No video

2. need more examples

SM

Jan 18, 2018

excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online

Filter by:

101 - 125 of 140 Reviews for Introduction to Logic

By Dhruv A

•

Sep 1, 2020

Quite engaging for a predominantly text-based course. However, what I struggled with towards the end was determining application areas for the theory that I was going through. After completing the proofs of Week 8, I lost momentum and the drive to want to imbibe more theory without any outlet for application. This is obviously not to say that there aren't application areas. However, the course can do more to communicate those to the students.

By Eugenio L

•

Aug 20, 2018

I have found it not extremely clear in the latter part of the course, perhaps more examples would help. Most of the section 1 to 9 (from propositional logic to relational logic and Herbrand logic) are quite clear and straight-forward. An historical background of who, when and why theories and computing methodologies were elaborated would certainly increase interest.

By Roger C

•

Dec 1, 2016

I love the content overall. However, I'm very disappointed that there are no video lectures at all. Ironically, I could find some old video lectures of this course on YouTube. The difficulty of this course warrants video lectures to convey many concepts and techniques, such as the Fitch system.

Hopefully you can add video lectures back to this course.

By Soledad A

•

Jun 6, 2021

As someone who learns by doing I found the lack of examples to explain certain concepts really frustrating, and whenever examples were provided they were usually really simplistic compared to the graded exercises that we were expected to solve. It was also really difficult (impossible) to get answers from mentors in the discussion forums.

By Anas M

•

Apr 19, 2018

Video demonstrations would have been more helpful. I like to feel engaged, lectured to and encouraged to communicate with fellow students. I feel that this class really helped me a lot, but then I began to lose interest very quickly because of its format.

By Luis J

•

Apr 20, 2019

Unfortunately there are several problems with the external tool, although the course is very complete, the presentations of the slides are very short, they would need more development, to be more friendly with the reader.

By Digby D

•

Dec 12, 2017

A solid entry-level course about Formal Logic. May be more enticing to students intimidated by the more math-based approach of Intro to Mathematical Thinking (also by Stanford University).

By Wukunzhi

•

Sep 18, 2017

the examples are far from enough! For a non-native speaker,it's quite hard to learn all these notions .please add some examples into it !

By Thomas R

•

Mar 2, 2017

Bare bones. Pros: mostly clear, Cons: it may require outside supplements to fully understand and complete the assignments.

By Pamela P E

•

Aug 7, 2017

A little bit more interative course would be more interesting. On the other hand is a very complete course.

By Danylo P

•

Oct 17, 2016

Reading and only reading! Could have at least a voice, some interaction!

And is too expensive.

By Pavel K

•

Mar 24, 2019

After the chapter 7 explanations may appear rather vague, that hampers understanding

By Juan C

•

Jun 21, 2021

At times very unclear, learned very little

By Harideep R

•

Nov 9, 2016

A little too slow for my liking

By Itamar S

•

Jan 9, 2018

not having videos on this course is just lazy. It's the internet !! You do them once and they last for a life time!! No maintenance and all. So why not have video lectures to this course? The textbook is quite technical, compared to other texts that i have encountered, lectures would have been quite helpful.

Also, please note that a certificate for this course costs 95$!!! that's an outrage!!! Is a course with no video really worth that much??

By h

•

Jan 14, 2017

I would like more tasks to help learn, it's also really really easy to guess your way to the right answer. A _lot_ of concepts, words and specific tools are introduced, with not much opportunity to actually use them meaningfully and feel that one has actually learned a skill (as opposed to temporarily remembered the concepts for the quiz). Was nice not to have to watch videos though, and the slides are good.

By Anke L

•

Dec 11, 2016

overall: some weeks were fun, some not

in some weeks are too many chapters and exercises. I actually think that the exercises are too complicated compared to the examples in the chapters. Sometimes are the explanations in the chapters not sufficient.

It would be helpful to know the name of a proof e.g. Perch's Law or law of (the) excluded middle. This would help to find more information and help.

By Riccardo D C

•

Nov 22, 2017

Very interesting subject matter. Most chapters are very well presented and explained, allowing the student to explore other uses of the content. The chapters involving Fitch proofs are pretty useless or frustrating, depending on the student's level of commitment. Little explanation of what is expected, what procedures to follow, where one has erred along the way...

By Szymon S

•

May 26, 2017

As for someone who needs to understand it more, I recommend part about Digital Circuites as I have understanding of most of its basics from this course. Also sorority word, entailment and boolean, non-boolean models. The rest of material dis not give me explanation sufficient to have full understanding. I would need more video visualization of all topics!

By Laurence M H

•

Dec 8, 2016

I initially found the week two section very frustrating due to the absence of worded examples (real sentences) that might've appeared alongside the logic-symbols that were being defined. I would put it down to a personal fault, if it were not the case that I grasped the notation fully within minutes of finding another source of learning.

By Gerite V

•

Jul 26, 2017

I got stuck at week 4: the exercises are way too hard for me and the fitch system is badly explained, with just a few examples. The only problems I solved were those I found solved on Google. I guess this course is very interesting if you have some knowledge of logic already, but otherwise it's too difficult.

By Henry O

•

Feb 2, 2022

Missing video lectures and the content is all over the place, logic is a vast subject, so the author instead of focus mixes so many concepts implying that the student already knows them all, which makes it confusing and hard to follow.

By Michael B

•

Feb 21, 2017

Logic can be fun, but this class pretty much kills that spirit by burying it under pretty horrendous and tedious formalization. An intro to logic should be considerably simpler, and with more interesting content and exercises.

By Eduardo C

•

Nov 15, 2017

there is no videos, just texts... it's like to read a book, what's better than nothing

By Lachezar B

•

Feb 5, 2024

Some of the proves could not be finished, because the editor is not working properly