display all the ideas for this combination of texts
1 idea
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
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. | |
From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
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. |