Abstract

It can be said that Formal Logic begun by studying an idealization of the statements ’if p, then q’, something coming from long ago in both Greek and Scholastic Philosophy. Nevertheless, only in the XX Century it arrived at a stage of formalization once in 1910 Russell introduced and identified the ’material conditional’ with the expresion ”not p or q”. In 1918, and from paradoxical conditionals like ”If the Moon is a cheese, it is a Lyon’s face”, Lewis critiziced the material conditional and introduced the so-called ’strict conditional’ as the modal necessity of the material one. In 1934, Huntington proved that both material and strict implications are coincidental in the setting of Boolean algebras and, hence, that they only can be actually different in algebraic structures weaker than Boolean algebras. Boolean algebras have too much laws for supporting the difference of both conditionals. This paper is nothing else than an algebraic trial to find simple binary Boolean operations able to express Lewis’ strict implication, and contains a new and simpler proof than that of Huntington, made by identifying ’possible’ with ’non self-contradictory’. By the way, it is shown that this proof is only valid in Boolean algebras, but neither in proper De Morgan algebras, nor in proper Ortholattices, with which it still remains open where the two conditional relations are actually different.