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] |
13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
9295 | Not only substances have attributes; events, actions, states and qualities can have them [Teichmann] |
9293 | Body-spirit interaction ought to result in losses and increases of energy in the material world [Teichmann] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
9292 | The Soul has no particular capacity (in the way thinking belongs to the mind) [Teichmann] |
9294 | No individuating marks distinguish between Souls [Teichmann] |