26 ideas
22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
18335 | There are five problems which the truth-maker theory might solve [Rami] |
18334 | The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami] |
18339 | The truth-making relation can be one-to-one, or many-to-many [Rami] |
18333 | Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami] |
18342 | Most theorists say that truth-makers necessitate their truths [Rami] |
18340 | It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami] |
18341 | Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami] |
18345 | 'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami] |
18346 | 'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami] |
18343 | Maybe a truth-maker also works for the entailments of the given truth [Rami] |
18338 | Truth-making is usually internalist, but the correspondence theory is externalist [Rami] |
18337 | Correspondence theories assume that truth is a representation relation [Rami] |
18347 | Deflationist truth is an infinitely disjunctive property [Rami] |
22435 | The logician's '→' does not mean the English if-then [Quine] |
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
18350 | Truth-maker theorists should probably reject the converse Barcan formula [Rami] |
22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
18336 | Internal relations depend either on the existence of the relata, or on their properties [Rami] |
22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |