20 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. |
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| Full Idea: Modal logic is not an extensional language. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8) | |
| A reaction: [I record this for investigation. Possible worlds seem to contain objects] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one. |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true. | |
| From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
| A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to? |
| 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. |
| 6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
| Full Idea: The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976). |
| 6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
| Full Idea: The liar paradox of Eubulides says 'if you state that you are lying, and state the truth, then you are lying'. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.95) Don't say it, then. These kind of paradoxes of self-reference eventually lead to Russell's 'barber' paradox and his Theory of Types. |
| 6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
| Full Idea: The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap. | |
| From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
| A reaction: (also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213). |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
| Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
| From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
| A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
| 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] |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
| From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
| A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
| 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. |