Loogika aine ja ajalugu
Tasub tähele panna, et Aristoteles ei tegelenud lausete loogilistest sidesõnadest (ja, või, ei, järeldub) moodustuva
struktuuri - lausearvutuse - uurimisega.
2.1.3 Theophrastus
Peale Aristotelesest jätkas Ateena koolkonna juhtimist Theophrastus Ersesusest (371-286 e.m.a.). Kõik Theophrastuse
teosed on kaduma läinud, kuid sellegipoolest on tema ning ta kaasaegse ja kolleegi Eudemuse tegevusest küllalt palju
teada.
Theophrastus jätkas Aristotelese uuringuid modaalsuste alal, tõi Aristotelese süllogistikasse uue väidetetüübi ja
kombineeris mõisteloogikat lausearvutuse elementidega, vaadeldes süllogisme nagu ``kui a, siis b; kui b siis g;
järelikult, kui a siis g''.
2.1.4 Eukleidese õpilased ja stoikud
Kreeka geomeetri Eukleidese (430-360 e.m.a.) õpilased Diodorus Cronus (4. saj, e.em.a) ja Philon tegelesid loogiliste
mõistatustega. Väidetavalt avastasid nad nn