  Autrecourt did not leave any logical writings, nor does he discuss logic or semantics in the Exigit ordo or in his correspondence. However, from his theological question and a few of the censured articles it is clear that he was familiar with the logical debates of his time. According to one of the articles, Autrecourt claimed that the proposition “Man is an animal” is not necessary according to the faith, because in that sense one does not attend to the necessary connection between its terms. The article should be seen against the background of the sophism “Man is an animal”, which received considerable attention in the thirteenth and fourteenth centuries. It served to clarify the relation between meaning (significatio) and reference (suppositio) by investigating the verification of propositions concerning empty classes. Would the proposition “Man is an animal” still be true if no man exists? This article suggests that Autrecourt may have denied any form of natural and metaphysical necessity, and for this reason was condemned (Zupko, in Caroti and Grellard, 2006, p. 186)