Loogika on teadusharu, mis uurib kehtivust. Kehtivust on traditsiooniliselt määratletud tõe säilitamise kaudu: arutluskäik on kehtiv parajasti siis, kui pole võimalik, et eeldused tõesed ja järeldus on väär. Loengus antakse ülevaade klassikalisest loogikast ja näidatakse, et traditsiooniline kehtivuse mõiste on liiga kitsas. Teisisõnu, et loogiliselt kehtiv arutluskäik võib säilitada tõe asemel väärust.