Logic

Modal Logic.

Modal logic extends classical logic to capture abstract notions of necessity and possibility, applicable across different areas—including epistemic modalities like knowledge and justification, deontic modalities like obligation and permission, and various kinds of conditionals. This course explores its logical core, based on possible worlds semantics and axiomatic systems; presents basic logical tools and techniques related to proofs of soundness and completeness; and highlights applications in metaphysics, philosophy of science, and philosophy of mind.

-

In presenza

-

Evaluation method: written exam.