Lógica matemática: diferenças entre revisões

Teorias lógicas foram desenvolvidas em diversas culturas na história, [[História da lógica|China]], [[LógicaHistória nada Índialógica|Índia]], [[Lógica na Grécia|Grécia]] e no mundo Islâmico. Na Europa do século XVIII, filósofos matemáticos, como [[Gottfried Wilhelm Leibniz|Leibniz]] e [[Johann Heinrich Lambert|Lambert]] tentaram representar as operações da lógica formal através de símbolos, de forma algébrica mas seus esforços e trabalhos permaneceram isolados e pouco reconhecidos.