PHIL 551 Intermediate Logic
Treatment of the general nature of deductive argument, language, and logic. Knowledge of syllogistic and propositional logic is presupposed. Course focuses on predicate logic with an emphasis on modern symbolic techniques and their connection with natural language. The soundness and completeness of first-order logic, as well as its relationship to higher-order logics briefly considered. The theory and grammar of modern modal logics will also be considered. Offered once a year. Prerequisites: PHIL 302 or equivalent.