10 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] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
5998 | From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ] |
20832 | The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus] |
14304 | Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus] |
6024 | Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |