display all the ideas for this combination of philosophers
9 ideas
17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
Full Idea: We might arrive to the concept of infinity by composing concepts of negation and finiteness. | |
From: Carrie Jenkins (Grounding Concepts [2008], 5.3) | |
A reaction: Presumably lots of concepts can be arrived at by negating prior concepts (such as not-wet, not-tall, not-loud, not-straight). So not-infinite is perfectly plausible, and is a far better account than some a priori intuition of pure infinity. Love it. |
9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
Full Idea: With the invention of analytic geometry (by Fermat and then Descartes) physical space could be represented as having a mathematical structure, which could eventually lead to its axiomatization (by Hilbert). | |
From: Charles Chihara (A Structural Account of Mathematics [2004], 02.3) | |
A reaction: The idea that space might have axioms seems to be pythagoreanism run riot. I wonder if there is some flaw at the heart of Einstein's General Theory because of this? |
10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
Full Idea: Chihara's 'constructability theory' is nominalist - mathematics is reducible to a simple theory of types. Instead of talk of sets {x:x is F}, we talk of open sentences Fx defining them. Existence claims become constructability of sentence tokens. | |
From: report of Charles Chihara (A Structural Account of Mathematics [2004]) by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.81 | |
A reaction: This seems to be approaching the problem in a Fregean way, by giving an account of the semantics. Chihara is trying to evade the Quinean idea that assertion is ontological commitment. But has Chihara retreated too far? How does he assert existence? |
17719 | Arithmetic concepts are indispensable because they accurately map the world [Jenkins] |
Full Idea: The indispensability of arithmetical concepts is evidence that they do in fact accurately represent features of the independent world. | |
From: Carrie Jenkins (Grounding Concepts [2008], Intro) | |
A reaction: This seems to me to be by far the best account of the matter. So why is the world so arithmetical? Dunno, mate; ask someone else. |
17717 | Senses produce concepts that map the world, and arithmetic is known through these concepts [Jenkins] |
Full Idea: I propose that arithmetical truths are known through an examination of our own arithmetical concepts; that basic arithmetical concepts map the arithmetical structure of the world; that the map obtains in virtue of our normal sensory apparatus. | |
From: Carrie Jenkins (Grounding Concepts [2008], Pref) | |
A reaction: She defends the nice but unusual position that arithmetical knowledge is both a priori and empirical (so that those two notions are not, as usually thought, opposed). I am a big Carrie Jenkins fan. |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
17724 | It is not easy to show that Hume's Principle is analytic or definitive in the required sense [Jenkins] |
Full Idea: A problem for the neo-Fregeans is that it has not proved easy to establish that Hume's Principle is analytic or definitive in the required sense. | |
From: Carrie Jenkins (Grounding Concepts [2008], 4.3) | |
A reaction: It is also asked how we would know the principle, if it is indeed analytic or definitional (Jenkins p.119). |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |