deduktion
deduktio
formal logic
formaalinen logiikka
formell logik
käsitteellinen tiede
dialectics
dialektiikka
dialektik
sentence logic
lauselogiikka
satslogik
induktio -- filosofia
induktion -- filosofi
slutledning
deduction
päättely
intensionaalinen logiikka
intensional logik
intentional logic
theory of proof
todistusteoria
bevisteori
model theory
malliteoria
modellteori
predicate logic
predikaattilogiikka
predikatlogik
mathematical logic
matemaattinen logiikka
matematisk logik
sumea logiikka
fuzzy logic
oskarp logik
logik
logic
logiikka