23 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) |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
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. |
23438 | Full rationality must include morality [Foot] |
Full Idea: You haven't got a full idea of rationality until you've got morality within it. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
A reaction: Does this mean that mathematical proofs are not rational, or that they are moral? |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
23437 | Practical reason is goodness in choosing actions [Foot] |
Full Idea: Practical rationality is goodness in respect of reason for actions, just as rationality of thinking is goodness in respect of beliefs. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.35) | |
A reaction: It is very Greek to think that rationality involves goodness. There seems to be a purely instrumental form of practical reason that just gets from A to B, as when giving accurate street directions to someone. |
23436 | It is an odd Humean view to think a reason to act must always involve caring [Foot] |
Full Idea: One would need a very special, very Humean, view about reasons for actions to think a man doesn't have a reason unless he cares. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.34-5) | |
A reaction: She says she used to believe this, but was wrong. It is hard to imagine acting for reasons if they don't care about anything at all (even that it's their job). But then people just do care about things. |
23431 | Human defects are just like plant or animal defects [Foot] |
Full Idea: We describe defects in human beings in the same way as we do defects in plants and animals. …You cannot talk about a river as being defective. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
A reaction: This is a much clearer commitment to naturalistic ethics than I have found in her more academic writings. My opinion of Foot (which was already high) went up when I read this interview. …She says vice is a defect of the will. |
23432 | Concepts such as function, welfare, flourishing and interests only apply to living things [Foot] |
Full Idea: There are concepts which apply only to living things, considered in their own right, which would include function, welfare, flourishing, interests and the good of something. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
A reaction: This is a very Aristotelian view, with which I entirely agree. The central concept is function. |
23433 | Humans need courage like a plant needs roots [Foot] |
Full Idea: A plant needs strong roots in the same way human beings need courage. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
A reaction: I'm not quite convince by the analogy, but I strongly agree with her basic approach. |
23434 | There is no fact-value gap in 'owls should see in the dark' [Foot] |
Full Idea: If you say 'an owl should be able to see in the dark' …you're not going to think that there's a gap between facts and evaluation. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.33) | |
A reaction: I take this to be a major and fundamental idea, which pinpoints the failure of Humeans to understand the world correctly. There is always total nihilism, of course, but that is a sort of blindness to how things are. Demanding 'proof' of values is crazy. |
23439 | Principles are not ultimate, but arise from the necessities of human life [Foot] |
Full Idea: I don't believe in ultimate principles that must be simply affirmed or denied, but rather in an appeal to the necessities of human life. | |
From: Philippa Foot (Interview with Philippa Foot [2003], p.37) | |
A reaction: I agree. Humans have a strong tendency to elevate anything which they consider important into an absolute (such as the value of life, or freedom). |
23435 | If you demonstrate the reason to act, there is no further question of 'why should I?' [Foot] |
Full Idea: You lose the sense of 'should' if you go on saying 'why should I?' when you've finished the argument about what is rational to do, what you've got reason to do. | |
From: Philippa Foot (Interview with Philippa Foot [2003], P.34) | |
A reaction: Some people reify the concept of duty, so that they do what is required without caring about the reason. I suppose that would wither if they were shown that no reason exists. |