Jupiter on taevakeha. Suur eeldus – taevakeha Kõigil taevakehadel on mass. Jupiteril on mass Soriit on selline liitsürrogism, kus tuuakse välja ainult järeldus. Progressiivne Soriit Regressiivne Regressiivne soriit saadakse regressiivsest polosüllogismist sellel teel, et jäetakse välja eelmise süllogismi järeldus ja järgneva süllogismi väike eeldus. Regressiivse soriidi esimeses eelduses on süllogismi järelduse subjekt ja viimases eelduses järelduse predikaat. Jupiter on planeet. Kõik planeedid on taevakehad. Kõigil taevakehadel on mass. Jupiteril on mass. Progressiivne soriit saadakse progressiivsest polüsüllogismist eelmise järelduse ja järgneva süllogismi suure eelduse välja jätmisel, esimeses eelduses on järlduse predikaat. Kõik, mis teeb targaks, on kasulik.
teesi tõestuse põhjendamisele, · näidatakse, et kui põhjendid on tõesed, siis on tõene ka tees. 39_fl_vi-x Teesi (väide, järeldus, veendumus) analüüs: Tõeväärtuse põhjal: · kahevalentses loogikas tõene / väär (ei välista väidete muid tunnuseid kohane, eksitav, viisakas, teravmeelne); · ähmasus ("see on punane") ~ soriidi (e kuhja) paradoks · hägusloogika (pigem, vähem); Popper tõelähedus (mil määral teooria tabab kogu tõde) Otsustuse liigi põhjal · lihtotsustused: kategoorilisi väiteid AIEO saab tõestada näidates, et nende sisu vastab tegelikkusele; modaalseid (deontiline, aksioloogiline jne) väiteid saab ainult põhjendada ehk demonstreerida, et modaalne tees on mingitest väidetest loogiliselt tuletatud.
annaabi.ee 
