Volume 1, Issue 2, 1985
La justification aristotélicienne de BARBARA ACP
A new essay to analyse the demonstration which Aristotle gave of Barbara ACP (first premise “actual”, second premise “contingent”, conclusion “possible”) is realized with the techniques of mathematical
logic. The critical points (conclusion “possible” from two premises “possible”, problem de dicto - de re, etc) are indicated; based on them it is considered that Aristotle’s proof is not conclusive.