display all the ideas for this combination of texts
2 ideas
| 11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
| Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
| 12259 | Reasoning is when some results follow necessarily from certain claims [Aristotle] |
| Full Idea: Reasoning [sullogismos] is a discussion in which, certain things having been laid down, something other than these things necessarily results through them. | |
| From: Aristotle (Topics [c.331 BCE], 100a25) | |
| A reaction: This is cited as the standard statement of the nature of logical necessity. One might challenge either the very word 'necessary', or the exact sense of the word employed here. Is it, in fact, metaphysical, or merely analytic? |