Logika: Béda antara owahan

'''Logika''' dipundhut saka tembung [[Yunani]] ''logos'' kang tegesé ucap (tutur), tembung, pangertèn, pikiran, utawa èlmu.{{sfn|Poespoprodjo|p=2}} Logika ya ikuyaiku ngèlmu kawruh lan ketrampilan kanggo mikir lempeng.{{sfn|Sumaryono|p=71}} Logika ya ikuyaiku cawang ngèlmu, nanging uga kondisi dalan tuntutan fundamèntal mutlak èksistènsi ngèlmu, kang kanthi sistematis nyelidik, ngrumusaké, lan nerangké asas-asas kang kudu ditaati supaya wong bisa mikir kanthi tepat, lempeng, lan teratur.{{sfn|Poespoprodjo|p=5}} Logika njlèntrèhaké dalaning pikir nganggo pathokan utawa ukum-ukum pamikiran saéngga bisa nyingkiraké dhéwé saka kaluputan lan sesat pikir.{{sfn|Sumaryono|p=71}}

Ing basan babagan logika ana pirang-pirang istilah, ya ikuyaiku:{{sfn|Salam|p=2-4}} <br />

''Logika Ilmiah'' (utawa scientific) ya ikuyaiku kalanjutan saka logika alamiah, ya ikuyaiku angger manungsa diwènèhi arahan sistematis kanggo bisa nguwasani pola-pola mikir kang teratur sakdalan karo ukum-ukum katetapan utawa benering mikir.{{sfn|Salam|p=2-4}}

''Logika Artificialis'' (sinebut uga logika tradhisional) tegesé kelairané minangka tradhisi kuna, kawit [[Aristoteles]] kasil olehé nulis bab iku ing ''Organon'' minangka buku logika kang sepisanan.{{sfn|Salam|p=2-4}} Sawisé pangertèn logika iki wis mbudaya ing kalangané umat manungsa, logika artificialis iki dikembangké kanthi ilmiah dadi 2 (loro) babagan, ya ikuyaiku logika formal lan logika materiil.{{sfn|Salam|p=2-4}}

''Logika Formal'' (logic) utawa ''Logika Minor'', kang nyinaoni asas-asas, kaidah-kaidah, aturan-aturan utawa ukum-ukum mikir kang kudu ditaati supaya dhéwé bisa mikir kanthi tepat/bener lan nyandhak kabeneran.{{sfn|Salam|p=2-4}} Ukum-ukum logika iku rélevan lan wigati kanggo kabèh ngèlmu kawruh liyané, déné kanggo kawruh [[filsafat]] ya ikuyaiku sarana (instrumèn) kang kudu dhéwé kuwasani luwih ndhisik, sadurungé dhéwé njerokaké kawruh [[filsafat]] iku.{{sfn|Salam|p=2-4}}