"lahenduvat" - 1 õppematerjal

Loogika aine ja ajalugu

· C mitte-esitähena märgib, et süllogism ei taandu ning ta tuleb tõestada reductio ad absurdum abil. Süllogismi nimed jätavad ütlemata, millisesse figuuri süllogism kuulub; viimase tarvis leiutati keskajal meelespidamist hõlbustavad värsid. Lisaks mainitud kategoorilistele väidetele huvitasid Aristotelest ka modaalsed väited: ``a on kindlasti b'' ja ``a on 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.