30 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? |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 1564 | True and false statements can use exactly the same words [Anon (Diss)] |
| Full Idea: There is no difference between a true statement and a false statement, because they can use exactly the same words. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §4) |
| 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. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 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. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 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. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 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. |
| 1561 | Anything can be acceptable in some circumstances and unacceptable in others [Anon (Diss)] |
| Full Idea: Anything can be acceptable under the right circumstances, and unacceptable under the wrong circumstances. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
| 1560 | Lydians prostitute their daughters to raise a dowery, but no Greek would marry such a girl [Anon (Diss)] |
| Full Idea: The Lydians find it acceptable for their daughters to work as prostitutes to raise money for getting married, but no one in Greece would be prepared to marry such a girl. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
| 1559 | Thracians think tattooing adds to a girl's beauty, but elsewhere it is a punishment [Anon (Diss)] |
| Full Idea: Thracians think that tattooing enhances a girl's beauty, whereas for everyone else tattooing is a punishment for a crime. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §2) |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 1567 | How could someone who knows everything fail to act correctly? [Anon (Diss)] |
| Full Idea: If someone knows the nature of everything, how could he fail to be able also to act correctly in every case? | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §8) |
| 1563 | Every apparent crime can be right in certain circumstances [Anon (Diss), by PG] |
| Full Idea: It can be right, in certain circumstances, to steal, to break a solemn promise, to rob temples, and even (as Orestes did) to murder one's nearest and dearest. | |
| From: report of Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §3) by PG - Db (ideas) | |
| A reaction: Not sure about the last one! I suppose you can justify any hideousness if the fate of the universe depends on it. It must be better to die than the perform certain extreme deeds. |
| 1562 | It is right to lie to someone, to get them to take medicine they are reluctant to take [Anon (Diss)] |
| Full Idea: It is right to lie to your parents, in order to get them to take a good medicine they are reluctant to take. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §3) | |
| A reaction: I dread to think what the medicines were which convinced the writer of this. A rule such as this strikes me as dangerous. Justifiable in extreme cases. House on fire etc. |
| 1566 | The first priority in elections is to vote for people who support democracy [Anon (Diss)] |
| Full Idea: A lottery is not democratic, because every state contains people who are not democratic, and if the lottery chooses them they will destroy the democracy. People should elect those who are observed to favour democracy. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §7) |
| 1565 | We learn language, and we don't know who teaches us it [Anon (Diss)] |
| Full Idea: We learn language, and we don't know who teaches us it. | |
| From: Anon (Diss) (Dissoi Logoi - on Double Arguments [c.401 BCE], §6) |