55 ideas
| 12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
| Full Idea: No metaphysical account which renders it impossible to give a plausible epistemological theory is to be countenanced. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.1) | |
| A reaction: It is hard to object to this principle, though we certainly don't want to go verificationist, and thus rule out speculations about metaphysics which are beyond any possible knowledge. Some have tried to prove that something must exist (e.g. Jacquette). |
| 9136 | The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen] |
| Full Idea: The paradox of analysis says if a conceptual analysis states exactly what the original statement says, then the analysis is trivial; if it says something different from the original, then the analysis is mistaken. All analyses are trivial or false. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 8.5) | |
| A reaction: [source is G.E. Moore] Good analyses typically give explanations, or necessary and sufficient conditions, or inferential relations. At their most trivial they at least produce a more profound dictionary than your usual lexicographer. Not guilty. |
| 9131 | Two long understandable sentences can have an unintelligible conjunction [Sorensen] |
| Full Idea: If there is an upper bound on the length of understandable sentences, then two understandable sentences can have an unintelligible conjunction. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 6.4) | |
| A reaction: Not a huge paradox about the use of the word 'and', perhaps, but a nice little warning to be clear about what is being claimed before you cheerfully assert a screamingly obvious law of thought, such as conjunction. |
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
| 9139 | If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen] |
| Full Idea: If nothing exists, then there are no truthmakers that could make 'Nothing exists' true. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 11.2) | |
| A reaction: [He cites David Lewis] We may be confusing truth with facts. I take facts to be independent of minds, but truth only makes sense as a concept in the presence of minds which are endeavouring to think well. |
| 9140 | Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen] |
| Full Idea: If I buy two toothbrushes on a 'buy one, get one free' offer, which one did I buy and which one did I get free? Those who believe that each contingent truth has a truthmaker are forced to believe that 'buy one, get one free' is false. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 11.6) | |
| A reaction: Nice. There really is no fact of which toothbrush is the free one. The underlying proposition must presumably be 'two for the price of one'. But you could hardly fault the first slogan under the Trades Descriptions Act. |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: [compressed] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
| 12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
| Full Idea: We use the symbol 'ι' (Greek 'iota') to form definite descriptions, reading (ιx)F(x) as 'the x which is such that F(x)', or simply as 'the F'. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.1) | |
| A reaction: Compare the lambda operator in modal logic, which picks out predicates from similar formulae. |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
| 9119 | No attempt to deny bivalence has ever been accepted [Sorensen] |
| Full Idea: The history of deviant logics is without a single success. Bivalence has been denied at least since Aristotle, yet no anti-bivalent theory has ever left the philosophical nursery. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], Intro) | |
| A reaction: This is part of a claim that nothing in reality is vague - it is just our ignorance of the truth or falsity of some propositions. Personally I don't see why 'Grandad is bald' has to have a determinate truth value. |
| 12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
| Full Idea: The typical semantic account of validity for propositional connectives like 'and' presupposes that meaning is given by truth-tables. On the natural deduction view, the meaning of 'and' is given by its introduction and elimination rules. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.4) |
| 9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
| Full Idea: As philosophers gradually freed themselves from the assumption that all words are names, ..they realised that generalizations really use variables rather than names of abstract entities. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 8.4) | |
| A reaction: This looks like a key thought in trying to understand abstraction - though I don't think you can shake it off that easily. (For all x)(x-is-a-bird then x-has-wings) seems to require a generalised concept of a bird to give a value to the variable. |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
| 9125 | Denying problems, or being romantically defeated by them, won't make them go away [Sorensen] |
| Full Idea: An unsolvable problem is still a problem, despite Wittgenstein's view that there are no genuine philosophical problems, and Kant's romantic defeatism in his treatment of the antinomies of pure reason. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 4.3) | |
| A reaction: I like the spin put on Kant, that he is a romantic in his defeatism. He certainly seems reluctant to slash at the Gordian knot, e.g. by being a bit more drastically sceptical about free will. |
| 9137 | Banning self-reference would outlaw 'This very sentence is in English' [Sorensen] |
| Full Idea: The old objection to the ban on self-reference is that it is too broad; it bans innocent sentences such as 'This very sentence is in English'. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 11.1) | |
| A reaction: Tricky. What is the sigificant difference between 'this sentence is in English' and 'this sentence is a lie'? The first concerns context and is partly metalinguistic. The second concerns semantics and truth. Concept and content.. |
| 9116 | Vague words have hidden boundaries [Sorensen] |
| Full Idea: Vague words have hidden boundaries. The subtraction of a single grain of sand might turn a heap into a non-heap. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], Intro) | |
| A reaction: The first sentence could be the slogan for the epistemic view of vagueness. The opposite view is Sainsbury's - that vague words are those which do not have any boundaries. Sorensen admits his view is highly counterintuitive. I think I prefer Sainsbury. |
| 12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
| Full Idea: It is very plausible that the sorites paradoxes arose from the application of a semantic apparatus appropriate only for sharp predicates to languages containing vague predicates (rather than from deficiency of meaning, or from incoherence). | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.3) | |
| A reaction: Sounds wrong. Of course, logic has been designed for sharp predicates, and natural languages are awash with vagueness. But the problems of vagueness bothered lawyers long before logicians like Russell began to worry about it. |
| 12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
| Full Idea: For each instance of identity or failure of identity, there must be facts in virtue of which that instance obtains. ..Enough has been said to lend this doctrine some plausibility. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.5) | |
| A reaction: Penelope Mackie picks this out from Forbes as a key principle. It sounds to be in danger of circularity, unless the 'facts' can be cited without referring to, or implicitly making use of, identities - which seems unlikely. |
| 12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
| Full Idea: If we imagine a possible world in which two clocks in a room make one clock from half the parts of each, the judgement 'these two actual clocks could have been a single clock' does not seem wholly false. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.4) | |
| A reaction: You would, of course, have sufficient parts left over to make a second clock, so they look like a destroyed clock, so I don't think I find Forbes's intuition on this one very persuasive. |
| 9132 | An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen] |
| Full Idea: Sometimes an exclusive 'or' gradually develops into an inclusive 'or'. A restaurant offers 'free coffee or juice'. The customers ask for both, and gradually they are given it, first as a courtesy, and eventually as an expectation. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 7.2) | |
| A reaction: [compressed] A very nice example - of the rot of vagueness even seeping into the basic logical connectives. We don't have to accept it, though. Each instance of usage of 'or', by manager or customer, might be clearly one or the other. |
| 11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
| Full Idea: Forbes argues that, unless we posit individual essences, we cannot guarantee that identities across possible worlds will be appropriately grounded in other properties. | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985]) by Penelope Mackie - How Things Might Have Been 2.4 | |
| A reaction: There is a confrontation between Wiggins, who says identity is primitive, and Forbes, who says identity must be grounded in other properties. I think I side with Forbes. |
| 12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
| Full Idea: An individual essence of an object x is a set of properties I which satisfies the following conditions: i. every property P in I is an essential property of x; ii. it is not possible that some object y distinct from x has every member of I. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I am coming to the view that stable natural kinds (like electrons or gold) do not have individual essences, but complex kinds (like tigers or tables) do. The view is based on the idea that explanatory power is what individuates an essence. |
| 12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
| Full Idea: A non-trivial individual essence is properties other than a) those following from a de dicto truth, b) properties of existence and self-identity (or their cognates), c) properties derived from necessities in some other category. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: [I have compressed Forbes] Rather than adding all these qualificational clauses to our concept, we could just tighten up on the notion of a property, saying it is something which is causally efficacious, and hence explanatory. |
| 12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
| Full Idea: The essential properties of a thing will typically depend upon what category of thing it is, and perhaps also on some more particular facts about the thing itself. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I see no way of dispensing with the second requirement, in the cases of complex entities like animals. If all samples are the same, then of course we can define a sample's essence through its kind, but not if samples differ in any way. |
| 12012 | Essential properties are those without which an object could not exist [Forbes,G] |
| Full Idea: An essential property of an object x is a property without possessing which x could not exist. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: This is certainly open to question. See Joan Kung's account of Aristotle on essence. I am necessarily more than eight years old (now), and couldn't exist without that property, but is the property part of my essence? |
| 12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
| Full Idea: Sameness of parts is not sufficient for identity of artefacts at a world, since the very same parts may turn up at different times as the parts of artefacts with different designs and functions. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.2) | |
| A reaction: Thus the Ship of Theseus could be dismantled and turned into a barn (as happened with the 'Mayflower'). They could then be reconstituted as the ship, which would then have two beginnings (as Chris Hughes has pointed out). |
| 12025 | Artefacts have fuzzy essences [Forbes,G] |
| Full Idea: Artefacts can be ascribed fuzzy essences. ...We might say that it is essential to an artefact to have 'most' of its parts. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 7.6) | |
| A reaction: I think I prefer to accept the idea that essences are unstable things, in all cases. For all we know, electrons might subtly change their general character, or cease to be uniform, tomorrow. Essences explain, and what needs explaining changes. |
| 12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
| Full Idea: In the time of a single world, the same individual can undergo a change of sex, but it is less clear that an individual of one sex could have been, from the outset, an individual of another. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.5) | |
| A reaction: I don't find this support for essentiality of origin very persuasive. I struggle with these ideas. Given my sex yesterday, then presumably I couldn't have had a different sex yesterday. Given that pigs can fly, pigs can fly. What am I missing? |
| 11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
| Full Idea: Forbes has two principles of identity, which we can call the No Bare Identities Principle (identities hold in virtue of other facts), and the No Extrinsic Determination Principle (that only intrinsic facts of a thing establish identity). | |
| From: report of Graeme Forbes (The Metaphysics of Modality [1985], 127-8) by Penelope Mackie - How Things Might Have Been 2.7 | |
| A reaction: The job of the philosopher is to prise apart the real identities of things from the way in which we conceive of identities. I take these principles to apply to real identities, not conceptual identities. |
| 12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
| Full Idea: The difference between de re and de dicto formulae is a difference between formulae which are, and formulae which are not, sensitive to the identities of objects at various worlds. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.1) |
| 12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
| Full Idea: De re necessity does not differ from de dicto necessity in respect of how it arises: it is still a form of conceptual necessity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: [Forbes proceeds to argue for this claim] Forbes defends a form of essentialism, but takes the necessity to arise from a posteriori truths because of the a priori involvement of other concepts (rather as Kripke argues). |
| 12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
| Full Idea: There is no means by which we might distinguish a possible world from what is true at it. ...Whereas our ability to separate a place, or a time, from its occupier is crucial to realism about places and times, as is a distance relation. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: He is objecting to Lewis's modal realism. I'm not fully convinced. It depends whether we are discussing real ontology or conceptual space. In the latter I see no difference between times and possible worlds. In ontology, a 'time' is weird. |
| 12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
| Full Idea: The main objection to realism about worlds is from epistemology. Knowledge of properties of objects requires experience of these objects, which must be within the range of our sensory faculties, but only concrete actual objects achieve that. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: This pinpoints my dislike of the whole possible worlds framework, ontologically speaking. I seem to be an actualist. I take possibilities to be inferences to the best explanation from the powers we know of in the actual world. We experience potentiality. |
| 12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
| Full Idea: Someone impressed by the parallel between tense and modal operators ...might suggest that just as we can speak of places and times forming their own manifolds or spaces, so we can say that worlds are the points of logical space. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 4.2) | |
| A reaction: I particularly like the notion of worlds being "points of logical space", and am inclined to remove it from this context and embrace it as the correct way to understand possible worlds. We must understand logical or conceptual space. |
| 12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
| Full Idea: An elucidation of transworld identity can be regarded as an elucidation of the boundaries of possibility for ordinary things. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: I presume that if we don't search for some such criterion, we just have to face the possibility that Aristotle could have been a poached egg in some possible world. To know the bounds of possibility, study the powers of actual objects. |
| 12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
| Full Idea: The motivation for investigating individual essences should be obvious, since if every object has such an essence, the problem of elucidating transworld identity can be solved. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 5.1) | |
| A reaction: It is important that, if necessary, the identities be 'individual', and not just generic, by sortal, or natural kind. We want to reason about (and explain) truths at the fine-grained level of the individual, not just at the broad level of generalisation. |
| 12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
| Full Idea: The outstanding technical objection to counterpart-theoretic semantics concerns its handling of the logic of identity. In quantified S5 (the orthodox semantics) a = b → □(a = b) is valid, but 'a' must not attach to two objects. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 3.5) |
| 12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
| Full Idea: Haecceitism attributes to each individual a primitive identity or thisness, as opposed to the sort of essentialism that gives non-trivial conditions sufficient for transworld identity. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 6.6) | |
| A reaction: 'Haecceitism' is the doctrine that things have primitive identity. A 'haecceity' is a postulated property which actually does the job. The key point of the view is that whatever it is is 'primitive', and not complex, or analysable. I don't believe it. |
| 12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |
| Full Idea: The natural response to an unreasonable hypothesis of possibility for an object x, that in such a state of affairs it would not be x which satisfies the conditions, is evidence that we do possess concepts of thisness for individuals. | |
| From: Graeme Forbes (The Metaphysics of Modality [1985], 9.4) | |
| A reaction: We may have a 'concept' of thisness, but we needn't be committed to the 'existence' of a thisness. There is a fairly universal intuition that cessation of existence of an entity when it starts to change can be a very vague matter. |
| 9128 | It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen] |
| Full Idea: The primary bearer of apriority is the propositional attitude (believing, knowing, guessing and so on) rather than the proposition itself. A proposition could be a priori to homo sapiens but a posteriori to Neandethals. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3) | |
| A reaction: A putative supreme being is quite useful here, who might even see the necessity of Arsenal beating Manchester United next Saturday. Unlike infants, adults know a priori that square pegs won't fit round holes. |
| 9130 | Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen] |
| Full Idea: Every attribution of apriority to a proposition is tacitly an attribution of a cognitive ability to some thinker. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3) | |
| A reaction: The ability would include a range of background knowledge, as well as a sheer power of intellect. If you know all of Euclid's theorems, you will spot facts about geometrical figues quicker than me. His point is important. |
| 9118 | The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen] |
| Full Idea: The bands of colour in a colour spectrum do not correspond to objective discontinuities in light wavelengths. These apparently external bands arise from our biology rather than simple physics. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], Intro) | |
| A reaction: If any more arguments are needed to endorse the fact that some qualities are clearly secondary (and, to my amazement, such arguments seem to be very much needed), I would take this to be one of the final conclusive pieces of evidence. |
| 9124 | We are unable to perceive a nose (on the back of a mask) as concave [Sorensen] |
| Full Idea: The human perceptual system appears unable to represent a nose as concave rather than convex. If you look at the concave side of a mask, you see the features as convex. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 4.3) | |
| A reaction: I don't think that is quite true. You wouldn't put a mask on if you thought it was convex. It is usually when seen at a distance with strong cross-lighting that the effect emerges. Nevertheless, it is an important point. |
| 9126 | Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen] |
| Full Idea: Bayesians demonstrate that a self-correcting agent can build an imposing edifice of near-certain knowledge from numerous beliefs that are only slightly more probable than not. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 6.1) | |
| A reaction: This strikes me as highly significant for the coherence account of justification, even if one is sceptical about the arithmetical approach to belief of Bayesianism. It seems obvious that lots of quite likely facts build towards certainty, Watson. |
| 9121 | Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen] |
| Full Idea: Philosophers tend to associate illusions with skepticism. But since illusions are signs of modular construction, they are actually reason for scientific hope. Illusions have been very useful in helping us to understand vision. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 1.4) | |
| A reaction: This is a nice reversal of the usual view. If I see double, it reveals to me that my eyes are not aligned properly. Anyone led to scepticism by illusions should pay more attention to themselves, and less to the reality they hope to know directly. |
| 9134 | The negation of a meaningful sentence must itself be meaningful [Sorensen] |
| Full Idea: The negation of any meaningful sentence must itself be meaningful. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 8.1) | |
| A reaction: Nice. Compare 'there is another prime number beyond the highest one we have found' with its negation. The first seems verifiable in principle, but the second one doesn't. So the verificationist must deny Sorensen's idea? |
| 9133 | Propositions are what settle problems of ambiguity in sentences [Sorensen] |
| Full Idea: Propositions play the role of dis-ambiguators; they are the things between which utterances are ambiguous. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 7.7) | |
| A reaction: I have become a great fan of propositions, and I think this is one of the key reasons for believing in them. The proposition is what we attempt to pin down when asked 'what exactly did you mean by what you just said?' |
| 9129 | I can buy any litre of water, but not every litre of water [Sorensen] |
| Full Idea: I am entitled to buy any litre of water, but I am not entitled to buy every litre of water. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 6.3) | |
| A reaction: A decent social system must somehow draw a line between buying up all the water and buying up all the paintings of Vermeer. Even the latter seems wicked, but it is hard to pin down the reason. |
| 9122 | God cannot experience unwanted pain, so God cannot understand human beings [Sorensen] |
| Full Idea: Theologians worry that God may be an alien being. God cannot feel pain since pain is endured against one's will. God is all powerful and suffers nothing against His Will. To understand pain, one must experience pain. So God's power walls him off from us. | |
| From: Roy Sorensen (Vagueness and Contradiction [2001], 3.2) | |
| A reaction: I can't think of a good theological reply to this. God, and Jesus too (presumably), can only experience pain if they volunteer for it. It is inconceivable that they could be desperate for it to stop, but were unable to achieve that. |