more from this thinker     |     more from this text

Single Idea 19121

[filed under theme 8. Modes of Existence / B. Properties / 12. Denial of Properties ]

Full Idea

One might say that 'x is a poor philosopher' is true of Tom instead of saying that Tom has the property of being a poor philosopher. We quantify over formulas instead of over definable properties, and thus reduce properties to truth.

Gist of Idea

We can reduce properties to true formulas

Source

Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1)

Book Ref

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.2

A Reaction

[compressed] This stuff is difficult (because the axioms are complex and hard to compare), but I am excited (yes!) about this idea. Their point is that you need a truth predicate within the object language for this, which disquotational truth forbids.

Related Idea

Idea 19122 Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh]

The 18 ideas with the same theme [rejection of the category of properties]:

16621 Accidents are not parts of bodies (like blood in a cloth); they have accidents as things have a size [Hobbes]
4546 We realise that properties are sensations of the feeling subject, not part of the thing [Nietzsche]
6063 Russell can't attribute existence to properties [McGinn on Russell]
18439 Because things can share attributes, we cannot individuate attributes clearly [Quine]
9017 Predicates are not names; predicates are the other parties to predication [Quine]
7925 There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine]
10295 Quine suggests that properties can be replaced with extensional entities like sets [Quine, by Shapiro]
3322 Quine says that if second-order logic is to quantify over properties, that can be done in first-order predicate logic [Quine, by Benardete,JA]
6078 Quine brought classes into semantics to get rid of properties [Quine, by McGinn]
8479 Don't analyse 'red is a colour' as involving properties. Say 'all red things are coloured things' [Quine, by Orenstein]
7618 Very nominalistic philosophers deny properties, though scientists accept them [Putnam]
5456 Redness is not a property as it is not mind-independent [Ellis]
8959 Field presumes properties can be eliminated from science [Field,H, by Szabó]
3906 If possible worlds are needed to define properties, maybe we should abandon properties [Scruton]
4029 Nominalists ask why we should postulate properties at all [Mellor/Oliver]
16263 Fundamental physics seems to suggest there are no such things as properties [Maudlin]
7965 Does the knowledge of each property require an infinity of accompanying knowledge? [Macdonald,C]
19121 We can reduce properties to true formulas [Halbach/Leigh]