"ersesusest" - 1 õppematerjal

Loogika aine ja ajalugu

võibolla b''. Kaasaja kontekstis saab Aristotelese loogikat vaadelda kui predikaatarvutuse oluliselt piiratud, lahenduvat varianti. 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