display all the ideas for this combination of texts
3 ideas
| 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. |
| 8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
| Full Idea: Intuitionists in mathematics deny excluded middle, because it is symptomatic of faith in the transcendent existence of mathematical objects and/or the truth of mathematical statements. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2) | |
| A reaction: There are other problems with excluded middle, such as vagueness, but on the whole I, as a card-carrying 'realist', am committed to the law of excluded middle. |
| 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) |