16 ideas
| 18823 | To say there could have been people who don't exist, but deny those possible things, rejects Barcan [Stalnaker, by Rumfitt] |
| Full Idea: Stalnaker holds that there could have been people who do not actually exist, but he denies that there are things that could have been those people. That is, he denies the unrestricted validity of the Barcan Formula. | |
| From: report of Robert C. Stalnaker (Counterparts and Identity [1987]) by Ian Rumfitt - The Boundary Stones of Thought 6.2 | |
| A reaction: And quite right too, I should have thought. As they say, Jack Kennedy and Marilyn Monroe might have had a child, but the idea that we should accept some entity which might have been that child but wasn't sounds like nonsense. Except as fiction….. |
| 12184 | Logical necessity overrules all other necessities [McFetridge] |
| Full Idea: If it is logically necessary that if p then q, then there is no other sense of 'necessary' in which it is not necessary that if p then q. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: The thesis which McFetridge proposes to defend. The obvious rival would be metaphysical necessity, and the rival claim would presumably be that things are only logically necessary if that is entailed by a metaphysical necessity. Metaphysics drives logic. |
| 15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
| Full Idea: McFetridge's conception of logical necessity is one which sees the concept as receiving its fundamental exemplification in the connection between the premiss and conclusion of a deductively valid inference. | |
| From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
| A reaction: This would mean that p could be logically necessary but false (if it was a valid argument from false premisses). What if it was a valid inference in a dodgy logical system (including 'tonk', for example)? |
| 15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
| Full Idea: McFetridge's view proves that if the conditional corresponding to a valid inference is logically necessary, then there is no sense in which it is possible that its antecedent be true but its consequent false. ..This result generalises to any statement. | |
| From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
| A reaction: I am becoming puzzled by Hale's assertion that logical necessity is 'absolute', while resting his case on a conditional. Are we interested in the necessity of the inference, or the necessity of the consequent? |
| 12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
| Full Idea: There will be a legitimate notion of 'logical' necessity only if there is a notion of necessity which attaches to the claim, concerning a deductively valid argument, that if the premisses are true then so is the conclusion. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: He quotes Aristotle's Idea 11148 in support. Is this resting a stronger idea on a weaker one? Or is it the wrong way round? We endorse validity because we see the necessity; we don't endorse necessity because we see 'validity'. |
| 12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
| Full Idea: The traditional crucial assumption is that logical necessity is the strongest notion of necessity. If it is logically necessary that p, then it is necessary that p in any other use of the notion of necessity there may be (physically, practically etc.). | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: Sounds right. We might say it is physically necessary simply because it is logically necessary, and even that it is metaphysically necessary because it is logically necessary (required by logic). Logical possibility is hence the weakest kind? |
| 12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
| Full Idea: Is there any sense in which, despite an ascription of necessity to p, it is held that not-p is possible? If there is, then the original claim then it was necessary is not a claim of 'logical' necessity (which is the strongest necessity). | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: See Idea 12181, which leads up to this proposed "test" for logical necessity. McFetridge has already put epistemic ('for all I know') possibility to one side. □p→¬◊¬p is the standard reading of necessity. His word 'sense' bears the burden. |
| 12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
| Full Idea: The manifestation of the belief that a mode of inference is logically necessarily truth-preserving is the preparedness to employ that mode of inference in reasoning from any set of suppositions whatsoever. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §4) | |
| A reaction: He rests this on the idea of 'cotenability' of the two sides of a counterfactual (in Mill, Goodman and Lewis). There seems, at first blush, to be a problem of the relevance of the presuppositions. |
| 12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
| Full Idea: Time- and person-relative epistemic possibility can be asserted even when logical possibility cannot, such as undecided mathematical propositions. 'It may be that p' just comes to 'For all I know, not-p'. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: If it is possible 'for all I know', then it could be actual for all I know, and if we accept that it might be actual, we could hardly deny that it is logically possible. Logical and epistemic possibilities of mathematical p stand or fall together. |
| 12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
| Full Idea: The 'objectual modal realist' holds that what makes modal beliefs true are certain modal objects, typically 'possible worlds'. ..The 'non-objectual modal realist' says modal judgements are made true by how things stand with respect to this world. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
| A reaction: I am an enthusiastic 'non-objectual modal realist'. I accept the argument that real possible worlds have no relevance to the actual world, and explain nothing (see Jubien). The possibilities reside in the 'powers' of this world. See Molnar on powers. |
| 12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
| Full Idea: The 'modal realist' holds that part of the totality of what is the case, the totality of facts, are such things as that certain events could have happened, certain propositions are necessarily true, if this happened then that would have been the case. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
| A reaction: I am an enthusiastic modal realist. If the aim of philosophy is 'to understand' (and I take that to be the master idea of the subject) then no understanding is possible which excludes the possibilities and necessities in things. |
| 16409 | Unlike Lewis, I defend an actualist version of counterpart theory [Stalnaker] |
| Full Idea: I defend a version of counterpart theory that is quite different from Lewis's version, as it is tied to actualism (all that exists is part of the actual world) rather than possibilism (possible things may exist without actually existing). | |
| From: Robert C. Stalnaker (Counterparts and Identity [1987], 1) | |
| A reaction: This could be the theory I am after. I am sympathetic to both actualism and to counterpart theory. Off to the woodshed…. |
| 16411 | If possible worlds really differ, I can't be in more than one at a time [Stalnaker] |
| Full Idea: Nothing can be in two places at once. If other possible worlds are really other universes, then clearly, you and I cannot be in them if we are here in this one. | |
| From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
| A reaction: This can be sensibly expressed without possible worlds. I can't embody my other possibilities while I am embodying this one (I'm too busy). Insofar as possible worlds are a good framework, they are just a precise map of common sense. |
| 16412 | If counterparts exist strictly in one world only, this seems to be extreme invariant essentialism [Stalnaker] |
| Full Idea: Counterparts involve the thesis that domains of different possible worlds are disjoint: possible individuals exist in at most one possible world. This seems to suggest extreme essentialism, where nothing could differ from how it is. | |
| From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
| A reaction: He quotes Salmon (1981:236) as saying counterpart theory is particularly inflexible essentialism. This is a long way from my use of 'essentialism'. The problem is just the extent to which my counterpart is 'the same' as me. |
| 16410 | Extensional semantics has individuals and sets; modal semantics has intensions, functions of world to extension [Stalnaker] |
| Full Idea: Semantic values in extensional semantics are extensions, like individuals for terms, and sets for predicates. In modal semantics we have intensions, functions from worlds to appropriate extensions. | |
| From: Robert C. Stalnaker (Counterparts and Identity [1987], 2) | |
| A reaction: It seems obvious that the meaning of a word like 'giraffe' must include possible giraffes, as well as actual and deceased giraffes. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |