Logica est ars abstracta de relationibus inter propositiones. Logica classica vel Aristotelica complectitur de discernendo verum a falso, hoc est de verificatione veritatis propositionum. Logica nostrae aetatis in logicam mathematicam et in logicam philosophicam dividitur.
Nomen a Graeco λόγος derivatur, quod 'sermonem' vel 'argumentum' significat; ἡ λογικὴ τέχνη ergo est 'ars verborum' vel 'ars ratiocinationis'. Dialectica (quae pars trivii inter artes liberales mediaevales fuit), est logica in disputationibus adhibita.