Logica, dal greco "logos" discorso, legge, ragione.
La logica è la disciplina strutturata che intende esporre e codificare il funzionamento del discorso dichiarativo e dimostrativo, ovvero i meccanismi che permettono di ragionare in modo corretto attorno ai concetti. In epoca classica per designare la disciplina era in uso anche il termine "dialettica", con riferimento alla capacità della logica di dimostrare le verità seguendo un percorso dinamico, parimenti al discorso, radice comune dei termini "logos" e dialettica. Aristotele la chiamava anche analitica, per il fatto che la logica comporta anche la scomposizione dei problemi nelle sue parti più semplici.