10 ideas
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
Full Idea: The axiom of choice was an assumption that implicitly questioned the necessity of intensions to guarantee the presence of classes. | |
From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'Log') | |
A reaction: The point is that Choice just picks out members for no particular reason. So classes, it seems, don't need a reason to exist. |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
Full Idea: The semantic tradition's problem was the a priori; its enemy, Kantian pure intuition; its purpose, to develop a conception of the a priori in which pure intuition played no role; its strategy, to base that theory on a development of semantics. | |
From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 2 Intro) | |
A reaction: It seems to me that intuition, in the modern sense, has been unnecessarily demonised. I would define it as 'rational insights which cannot be fully articulated'. Sherlock Holmes embodies it. |
18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
Full Idea: The trouble with Platonism had always been its inability to define a priori knowledge in a way that made it possible for human beings to have it. | |
From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'What') | |
A reaction: This is the famous argument of Benacerraf 1973. |
18088 | Intentionality is the mark of dispositions, not of the mental [Place] |
Full Idea: My thesis is that intentionality is the mark, not of the mental, but of the dispositional. | |
From: Ullin T. Place (Intentionality and the Physical: reply to Mumford [1999], 1) | |
A reaction: An idea with few friends, but I really like it, because it offers the prospect of a unified account of physical nature and the mind/brain. It seems reasonable to say my mind is essentially a bunch of dispositions. Mind is representations + dispositions. |
18266 | Mathematics generalises by using variables [Coffa] |
Full Idea: The instrument of generality in mathematics is the variable. | |
From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 4 'The conc') | |
A reaction: I like the idea that there are variables in ordinary speech, pronouns being the most obvious example. 'Cats' is a variable involving quantification over a domain of lovable fluffy mammals. |
18089 | Dispositions are not general laws, but laws of the natures of individual entities [Place] |
Full Idea: Dispositions are the substantive laws, not, as for Armstrong, of nature in general, but of the nature of individual entities whose dispositional properties they are. | |
From: Ullin T. Place (Intentionality and the Physical: reply to Mumford [1999], 6) | |
A reaction: [He notes that Nancy Cartwright 1989 agrees with him] I like this a lot. I tend to denegrate 'laws', because of their dubious ontological status, but this restores laws to the picture, in the place where they belong, in the stuff of the world. |
18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |
Full Idea: If the theory of relativity might be thought to support an idealist construal of space and time, it is no less absolutistic about space-time than Newton's theory was about space. | |
From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991]) | |
A reaction: [He cites Minkowski, Weyl and Cartan for this conclusion] Coffa is clearly a bit cross about philosophers who draw naive idealist and relativist conclusions from relativity. |