display all the ideas for this combination of texts
1 idea
14607 | T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J] |
Full Idea: System T is a normal modal system augmented with the reflexivity-generating axiom □p→p, and is, I think, the best modal logic for modeling lawhood. | |
From: Jonathan Schaffer (Causation and Laws of Nature [2008], n46) | |
A reaction: Schaffer shows in the article why transitivity would not be appropriate for lawhood. |