Formal and material consequence

L'A. montre par une formalisation logique pourquoi certains modes syllogistiques sont invalides, i.e. comment deux premisses vraies peuvent entrainer une conclusion fausse, et soutient que la validite n'est pas purement formelle