Combining Texts

Ideas for 'fragments/reports', 'Oldest System Prog. of German Idealism' and 'Modal Logics and Philosophy'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / B. Logical Consequence / 7. Strict Implication

7789	Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle]
	Full Idea: Necessary implication is often called 'strict implication'. The sort of strict implication found in valid arguments, where the conjunction of the premises necessarily implies the conclusion, is often called 'entailment'.
	From: Rod Girle (Modal Logics and Philosophy [2000], 1.2)
	A reaction: These are basic concept for all logic.

5. Theory of Logic / H. Proof Systems / 5. Tableau Proof

7790	If an argument is invalid, a truth tree will indicate a counter-example [Girle]
	Full Idea: The truth trees method for establishing the validity of arguments and formulas is easy to use, and has the advantage that if an argument or formula is not valid, then a counter-example can be retrieved from the tree.
	From: Rod Girle (Modal Logics and Philosophy [2000], 1.4)