🚀 go-pugleaf

In article <Bxwzqs.H8L@unx.sas.com> sasghm@theseus.unx.sas.com (Gary Merrill)
 writes:

   >Perhaps another way of putting this is that the usual truth-functional
   >interpretation of the material conditional is about the weakest
   >interpretation that satisfies all the "usual" rules of inference.

  "Material conditional" is a bit misleading here, since the rules I
mentioned are all intuitionistically valid. That is, the inference of
"if A then B" from "not A" is not dependent on any equivalence of
"if A then B" with "not A or B", which is often taken to be required by
the "material conditional".