30 ideas
14018 | Is Sufficient Reason self-refuting (no reason to accept it!), or is it a legitimate explanatory tool? [Bourne] |
Full Idea: Mackie (1983) dismisses the Principle of Sufficient Reason quickly, arguing that it is self-refuting: there is no sufficient reason to accept it. However, a principle is not invalidated by not applying to itself; it can be a powerful heuristic tool. | |
From: Craig Bourne (A Future for Presentism [2006], 6.VI) | |
A reaction: If God was entirely rational, and created everything, that would be a sufficient reason to accept the principle. You would never, though, get to the reason why God was entirely rational. Something will always elude the principle. |
6334 | The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich] |
Full Idea: We must distinguish the function of the truth predicate, what it is to understand 'true', the meaning of 'true', grasping the concept of truth, and a theory of truth itself. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.8) | |
A reaction: It makes you feel tired to think about it. Presumably every other philosophical analysis has to do this many jobs. Clearly Horwich wants to propose one account which will do all five jobs. Personally I don't believe these five are really distinct. |
6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
Full Idea: One correspondence theory (e.g. early Wittgenstein) concerns representations and facts; alternatively (Tarski, Davidson) the category of fact is eschewed, and the truth of sentences or propositions is built out of relations of reference and satisfaction. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.7.35) | |
A reaction: A helpful distinction. Clearly the notion of a 'fact' is an elusive one ("how many facts are there in this room?"), so it seems quite promising to say that the parts of the sentence correspond, rather than the whole thing. |
6332 | The common-sense theory of correspondence has never been worked out satisfactorily [Horwich] |
Full Idea: The common-sense notion that truth is a kind of 'correspondence with the facts' has never been worked out to anyone's satisfaction. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.1) | |
A reaction: I've put this in to criticise it. Philosophy can't work by rejecting theories which can't be 'worked out', and accepting theories (like Tarski's) because they can be 'worked out'. All our theories will end up minimal, and defiant of common sense. |
6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
Full Idea: The redundancy theory is unable to account for the inference from "Oscar's claim is true" and "Oscar's claim is that snow is white" to "the proposition 'that snow is white' is true", and hence to "snow is white". | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.9) | |
A reaction: Earlier objections appealed to the fact that the word 'true' seemed to have a use in ordinary speech, but this seems a much stronger one. In general, showing the role of a term in making inferences pins it down better than ordinary speech does. |
14008 | The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne] |
Full Idea: The problem with the redundancy theory of truth is that it conflates the metalinguistic notion of bivalence with a theorem of the object language, namely the law of excluded middle. | |
From: Craig Bourne (A Future for Presentism [2006], 3.III Pr3) |
6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
Full Idea: All uses of the truth predicate are explained by the hypothesis that its entire raison d'être is to help us say things about unarticulated propositions, and in particular to express generalisations about them. | |
From: Paul Horwich (Truth (2nd edn) [1990], Concl) | |
A reaction: This certain is a very deflationary notion of truth. Articulated propositions are considered to stand on their own two feet, without need of 'is true'. He makes truth sound like a language game, though. Personally I prefer to mention reality. |
6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
Full Idea: It has been suggested that no deflationary conception of truth could do justice to the fact that we aim for the truth. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.11) | |
A reaction: (He mentions Dummett and Wright). People don't only aim for it - they become very idealistic about it, and sometimes die for it. Personally I think that any study of truth should use as its example police investigations, not philosophical analysis. |
23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
Full Idea: Horwich's brave and striking move is to make the primary bearers of truth propositions - not exactly a new idea in itself, but new in the context of a serious attempt to defend deflationism. | |
From: report of Paul Horwich (Truth (2nd edn) [1990]) by Donald Davidson - The Folly of Trying to Define Truth p.30 | |
A reaction: Davidson rejects propositions because they can't be individuated, but I totally accept propositions. I'm puzzled why this would produce a deflationist theory, since I think it points to a much more robust view. |
6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
Full Idea: According to the deflationary picture, believing that a theory is true is a trivial step beyond believing the theory. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.2.17) | |
A reaction: What has gone wrong with this picture is that you cannot (it seems to me) give a decent account of belief without mentioning truth. To believe a proposition is to hold it true. Hume's emotional account (Idea 2208) makes belief bewildering. |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
Full Idea: The logical forms of the sentences in a language are those aspects of their meanings that determine the relations of deductive entailment holding amongst them. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.30) | |
A reaction: A helpful definition. Not all sentences, therefore, need to have a 'logical form'. Is the logical form the same as the underlying proposition. The two must converge, given that propositions lack the ambiguity that is often found in sentences. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
14010 | All relations between spatio-temporal objects are either spatio-temporal, or causal [Bourne] |
Full Idea: If there are any genuine relations at all between spatio-temporal objects, then they are all either spatio-temporal or causal. | |
From: Craig Bourne (A Future for Presentism [2006], 3.III Pr4) | |
A reaction: This sounds too easy, but I have wracked my brains for counterexamples and failed to find any. How about qualitative relations? |
14009 | It is a necessary condition for the existence of relations that both of the relata exist [Bourne] |
Full Idea: It is widely held, and I think correctly so, that a necessary condition for the existence of relations is that both of the relata exist. | |
From: Craig Bourne (A Future for Presentism [2006], 3.III Pr4) | |
A reaction: This is either trivial or false. Relations in the actual world self-evidently relate components of it. But I seem able to revere Sherlock Holmes, and speculate about relations between possible entities. |
6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
Full Idea: Someone who does not understand German and is told 'Schnee ist weiss' is true if frozen H2O is white, does not understand the German sentence, even though he knows the truth-conditions. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.5.22 n1) | |
A reaction: This sounds like a powerful objection to Davidson's well-known claim that meaning is truth-conditions. Horwich likes the idea that meaning is use, but I think a similar objection arises - you can use a sentence well without knowing its meaning. |
6340 | There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich] |
Full Idea: There are pure, Fregean, abstract, de dicto propositions, in which a compositional structure is filled only with senses; there are pure, Russellian, concrete, de re propositions, which are filled with referents; and there are mixed propositions. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.31) | |
A reaction: Once Frege has distinguished sense from reference, this distinction of propositions is likely to follow. The current debate over the internalist and externalist accounts of concepts seems to continue the debate. A mixed strategy sounds good. |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
6341 | Right translation is a mapping of languages which preserves basic patterns of usage [Horwich] |
Full Idea: The right translation between words of two languages is the mapping that preserves basic patterns of usage - where usage is characterised non-semantically, in terms of circumstances of application, assertibility conditions and inferential role. | |
From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.32) | |
A reaction: It still strikes me that if you ask why a piece of language is used in a certain way, you find yourself facing something deeper about meaning than mere usage. Horwich cites Wittgenstein and Quine in his support. Could a machine pass his test? |
14016 | The idea of simultaneity in Special Relativity is full of verificationist assumptions [Bourne] |
Full Idea: Special Relativity, with its definition of simultaneity, is shot through with verificationist assumptions. | |
From: Craig Bourne (A Future for Presentism [2006], 6.IIc) | |
A reaction: [He credits Sklar with this] I love hearing such points made, because all my instincts have rebelled against Einstein's story, even after I have been repeatedly told how stupid I am, and how I should study more maths etc. |
14019 | Relativity denies simultaneity, so it needs past, present and future (unlike Presentism) [Bourne] |
Full Idea: Special Relativity denies absolute simultaneity, and therefore requires a past and a future, as well as a present. The Presentist, however, only requires the present. | |
From: Craig Bourne (A Future for Presentism [2006], 6.VII) | |
A reaction: It is nice to accuse Relativity of ontological extravagence. When it 'requires' past and future, that may not be a massive commitment, since the whole theory is fairly operationalist, according to Putnam. |
14013 | Special Relativity allows an absolute past, future, elsewhere and simultaneity [Bourne] |
Full Idea: There is in special relativity a notion of 'absolute past', and of 'absolute future', and of 'absolute elsewhere', and of 'absolute simultaneity' (of events occurring at their space-time conjunction). | |
From: Craig Bourne (A Future for Presentism [2006], 5.III) | |
A reaction: [My summary of his paragraph] I am inclined to agree with Bourne that there is enough here to build some sort of notion of 'present' that will support the doctrine of Presentism. |
14015 | No-Futurists believe in past and present, but not future, and say the world grows as facts increase [Bourne] |
Full Idea: 'No-Futurists' believe in the real existence of the past and present but not the future, and hold that the world grows as more and more facts come into existence. | |
From: Craig Bourne (A Future for Presentism [2006], 6.IIb) | |
A reaction: [He cites Broad 1923 and Tooley 1997] My sympathies are with Presentism, but there seems not denying that past events fix truths in a way that future events don't. The unchangeability of past events seems to make them factual. |
14007 | How can presentists talk of 'earlier than', and distinguish past from future? [Bourne] |
Full Idea: Presentists have a difficulty with how they can help themselves to the notion of 'earlier than' without having to invoke real relata, and how presentism can distinguish the past from the future. | |
From: Craig Bourne (A Future for Presentism [2006], 2.IV) | |
A reaction: The obvious response is to infer the past from the present (fossils), and infer the future from the present (ticking bomb). But what is it that is being inferred, if the past and future are denied a priori? Tricky! |
14011 | Presentism seems to deny causation, because the cause and the effect can never coexist [Bourne] |
Full Idea: It seems that presentism cannot accommodate causation at all. In a true instance of 'c causes e', it seems to follow that both c and e exist, and it is widely accepted that c is earlier than e. But for presentists that means c and e can't coexist. | |
From: Craig Bourne (A Future for Presentism [2006], 4) | |
A reaction: A nice problem. Obviously if the flying ball smashed the window, we are left with only the effect existing - otherwise we could intercept the ball and prevent the disaster. To say this cause and this effect coexist would be even dafter than the problem. |
14017 | Since presentists treat the presentness of events as basic, simultaneity should be define by that means [Bourne] |
Full Idea: Since for presentism there is an ontologically significant and basic sense in which events are present, we should expect a definition of simultaneity in terms of presentness, rather than the other way round. | |
From: Craig Bourne (A Future for Presentism [2006], 6.IV) | |
A reaction: Love it. I don't see how you can even articulate questions about simultaneity if you don't already have a notion of presentness. What are the relata you are enquiring about? |
14003 | Time is tensed or tenseless; the latter says all times and objects are real, and there is no passage of time [Bourne] |
Full Idea: Theories of time are in two broad categories, the tenseless and the tensed theories. In tenseless theories, all times are equally real, as are all objects located at them, and there is no passage of time from future to present to past. It's the B-series. | |
From: Craig Bourne (A Future for Presentism [2006], Intro IIa) | |
A reaction: It might solve a few of the problems, but is highly counterintuitive. Presumably it makes the passage of time an illusion, and gives no account of how events 'happen', or of their direction, and it leaves causation out on a limb. I'm afraid not. |
14005 | B-series objects relate to each other; A-series objects relate to the present [Bourne] |
Full Idea: Objects in the B-series are earlier than, later than, or simultaneous with each other, whereas objects in the A-series are earlier than, later than or simultaneous with the present. | |
From: Craig Bourne (A Future for Presentism [2006], Intro IIb) | |
A reaction: Must we choose? Two past events relate to each other, but there is a further relation when 'now' falls between the events. If I must choose, I suppose I go for the A-series view. The B-series is a subsequent feat of imagination. McTaggart agreed. |
14006 | Time flows, past is fixed, future is open, future is feared but not past, we remember past, we plan future [Bourne] |
Full Idea: We say that time 'flows', that the past is 'fixed' but the future is 'open'; we only dread the future, but not the past; we remember the past but not the future; we plan for the future but not the past. | |
From: Craig Bourne (A Future for Presentism [2006], Intro III) | |
A reaction: These seem pretty overwhelming reasons for accepting an asymmetry between the past and the future. If you reject that, you seem to be mired in a multitude of contradictions. Your error theory is going to be massive. |