La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione e, in particolare, dei procedimenti inferenziali, rivolto a chiarire quali procedimenti di pensiero siano validi e quali non validi.