25 ideas
19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
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] |
1507 | We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea] |
5109 | The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle] |
1512 | Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea] |
1508 | Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea] |
19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
19265 | Can you possess objective understanding without realising it? [Vaidya] |
19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |
454 | If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea] |
455 | That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea] |
1511 | If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius] |