La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que aparecen en momentos históricos diferentes:[1]​ La lógica aristotélica, seguida de los aportes de los megáricos y los estoicos. Siglos después, Ramon Llull y Leibniz estudiaron la posibilidad de un lenguaje único, completo y exacto para razonar. Al comienzo del siglo XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el desarrollo del primer cálculo completo por Frege. Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica matemática. A partir de este momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias. Otra perspectiva interesante sobre cómo abordar el estudio de la historia lógica la ofrece Alberto Moretti[2]​ y que es sintetizada por Diego Letzen.[3]​