The instruction of this course is missing a lot of steps for how to understand logic, and do the problems.

The best way to describe this experience would be akin to if you took a piano class where they explained which keys corresponded to which notes in sheet music. Then how to press a key. Then gave you 3 mozart piece to be preformed on monday.

It seemed as if most of the class ( >90%) had dropped out by the 4th week.

On top of this, the video instruction seemed almost purposefully confusing. If given a choice between a sophisticated statement you probably wouldn't understand and a simple statement you would, the instructor almost always chose the first.

An Example from the videos:
"A set of premises (delta) logically entails a conclusion (phi) if and only if every truth assignment that satisfies the premises also satisfies the conclusion"

Instead of, maybe

"If you can find a single case that would make a statement false, then the statement is false"

I tried to take this course, but (like many other students who enrolled) I could not finish -- in fact, I could not get past the first few weeks. Other reviewers have done a good job of detailing some of the problems, so here is just a quick summary from my experience:

1. It was not really an introductory course. A lot of knowledge was assumed, and the concepts were not explained clearly enough for a beginner to understand them.
2. The lectures were very dull -- mostly just reading the slides, which were unintelligible (at least to a beginner).
3. The professor tended to choose the most complicated way to explain a concept...jargon jargon jargon.
4. Not enough feedback was provided for the exercises and quizzes. I was frustrated by not being able to learn from my mistakes.

I am currently taking Coursera's "Think Again: How to Reason and Argue" taught by Walter Sinnott-Armstrong. From the syllabus, it looks like the course will cover much of the same ground as "Introduction to Logic," but in a much more beginner-friendly format.

I found that the course started off well, but then by week 3 I felt lost (among others, it was apparent in the discussion forum that a lot of the students were lost during week 3)

The way it was explained was like the Instructor was reading from a text book.

They need to put in more Examples and clarifications and not simply monotonically/robotic-ally explain the concepts.

The professor does not instruct. He simply tells you the rules and then asks you to learn how to use the language yourself through trial and error. There are not nearly enough examples to help you become fluent and comfortable with the rules before attempting the proofs by the third lecture. The result is that in order to really understand the material you need to either find outside instruction or spend an enormous amount of unproductive and non-learning time with the material.

I also am frustrated that I can not review old proofs and problems sets that I have done, nor do I get feedback if I do something incorrectly. So there is little opportunity to learn from past mistakes.

This course, while it teaches many interesting things, has many downsides. The professor just read the slides monotonically. I prefer Salman Khan or Andrew Ng style where they would write on the slides to get the point across. The videos are mostly just incomplete version of the notes.

The notes are quite good, but if you've never encounter formal logic before, maybe it's hard for you to try to understand what's the motivation or intuition behind what's taught. The proof-assistance software on the other hand is great, and with the notes, the only positive things about this course.

If you haven't encounter formal logic before, like propositional logic, this course really isn't for you.

I took this course to teach some basic terminology for logic, etc. (I'm not a native speaker). But after 3 weeks I gave up this class, as it was mostly repetition of the course notes, plus it don't provide good explanation of basics - lecturer just told, do this & do this, and you'll get this. But there were no explanations *why* I should perform this or that substitution, to achieve correct results.
Also, getting the only one try for home works/questions is a way too restrictive - you don't get much feedback from your errors, and unable to make corrections.
I hope, that this course will be changed in future!
P.S. I understand that I should be able to search for additional materials, etc., but I really didn't had much free time...

Dull dull dull. The professor drones through some scant notes on the topic, and that's about it, except for the opportunity to wrestle with the inadequacies of the Coursera platform. Many of the exercises are impossible to solve without consulting the discussion boards or other books.

This class has an incredibly steep learning curve. The first week's assignments are doable and correlate with the lecture, but during the second week you're bombarded with long strings of symbols and only a sparse explanation of what they mean.

The class problems are also poorly set up. Some require you to write an equation using symbols, yet won't allow you to input those symbols into the box. For others, you can put in the symbols correctly, but if the spacing is wrong (as in, not adding an extra space) you lose points.

I don't consider myself a quitter and I have a background in logic, but this was simply too much for me, even as a free class. I went from being confident in my ability to learn the subject to completely overwhelmed in the space of one week.

It was very interesting, but one should definitely have some math (or CS) experience beforehand, as from the very beginning one has to build formal logic proofs as a part of the quizes.
Personally, I found weeks 3-5 the hardest because of these logic proofs. While building proofs is the best way (I can think of) to test whether one not only understands, but also applies their knowledge from the lectures, the proof part was the toughest to teach/learn.
Another thing I loved in the course was that an approximation of the script of the lectures was available in a .pdf format, so that if one cannot get something from the video, they could always look up the formal definitions in the pdf. :)
A great course indeed, he completion of which was lots of work, but it left me proud of myself. :)

A good beginner's course. The online proof constructor was very helpful. Assignments could have been more challenging.

I initially took this course out of pure interest but it turns out the knowledge I acquired during the class has helped me in just about every technical course I have taken on Coursera, Udacity and edX. It was particularly salient to Machine Learning and Web Intelligence. I suspect it would also be a big help with tackling PGMs!