Ramura a filosofiei care studiaza validitatea rationamentelor si a argumentelor. Reprezinta si calea de a afirma ca un lucru decurge, sau este o consecinta a altuia (logica deductiva). Logica este in general impartita in logica formala traditionala a lui Aristotel si logica simbolica, derivata din lucrarile lui Gottlob Frege si Bertrand Russell.