13 ideas
18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
19318 | A 'sequence' of objects is an order set of them [Kirkham] |
19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
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] |
19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
20752 | For man, being is not what he is, but what he is going to be [Ortega y Gassett] |
19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
20756 | Instead of having a nature, man only has a history [Ortega y Gassett] |