The following Prezi is a compilation of a number of lectures by philosopher Mark Thorsby. These lectures provide a great introduction to deductive symbolic reasoning in:
- Categorical logic (syllogisms and sorites),
- Propositional logic (and natural deduction), and
- Predicate (or 1st-order) logic.
If you've ever been curious about symbolic logic, but felt intimidated by the scariness of its symbols and notation, fear no more: these lectures are nicely organized and highly accessible, no matter your academic background or level of education.
These ideas may seem abstract and academic, and there's something to that charge, but they are also the ideas that make the modern world possible: our scientific knowledge, the technology on which our very survival depends, the political and economic systems through which we organize our social lives, our ability to reason about ethical questions, our very ability to communicate our thoughts and feelings to each other, and many other important domains, all depend on our ability to think clearly and reason properly...