40 ideas
| 9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
| Full Idea: My investigation of vagueness began with the question 'What is the correct logic of vagueness?', which led to the further question 'What are the correct truth-conditions for a vague language?', which led to questions of meaning and existence. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], Intro) | |
| A reaction: This is the most perfect embodiment of the strategy of analytical philosophy which I have ever read. It is the strategy invented by Frege in the 'Grundlagen'. Is this still the way to go, or has this pathway slowly sunk into the swamp? |
| 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. |
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2 | |
| A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped. |
| 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. |
| 9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
| Full Idea: Maybe classical logic fails for vagueness in Excluded Middle. If 'H bald ∨ ¬(H bald)' is true, then one disjunct is true. But if the second is true the first is false, and the sentence is either true or false, contrary to the borderline assumption. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 4) | |
| A reaction: Fine goes on to argue against the implication that we need a special logic for vague predicates. |
| 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. |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions. | |
| From: Gottlob Frege (Function and Concept [1891], p.38) | |
| A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions. |
| 8492 | Relations are functions with two arguments [Frege] |
| Full Idea: Functions of one argument are concepts; functions of two arguments are relations. | |
| From: Gottlob Frege (Function and Concept [1891], p.39) | |
| A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions. |
| 9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
| Full Idea: If language is like a tree, then penumbral connection (logic holding among indefinite sentences) is the seed from which the tree grows, for it provides an initial repository of truths that are to be retained throughout all growth. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 2) | |
| A reaction: A nice incidental insight arising from his investigation of vagueness. People accept one another's reasons even when they are confused, or hopeless at expressing themselves. Nice. |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise. |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 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. |
| 9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
| Full Idea: I take vagueness to be a semantic feature, a deficiency of meaning. It is to be distinguished from generality, undecidability, and ambiguity. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], Intro) | |
| A reaction: Sounds good. If we cut nature at the joints with our language, then nature is going to be too subtle and vast for our finite and gerrymandered language, and so it will break down in tricky situations. But maybe epistemology precedes semantics? |
| 9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
| Full Idea: There is a possibility of 'higher-order vagueness'. The vague may be vague, or vaguely vague, and so on. If J has few hairs on his head than H, then he may be a borderline case of a borderline case. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 5) | |
| A reaction: Such slim grey areas can also be characterised as those where you think he is definitely bald, but I am not so sure. |
| 9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
| Full Idea: A vague sentence is (roughly stated) true if and only if it is true for all ways of making it completely precise (the 'super-truth theory'). | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], Intro) | |
| A reaction: Intuitively this sounds quite promising. Personally I think we should focus on the 'proposition' rather than the 'sentence' (where fifteen sentences might be needed before we can agree on the one proposition). |
| 9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
| Full Idea: With a three-value approach, if P is 'blob is pink' and R is 'blob is red', then P&P is indefinite, but P&R is false, and P∨P is indefinite, but P∨R is true. This means the connectives & and ∨ are not truth-functional. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 1) | |
| A reaction: The point is that there could then be no logic in any way classical for vague sentences and three truth values. A powerful point. |
| 9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
| Full Idea: The meaning of an expression is the product of both its actual meaning (what helps determine its instances and counter-instances), and its potential meaning (the possibilities for making it more precise). | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 2) | |
| A reaction: A modal approach to meaning is gloriously original. Being quite a fan of real modalities (the possibilities latent in actuality), I find this intuitively appealing. |
| 9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
| Full Idea: With the super-truth approach, if P is 'blob is pink' and R is 'blob is red', then P&R is false, and P∨R is true, since one of P and R is true and one is false in any complete and admissible specification. It encompasses all 'penumbral truths'. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 3) | |
| A reaction: [See Idea 9767 for the super-truth approach, and Idea 9770 for a contrasting view] The approach, which seems quite appealing, is that we will in no circumstances give up basic classical logic, but we will make maximum concessions to vagueness. |
| 9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
| Full Idea: Any borderline case must be under our control, in the sense that it can be settled by making the predicates more precise. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 3) | |
| A reaction: Sounds good. Consider an abstract concept like the equator. It is precise on a map of the world, but vague when you are in the middle of the tropics. But we can always form a committee to draw a (widish) line on the ground delineating it. |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property. | |
| From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2 | |
| A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects. |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place. | |
| From: Gottlob Frege (Function and Concept [1891], p.32) | |
| A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them. |
| 9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |
| Full Idea: There are three possible sources of vagueness: the predicates, the names, and the quantifiers. | |
| From: Kit Fine (Vagueness, Truth and Logic [1975], 1) | |
| A reaction: Presumably a vagueness about the domain of discussion would be a vagueness in the quantifier. This is a helpful preliminary division, in the semantic approach to vagueness. |
| 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. |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 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. |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false. | |
| From: Gottlob Frege (Function and Concept [1891], p.14) | |
| A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?' |
| 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. |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |
| Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept. | |
| From: Gottlob Frege (Function and Concept [1891], p.38 n) | |
| A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate. |