NTU Philosophical Review:
Comments on entailment, paradoxes of implication, and Lewy's argument
rights & permissions
| cited by
Lewy's accepted logical principle(5) If (P and Q) entails R, P contingent, R purely contingent, and Q necessary, then P entails R;and his argument for(*) A contingent proposition entails a necessary proposition; are formally analyzed in the light of S4 and E.We demonstrate that his argument holds in 84 but does not hold in any(well-defined) entailment logic and in any E-lagic E, R, EM, and RM.Five questions are remained far rnore detailed and seminal analysis.