6 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] |
| Full Idea: A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: In the interpreted version of the logic, 1 and 0 would become T (true) and F (false). The procedure seems to be called nowadays a 'valuation'. |
| 9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
| Full Idea: The Law of Transposition says that (P→Q) → (¬Q→¬P). | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: That is, if the consequent (Q) of a conditional is false, then the antecedent (P) must have been false. |
| 9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
| Full Idea: An axiomatic system is most naturally consistent iff no thesis is the negation of another thesis. It can be shown that every axiom is valid, that the transformation rules are validity-preserving, and if a wff α is valid, then ¬α is not valid. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: [The labels 'soundness' and 'consistency' seem interchangeable here, with the former nowadays preferred] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| Full Idea: To say that an axiom system is 'weakly complete' is to say that every valid wff of the system is derivable as a thesis. ..The system is 'strongly complete' if it cannot have any more theses than it has without falling into inconsistency. | |
| From: GE Hughes/M Cresswell (An Introduction to Modal Logic [1968], Ch.1) | |
| A reaction: [They go on to say that Propositional Logic is strongly complete, but Modal Logic is not] |
| 7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |
| Full Idea: Broad, one of the most important modern defenders of the representative theory of perception, explicitly rejects the inferential component of the theory. | |
| From: report of C.D. Broad (Mind and Its Place in Nature [1925]) by Barry Maund - Perception Ch.1 | |
| A reaction: Since the supposed inferences happen much too quickly to be conscious, it is hard to see how we could distinguish an inference from an interpretation mechanism. Personally I interpret things long before the question of truth arises. |
| 6011 | There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara] |
| Full Idea: Numenius argues that material reality depends on intelligible being, which depends on a first god - the Good - which is difficult to grasp, but which inspires a second god to imitate it, turning to matter and organizing it as the world. | |
| From: report of Numenius (fragments/reports [c.160]) by Dominic J. O'Meara - Numenius | |
| A reaction: The interaction problem comes either between the two gods, or between the second god and the world. The argument may have failed to catch on for long when people scented an infinite regress lurking in the middle of it. |