21 ideas
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
Full Idea: How are we to determine which of the sentences containing a term comprise its definition? | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §2) | |
A reaction: Nice question. If I say 'philosophy is the love of wisdom' and 'philosophy bores me', why should one be part of its definition and the other not? What if I stipulated that the second one is part of my definition, and the first one isn't? |
9161 | Maybe reasonableness requires circular justifications - that is one coherentist view [Field,H] |
Full Idea: It is not out of the question to hold that without circular justifications there is no reasonableness at all. That is the view of a certain kind of coherence theorist. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 2) | |
A reaction: This nicely captures a gut feeling I have had for a long time. Being now thoroughly converted to coherentism, I am drawn to the idea - like a moth to a flame. But how do we distinguish cuddly circularity from its cruel and vicious cousin? |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
From: George Boolos (On Second-Order Logic [1975], p.45) | |
A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
From: George Boolos (On Second-Order Logic [1975], p.44) | |
A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
From: George Boolos (On Second-Order Logic [1975], p.46) | |
A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
From: George Boolos (On Second-Order Logic [1975], p.52) | |
A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
From: George Boolos (On Second-Order Logic [1975], p.48) |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
Full Idea: It is one thing to believe something a priori and another for this belief to be epistemically justified. The latter is required for a priori knowledge. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
A reaction: Personally I would agree with this, because I don't think anything should count as knowledge if it doesn't have supporting reasons, but fans of a priori knowledge presumably think that certain basic facts are just known. They are a priori justified. |
9342 | Understanding needs a priori commitment [Horwich] |
Full Idea: Understanding is itself based on a priori commitment. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
A reaction: This sounds plausible, but needs more justification than Horwich offers. This is the sort of New Rationalist idea I associate with Bonjour. The crucial feature of the New lot is, I take it, their fallibilism. All understanding is provisional. |
9160 | Lots of propositions are default reasonable, but the a priori ones are empirically indefeasible [Field,H] |
Full Idea: Propositions such as 'People usually tell the truth' seem to count as default reasonable, but it is odd to count them as a priori. Empirical indefeasibility seems the obvious way to distinguish those default reasonable propositions that are a priori. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 1) | |
A reaction: Sounds reasonable, but it would mean that all the uniformities of nature would then count as a priori. 'Every physical object exerts gravity' probably has no counterexamples, but doesn't seem a priori (even if it is necessary). See Idea 9164. |
9164 | We treat basic rules as if they were indefeasible and a priori, with no interest in counter-evidence [Field,H] |
Full Idea: I argue not that our most basic rules are a priori or empirically indefeasible, but that we treat them as empirically defeasible and indeed a priori; we don't regard anything as evidence against them. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 4) | |
A reaction: This is the fictionalist view of a priori knowledge (and of most other things, such as mathematics). I can't agree. Most people treat heaps of a posteriori truths (like the sun rising) as a priori. 'Mass involves energy' is indefeasible a posteriori. |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
Full Idea: Our a priori commitment to certain sentences is not really explained by our knowledge of a word's meaning. It is the other way around. We accept a priori that the sentences are true, and thereby provide it with meaning. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
A reaction: This sounds like a lovely trump card, but how on earth do you decide that a sentence is true if you don't know what it means? Personally I would take it that we are committed to the truth of a proposition, before we have a sentence for it. |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
Full Idea: A priori knowledge of logic and mathematics cannot derive from meanings or concepts, because someone may possess such concepts, and yet disagree with us about them. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
A reaction: A good argument. The thing to focus on is not whether such ideas are a priori, but whether they are knowledge. I think we should employ the word 'intuition' for a priori candidates for knowledge, and demand further justification for actual knowledge. |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
Full Idea: If we stipulate the meaning of 'the number of x's' so that it makes Hume's Principle true, we must accept Hume's Principle. But a precondition for this stipulation is that Hume's Principle be accepted a priori. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §9) | |
A reaction: Yet another modern Quinean argument that all attempts at defining things are circular. I am beginning to think that the only a priori knowledge we have is of when a group of ideas is coherent. Calling it 'intuition' might be more accurate. |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
Full Idea: One potential source of a priori knowledge is the innate structure of our minds. We might, for example, have an a priori commitment to classical logic. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §11) | |
A reaction: Horwich points out that to be knowledge it must also say that we ought to believe it. I'm wondering whether if we divided the whole territory of the a priori up into intuitions and then coherent justifications, the whole problem would go away. |
9165 | Reliability only makes a rule reasonable if we place a value on the truth produced by reliable processes [Field,H] |
Full Idea: Reliability is not a 'factual property'; in calling a rule reasonable we are evaluating it, and all that makes sense to ask about is what we value. We place a high value on the reliability of our inductive and perceptual rules that lead to truth. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 5) | |
A reaction: This doesn't seem to be a contradiction of reliabilism, since truth is a pretty widespread epistemological value. If you do value truth, then eyes are pretty reliable organs for attaining it. Reliabilism is still wrong, but not for this reason. |
9162 | Believing nothing, or only logical truths, is very reliable, but we want a lot more than that [Field,H] |
Full Idea: Reliability is not all we want in an inductive rule. Completely reliable methods are available, such as believing nothing, or only believing logical truths. But we don't value them, but value less reliable methods with other characteristics. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 3) | |
A reaction: I would take this excellent point to be an advertisement for inference to the best explanation, which requires not only reliable inputs of information, but also a presiding rational judge to assess the mass of evidence. |
9166 | People vary in their epistemological standards, and none of them is 'correct' [Field,H] |
Full Idea: We should concede that different people have slightly different basic epistemological standards. ..I doubt that any clear sense could be given to the notion of 'correctness' here. | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 5) | |
A reaction: I think this is dead right. There is a real relativism about knowledge, which exists at the level of justification, rather than of truth. The scientific revolution just consisted of making the standards tougher, and that seems to have been a good idea. |
9163 | If we only use induction to assess induction, it is empirically indefeasible, and hence a priori [Field,H] |
Full Idea: If some inductive rule is basic for us, in the sense that we never assess it using any rules other than itself, then it must be one that we treat as empirically indefeasible (hence as fully a priori, given that it will surely have default status). | |
From: Hartry Field (Apriority as an Evaluative Notion [2000], 4) | |
A reaction: This follows on from Field's account of a priori knowledge. See Ideas 9160 and 9164. I think of induction as simply learning from experience, but if experience goes mad I will cease to trust it. (A rationalist view). |