29 ideas
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
15435 | If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis] |
15451 | I assume there could be natural properties that are not instantiated in our world [Lewis] |
15433 | Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis] |
15436 | Universals are meant to give an account of resemblance [Lewis] |
15438 | We can add a primitive natural/unnatural distinction to class nominalism [Lewis] |
15448 | The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis] |
15449 | If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis] |
15439 | The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis] |
15441 | The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis] |
15445 | Butane and Isobutane have the same atoms, but different structures [Lewis] |
15434 | Structural universals have a necessary connection to the universals forming its parts [Lewis] |
15437 | We can't get rid of structural universals if there are no simple universals [Lewis] |
15446 | Composition is not just making new things from old; there are too many counterexamples [Lewis] |
15440 | A whole is distinct from its parts, but is not a further addition in ontology [Lewis] |
15444 | Different things (a toy house and toy car) can be made of the same parts at different times [Lewis] |
10486 | If we are rebuilding our ship at sea, we should jettison some cargo [Boolos on Neurath] |
8485 | We must always rebuild our ship on the open sea; we can't reconstruct it properly in dry-dock [Neurath] |
15450 | Maybe abstraction is just mereological subtraction [Lewis] |
15443 | Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis] |