51 ideas
| 3099 | Inference is never a conscious process [Harman] |
| Full Idea: Inference is never a conscious process. | |
| From: Gilbert Harman (Thought [1973], 11.2) |
| 3077 | Reasoning might be defined in terms of its functional role, which is to produce knowledge [Harman] |
| Full Idea: Reasoning could be treated as a functionally defined process that is partly defined in terms of its role in giving a person knowledge. | |
| From: Gilbert Harman (Thought [1973], 3.6) |
| 3092 | If you believe that some of your beliefs are false, then at least one of your beliefs IS false [Harman] |
| Full Idea: If a rational man believes he has at least some other false beliefs, it follows that a rational man knows that at least one of his beliefs is false (the one believed false, or this new belief). | |
| From: Gilbert Harman (Thought [1973], 7.2) |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 3093 | Any two states are logically linked, by being entailed by their conjunction [Harman] |
| Full Idea: Any two states of affairs are logically connected, simply because both are entailed by their conjunction. | |
| From: Gilbert Harman (Thought [1973], 8.1) |
| 3098 | Deductive logic is the only logic there is [Harman] |
| Full Idea: Deductive logic is the only logic there is. | |
| From: Gilbert Harman (Thought [1973], 10.4) |
| 3094 | You don't have to accept the conclusion of a valid argument [Harman] |
| Full Idea: We may say "From P and If-P-then-Q, infer Q" (modus ponens), but there is no rule of acceptance to say that we should accept Q. Maybe we should stop believing P or If-P-then-Q rather than believe Q. | |
| From: Gilbert Harman (Thought [1973], 10.1) |
| 3084 | Our underlying predicates represent words in the language, not universal concepts [Harman] |
| Full Idea: The underlying truth-conditional structures of thoughts are language-dependent in the sense that underlying predicates represent words in the language rather than universal concepts common to all languages. | |
| From: Gilbert Harman (Thought [1973], 6.3) |
| 3080 | Logical form is the part of a sentence structure which involves logical elements [Harman] |
| Full Idea: The logical form of a sentence is that part of its structure that involves logical elements. | |
| From: Gilbert Harman (Thought [1973], 5.2) |
| 3081 | A theory of truth in a language must involve a theory of logical form [Harman] |
| Full Idea: Some sort of theory of logical form is involved in any theory of truth for a natural language. | |
| From: Gilbert Harman (Thought [1973], 5.2) |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 19566 | Epistemology does not just concern knowledge; all aspects of cognitive activity are involved [Kvanvig] |
| Full Idea: Epistemology is not just knowledge. There is enquiring, reasoning, changes of view, beliefs, assumptions, presuppositions, hypotheses, true beliefs, making sense, adequacy, understanding, wisdom, responsible enquiry, and so on. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'What') | |
| A reaction: [abridged] Stop! I give in. His topic is whether truth is central to epistemology. Rivals seem to be knowledge-first, belief-first, and justification-first. I'm inclined to take justification as the central issue. Does it matter? |
| 3100 | You have to reaffirm all your beliefs when you make a logical inference [Harman] |
| Full Idea: Since inference is inference to the best total account, all your prior beliefs are relevant and your conclusion is everything you believe at the end. So, you constantly reaffirm your beliefs in inference. | |
| From: Gilbert Harman (Thought [1973], 12.1) |
| 19568 | Making sense of things, or finding a good theory, are non-truth-related cognitive successes [Kvanvig] |
| Full Idea: There are cognitive successes that are not obviously truth related, such as the concepts of making sense of the course of experience, and having found an empirically adequate theory. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'Epistemic') | |
| A reaction: He is claiming that truth is not the main aim of epistemology. He quotes Marian David for the rival view. Personally I doubt whether the concepts of 'making sense' or 'empirical adequacy' can be explicated without mentioning truth. |
| 3088 | Analyticity is postulated because we can't imagine some things being true, but we may just lack imagination [Harman] |
| Full Idea: Analyticity is postulated to explain why we cannot imagine certain things being true. A better postulate is that we are not good at imagining things. | |
| From: Gilbert Harman (Thought [1973], 6.7) |
| 3089 | Only lack of imagination makes us think that 'cats are animals' is analytic [Harman] |
| Full Idea: That 'cats are animals' is often cited as an analytic truth. But (as Putnam points out) the inability to imagine this false is just a lack of imagination. They might turn out to be radio-controlled plastic spies from Mars. | |
| From: Gilbert Harman (Thought [1973], 6.7) |
| 3101 | Memories are not just preserved, they are constantly reinferred [Harman] |
| Full Idea: I favour the inferential view of memory over the preservation view. …One constantly reinfers old beliefs. | |
| From: Gilbert Harman (Thought [1973], 12.1) | |
| A reaction: This has a grain of truth, but seems a distortion. An image of the old home floats into my mind when I am thinking about something utterly unconnected. When we search memory we may be inferring and explaining, but the same applies to searching images. |
| 19567 | The 'defeasibility' approach says true justified belief is knowledge if no undermining facts could be known [Kvanvig] |
| Full Idea: The 'defeasibility' approach says that having knowledge requires, in addition to justified true belief, there being no true information which, if learned, would result in the person in question no longer being justified in believing the claim. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'Epistemic') | |
| A reaction: I take this to be an externalist view, since it depends on information of which the cognizer may be unaware. A defeater may yet have an undiscovered counter-defeater. The only real defeater is the falsehood of the proposition. |
| 3074 | People's reasons for belief are rarely conscious [Harman] |
| Full Idea: The reasons for which people believe things are rarely conscious. | |
| From: Gilbert Harman (Thought [1973], 2.2) | |
| A reaction: Probably correct. The interesting bit is when they bring the beliefs into consciousness and scrutinise them rationally. Philosophers routinely overthrow their natural beliefs in this way. |
| 3097 | We don't distinguish between accepting, and accepting as evidence [Harman] |
| Full Idea: There is no distinction between what we accept as evidence and whatever else we accept. | |
| From: Gilbert Harman (Thought [1973], 10.4) |
| 6369 | In negative coherence theories, beliefs are prima facie justified, and don't need initial reasons [Harman, by Pollock/Cruz] |
| Full Idea: According to Harman's negative coherence theory it is always permissible to adopt a new belief - any new belief; because beliefs are prima facie justified you do not need a reason for adopting a new belief. | |
| From: report of Gilbert Harman (Thought [1973]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §3.4.1 | |
| A reaction: This must be placed alongside the fact that we don't usually choose our beliefs, but simply find ourselves believing because of the causal impact of evidence. This gives an unstated rational justification for any belief - something caused it. |
| 3096 | Coherence avoids scepticism, because it doesn't rely on unprovable foundations [Harman] |
| Full Idea: Scepticism is undermined once it is seen that the relevant kind of justification is not a matter of derivation from basic principles but is rather a matter of showing that a view fits in well with other things we believe. | |
| From: Gilbert Harman (Thought [1973], 10.4) | |
| A reaction: I would (now) call myself a 'coherentist' about justification, and I agree with this. Coherent justification could not possibly deliver certainty, so it must be combined with fallibilism. |
| 19570 | Reliabilism cannot assess the justification for propositions we don't believe [Kvanvig] |
| Full Idea: The most serious problem for reliabilism is that it cannot explain adequately the concept of propositional justification, the kind of justification one might have for a proposition one does not believe, or which one disbelieves. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], Notes 2) | |
| A reaction: I don't understand this (though I pass it on anyway). Why can't the reliabilist just offer a critique of the reliability of the justification available for the dubious proposition? |
| 3095 | Induction is an attempt to increase the coherence of our explanations [Harman] |
| Full Idea: Induction is an attempt to increase the explanatory coherence of our view, making it more complete, less ad hoc, more plausible. | |
| From: Gilbert Harman (Thought [1973], 10.2) |
| 3073 | We see ourselves in the world as a map [Harman] |
| Full Idea: Our conception of ourselves in the world is more like a map than a story. | |
| From: Gilbert Harman (Thought [1973], Pref) | |
| A reaction: Dennett offer the 'story' view of the self (Ideas 7381 and 7382). How do we arbitrate this one? A story IS a sort of map. Maps can extend over time as well over space. I think the self is real, and is a location on a map, and the hero of a story. |
| 3076 | Defining dispositions is circular [Harman] |
| Full Idea: There is no noncircular way to specify dispositions; for they are dispositions to behave given certain situations, and the situations must be include beliefs about the situation, and desires concerning it. | |
| From: Gilbert Harman (Thought [1973], 3.3) | |
| A reaction: This is nowadays accepted dogmatically as the biggest objection to behaviourism, but it could be challenged. Your analysis may begin by mentioning beliefs and desires, but if you keep going they may eventually fade out of the picture. |
| 3075 | Could a cloud have a headache if its particles formed into the right pattern? [Harman] |
| Full Idea: If the right pattern of electrical discharges occurred in a cloud instead of in a brain, would that also be a headache? | |
| From: Gilbert Harman (Thought [1973], 3.2) | |
| A reaction: The standard objection to functionalism is to propose absurd implementations of a mind, but probably only a brain could produce the right electro-chemical combination. |
| 3086 | Are there any meanings apart from in a language? [Harman] |
| Full Idea: The theory of language-independent meanings or semantic representations is mistaken. | |
| From: Gilbert Harman (Thought [1973], 6.5) | |
| A reaction: This would make him (in Dummett's terms) a 'philosopher of language' rather than a 'philosopher of thought'. Personally I disagree. Don't animals have 'meanings'? Can two sentences share a meaning? |
| 3078 | Speech acts, communication, representation and truth form a single theory [Harman] |
| Full Idea: The various theories are not in competition. The theory of truth is part of the theory of representational character, which is presupposed by the theory of communication, which in turn is contained in the more general theory of speech acts. | |
| From: Gilbert Harman (Thought [1973], 4.3) | |
| A reaction: Certainly it seems that the supposed major contenders for a theory of meaning are just as much complements as they are competitors. |
| 3090 | There is only similarity in meaning, never sameness in meaning [Harman] |
| Full Idea: The only sort of sameness of meaning we know is similarity in meaning, not exact sameness of meaning. | |
| From: Gilbert Harman (Thought [1973], 6.8) | |
| A reaction: The Eiffel Tower and le tour Eiffel? If you want to be difficult, you can doubt whether the word 'fast' ever has exactly the same meaning in two separate usages of the word. |
| 3082 | Ambiguity is when different underlying truth-conditional structures have the same surface form [Harman] |
| Full Idea: Ambiguity results from the possibility of transforming different underlying truth-conditional structures into the same surface form. | |
| From: Gilbert Harman (Thought [1973], 5.3) | |
| A reaction: Personally I would call a 'truth-conditional structure' a 'proposition', and leave it to the philosophers to decide what a proposition is. |
| 3079 | Truth in a language is explained by how the structural elements of a sentence contribute to its truth conditions [Harman] |
| Full Idea: A theory of truth for a language shows how the truth conditions of any sentence depend on the structure of that sentence. The theory will say, for each element of structure, what its contribution is. | |
| From: Gilbert Harman (Thought [1973], 5.1) | |
| A reaction: This just seems to push the problem of truth back a stage, as you need to know where the truth is to be found in the elements from which the structure is built. |
| 3085 | Sentences are different from propositions, since two sentences can express one proposition [Harman] |
| Full Idea: 'Bob and John play golf' and 'John and Bob play golf' are equivalent; but if they were to be derived from the same underlying structure, one or the other of Bob and John would have to come first; and either possibility is arbitrary. | |
| From: Gilbert Harman (Thought [1973], 6.4) | |
| A reaction: If I watch Bob and John play golf, neither of them 'comes first'. A proposition about them need not involve 'coming first'. Only if you insist on formulating a sentence must you decide on that. |
| 3087 | The analytic/synthetic distinction is a silly division of thought into encyclopaedia and dictionary [Harman] |
| Full Idea: No purpose is served by thinking that certain principles available to a person are contained in his internal encyclopaedia - and therefore only synthetic - whereas other principles are part of his internal dictionary - and are therefore analytic. | |
| From: Gilbert Harman (Thought [1973], 6.5) | |
| A reaction: If it led to two different ways to acquire knowledge, then quite a lot of purpose would be served. He speaks like a pragmatist. The question is whether some statements just are true because of some feature of meaning. Why not? |
| 3083 | Many predicates totally resist translation, so a universal underlying structure to languages is unlikely [Harman] |
| Full Idea: There are many predicates of a given language that resist translation into another language, …so it is unlikely that there is a basic set of underlying structures common to all languages. | |
| From: Gilbert Harman (Thought [1973], 5.4) | |
| A reaction: Not convincing. 'Structures' are not the same as 'predicates'. Once a language has mapped its predicates, that blocks the intrusions of differently sliced alien predicates. No gaps. |