15 ideas
18696 | The vagueness of truthmaker claims makes it easier to run anti-realist arguments [Button] |
Full Idea: The sheer lack of structure demanded by truthmaker theorists means that it is easier to run model-theoretic arguments against them than against correspondence theorists. | |
From: Tim Button (The Limits of Reason [2013], 02.3) | |
A reaction: Truthmaking is a vague relation, where correspondence is fairly specific. Model arguments say you can keep the sentences steady, but shuffle around what they refer to. |
18701 | The coherence theory says truth is coherence of thoughts, and not about objects [Button] |
Full Idea: According to the coherence theory of truth, for our thoughts to be true is not for them to be about objects, but only for them to cohere with one another. This is rather terrifying. | |
From: Tim Button (The Limits of Reason [2013], 14.2) | |
A reaction: Davidson espoused this view in 1983, but then gave it up. It strikes me as either a daft view of truth, or a denial of truth. The coherence theory of justification, on the other hand, is correct. |
18694 | Permutation Theorem: any theory with a decent model has lots of models [Button] |
Full Idea: The Permutation Theorem says that any theory with a non-trivial model has many distinct isomorphic models with the same domain. | |
From: Tim Button (The Limits of Reason [2013], 02.1) | |
A reaction: This may be the most significant claim of model theory, since Putnam has erected an argument for anti-realism on it. See the ideas of Tim Button. |
18692 | Realists believe in independent objects, correspondence, and fallibility of all theories [Button] |
Full Idea: External realists have three principles: Independence - the world is objects that are independent of mind, language and theory; Correspondence - truth involves some correspondence of thoughts and things; Cartesian - an ideal theory might be false. | |
From: Tim Button (The Limits of Reason [2013], 01.1-3) | |
A reaction: [compressed; he cites Descartes's Demon for the third] Button is setting these up as targets. I subscribe to all three, in some form or other. Of course, as a theory approaches the success implying it is 'ideal', it becomes highly likely to be accurate. |
18693 | Indeterminacy arguments say if a theory can be made true, it has multiple versions [Button] |
Full Idea: Indeterminacy arguments aim to show that if there is any way to make a theory true, then there are many ways to do so. | |
From: Tim Button (The Limits of Reason [2013], 02.1) | |
A reaction: Button says the simplest indeterminacy argument is Putnam's Permutation Argument - that you can shuffle the objects in a formal model, without affecting truth. But do we belief that metaphysics can be settled in this sort of way? |
18695 | An ideal theory can't be wholly false, because its consistency implies a true model [Button] |
Full Idea: If realists think an ideal theory could be false, then the theory is consistent, and hence complete, and hence finitely modellable, and hence it is guaranteed that there is some way to make it true. | |
From: Tim Button (The Limits of Reason [2013], 02.2) | |
A reaction: [compressed] This challenges the realists' supposed claim that even the most ideal of theories could possibly be false. Presumably for a theory to be 'ideal' is not all-or-nothing. Are we capable of creating a fully ideal theory? [Löwenheim-Skolem] |
13952 | Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R] |
Full Idea: Essentialism, as I shall understand it, is the doctrine that among the attributes of a thing some are essential, others merely accidental. Its essential attributes are those it has necessarily, those it could not have lacked. | |
From: Richard Cartwright (Some Remarks on Essentialism [1968], p.149) | |
A reaction: The problem with this, which Cartwright does not address, is that trivial and gerrymandered properties (such as having self-identity, or being 'such that 2+2=4') seem to be necessarily, but don't seem to constitute the essence of a thing. |
13954 | The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R] |
Full Idea: I see no reason for thinking essentialism unintelligible, but a chief perplexity is the obscurity of the grounds on which ratings of attributes as essential or accidental are to be made. | |
From: Richard Cartwright (Some Remarks on Essentialism [1968], p.158) | |
A reaction: In that case some of us younger philosophers will have to roll up our sleeves and tease out the grounds for essentialism, starting with Aristotle and Leibniz, and ending with the successes of modern science. |
13955 | Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R] |
Full Idea: Apparently those who think essentialism unintelligible see support for their position in the doctrine that necessary truths are all analytic. Only relative to some mode of designation does it make sense to speak of an object as necessarily this or that. | |
From: Richard Cartwright (Some Remarks on Essentialism [1968], p.158) | |
A reaction: He has in mind Quine and his mathematician-cyclist (Idea 8482). Personally I have no problems with the example. No one is essentially a cyclist - that isn't what essence is. Two-legged people can be cyclists. |
13953 | An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R] |
Full Idea: For an ostension to be successful it is surely not necessary that I gather what sort of object it is you have indicated, such as being a horse or a zebra. I may even gather which thing you have indicated without knowing that it is a mammal or even alive. | |
From: Richard Cartwright (Some Remarks on Essentialism [1968], p.157) | |
A reaction: This nicely articulates the objection I have always felt to Geach's relative identity. 'Oh my God, what the hell is THAT???' is probably going to be a successful act of verbal reference, even while explicitly denying all knowledge of sortals. |
18700 | Cartesian scepticism doubts what is true; Kantian scepticism doubts that it is sayable [Button] |
Full Idea: Cartesian scepticism agonises over whether our beliefs are true or false, whereas Kantian scepticism agonises over how it is even possible for beliefs to be true or false. | |
From: Tim Button (The Limits of Reason [2013], 07.2) | |
A reaction: Kant's question is, roughly, 'how can our thoughts succeed in being about the world?' Kantian scepticism is the more drastic, and looks vulnerable to a turning of the tables, but asking how Kantian worries can even be expressed. |
18698 | Predictions give the 'content' of theories, which can then be 'equivalent' or 'adequate' [Button] |
Full Idea: The empirical 'content' of a theory is all its observable predictions. Two theories with the same predictions are empirically 'equivalent'. A theory which gets it all right at this level is empirically 'adequate'. | |
From: Tim Button (The Limits of Reason [2013], 05.1) |
18697 | A sentence's truth conditions are all the situations where it would be true [Button] |
Full Idea: A sentence's truth conditions comprise an exhaustive list of the situations in which that sentence would be true. | |
From: Tim Button (The Limits of Reason [2013], 03.4) | |
A reaction: So to know its meaning you must know those conditions? Compare 'my cat is licking my finger' with 'dramatic events are happening in Ethiopia'. It should take an awful long time to grasp the second sentence. |
7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |