display all the ideas for this combination of texts
5 ideas
| 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. |
| 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) |
| 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. |
| 21565 | Richard's puzzle uses the notion of 'definition' - but that cannot be defined [Russell] |
| Full Idea: In Richard's puzzle, we use the notion of 'definition', and this, oddly enough, is not definable, and is indeed not a definite notion at all. | |
| From: Bertrand Russell (On 'Insolubilia' and their solution [1906], p.209) | |
| A reaction: The background for this claim is his type theory, which renders certain forms of circular reference meaningless. |
| 21564 | Vicious Circle: what involves ALL must not be one of those ALL [Russell] |
| Full Idea: The 'vicious-circle principle' says 'whatever involves an apparent variable must not be among the possible values of that variable', or (less exactly) 'whatever involves ALL must not be one of ALL which it involves. | |
| From: Bertrand Russell (On 'Insolubilia' and their solution [1906], p.204) | |
| A reaction: He offers this as a parallel to his 'no classes' principle. That referred to classes, but this refers to propositions, and specifically the Liar Paradox (which he calls the 'Epimenedes'). |