TEACHING

Input/output logic

A course on normative reasoning and its formal structures.

Course outline

Input/output logic studies the relationship between conditions and normative outputs, including obligations and permissions.

Motivation; examples of normative systems; levels of abstraction; introduction to input/output logic.

Obligations and violation; permissions and compatibility; dual permissions and incompatibility.

Constitutive rules and their role in normative systems.

Constitutive and regulative norms; dynamic permissions; subordination algebras; coherent systems.

Normative equivalence and dynamic normative systems.

Computational philosophy, cognitive architecture, and cybersecurity.

Handouts are not currently linked. The available theory files are listed above.