97 ideas
| 3099 | Inference is never a conscious process [Harman] |
| Full Idea: Inference is never a conscious process. | |
| From: Gilbert Harman (Thought [1973], 11.2) |
| 19304 | The rules of reasoning are not the rules of logic [Harman] |
| Full Idea: Rules of deduction are rules of deductive argument; they are not rules of inference or reasoning. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: And I have often noticed that good philosophing reasoners and good logicians are frequently not the same people. |
| 19307 | If there is a great cost to avoiding inconsistency, we learn to reason our way around it [Harman] |
| Full Idea: We sometimes discover our views are inconsistent and do not know how to revise them in order to avoid inconsistency without great cost. The best response may be to keep the inconsistency and try to avoid inferences that exploit it. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: Any decent philosopher should face this dilemma regularly. I assume non-philosophers don't compare the different compartments of their beliefs very much. Students of non-monotonic logics are trying to formalise such thinking. |
| 19309 | Logic has little relevance to reasoning, except when logical conclusions are immediate [Harman] |
| Full Idea: Although logic does not seem specially relevant to reasoning, immediate implication and immediate inconsistency do seem important for reasoning. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: Ordinary thinkers can't possibly track complex logical implications, so we have obviously developed strategies for coping. I assume formal logic is contructed from the basic ingredients of the immediate and obvious implications, such as modus ponens. |
| 6950 | You can be rational with undetected or minor inconsistencies [Harman] |
| Full Idea: Rationality doesn't require consistency, because you can be rational despite undetected inconsistencies in beliefs, and it isn't always rational to respond to a discovery of inconsistency by dropping everything in favour of eliminating that inconsistency. | |
| From: Gilbert Harman (Rationality [1995], 1.2) | |
| A reaction: This strikes me as being correct, and is (I am beginning to realise) a vital contribution made to our understanding by pragmatism. European thinking has been too keen on logic as the model of good reasoning. |
| 19306 | It is a principle of reasoning not to clutter your mind with trivialities [Harman] |
| Full Idea: I am assuming the following principle: Clutter Avoidance - in reasoning, one should not clutter one's mind with trivialities. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: I like Harman's interest in the psychology of reasoning. In the world of Frege, it is taboo to talk about psychology. |
| 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) |
| 19303 | Implication just accumulates conclusions, but inference may also revise our views [Harman] |
| Full Idea: Implication is cumulative, in a way that inference may not be. In argument one accumulates conclusions; things are always added, never subtracted. Reasoned revision, however, can subtract from one's view as well as add. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: This has caught Harman's attention, I think (?), because he is looking for non-monotonic reasoning (i.e. revisable reasoning) within a classical framework. If revision is responding to evidence, the logic can remain conventional. |
| 12596 | Reasoning aims at increasing explanatory coherence [Harman] |
| Full Idea: In reasoning you try among other things to increase the explanatory coherence of your view. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: Harman is a champion of inference to the best explanation (abduction), and I agree with him. I think this idea extends to give us a view of justification as coherence, and that extends from inner individual coherence to socially extended coherence. |
| 12599 | Reason conservatively: stick to your beliefs, and prefer reasoning that preserves most of them [Harman] |
| Full Idea: Conservatism is important; you should continue to believe as you do in the absence of any special reason to doubt your view, and in reasoning you should try to minimize change in your initial opinions in attaining other goals of reasoning. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.6) | |
| A reaction: One of those principles like Ockham's Razor, which feels right but hard to justify. It seems the wrong principle for someone who can reason well, but has been brainwashed into a large collection of daft beliefs. Japanese soldiers still fighting WWII. |
| 6954 | A coherent conceptual scheme contains best explanations of most of your beliefs [Harman] |
| Full Idea: A set of unrelated beliefs seems less coherent than a tightly organized conceptual scheme that contains explanatory principles that make sense of most of your beliefs; this is why inference to the best explanation is an attractive pattern of inference. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: I find this a very appealing proposal. The central aim of rational thought seems to me to be best explanation, and I increasingly think that most of my beliefs rest on their apparent coherence, rather than their foundations. |
| 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) |
| 18335 | There are five problems which the truth-maker theory might solve [Rami] |
| Full Idea: It is claimed that truth-makers explain universals, or ontological commitment, or commitment to realism, or to the correspondence theory of truth, or to falsify behaviourism or phenomenalism. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04) | |
| A reaction: [compressed] This expands the view that truth-making is based on its explanatory power, rather than on its intuitive correctness. I take the theory to presuppose realism. I don't believe in universals. It marginalises correspondence. Commitment is good! |
| 18334 | The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami] |
| Full Idea: The two strategies for justifying the truth-maker principle are that it has an explanatory role (for certain philosophical problems and theses), or that it captures the best philosophical intuition of the situation. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04) | |
| A reaction: I would go for 'intuitive', but not in the sense of a pure intuition, but with 'intuitive' as a shorthand for overall coherence. To me the appeal of truth-maker is its place in a naturalistic view of reality. I love explanation, but not here. |
| 18339 | The truth-making relation can be one-to-one, or many-to-many [Rami] |
| Full Idea: The truth-making relation can be one-to-one, or many-many. In the latter case, different truths may have the same truth-maker, and one truth may have different truth-makers. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: 'There is at least one cat' obviously has many possible truth-makers. Many statements will be made true by the mere existence of a particular cat (such as 'there is an animal in the room' and 'there is a cat in the room'). Many-many wins? |
| 18333 | Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami] |
| Full Idea: The main full-blooded truth-maker principle is that x is true iff there is a y that is its truth-maker. This implies the principles that if x is true x has a truth-maker, and the principle that if x has a truth-maker then x is true. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 03) | |
| A reaction: [compressed] Rami calls the second principle 'maximalism' and the third principle 'purism'. To reject maximalism is to hold a more restricted version of truth-makers. That is, the claim is that lots of truths have truth-makers. |
| 18342 | Most theorists say that truth-makers necessitate their truths [Rami] |
| Full Idea: Most truth-maker theorists regard the necessitation of a truth by a truth-maker as a necessary condition of truth-making. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 07) | |
| A reaction: It seems to me that reality is crammed full of potential truth-makers, but not crammed full of truths. If there is no thinking in the universe, then there are no truths. If that is false, then what sort of weird beast is a 'truth'? |
| 18340 | It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami] |
| Full Idea: Truthmaker anti-monism holds the view that there are truth-makers of different kinds. For example, objects, facts, tropes or events can all be regarded as truthmakers. Objects seem right for existential truths but not others, so anti-monism seems best. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: Presumably we need to identify the different types of truth (analytic, synthetic, general, particular...), and only then ask what truth-makers there are for the different types. To presuppose one type of truthmaker would be crazy. |
| 18341 | Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami] |
| Full Idea: As truth-makers, some theorists only accept states of affairs, some only accept individuals and states of affairs, and some only accept individuals and particular properties. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 06) | |
| A reaction: It seems to me rash to opt for one of these. Truths come in wide-ranging and subtly different types, and the truth-makers probably have a similar range. Any one of these theories will almost certainly quickly succumb to a counterexample. |
| 18346 | 'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami] |
| Full Idea: The thesis that 'truth supervenes on being' (with or without possible worlds) offers only a necessary condition for the truth of contingent propositions, whereas the standard truth-maker theory offers necessary and sufficient conditions. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09) | |
| A reaction: The point, I suppose, is that the change in being might be irrelevant to the proposition in question, so any old change in being will not ensure a change in the truth of the proposition. Again we ask - but what is this truth about? |
| 18345 | 'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami] |
| Full Idea: The important advantage of 'truth supervenes on being' is that it can be applied to positive and negative contingent truths, without postulating any entities that are responsible for the truth of negative truths. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09) | |
| A reaction: [For this reason, Lewis favours a possible worlds version of the theory] I fear that it solves that problem by making the truth-maker theory so broad-brush that it not longer says very much, apart from committing it to naturalism. |
| 18343 | Maybe a truth-maker also works for the entailments of the given truth [Rami] |
| Full Idea: The 'entailment principle' for truth-makers says that if x is a truth-maker for y, and y entails z, then x is a truth-maker for z. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 08) | |
| A reaction: I think the correct locution is that 'x is a potential truth-maker for z' (should anyone every formulate z, which in most cases they never will, since the entailments of y are probably infinite). Merricks would ask 'but are y and z about the same thing?'. |
| 18338 | Truth-making is usually internalist, but the correspondence theory is externalist [Rami] |
| Full Idea: Most truth-maker theorists are internalists about the truth-maker relation. ...But the correspondence theory makes truth an external relation to some portion of reality. So a truth-maker internalist should not claim to be a narrow correspondence theorist. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: [wording rearranged] Like many of Rami's distinctions in this article, this feels simplistic. Sharp distinctions can only be made using sharp vocabulary, and there isn't much of that around in philosophy! |
| 18337 | Correspondence theories assume that truth is a representation relation [Rami] |
| Full Idea: One guiding intuition concerning a correspondence theory of truth says that the relation that accounts for the truth of a truth-bearer is some kind of representation relation. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: I unfashionably cling on to some sort of correspondence theory. The paradigm case is of a non-linguistic animal which forms correct or incorrect views about its environment. Truth is a relation, not a property. I see the truth in a bad representation. |
| 18347 | Deflationist truth is an infinitely disjunctive property [Rami] |
| Full Idea: According to the moderate deflationist truth is an infinitely disjunctive property. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 10) | |
| A reaction: [He cites Horwich 1998] That is, I presume, that truth is embodied in an infinity of propositions of the form '"p" is true iff p'. |
| 18350 | Truth-maker theorists should probably reject the converse Barcan formula [Rami] |
| Full Idea: There are good reasons for the truth-maker theorist to reject the converse Barcan formula. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], note 16) | |
| A reaction: In the text (p.15) Rami cites the inference from 'necessarily everything exists' to 'everything exists necessarily'. [See Williamson 1999] |
| 12595 | We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman] |
| Full Idea: There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity. |
| 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) |
| 12597 | I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman] |
| Full Idea: Principles of implication imply there is not a purely probabilistic rule of acceptance for belief. Otherwise one might accept P and Q, without accepting their conjunction, if the conjuncts have a high probability, but the conjunction doesn't. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: [Idea from Scott Soames] I am told that my friend A has just won a very big lottery prize, and am then told that my friend B has also won a very big lottery prize. The conjunction seems less believable; I begin to suspect a conspiracy. |
| 10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
| Full Idea: I can start with a triangle, and rise by degrees to all straight-lined figures and to extension itself. The lower degree will include the higher degree. Since the higher degree is less determinate, it can represent more things. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] This attempts to explain the generalising ability of abstraction cited in Idea 10501. If you take a complex object and eliminate features one by one, it can only 'represent' more particulars; it could hardly represent fewer. |
| 12598 | Reality is the overlap of true complete theories [Harman] |
| Full Idea: Reality is what is invariant among true complete theories. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.4) | |
| A reaction: The sort of slogan that gets coined in the age of Quine. The whole manner of starting from your theories and working out to what we think reality is seems to be putting the cart before the horse. |
| 18336 | Internal relations depend either on the existence of the relata, or on their properties [Rami] |
| Full Idea: An internal relation is 'existential' if x and y relate in that way whenever they both exist. An internal relation is 'qualitative' if x and y relate in that way whenever they have certain intrinsic properties. | |
| From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05) | |
| A reaction: [compressed - Rami likes to write these things in fashionable quasi-algebra, but I have a strong prejudice in this database for expressing ideas in English; call me old-fashioned] The distinction strikes me as simplistic. I would involve dispositions. |
| 10938 | The extremes of essentialism are that all properties are essential, or only very trivial ones [Rami] |
| Full Idea: It would be natural to label one extreme view 'maximal essentialism' - that all of an object's properties are essential - and the other extreme 'minimal' - that only trivial properties such as self-identity of being either F or not-F are essential. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008]) | |
| A reaction: Personally I don't accept the trivial ones as being in any way describable as 'properties'. The maximal view destroys any useful notion of essence. Leibniz is a minority holder of the maximal view. I would defend a middle way. |
| 10940 | An 'individual essence' is possessed uniquely by a particular object [Rami] |
| Full Idea: An 'individual essence' is a property that in addition to being essential is also unique to the object, in the sense that it is not possible that something distinct from that object possesses that property. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008], §5) | |
| A reaction: She cites a 'haecceity' (or mere bare identity) as a trivial example of an individual essence. |
| 10939 | 'Sortal essentialism' says being a particular kind is what is essential [Rami] |
| Full Idea: According to 'sortal essentialism', an object could not have been of a radically different kind than it in fact is. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008], §4) | |
| A reaction: This strikes me as thoroughly wrong. Things belong in kinds because of their properties. Could you remove all the contingent features of a tiger, leaving it as merely 'a tiger', despite being totally unrecognisable? |
| 10934 | Unlosable properties are not the same as essential properties [Rami] |
| Full Idea: It is easy to confuse the notion of an essential property that a thing could not lack, with a property it could not lose. My having spent Christmas 2007 in Tennessee is a non-essential property I could not lose. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008], §1) | |
| A reaction: The idea that having spent Christmas in Tennessee is a property I find quite bewildering. Is my not having spent my Christmas in Tennessee one of my properties? I suspect that real unlosable properties are essential ones. |
| 10933 | Physical possibility is part of metaphysical possibility which is part of logical possibility [Rami] |
| Full Idea: The usual view is that 'physical possibilities' are a natural subset of the 'metaphysical possibilities', which in turn are a subset of the 'logical possibilities'. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008], §1) | |
| A reaction: [She cites Fine 2002 for an opposing view] I prefer 'natural' to 'physical', leaving it open where the borders of the natural lie. I take 'metaphysical' possibility to be 'in all naturally possible worlds'. So is a round square a logical possibility? |
| 10932 | If it is possible 'for all I know' then it is 'epistemically possible' [Rami] |
| Full Idea: There is 'epistemic possibility' when it is 'for all I know'. That is, P is epistemically possible for agent A just in case P is consistent with what A knows. | |
| From: Adolph Rami (Essential vs Accidental Properties [2008], §1) | |
| A reaction: Two problems: maybe 'we' know, and A knows we know, but A doesn't know. And maybe someone knows, but we are not sure about that, which seems to introduce a modal element into the knowing. If someone knows it's impossible, it's impossible. |
| 19305 | The Gambler's Fallacy (ten blacks, so red is due) overemphasises the early part of a sequence [Harman] |
| Full Idea: The Gambler's Fallacy says if black has come up ten times in a row, red must be highly probable next time. It overlooks how the impact of an initial run of one color can become more and more insignificant as the sequence gets longer. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: At what point do you decide that the roulette wheel is fixed, rather than that you have fallen for the Gambler's Fallacy? Interestingly, standard induction points to the opposite conclusion. But then you have prior knowledge of the wheel. |
| 19310 | High probability premises need not imply high probability conclusions [Harman] |
| Full Idea: Propositions that are individually highly probable can have an immediate implication that is not. The fact that one can assign a high probability to P and also to 'if P then Q' is not sufficient reason to assign high probability to Q. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 3) | |
| A reaction: He cites Kyburg's Lottery Paradox. It is probable that there is a winning ticket, and that this ticket is not it. Thus it is NOT probable that I will win. |
| 19308 | We strongly desire to believe what is true, even though logic does not require it [Harman] |
| Full Idea: Moore's Paradox: one is strongly disposed not to believe both P and that one does not believe that P, while realising that these propositions are perfectly consistent with one another. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: [Where in Moore?] A very nice example of a powerful principle of reasoning which can never be captured in logic. |
| 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) |
| 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) |
| 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) |
| 18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
| Full Idea: We can have knowledge of what is outside us only through the mediation of ideas in us. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], p.63), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' |
| 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. |
| 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. |
| 19311 | In revision of belief, we need to keep track of justifications for foundations, but not for coherence [Harman] |
| Full Idea: The key issue in belief revision is whether one needs to keep track of one's original justifications for beliefs. What I am calling the 'foundations' theory says yes; what I am calling the 'coherence' theory says no. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 4) | |
| A reaction: I favour coherence in all things epistemological, and this idea seems to match real life, where I am very confident of many beliefs of which I have forgotten the justification. Harman says coherentists need the justification only when they doubt a belief. |
| 19312 | Coherence is intelligible connections, especially one element explaining another [Harman] |
| Full Idea: Coherence in a view consists in connections of intelligibility among the elements of the view. Among other things these included explanatory connections, which hold when part of one's view makes it intelligible why some other part should be true. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 7) | |
| A reaction: Music to my ears. I call myself an 'explanatory empiricist', and embrace a coherence theory of justification. This is the framework within which philosophy should be practised. Harman is our founder, and Paul Thagard our guru. |
| 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. |
| 8800 | If you would deny a truth if you know the full evidence, then knowledge has social aspects [Harman, by Sosa] |
| Full Idea: If one reads of a genuine assassination, but then fails to read the reports next day which untruthfully deny the event, one probably does not know of the event. But we must conclude that knowledge has a further 'social aspect'. | |
| From: report of Gilbert Harman (Induction [1970], §IV) by Ernest Sosa - The Raft and the Pyramid Appx | |
| A reaction: I doubt if this is enough to support an externalist account of defeasibility. Wise people don't 'know' of an event after one report. For 24 hours the Royalists thought they had won Marston Moor! You know he's dead when you see the Zapruder film. |
| 6955 | Enumerative induction is inference to the best explanation [Harman] |
| Full Idea: We might think of enumerative induction as inference to the best explanation, taking the generalization to explain its instances. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: This is a helpful connection. The best explanation of these swans being white is that all swans are white; it ceased to be the best explanation when black swans turned up. In the ultimate case, a law of nature is the explanation. |
| 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) |
| 6952 | Induction is 'defeasible', since additional information can invalidate it [Harman] |
| Full Idea: It is sometimes said that inductive reasoning is 'defeasible', meaning that considerations that support a given conclusion can be defeated by additional information. | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: True. The point is that being defeasible does not prevent such thinking from being rational. The rational part of it is to acknowledge that your conclusion is defeasible. |
| 6953 | All reasoning is inductive, and deduction only concerns implication [Harman] |
| Full Idea: Deductive logic is concerned with deductive implication, not deductive reasoning; all reasoning is inductive | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: This may be an attempt to stipulate how the word 'reasoning' should be used in future. It is, though, a bold and interesting claim, given the reputation of induction (since Hume) of being a totally irrational process. |
| 16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
| Full Idea: The form is what renders a thing such and distinguishes it from others, whether it is a being really distinct from the matter, according to the Schools, or whether it is only the arrangement of the parts. By this form one must explain its properties. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], III.18 p240), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 27.6 | |
| A reaction: If we ask 'what explains the properties of this thing' it is hard to avoid coming up with something that might be called the 'form'. Note that they allow either substantial or corpuscularian forms. It is hard to disagree with the idea. |
| 17060 | Best Explanation is the core notion of epistemology [Harman, by Smart] |
| Full Idea: Gilbert Harman introduced the term 'inference to the best explanation', and argued that it is the core notion of epistemology. | |
| From: report of Gilbert Harman (The Inference to the Best Explanation [1974]) by J.J.C. Smart - Explanation - Opening Address p. 01 | |
| A reaction: Hard to assess that, but it sounds right. I'm a fan of coherence theories of justification, and also coherence theories of explanation, and there is a neat package there somewhere. |
| 12602 | There is no natural border between inner and outer [Harman] |
| Full Idea: There is no natural border between inner and outer. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4) | |
| A reaction: Perhaps this is the key idea for the anti-individualist view of mind. Subjectively I would have to accept this idea, but looking objectively at another person it seems self-evident nonsense. |
| 12603 | We can only describe mental attitudes in relation to the external world [Harman] |
| Full Idea: No one has ever described a way of explaining what beliefs, desires, and other mental states are except in terms of actual or possible relations to things in the external world. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4) | |
| A reaction: If I pursue my current favourite idea, that how we explain things is the driving force in what ontology we adopt, then this way of seeing the mind, and taking an externalist anti-individualist view of it seems quite attractive. |
| 8130 | Qualities of experience are just representational aspects of experience ('Representationalism') [Harman, by Burge] |
| Full Idea: Harman defended what came to be known as 'representationalism' - the view that qualitative aspects of experience are nothing other than representational aspects. | |
| From: report of Gilbert Harman (The Intrinsic Quality of Experience [1990]) by Tyler Burge - Philosophy of Mind: 1950-2000 p.459 | |
| A reaction: Functionalists like Harman have a fairly intractable problem with the qualities of experience, and this may be clutching at straws. What does 'represent' mean? How is the representation achieved? Why that particular quale? |
| 12601 | The way things look is a relational matter, not an intrinsic matter [Harman] |
| Full Idea: According to functionalism, the way things look to you is a relational characteristic of your experience, not part of its intrinsic character. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3) | |
| A reaction: No, can't make sense of that. How would being in a relation determine what something is? Similar problems with the structuralist account of mathematics. If the whole family love some one cat or one dog, the only difference is intrinsic to the animal. |
| 10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
| Full Idea: The mind cannot perfectly understand things that are even slightly composite unless it considers them a part at a time. ...This is generally called knowing by abstraction. (..the human body, for example). | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: This adds the interesting thought that the mind is forced to abstract, rather than abstraction being a luxury extra feature. Knowledge through analysis is knowledge by abstraction. Also a nice linking of abstraction to epistemology. |
| 10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
| Full Idea: If I draw an equilateral triangle on a piece of paper, ..I shall have an idea of only a single triangle. But if I ignore all the particular circumstances and focus on the three equal lines, I will be able to represent all equilateral triangles. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] They observed that we grasp composites through their parts, and now that we can grasp generalisations through particulars, both achieved by the psychological act of abstraction, thus showing its epistemological power. |
| 10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |
| Full Idea: Geometers by no means assume that there are lines without width or surfaces without depth. They only think it is possible to consider the length without paying attention to the width. We can measure the length of a path without its width. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: A nice example which makes the point indubitable. The modern 'rigorous' account of abstraction that starts with Frege seems to require more than one object, in order to derive abstractions like direction or number. Path widths are not comparatives. |
| 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. |
| 6951 | Ordinary rationality is conservative, starting from where your beliefs currently are [Harman] |
| Full Idea: Ordinary rationality is generally conservative, in the sense that you start from where you are, with your present beliefs and intentions. | |
| From: Gilbert Harman (Rationality [1995], 1.3) | |
| A reaction: This stands opposed to the Cartesian or philosophers' rationality, which requires that (where possible) everything be proved from scratch. Harman seems right, that the normal onus of proof is on changing beliefs, rather proving you should retain them. |
| 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? |
| 12592 | Concepts in thought have content, but not meaning, which requires communication [Harman] |
| Full Idea: Concepts and other aspects of mental representation have content but not (normally) meaning (unless they are also expressions in a language used in communication). | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2) | |
| A reaction: Given his account of meaning as involving some complex 'role', he has to say this, though it seems a dubious distinction, going against the grain of a normal request to ask what some concept 'means'. What is 'democracy'? |
| 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. |
| 12590 | Take meaning to be use in calculation with concepts, rather than in communication [Harman] |
| Full Idea: (Nonsolipsistic) conceptual role semantics is a version of the theory that meaning is use, where the basic use is taken to be in calculation, not in communication, and where concepts are treated as symbols in a 'language of thought'. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.1) | |
| A reaction: The idea seems to be to connect the highly social Wittgensteinian view of language with the reductive physicalist account of how brains generate concepts. Interesting, thought I never like meaning-as-use. |
| 12593 | The use theory attaches meanings to words, not to sentences [Harman] |
| Full Idea: A use theory of meaning has to suppose it is words and ways of putting words together that have meaning because of their uses, not sentences. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.3) | |
| A reaction: He says that most sentences are unique, so cannot have a standard use. Words do a particular job over and over again. How do you distinguish the quirky use of a word from its standard use? |
| 12588 | Meaning from use of thoughts, constructed from concepts, which have a role relating to reality [Harman] |
| Full Idea: Conceptual role semantics involves meanings of expressions determined by used contents of concepts and thoughts, contents constructed from concepts, concepts determined by functional role, which involves relations to things in the world. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1) | |
| A reaction: This essay is the locus classicus for conceptual-role semantics. Any attempt to say what something IS by giving an account of its function always feels wrong to me. |
| 12589 | Some regard conceptual role semantics as an entirely internal matter [Harman] |
| Full Idea: I call my conceptual role semantics 'non-solipsistic' to contrast it with that of authors (Field, Fodor, Loar) who think of conceptual role solipsistically as a completely internal matter. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1) | |
| A reaction: Evidently Harman is influenced by Putnam's Twin Earth, and that meanings ain't in the head, so that the conceptual role has to be extended out into the world to get a good account. I prefer extending into the language community, rather into reality. |
| 12600 | The content of thought is relations, between mental states, things in the world, and contexts [Harman] |
| Full Idea: In (nonsolipsistic) conceptual role semantics the content of thought is not in an 'intrinsic nature', but is rather a matter of how mental states are related to each other, to things in the external world, and to things in a context understood as normal. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3) | |
| A reaction: This is part of Harman's functional view of consciousness, which I find rather dubious. If things only have identity because of some place in a flow diagram, we must ask why that thing has that place in that diagram. |
| 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? |
| 12594 | If one proposition negates the other, which is the negative one? [Harman] |
| Full Idea: A relation of negation might hold between two beliefs without there being anything that determines which belief is the negative one. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.4) | |
| A reaction: [He attributes this thought to Brian Loar] This seems to give us a reason why we need a semantics for a logic, and not just a structure of inferences and proofs. |
| 12591 | Mastery of a language requires thinking, and not just communication [Harman] |
| Full Idea: If one cannot think in a language, one has not yet mastered it. A symbol system used only for communication, like Morse code, is not a language. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2) | |
| A reaction: This invites the question of someone who has mastered thinking, but has no idea how to communicate. No doubt we might construct a machine with something like that ability. I think it might support Harman's claim. |
| 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. |
| 5121 | Basing ethics on flourishing makes it consequentialist, as actions are judged by contributing to it [Harman] |
| Full Idea: Basing ethics on human flourishing tends towards utilitarianism or consequentialism; actions, character traits, laws, and so on are to be assessed with reference to their contributions to human flourishing. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.2) | |
| A reaction: This raises the question of whether only virtue can contribute to flourishing, or whether a bit of vice might be helpful. This problem presumably pushed the Stoics to say that virtue itself is the good, rather than the resulting flourishing. |
| 5122 | Maybe consequentialism is a critique of ordinary morality, rather than describing it [Harman] |
| Full Idea: Consequentialism may be put forward not as an attempt to capture intuitive folk morality but rather as a critique of ordinary tuitions. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.1) | |
| A reaction: It is certainly true that most people are concerned with why an action was performed, and (after initial anger) are prepared to forgive an unintended disaster. We have no moral objections to earthquakes, which have bad consequences. |
| 5120 | What counts as 'flourishing' must be relative to various sets of values [Harman] |
| Full Idea: If we base our ethics on human flourishing, one implication would seem to be moral relativism, since what counts as 'flourishing' seems inevitably relative to one or other set of values. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.1) | |
| A reaction: This remark seems to make the relativist assumption that all value systems are equal. For Aristotle, flourishing is no more relative than health is. No one can assert that illness has an intrinsically high value in human life. |
| 5123 | Maybe there is no such thing as character, and the virtues and vices said to accompany it [Harman] |
| Full Idea: It may be the case that there is no such thing as character, no ordinary character traits of the sort people think there are, none of the usual moral virtues and vices. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.1) | |
| A reaction: This would be a devastating fact for virtue theory, if it were true. I don't believe it. He thinks patterns of behaviour result from circumstances, but we give accurate and detailed pictures of people's characters (esp. in novels). |
| 5124 | If a person's two acts of timidity have different explanations, they are not one character trait [Harman] |
| Full Idea: If Herbert is disposed to not speak in history class (but not other subjects), and explanation of this is different from his avoidance of roller coaster rides, then these two dispositions are not special cases of a single character trait. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.2) | |
| A reaction: A basic Harman argument for denying the existence of character (and hence of virtues). I just say that character traits are more complex than his caricature of them. If I keep imagining disaster and humiliation for myself, that is a character trait. |
| 5125 | Virtue ethics might involve judgements about the virtues of actions, rather than character [Harman] |
| Full Idea: There are variants of virtue ethics that do not require character traits in the ordinary sense. For example, moral thinking might be explicated by appeal to judgements about whether particular actions are just or courageous or whatever. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.7.1.1) | |
| A reaction: A very interesting proposal (from Judith Jarvis Thomson). This would flatly reject Aristotle, and one presumes that the judgement about the virtue of the action would largely be a matter of pondering cultural conventions (or, perhaps, consequences). |