LOOGIKA
on rõhutatud. Matemaatilise loogika teooria tegemisega on seotud olnud
paljud inglise, prantsuse, saksa filosoofid-loogikud-matemaatikud XIX
sajandi keskpaigast kuni tänapäevani.
Modaalne loogika on kujunemisjärgus olev loogikateaduse haru,
milles otsustuste analüüsimisel lähtutakse nende usaldusväärsuse
tasemest ( s.o. subjekti ja predikaadi vahelise seose määrast).. See võib
varieeruda nõrgast tugevani, võimalikust paratamatuseni. Öeldust
lähtuvalt modaalses loogikas käsitletakse problemaatilist, assertoorilist ja
apodiktilist arutluse taset.
Teadusliku teooria põhiskeleti moodustavad kategooriad ja
seadused. Seadus on korduvate, paratamatute, püsivate ja oluliste
seoste üldistatud väljendus asjade ja nähtuste vahel.
Rakendusteadustes (matemaatika, grammatika, loogika) on
süsteemi põhielementideks üldmõisted (kategooriad) ja reeglid. Reegel
on kokkuleppeline üksiktegevust reguleeriv norm
annaabi.ee 
