Topics in Logic - A

Negation – Logical systems and Metaphysical Foundations.

Negation is a key notion in logic and metaphysics. It powers classical systems, where it is understood in terms of the fundamental principle of bivalence, while sparking paradoxes in non-classical systems—like intuitionistic and minimal logics, which reject the principle of excluded middle, or paraconsistent logics, which tolerate true contradictions. This course explores its formal semantics in terms of truth tables, its modal interpretation, and its metaphysical roots: from Aristotle's law of non-contradiction to dialetheism—thus bridging proof-theoretic aspects with debates on the structure of reality.

-

In presence

-

Evaluation method: take-home exam.