31 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] |
| 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] |
| 18347 | Deflationist truth is an infinitely disjunctive property [Rami] |
| 9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
| 9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
| 9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
| 18350 | Truth-maker theorists should probably reject the converse Barcan formula [Rami] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 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] |
| 19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
| 19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
| 19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
| 19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
| 19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
| 19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |