Termínem logika označujeme myšlenkovou cestu, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů. Původně šlo o součást filosofie, později se jako samostatný směr odštěpila logika matematická, která zůstala na rozhraní obou disciplín.
