Skip to main content
grasp.study
About
Explore
Pricing
Log in
Try it for free
Back to course
👋
Welcome to a Grasp lesson
Create a free account
to keep studying and create your own study path.
Intro to Formal Philosophy
·
Module 3
Modal Logic and Metalogic
1
Modal Distinctions: Necessity, Possibility, and Contingency
Distinguish between necessity, possibility, and contingency in modal claims.
2
Modal Logic: Kripke Semantics and Possible Worlds
Translate modal reasoning into the language of possible worlds semantics (Kripke semantics).
De Re vs. De Dicto Modality
Distinguish between de re and de dicto readings of modal claims.
4
Systems of Modal Logic: A Comparative Analysis
Compare the major systems of modal logic (K, T, S4, S5) and their characteristic axioms.
5
Soundness and Completeness: Philosophical Implications
Explain the philosophical significance of soundness and completeness theorems for formal systems.
6
Gödel's Theorems: Philosophical Implications
Explain the philosophical significance of Gödel's incompleteness theorems.
7
Intuitionistic Logic: Foundations and Distinctions from Classical Logic
Describe the basics of intuitionistic logic and its divergence from classical logic.
8
Modal Realism vs. Actualism: The Metaphysics of Possible Worlds
Explain the debate between modal realism and actualism regarding the metaphysical status of possible worlds.
Previous module
Propositional and Predicate Logic
Next module
Ancient Philosophy: From Cosmos to Polis