more on this theme     |     more from this thinker

Single Idea 14607

[filed under theme 4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T ]

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.

Gist of Idea

T adds □p→p for reflexivity, and is ideal for modeling lawhood

Source

Jonathan Schaffer (Causation and Laws of Nature [2008], n46)

Book Ref

'Contemporary Debates in Metaphysics', ed/tr. Sider/Hawthorne/Zimmerman [Blackwell 2008], p.104

A Reaction

Schaffer shows in the article why transitivity would not be appropriate for lawhood.

The 8 ideas from 'Causation and Laws of Nature'

14599 Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J]
14600 Analysis aims at secure necessary and sufficient conditions [Schaffer,J]
14601 Individuation aims to count entities, by saying when there is one [Schaffer,J]
14603 'Reification' occurs if we mistake a concept for a thing [Schaffer,J]
14604 If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J]
14605 Tropes are the same as events [Schaffer,J]
14606 Only ideal conceivability could indicate what is possible [Schaffer,J]
14607 T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J]