Combining Texts

Ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Db (ideas)' and 'On Body and Force, Against the Cartesians'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic

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.

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic

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.

5. Theory of Logic / L. Paradox / 1. Paradox

6516	Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG]
	Full Idea: The Monty Hall Dilemma: Three boxes, one with a big prize; pick one to open. Monty Hall then opens one of the other two, which is empty. You may, if you wish, switch from your box to the other unopened box. Should you?
	From: PG (Db (ideas) [2031])
	A reaction: The other two boxes, as a pair, are more likely contain the prize than your box. Monty Hall has eliminated one of them for you, so you should choose the other one. Your intuition that the two remaining boxes are equal is incorrect!