Talk:Strict conditional

The article stated: "In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic".

While that is one way to view it, it is contrary to the history.

C. I. Lewis' original modal logic systems had Possibly, not Necessity, as basic.

Lewis (like J. Barkley Rosser) defined material implication [ p implies q ] as ~(p&~q). (It is not the case that p is true and q otherwise). And he defined strict implication as ~M(p&~q) (It is not possible for p to be true and q otherwise).

So... I did a reword.

-- [[User:Nahaj] Nahaj 2005-08-25

Is the moon made of cheese?

I think that the example shown in this paper is slithgly misleading. The statement “the moon is made of cheese” used as the antecedent of all conditionals is typically false in all possible worlds that many are inclined to consider. While some people might believe that the moon is made of blue cheese, still this choice obscures the fact that strict conditionals can be used for facts that are assumed false but that would be more believable. For example, that the cervus elaphus canadensis is extinct is currently believed true, but yet one can consider the contrary as an actual possibility. I think that changing the antecedent to something that can be possible or not would improve the article. Suggestions? Comments? Paolo Liberatore (Talk) 18:58, 28 September 2005 (UTC)