29 ideas
| 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. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 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. |
| 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. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 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. |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
| Full Idea: The aim of transcendental idealism is to give a basis for objectivity in terms of subjectivity. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 1) | |
| A reaction: Hume used subjectivity to undermine the findings of objectivity. There was then no return to naive objectivity. Kant's aim then was to thwart global scepticism. Post-Kantians feared that he had failed. |
| 22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
| Full Idea: The Idealist saw in Kant that knowledge, which depends on the spontaneity of judgement, and self-determined spontaneous action, can be seen as sharing the same source, which is not accessible to scientific investigation. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010]) | |
| A reaction: This is the 'spontaneity' of judgements and choices which was seen as the main idea in Kant. It inspired romantic individualism. The judgements are the rule-based application of concepts. |
| 22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
| Full Idea: A central aim of German Idealism is to overcome Kant's oppositions between appearances and thing in themselves, and between receptivity and spontaneity. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 2) | |
| A reaction: I have the impression that there were two strategies: break down the opposition within the self (Fichte), or break down the opposition in the world (Spinozism). |
| 22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
| Full Idea: A crucial idea for German Idealism (from Hamann) is that apparently passive receptivity and active spontaneity are in fact different degrees of the same 'activity, and the gap between subject and world can be closed. | |
| From: Andrew Bowie (German Philosophy: a very short introduction [2010], 3) | |
| A reaction: The 'passive' bit seems to be Hume's 'impressions', which are Kant's 'intuitions', which need 'spontaneous' interpretation to become experiences. Critics of Kant said this implied a dualism. |
| 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. |
| 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. |
| 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'? |
| 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. |
| 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. |