48 ideas
| 4465 | Note that "is" can assert existence, or predication, or identity, or classification [PG] |
| Full Idea: There are four uses of the word "is" in English: as existence ('he is at home'), as predication ('he is tall'), as identity ('he is the man I saw'), and as classification ('he is British'). | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: This seems a nice instance of the sort of point made by analytical philosophy, which can lead to horrible confusion in other breeds of philosophy when it is overlooked. |
| 14018 | Is Sufficient Reason self-refuting (no reason to accept it!), or is it a legitimate explanatory tool? [Bourne] |
| Full Idea: Mackie (1983) dismisses the Principle of Sufficient Reason quickly, arguing that it is self-refuting: there is no sufficient reason to accept it. However, a principle is not invalidated by not applying to itself; it can be a powerful heuristic tool. | |
| From: Craig Bourne (A Future for Presentism [2006], 6.VI) | |
| A reaction: If God was entirely rational, and created everything, that would be a sufficient reason to accept the principle. You would never, though, get to the reason why God was entirely rational. Something will always elude the principle. |
| 4686 | Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG] |
| Full Idea: Fallacies are errors in reasoning, labelled as 'formal' if a clear rule has been breached, and 'informal' if some less precise error has been made. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Presumably there can be a grey area between the two. |
| 7415 | Question-begging assumes the proposition which is being challenged [PG] |
| Full Idea: To beg the question is to take for granted in your argument that very proposition which is being challenged | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: An undoubted fallacy, and a simple failure to engage in the rational enterprise. I suppose one might give a reason for something, under the mistaken apprehension that it didn't beg the question; analysis of logical form is then needed. |
| 7414 | What is true of a set is also true of its members [PG] |
| Full Idea: The fallacy of division is the claim that what is true of a set must therefore be true of its members. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Clearly a fallacy, but if you only accept sets which are rational, then there is always a reason why a particular is a member of a set, and you can infer facts about particulars from the nature of the set |
| 6696 | The Ad Hominem Fallacy criticises the speaker rather than the argument [PG] |
| Full Idea: The Ad Hominem Fallacy is to criticise the person proposing an argument rather than the argument itself, as when you say "You would say that", or "Your behaviour contradicts what you just said". | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Nietzsche is very keen on ad hominem arguments, and cheerfully insults great philosophers, but then he doesn't believe there is such a thing as 'pure argument', and he is a relativist. |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 14008 | The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne] |
| Full Idea: The problem with the redundancy theory of truth is that it conflates the metalinguistic notion of bivalence with a theorem of the object language, namely the law of excluded middle. | |
| From: Craig Bourne (A Future for Presentism [2006], 3.III Pr3) |
| 4687 | Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG] |
| Full Idea: Minimalist theories of truth are those which involve minimum ontological commitment, avoiding references to 'reality' or 'facts' or 'what works', preferring to refer to formal relationships within language. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Personally I am suspicious of minimal theories, which seem to be designed by and for anti-realists. They seem too focused on language, when animals can obviously formulate correct propositions. I'm quite happy with the 'facts', even if that is vague. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |
| Full Idea: The Monty Hall Dilemma: Three boxes, one with a big prize; pick one to open. Monty Hall then opens one of the other two, which is empty. You may, if you wish, switch from your box to the other unopened box. Should you? | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: The other two boxes, as a pair, are more likely contain the prize than your box. Monty Hall has eliminated one of them for you, so you should choose the other one. Your intuition that the two remaining boxes are equal is incorrect! |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 14010 | All relations between spatio-temporal objects are either spatio-temporal, or causal [Bourne] |
| Full Idea: If there are any genuine relations at all between spatio-temporal objects, then they are all either spatio-temporal or causal. | |
| From: Craig Bourne (A Future for Presentism [2006], 3.III Pr4) | |
| A reaction: This sounds too easy, but I have wracked my brains for counterexamples and failed to find any. How about qualitative relations? |
| 14009 | It is a necessary condition for the existence of relations that both of the relata exist [Bourne] |
| Full Idea: It is widely held, and I think correctly so, that a necessary condition for the existence of relations is that both of the relata exist. | |
| From: Craig Bourne (A Future for Presentism [2006], 3.III Pr4) | |
| A reaction: This is either trivial or false. Relations in the actual world self-evidently relate components of it. But I seem able to revere Sherlock Holmes, and speculate about relations between possible entities. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 24054 | Everything has a probability, something will happen, and probabilities add up [PG] |
| Full Idea: The three Kolgorov axioms of probability: the probability of an event is a non-negative real number; it is certain that one of the 'elementary events' will occur; and the unity of probabilities is the sum of probability of parts ('additivity'). | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: [My attempt to verbalise them; they are normally expressed in terms of set theory]. Got this from a talk handout, and Wikipedia. |
| 3875 | If reality is just what we perceive, we would have no need for a sixth sense [PG] |
| Full Idea: Reality must be more than merely what we perceive, because a sixth sense would enhance our current knowledge, and a seventh, and so on. | |
| From: PG (Db (ideas) [2031]) |
| 3876 | If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG] |
| Full Idea: If my football team is losing 3-1, I seem to have synthetic a priori knowledge that they need two goals to achieve a draw | |
| From: PG (Db (ideas) [2031]) |
| 7734 | Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG] |
| Full Idea: To defend type-type identity against the multiple realisability objection, we might say that a molluscs's brain events that register pain ARE of the same type as humans, given that being 'of the same type' is a fairly flexible concept. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: But this reduces 'of the same type' to such vagueness that it may become vacuous. You would be left with token-token identity, where the mental event is just identical to some brain event, with its 'type' being irrelevant. |
| 7735 | Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG] |
| Full Idea: To defend type-type identity against the multiple realisability objection, we might (also) say that while a frog's brain events for fear are functionally identical to a human's (it runs away), that doesn't mean they are phenomenally identical. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: I take this to be the key reply to the multiple realisability problem. If a frog flees from a loud noise, it is 'frightened' in a functional sense, but that still leaves the question 'What's it like to be a frightened frog?', which may differ from humans. |
| 3877 | Utilitarianism seems to justify the discreet murder of unhappy people [PG] |
| Full Idea: If I discreetly murdered a gloomy and solitary tramp who was upsetting people in my village, if is hard to see how utilitarianism could demonstrate that I had done something wrong. | |
| From: PG (Db (ideas) [2031]) |
| 14016 | The idea of simultaneity in Special Relativity is full of verificationist assumptions [Bourne] |
| Full Idea: Special Relativity, with its definition of simultaneity, is shot through with verificationist assumptions. | |
| From: Craig Bourne (A Future for Presentism [2006], 6.IIc) | |
| A reaction: [He credits Sklar with this] I love hearing such points made, because all my instincts have rebelled against Einstein's story, even after I have been repeatedly told how stupid I am, and how I should study more maths etc. |
| 14019 | Relativity denies simultaneity, so it needs past, present and future (unlike Presentism) [Bourne] |
| Full Idea: Special Relativity denies absolute simultaneity, and therefore requires a past and a future, as well as a present. The Presentist, however, only requires the present. | |
| From: Craig Bourne (A Future for Presentism [2006], 6.VII) | |
| A reaction: It is nice to accuse Relativity of ontological extravagence. When it 'requires' past and future, that may not be a massive commitment, since the whole theory is fairly operationalist, according to Putnam. |
| 14013 | Special Relativity allows an absolute past, future, elsewhere and simultaneity [Bourne] |
| Full Idea: There is in special relativity a notion of 'absolute past', and of 'absolute future', and of 'absolute elsewhere', and of 'absolute simultaneity' (of events occurring at their space-time conjunction). | |
| From: Craig Bourne (A Future for Presentism [2006], 5.III) | |
| A reaction: [My summary of his paragraph] I am inclined to agree with Bourne that there is enough here to build some sort of notion of 'present' that will support the doctrine of Presentism. |
| 14015 | No-Futurists believe in past and present, but not future, and say the world grows as facts increase [Bourne] |
| Full Idea: 'No-Futurists' believe in the real existence of the past and present but not the future, and hold that the world grows as more and more facts come into existence. | |
| From: Craig Bourne (A Future for Presentism [2006], 6.IIb) | |
| A reaction: [He cites Broad 1923 and Tooley 1997] My sympathies are with Presentism, but there seems not denying that past events fix truths in a way that future events don't. The unchangeability of past events seems to make them factual. |
| 14007 | How can presentists talk of 'earlier than', and distinguish past from future? [Bourne] |
| Full Idea: Presentists have a difficulty with how they can help themselves to the notion of 'earlier than' without having to invoke real relata, and how presentism can distinguish the past from the future. | |
| From: Craig Bourne (A Future for Presentism [2006], 2.IV) | |
| A reaction: The obvious response is to infer the past from the present (fossils), and infer the future from the present (ticking bomb). But what is it that is being inferred, if the past and future are denied a priori? Tricky! |
| 14011 | Presentism seems to deny causation, because the cause and the effect can never coexist [Bourne] |
| Full Idea: It seems that presentism cannot accommodate causation at all. In a true instance of 'c causes e', it seems to follow that both c and e exist, and it is widely accepted that c is earlier than e. But for presentists that means c and e can't coexist. | |
| From: Craig Bourne (A Future for Presentism [2006], 4) | |
| A reaction: A nice problem. Obviously if the flying ball smashed the window, we are left with only the effect existing - otherwise we could intercept the ball and prevent the disaster. To say this cause and this effect coexist would be even dafter than the problem. |
| 14017 | Since presentists treat the presentness of events as basic, simultaneity should be define by that means [Bourne] |
| Full Idea: Since for presentism there is an ontologically significant and basic sense in which events are present, we should expect a definition of simultaneity in terms of presentness, rather than the other way round. | |
| From: Craig Bourne (A Future for Presentism [2006], 6.IV) | |
| A reaction: Love it. I don't see how you can even articulate questions about simultaneity if you don't already have a notion of presentness. What are the relata you are enquiring about? |
| 14003 | Time is tensed or tenseless; the latter says all times and objects are real, and there is no passage of time [Bourne] |
| Full Idea: Theories of time are in two broad categories, the tenseless and the tensed theories. In tenseless theories, all times are equally real, as are all objects located at them, and there is no passage of time from future to present to past. It's the B-series. | |
| From: Craig Bourne (A Future for Presentism [2006], Intro IIa) | |
| A reaction: It might solve a few of the problems, but is highly counterintuitive. Presumably it makes the passage of time an illusion, and gives no account of how events 'happen', or of their direction, and it leaves causation out on a limb. I'm afraid not. |
| 14005 | B-series objects relate to each other; A-series objects relate to the present [Bourne] |
| Full Idea: Objects in the B-series are earlier than, later than, or simultaneous with each other, whereas objects in the A-series are earlier than, later than or simultaneous with the present. | |
| From: Craig Bourne (A Future for Presentism [2006], Intro IIb) | |
| A reaction: Must we choose? Two past events relate to each other, but there is a further relation when 'now' falls between the events. If I must choose, I suppose I go for the A-series view. The B-series is a subsequent feat of imagination. McTaggart agreed. |
| 14006 | Time flows, past is fixed, future is open, future is feared but not past, we remember past, we plan future [Bourne] |
| Full Idea: We say that time 'flows', that the past is 'fixed' but the future is 'open'; we only dread the future, but not the past; we remember the past but not the future; we plan for the future but not the past. | |
| From: Craig Bourne (A Future for Presentism [2006], Intro III) | |
| A reaction: These seem pretty overwhelming reasons for accepting an asymmetry between the past and the future. If you reject that, you seem to be mired in a multitude of contradictions. Your error theory is going to be massive. |
| 6126 | Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG] |
| Full Idea: The biologists' acronym for the necessary conditions of life is MRS NERG: that is, Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: How strictly necessary are each of these is a point for discussion. A notorious problem case is fire, which (at a stretch) may pass all seven tests. |
| 3873 | An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG] |
| Full Idea: God seems to be in the paradoxical situation that He may be omniscient, but can never know that He is, because that involves knowing that there is nothing outside his scope of knowledge (e.g. another God) | |
| From: PG (Db (ideas) [2031]) |
| 3874 | How could God know there wasn't an unknown force controlling his 'free' will? [PG] |
| Full Idea: How could God be certain that he has free will (if He has), if He couldn't be sure that there wasn't an unknown force controlling his will? | |
| From: PG (Db (ideas) [2031]) |