Missing a glossary of terms and symbols which would have made understanding easier and quicker. Find books This step leads to new and useful types of reasoning called multi-valued logic and fuzzy logic. On the other hand, the subject material is worthy and merits close examinatioin and some level of rummarization is very appropriate, so this is clearly more about me than about him. Taught by Professor Steven Gimbel | 29 min | Categories: Philosophy & Religion. After viewing the lessons on logical fallacies, I concluded which two groups which were by far the worst offenders were (1) commercial on tv and (2) politicians, starting at the highest level. To ensure that the pricing on the website is the same as what is in your catalog or advertisement, please enter the priority code provided. First, many of the proofs presented in the lectures were not in the written materials. For that, you need natural deduction proofs-plus four additional rules of inference and one new equivalence. Of course, I might just have only thought there was a mistake! Truth-functional logic provides the tools to assess many of the conclusions we make about the world. Known as equivalence relations, these proofs have three important criteria: equivalence is reflexive, symmetric, and transitive. That gift will be added to their My Digital Library when they log in and click to redeem it. This is done for two reasons. Q: Can I return or Exchange a gift after I purchase it? And red herrings introduce an irrelevant subject. The Professor is good and knowledgeable. Use truth tables to test the validity of famous forms of argument called modus ponens and affirming the consequent. Introduction to Formal Logic 0 of 29 min 10. In fact I have already talked it up to friends and family. I highly recommend this course. Circular reasoning uses a conclusion as a premise. Learn how Kurt Gödel’s incompleteness theorems sounded the death knell for this ambitious project. Please enter your e-mail address associated with your Great Courses account. Learn that it all started with Aristotle, who devised rigorous methods for determining with absolute certainty whether a conclusion must be true given the truth of its premises.... We've updated our website and apps to improve your Great Courses Plus experience. The recipient already owns the course I gifted. He received his bachelor's degree in Physics and Philosophy from the University of Maryland, Baltimore County, and his doctoral degree in Philosophy from the Johns Hopkins University, where he wrote his... 71% of reviewers would recommend this product, 85% of reviewers would recommend this product, 91% of reviewers would recommend this product, 87% of reviewers would recommend this product, 86% of reviewers would recommend this product, 89% of reviewers would recommend this product, 78% of reviewers would recommend this product, 94% of reviewers would recommend this product, 69% of reviewers would recommend this product, 80% of reviewers would recommend this product, 75% of reviewers would recommend this product, 83% of reviewers would recommend this product, 92% of reviewers would recommend this product, 90% of reviewers would recommend this product, 72% of reviewers would recommend this product, 57% of reviewers would recommend this product, 95% of reviewers would recommend this product, 88% of reviewers would recommend this product, 93% of reviewers would recommend this product. I would continue to purchase your very fine courses. Enter the email address you used to create your account. Professor Steven Gimbel holds the Edwin T. Johnson and Cynthia Shearer Johnson Distinguished Teaching Chair in the Humanities at Gettysburg College in Pennsylvania, where he also serves as Chair of the Philosophy Department. Then see how this concept is used in conditional and indirect proofs. This upgrade requires that you change your password. Logic is intellectual self-defense against such assaults on reason and also a method of quality control for checking the validity of your own views. So far, you have learned two approaches to logic: Aristotle's categorical method and truth-functional logic. For all of their power, truth tables won't work to demonstrate validity in first-order predicate arguments. In the previous lecture, you were introduced to truth tables, which map out the implications of an argument's premises. Q: I don't want to send downloads. Enjoy. The content was perhaps not as engaging as some of the other courses I've watched (photography, drawing, writing) however that is a personal bias. Then test yourself with a series of examples, and try to name that fallacy! Truth-Functional Logic 0 of 31 min 11. Q: What if my friend or family member does not receive the email? This course would have been better adapted for an audio presentation, since the video is almost exclusively of the Professor talking. Delve deeper into the effort to prove that the logical consistency of mathematics can be reduced to basic arithmetic. JavaScript seems to be disabled in your browser. Using truth tables, test the validity of famous forms of argument called modus ponens and its fallacious twin, affirming the consequent. Don’t think so, but maybe. But Gödel didn’t need a lab to make his discovery—only logic. Please enter a password that is between 5 and 20 characters long. Deepen your proficiency with this technique, which has almost magical versatility. I've just started this as a review. Test the techniques by validating the identity of an unknown party in an office romance. If you continue to have problems, please Contact Us. Thank you Professor and The Great Courses for bringing back the magic of logic. Q: How will my friend or family member know they have a gift? This makes what is being asserted transparently clear. Straw man tactics substitute a weaker argument for a stronger one. Then untangle the logic of increasingly more complex arguments, always remembering that the point of logic is to discover what it is rational to believe. Sign In to access your account information and digital media. Complete the system of natural deduction by adding a new category of justification-a justified assumption. Both say “A dog is x” and seem to differ only in the property ascribed to the dog. Without in any way detracting from my 5 star rating, I will say there are a couple of things that would have improved the course for me. But beyond these very practical benefits, informal logic is the gateway to an elegant and fascinating branch of philosophy known as formal logic, which is philosophy’s equivalent to calculus. I have other course with him and respect his teachings. For the best experience on our site, be sure to turn on Javascript in your browser.