Semester.ly

Johns Hopkins University | AS.150.118

Introduction to Formal Logic

3.0

credits

Average Course Rating

(3.61)

An introduction to symbolic logic and probability. In the first two parts of the course we study formal ways of determining whether a conclusion of an argument follows from its premises. Included are truth-functional logic and predicate logic. In the third part we study the basic rules of probability, and learn how to make probability calculations and decisions in life.

Spring 2013

(3.38)

Spring 2014

(3.19)

Spring 2015

(4.02)

Spring 2023

(3.84)

Spring 2013

Professor: Peter Achinstein

(3.38)

The best aspects of this course included the intriguing subject material, homework assignments that were not time-consuming, and the lessons on formulating proofs. One student felt that the material should be made available online. A few students felt the price of the textbook was excessive, that there was not enough feedback given, and that the rules regarding what constitutes acceptable homework seemed arbitrary. Suggestions included clarifying the lectures/progression of the course material and utilizing a real textbook. Prospective students should know that it’s a difficult 100-level class and that it’s important to attend every lecture and pay close attention.

Spring 2014

Professor: Peter Achinstein

(3.19)

Many students enrol ed in this course were highly disappointed with the professor. They did not appreciate his rude and disengaging personality, and found it unreasonable that he did not have office hours. However, some students felt that the course material provided a new way of looking at things and analyzing problems for people with little programming and philosophy experience. Students suggested a new and comprehensive textbook and office hours to improve the quality of this course. Prospective students should be aware of the course difficulty before enrol ing.

Spring 2015

Professor: Justin Bledin

(4.02)

Students enjoyed Professor Bledin’s wel run, insightful lectures on interesting subject matter. Students appreciated that the lectures were well prepared and that the slides served as a useful, comprehensive resource. The workload for this course was extremely manageable. Many students agreed that the material was very difficult, and that the homework was graded too harshly. Suggestions for improvement included providing more example proofs, and having more lenient and consistent grading. Prospective students should know the course material is relevant for computer science students as well as those intending to take the LSAT.

Spring 2023

Professor: Peter Achinstein

(3.84)