42 ideas
| 14001 | People who use science to make philosophical points don't realise how philosophical science is [Markosian] |
| Full Idea: When people give arguments from scientific theories to philosophical conclusions, there is usually a good deal of philosophy built into the relevant scientific theories. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I love this remark, being thoroughly fed up with knowledgeable scientists who are naïve about philosophy, and think their current theory demolishes long-lasting aporiai. They are up to their necks in philosophy. |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 13991 | Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian] |
| Full Idea: Presentism has a problem with singular propositions about non-present objects. ...When Socrates popped out of existence, according to Presentism, all those singular propositions about him also popped out of existence. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.1) | |
| A reaction: He seems to treat propositions in a Russellian way, as things which exist independently of thinkers, which I struggle to grasp. Markosian offers various strategies for this [§3.5]. |
| 9406 | A class is natural when everybody can spot further members of it [Quinton] |
| Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
| A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
| Full Idea: Pure, extreme nominalism sees all classification as the product of arbitrary convention. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I'm not sure what the word 'arbitrary' is doing there. Nominalists are not daft, and if they can classify any way they like, they are not likely to choose an 'arbitrary' system. Pragmatism tells the right story here. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
| Full Idea: The naturalness of a class depends as essentially on the nature of the observers who classify as it does on the nature of the objects that they classify. ...It depends on our perceptual apparatus, and on our relatively mutable needs and interests. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: This seems to translate 'natural' as 'natural for us', which is not much use to scientists, who spend quite a lot of effort combating folk wisdom. Do desirable sports cars constitute a natural class? |
| 9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
| Full Idea: To say there are properties is to say there are natural classes, classes introduction to some of whose members enables people to pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: Aristotle would like this approach, but it doesn't find many friends among modern logician/philosophers. We should go on to ask why people agree on these things. Causal powers will then come into it. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
| Full Idea: Properties that have no concrete instances must be defined in terms of those that have. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I wonder what the dodo used to smell like? |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
| A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
| 8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
| Full Idea: Quinton proposes that an individual is a union of a group of qualities and a position. | |
| From: report of Anthony Quinton (The Nature of Things [1973], Pt I) by Keith Campbell - The Metaphysic of Abstract Particulars §5 | |
| A reaction: This seems the obvious defence of a bundle account of objects against the charge that indiscernibles would have to be identical. It introduces, however, 'positions' into the ontology, but maybe that price must be paid. Materialism needs space. |
| 14002 | Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian] |
| Full Idea: Possible worlds are just abstract objects that play a certain role in philosophers' talk about modality. They are ways things could be. That's why there are no two abstract possible worlds which are qualitatively identical. They count as one world. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.10) | |
| A reaction: Brilliant! This looks like the best distinction between concrete and abstract. If two concreta are identical they remain two; if two abstracta are identical they are one (like numbers, or logical connectives with the same truth table). |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 14000 | 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian] |
| Full Idea: We can talk of 'grabby' truth conditions (where an object is grabbed before predication) and 'searchy' truth conditions (where the object is included in what is being asserted). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: [He credits Tom Ryckman with the terminology] I am inclined to think that the whole of language is 'searchy', even when it appears to be blatantly 'grabby'. Even ostensive reference is an act of hope rather than certainty. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 13990 | Presentism is the view that only present objects exist [Markosian] |
| Full Idea: According to Presentism, if we were to make an accurate list of all the things that exist (within the range of our most unrestricted quantifiers) there would not be a single non-present object on the list. | |
| From: Ned Markosian (A Defense of Presentism [2004], 1) | |
| A reaction: An immediate problem that needs examing is what constitutes an 'object'. It had better not range over time (like an journey). It would be hard to fit a description like 'the oldest man in England'. |
| 13992 | Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian] |
| Full Idea: If there are no non-present objects (according to Presentism), then no one can now stand in any relation to any non-present object. You cannot now 'admire' Socrates, and no present event has a causal relation to Washington crossing the Delaware. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.2) | |
| A reaction: You can have an overlapping causal chain that gets you back to Washington, and a causal chain can connect Socrates to our thoughts about him (as in baptismal reference). A simple reply needs an 'overlap' though. |
| 13994 | Presentism seems to entail that we cannot talk about other times [Markosian] |
| Full Idea: It is very natural to talk about times, ...but Presentism seems to entail that we never say anything about any such times. | |
| From: Ned Markosian (A Defense of Presentism [2004], 2.4) | |
| A reaction: I'm beginning to think that Markosian is in the grips of a false notion of proposition, as something that exists independently of thinkers, and is entailed by the facts and objects of reality. This is not what language does. |
| 13995 | Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian] |
| Full Idea: Mark Hinchliff distinguishes between 'Serious' Presentism (objects only have relations and properties when they exist) and 'Unrestricted' Presentism (objects can have relations and properties even when they don't exist). | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.1) | |
| A reaction: [Hinchliff 1996:124-6] Markosian votes for the Serious version, as being the only true Presentism. I think he is muddling language and reality, predicates and properties. |
| 13996 | Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian] |
| Full Idea: Some Presentists (such as Adams) believe that a haecceity (a property unique to some entity) continues to exist even after its object ceases to exist. A sentence about Socrates still expresses a proposition, about 'Socraticity'. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.4) | |
| A reaction: [Adams 1986] This is rather puzzling. In what sense could a haecceity 'exist' to be referred to? Existence, but not as we know it, Jim. This smacks of medieval theology. |
| 13997 | Maybe Presentists can paraphrase singular propositions about the past [Markosian] |
| Full Idea: Maybe Presentists can paraphrase singular propositions about the past, into purely general past- and future-tensed sentences. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.5) | |
| A reaction: I'm not clear why Markosian worries about singular propositions, but is happy with general ones. Surely the latter refer as much as the former to what doesn't exist? Markosian objects that the paraphrase has a different meaning. |
| 13993 | Special Relativity denies the absolute present which Presentism needs [Markosian] |
| Full Idea: The objection to Presentism from Special Relativity is this: 1) Relativity is true, 2) so there is no absolute simultaneity, 3) so there is no absolute presentness, but 4) Presentism entails absolute presentness, so 5) Presentism is false. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.9) | |
| A reaction: I don't accept this objection. There may be accounts that can give Relativity one present (Idea 12689-90). Maybe Einstein was too instrumentalist in his account. Maybe we can have Presentism with multiple present moments. |
| 13998 | Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian] |
| Full Idea: Maybe putative non-present objects like Socrates have more in common with putative non-actual objects like Santa Claus than they have in common with objects located elsewhere in space, like Alpha Centauri. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.7) | |
| A reaction: We can see Alpha Centauri, so we need an example beyond some 'event horizon'. He credits Arthur Prior with this line of thought. He seems to me to drift towards a Descriptive Theory of Reference (shock!). Does the nature of reference change with death? |
| 13999 | People are mistaken when they think 'Socrates was a philosopher' says something [Markosian] |
| Full Idea: People sometimes think that 'Socrates was a philosopher' expresses something like a true, singular proposition about Socrates. They're making a mistake, but still, this explains why they think it is true. | |
| From: Ned Markosian (A Defense of Presentism [2004], 3.8) | |
| A reaction: A classic error theory, about our talk of the past. Personally I would say that the sentence really is true, and that needing a tangible object to refer to is a totally bogus requirement. 'I wonder if there are any scissors in the house?' |