The word IF has been interpreted in various ways by philosophers. This essay considers some of the problems.
www.c-parr.freeserve.co.uk/hcp/if.htm
Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Relevance Logic Relevance logics are non-classical logics. Called relevance logics in North America and relevant logics in Britain and Australasia, these systems developed as attempts to avoid the paradoxes of material and strict implication. Among the ...
plato.stanford.edu/entries/logic-relevance
Paradoxes of Material Implication Peter Suber, Philosophy Department, Earlham College There are many kinds of implication. We may use the if..., then... construction to indicate definitional, causal, or logical relations. Even among the logical relations that could go under the name of implication, not all are equivalent. We name the kind we use material implication . Material implication is ...
www.earlham.edu/~peters/courses/log/mat-imp.htm
Logic and Philosophy of Logic Faithful and Fruitful Logic John Howes howes@melbourne.Dialix.oz.au ABSTRACT: Appropriate for a conference relating philosophy and education, we seek ways more faithful than the truth-functional (TF) hook to understand and represent that ordinary-language conditional which we use in, e.g., modus ponens, and that conditionals remote and counterfactual counterparts, ...
www.bu.edu/wcp/Papers/Logi/LogiHowe.htm
Peirce and Philo* Jay Zeman Charles Peirce, logician and philosopher, contributed notably to the theory of the conditional. Actually, from his perspective and in his terminology it is better, as we shall see, to link his work on the conditional with his discussions of the hypothetical proposition. Peirce spoke often of the consequentia de inesse, 1 the concept of which is intimately linked with ...
www.clas.ufl.edu/users/jzeman/peirce_and_philo.htm