Grandes pensadores da lógica

Aristóteles - além de ter sido um grande filósofo e físico, ramificou seus conhecimentos pelas áreas da psicologia, biologia, entre outras. Foi considerado o criador do pensamento lógico.
Os seus estudos sobre a lógica o levaram a desenvolver um sistema lógico, cujos princípios centrais eram a a lei da não-contradição e a lei do terceiro excluído. Sendo que a lei da não-contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo. Enquanto a lei do terceiro excluído diz que "Ou é ou não é".

George Boole - matématico autodidata. Teve grandes idéias que ajudaram no progresso da lógica. Criador da Álgebra booleana, ele introduziu os conceitos de lógica simbólica demonstrando que a lógica podia ser reduzida a equações algébricas.

Gottlob Frege - lógico e matemático alemão. Foi o principal criador da lógica moderna. Estabeleceu a relação entre os sistemas lógicos desenvolvidos por Boole, e outros importantes estudos sobre a teoria da linguagem e a redução da aritmética.