41 ideas
| 16512 | Semantic facts are preferable to transcendental philosophical fiction [Wiggins] |
| Full Idea: Semantical fact is almost always more interesting than transcendental philosophical fiction. | |
| From: David Wiggins (Sameness and Substance [1980], 3.1 n4) | |
| A reaction: An interesting expression of a more sophisticated recent allegiance to linguistic philosophy. There is still a strong allegiance to semantics as a major branch of philosophy, despite caution (e.g. from Nathan Salmon) about its scope. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 17529 | Maybe the concept needed under which things coincide must also yield a principle of counting [Wiggins] |
| Full Idea: My thesis C says that to specify something or other under which a and b coincide is to specify a concept f which qualifies for this purpose only if it yields a principle of counting for fs. ...I submit that C is false, though a near miss. | |
| From: David Wiggins (Sameness and Substance [1980], 1.1) |
| 17530 | The sortal needed for identities may not always be sufficient to support counting [Wiggins] |
| Full Idea: My principle C seems unnecessary ...since it is one thing to see how many fs there are...but another to have a perfectly general method. ...One could answer whether this f-compliant is the same as that one, but there are too many ways to articulate it. | |
| From: David Wiggins (Sameness and Substance [1980], 2.8) | |
| A reaction: His famous example is trying to count the Pope's crown, which is made of crowns. A clearer example might be a rectangular figure divided up into various overlapping rectangles. Individuation is easy, but counting is contextual. |
| 16523 | Realist Conceptualists accept that our interests affect our concepts [Wiggins] |
| Full Idea: The realist conceptualist may cheerfully admit that the sortal concepts of which we are possessed are the creatures of our interests; …and also that there need be no one way in which we must articulate reality. | |
| From: David Wiggins (Sameness and Substance [1980], 5.2) | |
| A reaction: Wiggins calls himself a 'realist conceptualist'. In his terminology, I seem to be an 'anti-conceptualist realist'. The issue concerns aspects of reality that extend beyond our concepts. The 99th d.p. of the mass of the electron. |
| 16524 | Conceptualism says we must use our individuating concepts to grasp reality [Wiggins] |
| Full Idea: What Conceptualism entails is that, although horses and stars are not inventions or artefacts, in order to single out these things we must deploy a conceptual scheme which has been formed in such a way as to make singling them out possible. | |
| From: David Wiggins (Sameness and Substance [1980], 5.5) | |
| A reaction: I don't quite see why the 'singling out' role of the concepts is the only one that generates them, or makes them fit for purpose. In general, of course, our conceptual scheme is necessarily a response to our experience of the world. |
| 16526 | Animal classifications: the Emperor's, fabulous, innumerable, like flies, stray dogs, embalmed…. [Wiggins] |
| Full Idea: A Chinese encyclopedia classifies animals as belonging to the Emperor, embalmed, tame, sucking pigs, sirens, fabulous, stray dogs, included in this classification, frenzied, innumerable, drawn with a fine brush, etcetera, or look for afar like flies. | |
| From: David Wiggins (Sameness and Substance [1980], 5.7 n18) | |
| A reaction: [This glorious quotation comes from a story by Borges, first spotted by Foucault] |
| 16492 | Individuation needs accounts of identity, of change, and of singling out [Wiggins] |
| Full Idea: A theory of individuation must comprise at least three things: an elucidation of the primitive concept of identity or sameness; what it is to be a substance that persists through change; and what it is for a thinker to single out the same substance. | |
| From: David Wiggins (Sameness and Substance [1980], Pre 1) | |
| A reaction: [compressed] Metaphysics seems to need a theory of identity, but I am not yet convinced that it also needs a theory of 'individuation'. Never mind, press on and create one, and see how it looks. Aristotle wanted to explain predication too. |
| 16493 | Individuation can only be understood by the relation between things and thinkers [Wiggins] |
| Full Idea: Understanding the concepts involved in individuation can only be characterised by reference to observable commerce between things singled out and thinkers who think or find their way around the world precisely by singling them out. | |
| From: David Wiggins (Sameness and Substance [1980], Pre 1) | |
| A reaction: I take individuation to be relatively uninteresting, because I understand identity independently of how we single things out, but Wiggins's reliance on sortals implies that the very identity of things in the world is knee deep in mental activity. |
| 16496 | Singling out extends back and forward in time [Wiggins] |
| Full Idea: The singling out of a substance at a time reaches backwards and forwards to time before and after that time. | |
| From: David Wiggins (Sameness and Substance [1980], Pre 2) | |
| A reaction: Presumably this is an inferred history and persistence conditions. Sounds fine in a stable world. We assume (a priori?) that any object will have a space-time line for its duration. |
| 16495 | The only singling out is singling out 'as' something [Wiggins] |
| Full Idea: There could be no singling out tout court unless there could be singling out 'as'. | |
| From: David Wiggins (Sameness and Substance [1980], Pre 2) | |
| A reaction: I find this claim baffling. Do animals categorise everything they engage with? Are we unable to engage with something if we have not yet categorised it? Surely picking it out is prior to saying that sort of thing it is? |
| 16501 | In Aristotle's sense, saying x falls under f is to say what x is [Wiggins] |
| Full Idea: To say that x falls under f - or that x is an f - is to say what x is (in the sense Aristotle isolated). | |
| From: David Wiggins (Sameness and Substance [1980], 2.1) | |
| A reaction: This is a key claim in Wiggins's main principle. I'm not convinced. He wants one main sortal to do all the work. I don't think Aristotle at all intended the 'nature' of an individual thing to be given by a single sortal under which it falls. |
| 16506 | Every determinate thing falls under a sortal, which fixes its persistence [Wiggins] |
| Full Idea: We can expect that, for every completely determinate continuant, there will be at least one sortal concept that it falls under and that determines a principle of persistence for it. | |
| From: David Wiggins (Sameness and Substance [1980], 2.4) | |
| A reaction: I think he has the 'determines' relation the wrong way round! Being a tiger doesn't determine anything about persistence. It is having that nature and those persistence conditions which make it a tiger. And why does he optimistically 'expect' this? |
| 16509 | Natural kinds are well suited to be the sortals which fix substances [Wiggins] |
| Full Idea: Among the best candidates to play the roles of sortal and substantial predicates are the natural kind words. | |
| From: David Wiggins (Sameness and Substance [1980], 3.1) | |
| A reaction: There is always a danger of circularity with this kind of approach. How do we distinguish the genuine natural kinds from the dubious ones? |
| 16514 | Artefacts are individuated by some matter having a certain function [Wiggins] |
| Full Idea: Ordinary artefacts are individuated, rather indeterminately and arbitrarily, by reference to a parcel of matter so organised as to subserve a certain function. | |
| From: David Wiggins (Sameness and Substance [1980], 3.3) |
| 16510 | Nominal essences don't fix membership, ignore evolution, and aren't contextual [Wiggins] |
| Full Idea: Nominal essences are unsatisfactory because they fail either of necessity or of sufficiency for membership of the intended kind, they leave unexplained how sortals can evolve, and there is no room for culture or context in our reference to kinds. | |
| From: David Wiggins (Sameness and Substance [1980], 3.1) | |
| A reaction: [a compression of a paragraph] I would have thought that Locke would just say it is tough luck if nominal essences can't do all these things, because that's just the way it is, folks. |
| 16503 | 'What is it?' gives the kind, nature, persistence conditions and identity over time of a thing [Wiggins] |
| Full Idea: The question 'what is it?' refers to the persistence and lifespan of an entity, and so manifests the identity over time of an entity and its persistence, between persistence and existence, and between its existence and being the kind of thing it is. | |
| From: David Wiggins (Sameness and Substance [1980], 2.1) | |
| A reaction: The idea that establishing the kind of a thing can do all this work strikes me as false. The lifespan of a 'human' can be between five minutes and a hundred years. Humans have a clear death, but thunderstorms don't. |
| 16499 | A restored church is the same 'church', but not the same 'building' or 'brickwork' [Wiggins] |
| Full Idea: We can say of Hume's church that the present church is the same 'church' as the old parish church but not the same 'building' or the same 'stonework' as the old parish church. | |
| From: David Wiggins (Sameness and Substance [1980], 1.5) | |
| A reaction: Unconvinced. This seems to make a 'church' into an abstraction, which might even exist in the absence of any building. And it seems to identify a building with its stonework. Wiggins yearns for a neat solution, but it ain't here. |
| 16515 | A thing begins only once; for a clock, it is when its making is first completed [Wiggins] |
| Full Idea: A thing starts existing only once; and in the case of a clock its proper beginning was at about the time when its maker finished it. | |
| From: David Wiggins (Sameness and Substance [1980], 3.3) | |
| A reaction: I love the example that challenges this. Take the clock's parts and use them to make other clocks, then collect them up and reassemble the first clock. If the first clock has persisted through this, you have too many clocks. Wiggins spots some of this. |
| 16517 | Priests prefer the working ship; antiquarians prefer the reconstruction [Wiggins] |
| Full Idea: Dispute might break out between priests who favoured the working ship and antiquarians who preferred the reconstruction. | |
| From: David Wiggins (Sameness and Substance [1980], 3.3) | |
| A reaction: This captures the contextual nature of the dispute very succinctly. Wiggins, of course, thinks that sortals will settle the matter. Fat chance. |
| 16498 | Identity cannot be defined, because definitions are identities [Wiggins] |
| Full Idea: Since any definition is an identity, identity itself cannot be defined. | |
| From: David Wiggins (Sameness and Substance [1980], 1.2 n7) | |
| A reaction: This sounds too good to be true! I can't think of an objection, so, okay, identity cannot possibly be defined. We can give synonyms for it, I suppose. [Wrong, says Rumfitt! Definitions can also be equivalences!] |
| 16497 | Leibniz's Law (not transitivity, symmetry, reflexivity) marks what is peculiar to identity [Wiggins] |
| Full Idea: The principle of Leibniz's Law marks off what is peculiar to identity and differentiates it in a way in which transitivity, symmetry and reflexivity (all shared by 'exact similarity, 'equality in pay', etc.) do not. | |
| From: David Wiggins (Sameness and Substance [1980], 1.2) |
| 16502 | Identity is primitive [Wiggins] |
| Full Idea: Identity is a primitive notion. | |
| From: David Wiggins (Sameness and Substance [1980], 2.1) | |
| A reaction: To be a true primitive it would have to be univocal, but it seems to me that 'identity' comes in degrees. The primitive concept is the minimal end of the degrees, but there are also more substantial notions of identity. |
| 16521 | A is necessarily A, so if B is A, then B is also necessarily A [Wiggins] |
| Full Idea: The famous proof of Barcan Marcus about necessity of identity comes down to simply this: Hesperus is necessarily Hesperus, so if Phosphorus is Hesperus, Phosphorus is necessarily Hesperus. | |
| From: David Wiggins (Sameness and Substance [1980], 4.3) | |
| A reaction: Since the identity of Hesperus and Phosphorus was an a posteriori discovery, this was taken to be the inception of the idea that there are a posteriori necessities. The conclusion seems obvious. One thing is necessarily one thing. |
| 16505 | By the principle of Indiscernibility, a symmetrical object could only be half of itself! [Wiggins] |
| Full Idea: The full Identity of Indiscernibles excludes the existence in this world of a symmetrical object, which is reduced to half of itself by the principle. If symmetrical about all planes that bisect it, it is precluded altogether from existence. | |
| From: David Wiggins (Sameness and Substance [1980], 2.2) | |
| A reaction: A really nice objection. Do the parts even need to be symmetrical? My eyeballs can't be identical to one another, presumably. Electrons already gave the principle big trouble. |
| 16494 | We want to explain sameness as coincidence of substance, not as anything qualitative [Wiggins] |
| Full Idea: The notion of sameness or identity that we are to elucidate is not that of any degree of qualitative similarity but of coincidence as a substance - a notion as primitive as predication. | |
| From: David Wiggins (Sameness and Substance [1980], Pre 2) | |
| A reaction: This question invites an approach to identity through our descriptions of it, rather than to the thing itself. There is no problem in ontology of two substances being 'the same', because they are just one substance. |
| 16522 | It is hard or impossible to think of Caesar as not human [Wiggins] |
| Full Idea: It is hard or impossible to conceive of Caesar's not being a man (human). | |
| From: David Wiggins (Sameness and Substance [1980], 4.5) | |
| A reaction: So is it 'hard' or is it 'impossible'? Older generations of philosophers simply didn't read enough science fiction. Any short story could feature Caesar's failure to be a man. His assassination was a disaster for the Martian invasion of 44 BCE. |
| 16525 | Our sortal concepts fix what we find in experience [Wiggins] |
| Full Idea: What sortal concepts we can bring to bear upon experience determines what we can find there. | |
| From: David Wiggins (Sameness and Substance [1980], 5.6) | |
| A reaction: Wiggins would wince at being classed among linguistic relativists of the Sapir-Whorf type, but that's where I'm putting this idea. Wiggins is a realist, who knows there are things out there our concepts miss. He compares it to a fishing net. He's wrong. |
| 16518 | We conceptualise objects, but they impinge on us [Wiggins] |
| Full Idea: The mind conceptualises objects, yet objects impinge upon the mind. | |
| From: David Wiggins (Sameness and Substance [1980], 3.5) | |
| A reaction: A very nice statement of the relationship, and the fact that we don't just make our concepts up. |
| 16511 | A 'conception' of a horse is a full theory of what it is (and not just the 'concept') [Wiggins] |
| Full Idea: A 'conception' of horse is a theory of what a horse is, or what it is to be a horse. The conception is in no way the same as the concept. The conception is of the concept. | |
| From: David Wiggins (Sameness and Substance [1980], 3.1) | |
| A reaction: Wiggins sounds confident about a sharp distinction here, which I doubt, but some such distinction seems to required. I quite like Williams's 'fat' and 'thin' concepts. |
| 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'). |