klasiknė lògika, dvireikšmė logika, matematinės logikos kryptis, teiginiams priskirianti dvi reikšmes – teisingumą ir klaidingumą. Svarbiausi kūrėjai: F. L. G. Frege, D. Hilbertas, B. Russellas. Daugelis klasikinės logikos principų bei aksiomų galioja ir daugiareikšmės logikos sistemose, todėl tarp jų nėra griežtų ribų.
314