Beschreibung:
Treats philosophical logic in an integrated way, showing how philosophical considerations motivate the technical projects, and how the constraints revealed by the technical projects illuminate the philosophical issues. Coverage include quantifiers, modal logic, indicative conditionals, intuitionistic logic, and much more.
1. Fundamentals 2. Quantifiers 3. Modal Logic 4. Conditionals 5. Logical Consequence via Models 6. Logical Consequence via Proofs 7. Relevance, Logic, and Reasoning 8. Vagueness and the Sorites Paradox