display all the ideas for this combination of texts
1 idea
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. |