ja traditisiooniline loogika. Matemaatiline loogika on siis matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid. Matemaatiline loogika esitab ka väiteid ja arutlusi kasutades kunstlikke formaalseid keeli. 20. sajandi algul püüdsid Russell, Frege ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See neil ei õnnestunud, kuid vastavad uuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks. (Kurt Gödel tegeles matemaatilise loogikaga) Formaalloogika, tuntud kui ka formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid tavaliselt formaalne loogika ei ütle, millised väited on tõesed ja millised ei ole. Traditsiooniline loogika, mida teatakse kui ka Aristotelese loogika on üldine nimetus loogikale, mis sai alguse Aristotelesest ja domineeris loogika valdkonnas kuni 19. sajandi lõpuni. 19
vormist. Sümbolloogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. 20. sajandi alguses püüdsid Gottlob Frege, Bertrand Russell ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogika-alased uuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks. "Loogika" kõnekeeles ja kõige üldisem arusaam loogikast Kuigi sõna "loogika" on kõnekeelde tulnud filosoofia ja teaduse keelest, on loogika olemuse lahtimõtestamisel mõtet toetuda ka selle sõna kasutamisviisidele tavakeeles ja intuitiivsetele üldistatud arusaamadele loogikast, milleni need kasutamisviisid kipuvad viima. Olgu nimetatud mõned: 1) loogika on mingi süsteem või kord (kui asjal ei ole
Sümbolloogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. 20. sajandialguses püüdsid Gottlob Frege, Bertrand Russell ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogika-alased uuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Olemas on palju erinevaid loogikaid, näiteks lauseloogika, matemaatiline, filosoofiline ja budistlik loogika. LÜÜRIKA – Algselt kreeklaste lühemad luuletused oma mõtetsest ja tunnest, mida esitati lüüra saatel. Lüürika kreeka sõnast lyrikos 'lüüra saatel lauldav'); Lüürika kujutamisobjekt on luuletaja isiksus: tema sisemaailm, elamused, mõtted. Kausaalsust ja loogikat asendavad lüürilises
annaabi.ee 
