Philosophy 311, Introdution to Formal Logic




Other links to materials for Philosophy 311, Introduction to Formal Logic will be posted here as the course progresses.)

=======================

Link to Quine's Methods of Logic at archive.org (can be borrowed for one hour).

Quine's Methods of Logic at google books (partial preview)


Some Smullyan links


Professor Lila Kari has a lovely explanation of how to convert schemata into prenex normal form at



 

Michael Kagan kagan@lemoyne.edu