6 ideas
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| Full Idea: My Proceduralism offers axiom-free foundations for mathematics. Axioms give way to the stipulation of procedures. We obtain a form of logicism, but with a procedural twist, and with a logic which is ontologically neutral, and no assumption of objects. | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], 1) | |
| A reaction: [See Ideas 9222 and 9223 for his Proceduralism] Sounds like philosophical heaven. We get to take charge of mathematics, without the embarrassment of declaring ourselves to be platonists. Someone, not me, should evaluate this. |
| 9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
| Full Idea: I call my new approach to mathematics 'proceduralism'. It agrees with Hilbert and Poincaré that the objects and truths are postulations, but takes them to be imperatival rather than indicative in form; not propositions, but procedures for construction. | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], Intro) | |
| A reaction: I'm not sure how an object or a truth can be a procedure, any more than a house can be a procedure. If a procedure doesn't have a product then it is an idle way to pass the time. The view seems to be related to fictionalism. |
| 9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
| Full Idea: My Proceduralism has one simple rule (introduce an object), and four complex rules: Composition (combining two procedures), Conditionality (if A, do B), Universality (do a procedure for every x), and Iteration (rule to keep doing B). | |
| From: Kit Fine (Our Knowledge of Mathematical Objects [2005], 1) | |
| A reaction: It sounds like a highly artificial and private game which Fine has invented, but he claims that this is the sort of thing that practising mathematicians have always done. |
| 7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |
| Full Idea: Broad, one of the most important modern defenders of the representative theory of perception, explicitly rejects the inferential component of the theory. | |
| From: report of C.D. Broad (Mind and Its Place in Nature [1925]) by Barry Maund - Perception Ch.1 | |
| A reaction: Since the supposed inferences happen much too quickly to be conscious, it is hard to see how we could distinguish an inference from an interpretation mechanism. Personally I interpret things long before the question of truth arises. |
| 19729 | 'Modal epistemology' demands a connection between the belief and facts in possible worlds [Black,T] |
| Full Idea: In 'modal epistemologies' a belief counts as knowledge only if there is a modal connection - a connection not only to the actual world, but also to other non-actual possible worlds - between the belief and the facts of the matter. | |
| From: Tim Black (Modal and Anti-Luck Epistemology [2011], 1) | |
| A reaction: [Pritchard 2005 seems to be a source for this] This sounds to me a bit like Nozick's tracking or sensitivity theory. Nozick is, I suppose, diachronic (time must pass, for the tracking), where this theory is synchronic. |
| 19728 | Gettier and lottery cases seem to involve luck, meaning bad connection of beliefs to facts [Black,T] |
| Full Idea: The protagonists in Gettier cases and in lottery cases fail to have knowledge because their beliefs are true simply as a matter of luck, where this means that their beliefs themselves are not appropriately connected to the facts. | |
| From: Tim Black (Modal and Anti-Luck Epistemology [2011], 1) | |
| A reaction: The lottery problem is you correctly believe 'my ticket won't win the lottery' even though you don't seem to actually know it won't. Is the Gettier problem simply the problem of lucky knowledge? 'Luck' is a rather vague concept. |