伊勒苏斯的泰奥弗拉斯都

亚里士多德在雅典的后继者是埃瑞苏斯的泰奥弗拉斯都(Theophrastus of Eresus)。c。371 -c。286公元前)．泰奥弗拉斯都的所有逻辑著作现在都已失传，而古代晚期作家关于他的逻辑观点的许多说法都是出自泰奥弗拉斯都和他的同事之手Eudemus，因此很难将他们各自的贡献分开。

据报道，泰奥弗拉斯都增加了第一个图的三段论这五种情绪后来被归类为a第四个图．这些情绪被称为情绪第一个数字的间接语气。为了适应它们，他实际上不得不重新定义第一种形象，即中间是主体的形象前提和谓词在他者中，不一定如亚里士多德所言，主词在大前提中，谓语在小前提中。

泰奥弗拉斯都对亚里士多德学说最重要的背离发生在模态用演绎推理的．他抛弃了亚里士多德的概念可能的认为既没有必要也不可能，于是采纳了亚里士多德的观点替代可能的概念就是不是不可能的东西。这使得他能够对亚里士多德的模态理论进行相当大的简化。因此，他的情态直言的转换法则与断言直言的相应法则完全相似。特别是，对于泰奥弗拉特斯来说，“有问题的”普遍否定(“没有β可能是α”)可以简单地转换。亚里士多德对此予以否认。

此外，泰奥弗拉斯都采纳了一项规则结论一个有效的模态三段论不能比它最弱的更强前提．(必要性强于可能性，没有任何模态限定的武断主张介于两者之间)。这个规则简化了情态三段论，并消除了亚里士多德所接受的几个语气。然而，泰奥弗拉斯特斯本人允许某些情态情绪与间接证明原则相结合(他同样接受了这一原则)，产生的结果可能违反了这一规则。

泰奥弗拉斯都还提出了一种理论推论涉及前提α的形式是普遍的建立γ是普遍被预言的一切事物”和相关的形式。他称之为这样的命题前瞻命题和涉及它们的推论被称为前瞻命题prosleptic三段论。希腊proslepsis可以表示“附加的东西”，泰奥弗拉斯都声称，像这样的命题隐含地包含了第三个，不确定的术语，除了两个确定的项(例中为“α”和“γ”)。

术语预言命题似乎起源于泰奥弗拉斯特斯，尽管亚里士多德在他的文章中简要地讨论了这样的命题之前的分析不去探索逻辑在细节。的隐式的泰奥弗拉斯都称之为预言命题的第三项中间．后一个类比通过直言命题的三段论，他区分了三种数据“透视命题和三段论，基于隐式中间的位置。预言命题“α是γ的普遍谓词的一切事物的普遍谓词”属于第一个图也可以是第一格前瞻三段论的前提。"所有α的普遍谓词都是γ的普遍谓词"属于第二个图而且可以是第二格三段论的前提，同样也可以是" α是γ是普遍谓词的一切事物的普遍谓词"第三个图．因此，例如，下面是一个prosleptic三段论在第三幅图中，" α普遍肯定所有γ普遍肯定的东西;γ是普遍公认的β;因此，α是普遍肯定的β。”

泰奥弗拉特斯观察到某些预言性命题等同于直言命题，与之不同的只是“潜在的”或“口头的”。一些晚期古代作者声称，这使得预言三段论是多余的。但事实上，并非所有的预言命题都等同于绝对命题。

泰奥弗拉斯都也被认为是调查假设的三段论。一个假言命题，因为Theophrastus是一个由两个或多个组成命题组成的命题(例如，“p或问或“如果”p然后问)，以及假设三段论是推理至少包含一个假设命题作为前提的。泰奥弗拉斯都在这一领域的研究范围是不确定的，但似乎他研究了一类叫做完全假言三段论，前提和结论都是条件。这类推论包括诸如“如果α，则β;如果β大于γ;因此，如果α则γ，”或“如果α则β;如果不是α就是γ，如果不是β就是γ。”同他的预言三段论一样，泰奥弗拉斯都在与直言三段论作类比之后，把这些完全假言的三段论分为三个“形象”。

泰奥弗拉斯特斯是逻辑学历史上已知的第一个认真研究命题逻辑的人。然而，在这一领域没有持续的调查，直到时期斯多葛学派．