21 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV) | |
| A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions! |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I) | |
| A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'. |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status. |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I) | |
| A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3! |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I) | |
| A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment. |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008]) | |
| A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much. |
| 16730 | If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi] |
| Full Idea: Since these atoms are the whole of the corporeal matter or substance that exists in bodies, if we conceive or notice anything else to exist in these bodies, that is not a substance but only some kind of mode of the substance. | |
| From: Pierre Gassendi (Syntagma [1658], II.1.6.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.4 | |
| A reaction: If the atoms have a few qualities of their own, are they just modes? If they are genuine powers, then there can be emergent powers, which are rather more than mere 'modes'. |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness). | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not. |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III) | |
| A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p. |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I) | |
| A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics. |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III) | |
| A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky. |
| 11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
| Full Idea: To say than x has a property in a possible world is simply to say that x would have had the property if that world had been actual. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
| A reaction: Plantinga tries to defuse all the problems with identity across possible worlds, by hanging on to subjunctive verbs and modal modifiers. The point, though, was to explain these, or at least to try to give their logical form. |
| 11980 | A possible world is a maximal possible state of affairs [Plantinga] |
| Full Idea: A possible world is just a maximal possible state of affairs. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
| A reaction: The key point here is that Plantinga includes the word 'possible' in his definition. Possibility defines the worlds, and so worlds cannot be used on their own to define possibility. |
| 11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
| Full Idea: If the Socrates of the actual world has snubnosedness but Socrates-in-W does not, this is surely inconsistent with the Indiscernibility of Identicals, a principle than which none sounder can be conceived. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
| A reaction: However, we allow Socrates to differ over time while remaining the same Socrates, so some similar approach should apply here. In both cases we need some notion of what is essential to Socrates. But what unites aged 3 with aged 70? |
| 11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
| Full Idea: We may say it makes no sense to say that Socrates exists at a world, if there is in principle no way of identifying him. ...But this is confused. To suppose Agnew was a precocious baby, we needn't be able to pick him from a gallery of babies. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], I) | |
| A reaction: This seems a good point, and yet we have a space-time line joining adult Agnew with baby Agnew, and no such causal link is available between persons in different possible worlds. What would be the criterion in each case? |
| 11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
| Full Idea: The Theory of Worldbound Individuals contends that no object exists in more than one possible world; this implies the outrageous view that - taking properties in the broadest sense - no object could have lacked any property that it in fact has. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
| A reaction: Leibniz is the best known exponent of this 'outrageous view', though Plantinga shows that Lewis may be seen in the same light, since only counterparts are found in possible worlds, not the real thing. The Theory does seem wrong. |
| 11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
| Full Idea: While Socrates has no counterparts that lack self-identity, he does have counterparts that lack identity-with-Socrates. He alone has that - the property, that is, of being identical with the object that in fact instantiates Socrateity. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
| A reaction: I am never persuaded by arguments which rest on such dubious pseudo-properties. Whether or not a counterpart of Socrates has any sort of identity with Socrates cannot be prejudged, as it would beg the question. |
| 11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
| Full Idea: It makes no sense to say I could have been someone else, yet Counterpart Theory implies not merely that I could have been distinct from myself, but that I would have been distinct from myself had things gone differently in even the most miniscule detail. | |
| From: Alvin Plantinga (Transworld Identity or worldbound Individuals? [1973], II) | |
| A reaction: A counterpart doesn't appear to be 'me being distinct from myself'. We have to combine counterparts over possible worlds with perdurance over time. I am a 'worm' of time-slices. Anything not in that worm is not strictly me. |
| 16619 | We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi] |
| Full Idea: Nothing beyond qualities is perceived by the senses. …When we refer to the substance in which the qualities inhere, we do this through induction, by which we reason that some subject lies under the quality. | |
| From: Pierre Gassendi (Syntagma [1658], II.1.6.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 07.1 | |
| A reaction: He talks of 'induction' (in an older usage), but he seems to mean abduction, since he never makes any observations of the substances being proposed. |
| 16593 | Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi] |
| Full Idea: The vulgar think atoms lack parts and are free of all magnitude, and hence nothing other than a mathematical point, but it is something solid and hard and compact, as to leave no room for division, separation and cutting. No force in nature can divide it. | |
| From: Pierre Gassendi (Syntagma [1658], II.1.3.5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.2 | |
| A reaction: If you gloatingly think the atom has now been split, ask whether electrons and quarks now fit his description. Pasnau notes that though atoms are indivisible, they are not incorruptible, and could go out of existence, or be squashed. |
| 16729 | How do mere atoms produce qualities like colour, flavour and odour? [Gassendi] |
| Full Idea: If the only material principles of things are atoms, having only size, shape, and weight, or motion, then why are so many additional qualities created and existing within the things: color, heat, flavor, odor, and innumerable others? | |
| From: Pierre Gassendi (Syntagma [1658], II.1.5.7), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.4 | |
| A reaction: This is pretty much the 'hard question' about the mind-body relation. Bacon said that heat was just motion of matter. I would say that this problem is gradually being solved in my lifetime. |