14 ideas
| 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] |
| 8250 | So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 8719 | There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend] |
| 8971 | There are objects of which it is true that there are no such objects [Meinong] |
| 8718 | Meinong says an object need not exist, but must only have properties [Meinong, by Friend] |
| 7756 | Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan] |
| 15781 | The objects of knowledge are far more numerous than objects which exist [Meinong] |