La lógica es el estudio de las reglas del pensamiento y la razón. Examina conceptos, juicios y razonamientos, y los métodos para distinguir entre razonamiento correcto e incorrecto. Está relacionada con todas las ciencias porque proporciona las teorías para demostraciones científicas. La lógica tiene una historia que se remonta a Aristóteles y su obra "Organon", y ha evolucionado en los siglos posteriores con contribuciones de pensadores como Boole, Frege, Russell y Wittgenstein.