Search for contacts, projects,
courses and publications

Logic

People

Giordani A.

Course director

Probst L. P.

Assistant

Description

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.

Objectives

-

Teaching mode

In presence

Learning methods

-

Examination information

Evaluation method: written exam.

Education