5 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. |
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. |
14933 | Scientific properties are defined by the laws that embody them [Psillos, by Ladyman/Ross] |
Full Idea: For Psillos, properties in mature science are defined by the laws in which they feature. | |
From: report of Stathis Psillos (Scientific Realism [1999]) by J Ladyman / D Ross - Every Thing Must Go 3.5 | |
A reaction: This is a perfect example of the Humean approach getting everything the wrong way round. Laws are not primitives from which we derive our account of nature - they are generalisations built up from the behaviour of prior properties. |
18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |
Full Idea: According to conceptual role semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, for example, in perception, thought and decision-making. | |
From: Ned Block (Semantics, Conceptual Role [1998]) | |
A reaction: I never believe theories of this kind, because I always find myself asking 'what is the nature of this representation which enables it to play this role?'. |