5 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
Full Idea: S4 says there must be some necessary truths, because the actual necessary truths must be necessary. (It says if there are some actual necessary truths then that is so - but the S4 axiom is an actual necessary truth, if true). | |
From: Ross P. Cameron (On the Source of Necessity [2010], 2) |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle. | |
From: Nicholas Jolley (Leibniz [2005], Ch.3) | |
A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed. |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
Full Idea: I conclude that Blackburn has not shown that any grounding of the necessary in the contingent (the Contingency Horn of his dilemma) is doomed to failure. | |
From: Ross P. Cameron (On the Source of Necessity [2010], 2) | |
A reaction: [You must read the article for details of Cameron's argument!] He goes on to also reject the Necessity Horn (that there is a regress if necessities must rely on necessities). |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
Full Idea: The ingredient of necessity [in Aristotle's account of consequence] is required by his demand that proof should produce 'understanding' [episteme], coupled with his claim that understanding something involves seeing that it cannot be otherwise. | |
From: report of Timothy Smiley (Conceptions of Consequence [1998], p.599) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
A reaction: An intriguing reverse of the normal order. Not 'necessity in logic delivers understanding', but 'reaching understanding shows the logic was necessary'. |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |
Full Idea: What seems so wrong about the 'moving spotlight' theory is that here one time is privileged, but all the times are on a par ontologically. | |
From: Ross P. Cameron (On the Source of Necessity [2010], 4) | |
A reaction: The whole thing is baffling, but this looks like a good point. All our intuitions make presentism (there's only the present) look like a better theory than the moving spotlight (that the present is just 'special'). |