Combining Texts

Ideas for 'Science and Method', 'Modal Logics and Philosophy' and 'The Truth in Relativism'

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

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
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.