9 ideas
17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
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] |
17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |