7 ideas
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. |
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. |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
Full Idea: A Gettier case contains a belief which is true and well justified without being knowledge. Its justificatory support is also fallible, ...and there is considerable luck in how the belief combnes being true with being justified. | |
From: Stephen Hetherington (The Gettier Problem [2011], 5) | |
A reaction: This makes luck the key factor. 'Luck' is a rather vague concept, and so the sort of luck involved must first be spelled out. Or the varieties of luck that can produce this outcome. |
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. |
7495 | Apart from the fear, dying is an easy duty [Montaigne] |
Full Idea: If our fears did not lend it weight, dying would be one of our lighter duties. | |
From: Michel de Montaigne (III.12 On physiognomy [1580], p.1191) | |
A reaction: An Epicurean thought. 'Duties' is nice - presumably death qualifies as a duty, because Nature requires it of us (we each of us 'owe nature a death'). The remark appears to me to be true. |
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. |