40 ideas
20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
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] |
18346 | 'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami] |
18345 | 'Truth supervenes on being' avoids entities as truth-makers for negative 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] |
9921 | 'True' is only occasionally useful, as in 'everything Fermat believed was true' [Burgess/Rosen] |
18347 | Deflationist truth is an infinitely disjunctive property [Rami] |
9924 | Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen] |
18350 | Truth-maker theorists should probably reject the converse Barcan formula [Rami] |
9933 | The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen] |
9928 | Mereology implies that acceptance of entities entails acceptance of conglomerates [Burgess/Rosen] |
9926 | A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen] |
9932 | The paradoxes no longer seem crucial in critiques of set theory [Burgess/Rosen] |
9923 | We should talk about possible existence, rather than actual existence, of numbers [Burgess/Rosen] |
9925 | Structuralism and nominalism are normally rivals, but might work together [Burgess/Rosen] |
9934 | Number words became nouns around the time of Plato [Burgess/Rosen] |
9918 | Abstract/concrete is a distinction of kind, not degree [Burgess/Rosen] |
9929 | Much of what science says about concrete entities is 'abstraction-laden' [Burgess/Rosen] |
9927 | Mathematics has ascended to higher and higher levels of abstraction [Burgess/Rosen] |
9930 | Abstraction is on a scale, of sets, to attributes, to type-formulas, to token-formulas [Burgess/Rosen] |
18336 | Internal relations depend either on the existence of the relata, or on their properties [Rami] |
10938 | The extremes of essentialism are that all properties are essential, or only very trivial ones [Rami] |
10940 | An 'individual essence' is possessed uniquely by a particular object [Rami] |
10939 | 'Sortal essentialism' says being a particular kind is what is essential [Rami] |
10934 | Unlosable properties are not the same as essential properties [Rami] |
10933 | Physical possibility is part of metaphysical possibility which is part of logical possibility [Rami] |
10932 | If it is possible 'for all I know' then it is 'epistemically possible' [Rami] |
6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
9919 | The old debate classified representations as abstract, not entities [Burgess/Rosen] |
9922 | If space is really just a force-field, then it is a physical entity [Burgess/Rosen] |
5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |