Material Detail

24.241 Logic I | Linguistics and Philosophy

24.241 Logic I | Linguistics and Philosophy

In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.
Rate

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as 24.241 Logic I | Linguistics and Philosophy

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.
hidden