28 ideas
| 14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
| Full Idea: The empty set is usually derived via Zermelo's axiom of separation. But the axiom of separation is conditional: it requires the existence of a set in order to generate others as subsets of it. The original set has to come from the axiom of infinity. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: They charge that this leads to circularity, as Infinity depends on the empty set. |
| 14240 | The empty set is something, not nothing! [Oliver/Smiley] |
| Full Idea: Some authors need to be told loud and clear: if there is an empty set, it is something, not nothing. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: I'm inclined to think of a null set as a pair of brackets, so maybe that puts it into a metalanguage. |
| 14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
| Full Idea: The empty set is said to be useful to express non-existence, but saying 'there are no Us', or ¬∃xUx are no less concise, and certainly less roundabout. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) |
| 14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
| Full Idea: Suppose we introduce Ω not as a term standing for a supposed empty set, but as a paradigm of an empty term, not standing for anything. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 1.2) | |
| A reaction: This proposal, which they go on to explore, seems to mean that Ω (i.e. the traditional empty set symbol) is no longer part of set theory but is part of semantics. |
| 14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
| Full Idea: Thomason says with no unit sets we couldn't call {1,2}∩{2,3} a set - but so what? Why shouldn't the intersection be the number 2? However, we then have to distinguish three different cases of intersection (common subset or member, or disjoint). | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 2.2) |
| 14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
| Full Idea: A 'singularist', who refers to objects one at a time, must resort to the language of sets in order to replace plural reference to members ('Henry VIII's wives') by singular reference to a set ('the set of Henry VIII's wives'). | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro) | |
| A reaction: A simple and illuminating point about the motivation for plural reference. Null sets and singletons give me the creeps, so I would personally prefer to avoid set theory when dealing with ontology. |
| 14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
| Full Idea: Plurals earn their keep in set theory, to answer Skolem's remark that 'in order to treat of 'sets', we must begin with 'domains' that are constituted in a certain way'. We can speak in the plural of 'the objects', not a 'domain' of objects. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], Intro) | |
| A reaction: [Skolem 1922:291 in van Heijenoort] Zermelo has said that the domain cannot be a set, because every set belongs to it. |
| 14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
| Full Idea: Logical truths should be true no matter what exists, so true even if nothing exists. The classical predicate calculus, however, makes it logically true that something exists. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1) |
| 14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
| Full Idea: If mathematics was purely concerned with mathematical objects, there would be no room for applied mathematics. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.1) | |
| A reaction: Love it! Of course, they are using 'objects' in the rather Fregean sense of genuine abstract entities. I don't see why fictionalism shouldn't allow maths to be wholly 'pure', although we have invented fictions which actually have application. |
| 14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
| Full Idea: Identifying numbers with sets may mean one of three quite different things: 1) the sets represent the numbers, or ii) they are the numbers, or iii) they replace the numbers. | |
| From: Oliver,A/Smiley,T (What are Sets and What are they For? [2006], 5.2) | |
| A reaction: Option one sounds the most plausible to me. I will take numbers to be patterns embedded in nature, and sets are one way of presenting them in shorthand form, in order to bring out what is repeated. |
| 15127 | A categorical basis could hardly explain a disposition if it had no powers of its own [Hawthorne] |
| Full Idea: The categorical basis would be a poor explanans for the disposition as explanandum, if the categorical basis did not drag any causal powers along with it. | |
| From: John Hawthorne (Causal Structuralism [2001], 2.4) | |
| A reaction: The idea that the world is explained just by some basic stuff having qualities and relations always strikes me as wrong, because the view of nature is too passive. |
| 15123 | Is the causal profile of a property its essence? [Hawthorne] |
| Full Idea: We might say that the causal profile of a property is its essence. | |
| From: John Hawthorne (Causal Structuralism [2001], Intro) | |
| A reaction: I associate this view with Shoemaker, and find it sympathetic. We always want to know more. What gives rise to these causal powers? Where does explanation end? He notes that you might say some of the powers are non-essential. |
| 15122 | Could two different properties have the same causal profile? [Hawthorne] |
| Full Idea: If there is more to the nature of a property than the causal powers that it confers, then two different internal natures of properties might necessitate the same causal profile. | |
| From: John Hawthorne (Causal Structuralism [2001], Intro) | |
| A reaction: If the causal profiles were identical, it is hard to see how we could even propose, let alone test, their intrinsic difference. ...Unless, perhaps, we knew that the properties arose from different substrata. |
| 15124 | If properties are more than their powers, we could have two properties with the same power [Hawthorne] |
| Full Idea: If a property is something over and above its causal profile, we seem to have conceptual space for an electron to have negative charge 1 and negative charge 2, that have exactly the same causal powers. | |
| From: John Hawthorne (Causal Structuralism [2001], 1.3) |
| 14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
| Full Idea: In being willing to countenance archipelagos, one embraces scattered objects. Why not then embrace the 'archipelago' of my car and the Eiffel Tower? | |
| From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 2.1) | |
| A reaction: This is a beautifully simple and striking point. Language is full of embracing terms like 'the furniture', but that doesn't mean we assume the furniture is unified. The archipelago is less of an 'object' if you live on one of the islands. |
| 15128 | We can treat the structure/form of the world differently from the nodes/matter of the world [Hawthorne] |
| Full Idea: It does not seem altogether arbitrary to treat the structure of the world (the 'form' of the world) in a different way to the nodes in the structure (the 'matter' of the world). | |
| From: John Hawthorne (Causal Structuralism [2001], 2.5) | |
| A reaction: An interesting contemporary spin put on Aristotle's original view. Hawthorne is presenting the Aristotle account as a sort of 'structuralism' about nature. |
| 15121 | An individual essence is a necessary and sufficient profile for a thing [Hawthorne] |
| Full Idea: An individual essence is a profile that is necessary and sufficient for some particular thing. | |
| From: John Hawthorne (Causal Structuralism [2001], Intro) | |
| A reaction: By 'for' he presumably means for the thing to have an existence and a distinct identity. If it retained its identity, but didn't function any more, would that be loss of essence? |
| 14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
| Full Idea: Self-proclaimed four-dimensionalists typically adopt a picture that reckons instantaneous objects (and facts about them) to be more fundamental than long-lived ones. | |
| From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 2.2) | |
| A reaction: A nice elucidation. As in Idea 14588, this seems motivated by a desire for some sort of foundationalism or atomism. Why shouldn't a metaphysic treat the middle-sized or temporally extended as foundational, and derive the rest that way? |
| 8970 | Our notion of identical sets involves identical members, which needs absolute identity [Hawthorne] |
| Full Idea: Our conceptual grip on the notion of a set is founded on the axiom of extensionality: a set x is the same as a set y iff x and y have the same members. But this axiom deploys the notion of absolute identity ('same members'). | |
| From: John Hawthorne (Identity [2003], 3.1) | |
| A reaction: Identity seems to be a primitive, useful and crucial concept, so don't ask what it is. I suspect that numbers can't get off the ground without it (especially, in view of the above, if you define numbers in terms of sets). |
| 490 | Everything happens by reason and necessity [Leucippus] |
| Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
| From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |
| 14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
| Full Idea: One person says 'He can't dig a hole; he hasn't got a spade', and another says 'He can dig a hole; just give him a spade', and both uses of the modal 'can' will be true. So some philosophers say that all modal predications are thus context-dependent. | |
| From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 1.2) | |
| A reaction: Quine is the guru for this view of modality. Hawthorne's example seems to me to rely too much on the linguistic feature of contrasting 'can' and 'can't'. The underlying assertion in the propositions says something real about the possibilities. |
| 19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
| Full Idea: If I utter 'I know I have a hand' then I can only be reckoned a cooperative conversant by my interlocutors on the assumption that there was a real question as to whether I have a hand. | |
| From: John Hawthorne (The Case for Closure [2005], 2) | |
| A reaction: This seems to point to the contextualist approach to global scepticism, which concerns whether we are setting the bar high or low for 'knowledge'. |
| 19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
| Full Idea: Those who deny skepticism but accept closure will have to explain how we know the various 'heavyweight' skeptical hypotheses to be false. Do we then twist the concept of knowledge to fit the twin desiderata of closue and anti-skepticism? | |
| From: John Hawthorne (The Case for Closure [2005], Intro) | |
| A reaction: [He is giving Dretske's view; Dretske says we do twist knowledge] Thus if I remember yesterday, that has the heavyweight implication that the past is real. Hawthorne nicely summarises why closure produces a philosophical problem. |
| 19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
| Full Idea: Maybe one cannot know the logical consequences of the proposition that one knows, on account of the fact that small risks add up to big risks. | |
| From: John Hawthorne (The Case for Closure [2005], 1) | |
| A reaction: The idea of closure is that the new knowledge has the certainty of logic, and each step is accepted. An array of receding propositions can lose reliability, but that shouldn't apply to logic implications. Assuming monotonic logic, of course. |
| 19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
| Full Idea: How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine? | |
| From: John Hawthorne (The Case for Closure [2005], 2) | |
| A reaction: Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49] |
| 15126 | Maybe scientific causation is just generalisation about the patterns [Hawthorne] |
| Full Idea: Perhaps science doesn't need a robust conception of causation, and can get by with thinking of causal laws in a Humean way, as the simplest generalization over the mosaic. | |
| From: John Hawthorne (Causal Structuralism [2001], 1.5) | |
| A reaction: The Humean view he is referring to is held by David Lewis. That seems a council of defeat. We observe from a distance, but make no attempt to explain. |
| 15125 | We only know the mathematical laws, but not much else [Hawthorne] |
| Full Idea: We know the laws of the physical world, in so far as they are mathematical, pretty well, but we know nothing else about it. | |
| From: John Hawthorne (Causal Structuralism [2001], Ch.25) | |
| A reaction: Lovely remark [spotted by Hawthorne]. This sums up exactly what I take to be the most pressing issue in philosophy of science - that we develop a view of science that has space for the next step in explanation. |
| 14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |
| Full Idea: Nowadays it is common for metaphysicians to hold both that space-time regions are less fundamental than the space-time points that compose them, and that facts about the regions are less fundamental than facts about the points and their arrangements. | |
| From: John Hawthorne (Three-Dimensionalism v Four-Dimensionalism [2008], 1) | |
| A reaction: I'm not quite sure what a physicist would make of this. It seems to be motivated by some a priori preference for atomism, and for system-building from minimal foundations. |