23 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. |
12442 | 'Mickey Mouse is a fictional mouse' is true without a truthmaker [Azzouni] |
Full Idea: 'Mickey Mouse is a fictional mouse' can be taken as true without have any truthmaker. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: There might be an equivocation over 'true' here. 'What, really really true that he IS a fictional mouse?' |
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 |
12439 | Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni] |
Full Idea: No truth predicate is ever indispensable, because Tarski biconditionals, the equivalences between sentences and explicit truth ascriptions to those sentences, allow us to replace explicit truth ascriptions with the sentences themselves. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.1) | |
A reaction: Holding a sentence to be true isn't the same as saying that it is true, and it isn't the same as saying the sentence, because one might say it in an ironic tone of voice. |
12437 | Truth lets us assent to sentences we can't explicitly exhibit [Azzouni] |
Full Idea: My take on truth is a fairly deflationary one: The role of the truth predicate is to enable us to assent to sentences we can't explicitly exhibit. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
A reaction: Clearly this is a role for truth, as in 'I forget what he said, but I know it was true', but it isn't remotely what most people understand by true. We use 'true' about totally explicit sentences all the time. |
12446 | Names function the same way, even if there is no object [Azzouni] |
Full Idea: Names function the same way (semantically and grammatically) regardless of whether or not there's an object that they refer to. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3 n55) | |
A reaction: I take this to be a fairly clear rebuttal of the 'Fido'-Fido view of names (that the meaning of the name IS the dog), which never seems to quite go away. A name is a peg on which description may be hung, seems a good slogan to me. |
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? |
12447 | That all existents have causal powers is unknowable; the claim is simply an epistemic one [Azzouni] |
Full Idea: If the argument isn't that, metaphysically speaking, anything that exists must have causal powers - how on earth would we show that? - rather, the claim is an epistemic one. Any thing we're in a position to know about we must causally interact with. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
A reaction: A very good point. I am attracted to causal power as a criterion for existence, but Azzouni's distinction is vital. Maybe there is just no point in even talking about things which exist but have no causal powers. |
12445 | If fictional objects really don't exist, then they aren't abstract objects [Azzouni] |
Full Idea: It's robustly part of common sense that fictional objects don't exist in any sense at all, and this means they aren't abstracta either. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: Nice. It is so easy to have some philosopher dilute and equivocate over the word 'object' until you find yourself committed to all sorts of daft things as somehow having objectual existence. We can discuss things which don't exist in any way at all. |
12449 | Modern metaphysics often derives ontology from the logical forms of sentences [Azzouni] |
Full Idea: It is widespread in contemporary metaphysics to extract commitments to various types of object on the basis of the logical form of certain sentences. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
A reaction: I'm with Azzouni in thinking that this procedure is a very bad idea. I'm increasingly inclined towards the wild view that people are only ontologically committed to things if they explicitly say that they are so committed. |
12440 | If objectual quantifiers ontologically commit, so does the metalanguage for its semantics [Azzouni] |
Full Idea: The argument that objectual quantifiers are ontologically committing has the crucial and unnoticed presupposition that the language in which the semantics for the objectual quantifiers is couched (the 'metalanguage') also has quantifiers with commitment. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: That is, presumably we find ourselves ontologically committed to the existence of quantifiers, and are also looking at an infinite regress. See Idea 12439. |
12438 | In the vernacular there is no unequivocal ontological commitment [Azzouni] |
Full Idea: There are no linguistic devices, no idioms (not 'there is', not 'exists') that unequivocally indicate ontological commitment in the vernacular. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
A reaction: This seems right, since people talk in such ways about soap opera, while understanding the ontological situation perfectly well. Presumably Quine is seeking higher standards than the vernacular, if we are doing science. |
12441 | We only get ontology from semantics if we have already smuggled it in [Azzouni] |
Full Idea: A slogan: One can't read ontological commitments from semantic conditions unless one has already smuggled into those semantic conditions the ontology one would like to read off. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: The arguments supporting this are subtle, but it's good enough for me, as I never thought anyone was ontologically committed just because they used the vagueries of language to try to say what's going on around here. |
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? |
12448 | Things that don't exist don't have any properties [Azzouni] |
Full Idea: Things that don't exist don't have any properties. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
A reaction: Sounds reasonable! I totally agree, but that is because my notion of properties is sparse and naturalistic. If you identify properties with predicates (which some weird people seem to), then non-existents can have properties like 'absence' or 'nullity'. |
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. |
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 |
12450 | The periodic table not only defines the elements, but also excludes other possible elements [Azzouni] |
Full Idea: The periodic table not only governs what elements there can be, with their properties, but also explicitly excludes others sorts of elements, because the elements are individuated by the number of discrete protons in their nuclei. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
A reaction: It has to be central to the thesis of scientific essentialism that the possibilities in nature are far more restricted than is normally thought, and this observation illustrates the view nicely. He makes a similar point about subatomic particles. |
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. |