  Boethius is conscious of a Stoic logical tradition in which the logical forms of sentences were distinguished according to their linguistic form, such that ‘if … then’ structures indicate conditionals and ‘or’ structures indicate disjunctions, making these terms rather like operators on sentences. He seems to be using these ideas to demarcate his hypothetical sentences, though he is still writing in an Aristotelian fashion and developing an Aristotelian term logic (see Speca 2001 and Marenbon 2003: 50–56). This mix makes his logic quite confused, and the confusion was not sorted out until Abelard was able to develop a proper sentential logic out of Boethius’ suggestions. (See Martin 2009 as well.)