Loogika aine ja ajalugu
ning Saksa-Austria-USA filosoofi, loogilise positivisti Rudolf Carnapi (1891-1970) tööd tõid udusesse pilti vajalikku
selgust. Kuigi sõna ``loogika'' tähendusväli on jätkuvalt üpris avar ja ka kitsamas mõttes ei ole loogikud sugugi ühel
nõul, millist formaalset sßuteemi võib loogikaks nimetada ja millist mitte, ollakse enam-vähem ühel meelel, et iga
formaalne loogikasüsteem peab sisaldama kolme järgmist komponenti: süntaksit, tuletamisreegleid ja semantikat.
· Süntaks on reeglite süsteem, mis määrab ära antud loogika poolt vaadeldavate väidete keele, s.o. milline väide
üldse on nimetatud loogika väide ja milline mitte, tõesusest ja tuletatavusest sõltumatult.
· Tuletamisreeglite süsteem on iga loogika kõige olulisem osa. Reeglid jaotuvad eeldusteta aksioomideks ja juba
tuletatud väidetest uute väidete tuletamise reegliteks. Reeglite süsteem määrab, millised väited on antud
annaabi.ee 
