display all the ideas for this combination of texts
2 ideas
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. |
15328 | A theory is 'non-conservative' if it facilitates new mathematical proofs [Horsten] |
Full Idea: A theory is 'non-conservative' if it allows us to prove mathematical facts that go beyond what the background mathematical theory can prove on its own. | |
From: Leon Horsten (The Tarskian Turn [2011], 01.4) | |
A reaction: This is an instance of the relationship with mathematics being used as the test case for explorations of logic. It is a standard research method, because it is so precise, but should not be mistaken for the last word about a theory. |