29 ideas
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] |
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
18350 | Truth-maker theorists should probably reject the converse Barcan formula [Rami] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
18336 | Internal relations depend either on the existence of the relata, or on their properties [Rami] |
7768 | The truth conditions theory sees meaning as representation [Lycan] |
7766 | Meaning must be known before we can consider verification [Lycan] |
7763 | It is hard to state a rule of use for a proper name [Lycan] |
7764 | Could I successfully use an expression, without actually understanding it? [Lycan] |
7770 | Truth conditions will come out the same for sentences with 'renate' or 'cordate' [Lycan] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
7773 | A sentence's truth conditions is the set of possible worlds in which the sentence is true [Lycan] |
7774 | Possible worlds explain aspects of meaning neatly - entailment, for example, is the subset relation [Lycan] |