Registry · Proposition VII.P17 tau-effective not_applicable

VII.P17 — Trolley Resolution

Trolley problem variants solved by proper typing and four ethical tests; switch vs. footbridge distinguished by action type.

Book VII Part 7 Ch. 79

Dependency Graph

Depends on (2)

VII.T30 VII.T31

Lean Formalization

Module:

Symbol: