18 ideas
| 9108 | From an impossibility anything follows [William of Ockham] |
| Full Idea: From an impossibility anything follows ('quod ex impossibili sequitur quodlibet'). | |
| From: William of Ockham (Summa totius logicae [1323], III.c.xxxvi) | |
| A reaction: The hallmark of a true logician, I suspect, is that this opinion is really meaningful and important to them. They yearn to follow the logic wherever it leads. Common sense would seem to say that absolutely nothing follows from an impossibility. |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| Full Idea: If in the proposition 'This is an angel' subject and predicate stand for the same thing, the proposition is true. | |
| From: William of Ockham (Summa totius logicae [1323], II.c.ii) | |
| A reaction: An interesting statement of what looks like a correspondence theory, employing the idea that both the subject and the predicate have a reference. I think Frege would say that 'x is an angel' is unsaturated, and so lacks reference. |
| 16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
| Full Idea: Theories structurally very similar to axiomatic compositional theories of truth can be found in Ockham's 'Summa Logicae'. | |
| From: report of William of Ockham (Summa totius logicae [1323]) by Volker Halbach - Axiomatic Theories of Truth 3 |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| Full Idea: The syncategorematic word 'every' does not signify any fixed thing, but when added to 'man' it makes the term 'man' stand for all men actually. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.iv) | |
| A reaction: Although quantifiers may have become a part of formal logic with Frege, their importance is seen from Aristotle onwards, and it is clearly a key part of William's understanding of logic. |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| Full Idea: Number is nothing but the actual numbered things themselves. Hence just as unity is not an accident added to the thing which is one, so number is not an accident of the things which are numbered. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.xliv) | |
| A reaction: [William does not necessarily agree with this view] It strikes me as a key point here that any account of the numbers had better work for 'one', though 'zero' might be treated differently. Some people seem to think unity is a property of things. |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| Full Idea: The words 'thing' and 'to be' (esse) signify one and the same thing, but the one in the manner of a noun and the other in the manner of a verb. | |
| From: William of Ockham (Summa totius logicae [1323], III,II,c,xxvii) | |
| A reaction: Well said - as you would expect from a thoroughgoing nominalist. I would have thought that this was the last word on the subject of Being, thus rendering any need for me to read Heidegger quite superfluous. Or am I missing something? |
| 15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
| Full Idea: Every universal is one particular thing and it is not a universal except in its signification, in its signifying many thing. | |
| From: William of Ockham (Summa totius logicae [1323]), quoted by Claude Panaccio - Medieval Problem of Universals 'William' | |
| A reaction: Sounds as if William might have liked tropes. It seems to leave the problem unanswered (the 'ostrich' problem?). How are they able to signify in this universal way, if each thing is just distinct and particular? |
| 9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
| Full Idea: If essence and existence were two things, then no contradiction would be involved if God preserved the essence of a thing in the world without its existence, or vice versa, its existence without its essence; both of which are impossible. | |
| From: William of Ockham (Summa totius logicae [1323], III,II,c,xxvii) | |
| A reaction: Not that William is using the concept of a supreme mind as a tool in argument. His denial of essence as something separable is presumably his denial of the Aristotelian view of universals, as well as of the Platonic view. |
| 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. |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
| Full Idea: Conceptual terms and the propositions formed by them are those mental words which do not belong to any language; they remain only in the mind and cannot be uttered exteriorly, though signs subordinated to these can be exteriorly uttered. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.i) | |
| A reaction: [He cites Augustine] A glimmer of the idea of Mentalese, and is probably an integral part of any commitment to propositions. Quine would hate it, but I like it. Logicians seem to dislike anything that cannot be articulated, but brains are like that. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |