12 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 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] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 8443 | Mereological essentialism says an entity must have exactly those parts [Sosa] |
| 8442 | What law would explain causation in the case of causing a table to come into existence? [Sosa] |
| 8445 | The necessitated is not always a result or consequence of the necessitator [Sosa] |
| 8444 | Where is the necessary causation in the three people being tall making everybody tall? [Sosa] |