20 ideas
| 8820 | Rules of reasoning precede the concept of truth, and they are what characterize it [Pollock] |
| Full Idea: Rather than truth being fundamental and rules for reasoning being derived from it, the rules for reasoning come first and truth is characterized by the rules for reasoning about truth. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Cog.Mach') | |
| A reaction: This nicely disturbs our complacency about such things. There is plenty of reasoning in Homer, but I bet there is no talk of 'truth'. Pontius Pilate seems to have been a pioneer (Idea 8821). Do the truth tables define or describe logical terms? |
| 8819 | We need the concept of truth for defeasible reasoning [Pollock] |
| Full Idea: It might be wondered why we even have a concept of truth. The answer is that this concept is required for defeasible reasoning. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Cog.Mach') | |
| A reaction: His point is that we must be able to think critically about our beliefs ('is p true?') if we are to have any knowledge at all. An excellent point. Give that man a teddy bear. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 8822 | Statements about necessities need not be necessarily true [Pollock] |
| Full Idea: True statements about the necessary properties of things need not be necessarily true. The well-known example is that the number of planets (9) is necessarily an odd number. The necessity is de re, but not de dicto. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Nat.Internal') | |
| A reaction: This would be a matter of the scope (the placing of the brackets) of the 'necessarily' operator in a formula. The quick course in modal logic should eradicate errors of this kind in your budding philosopher. |
| 8818 | Defeasible reasoning requires us to be able to think about our thoughts [Pollock] |
| Full Idea: Defeasible reasoning requires us to be able to think about our thoughts. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Cog.Mach') | |
| A reaction: This is why I do not think animals 'know' anything, though they seem to have lots of true beliefs about their immediate situation. |
| 12742 | A whole is just its parts, but there are no smallest parts, so only minds and perceptions exist [Leibniz] |
| Full Idea: The whole, if it is assumed to be body or matter, is nothing other than all of its parts; but this is absurd, since there aren't any smallest parts. Therefore there really exist only minds and their perceptions. | |
| From: Gottfried Leibniz (Calculus Ratiocinator [1679], A6.4.279), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
| A reaction: Leibniz is sometimes labelled as an 'idealist', but this text is unusual in being so explicit, and he was mainly concerned to explain the reality of individual bodies. Monads were his final attempt to do this, not an attempt to escape into pure minds. |
| 8811 | What we want to know is - when is it all right to believe something? [Pollock] |
| Full Idea: When we ask whether a belief is justified, we want to know whether it is all right to believe it. The question we must ask is 'when is it permissible (epistemically) to believe P?'. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Ep.Norms') | |
| A reaction: Nice to see someone trying to get the question clear. The question clearly points to the fact that there must at least be some sort of social aspect to criteria of justification. I can't cheerfully follow my intuitions if everyone else laughs at them. |
| 8817 | Logical entailments are not always reasons for beliefs, because they may be irrelevant [Pollock] |
| Full Idea: Epistemologists have noted that logical entailments do not always constitute reasons. P may entail Q without the connection between P and Q being at all obvious. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Ref.of Extern') | |
| A reaction: Graham Priest and others try to develop 'relevance logic' to deal with this. This would deny the peculiar classical claim that everything is entailed by a falsehood. A belief looks promising if it entails lots of truths about the world. |
| 8814 | Epistemic norms are internalised procedural rules for reasoning [Pollock] |
| Full Idea: Epistemic norms are to be understood in terms of procedural knowledge involving internalized rules for reasoning. | |
| From: John L. Pollock (Epistemic Norms [1986], 'How regulate?') | |
| A reaction: He offers analogies with bicycly riding, but the simple fact that something is internalized doesn't make it a norm. Some mention of truth is needed, equivalent to 'don't crash the bike'. |
| 8823 | Reasons are always for beliefs, but a perceptual state is a reason without itself being a belief [Pollock] |
| Full Idea: When one makes a perceptual judgement on the basis of a perceptual state, I want to say that the perceptual state itself is one's reason. ..Reason are always reasons for beliefs, but the reasons themselves need not be beliefs. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Dir.Realism') | |
| A reaction: A crucial issue. I think I prefer the view of Davidson, in Ideas 8801 and 8804. Three options: a pure perception counts as a reason, or perceptions involve some conceptual content, or you only acquire a reason when a proposition is formulated. |
| 8813 | If we have to appeal explicitly to epistemic norms, that will produce an infinite regress [Pollock] |
| Full Idea: If we had to make explicit appeal to epistemic norms for justification (the 'intellectualist model') we would find ourselves in an infinite regress. The norms, their existence and their application would themselves have to be justified. | |
| From: John L. Pollock (Epistemic Norms [1986], 'How regulate?') | |
| A reaction: This is counter to the 'space of reasons' picture, where everything is rationally assessed. There are regresses for both reasons and for experiences, when they are offered as justifications. |
| 8812 | Norm Externalism says norms must be internal, but their selection is partly external [Pollock] |
| Full Idea: Norm Externalism acknowledges that the content of our epistemic norms must be internalist, but employs external considerations in the selection of the norms themselves. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Ep.Norms') | |
| A reaction: It can't be right that you just set your own norms, so this must contain some truth. Equally, even the most hardened externalist can't deny that what goes on in the head of the person concerned must have some relevance. |
| 8816 | Externalists tend to take a third-person point of view of epistemology [Pollock] |
| Full Idea: Externalists tend to take a third-person point of view in discussing epistemology. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Ref.of Extern') | |
| A reaction: Pollock's point, quite reasonably, is that the first-person aspect must precede any objective assessment of whether someone knows. External facts, such as unpublicised information, can undermine high quality internal justification. |
| 8815 | Belief externalism is false, because external considerations cannot be internalized for actual use [Pollock] |
| Full Idea: External considerations of reliability could not be internalized. Consequently, it is in principle impossible for us to actually employ externalist norms. I take this to be a conclusive refutation of belief externalism. | |
| From: John L. Pollock (Epistemic Norms [1986], 'Ref.of Extern') | |
| A reaction: Not so fast. He earlier rejected the 'intellectualist model' (Idea 8813), so he doesn't think norms have to be fully conscious and open to criticism. So they could be innate, or the result of indoctrination (sorry, teaching), or just forgotten. |