O empirismo moderno foi defendido por filósofos como Thomas Hobbes, Francis Bacon, John Locke e David Hume, o que pode classificá-lo como, essencialmente, britânico.
A palavra empirismo é usada para classificar as propostas surgidas no período da filosofia moderna (meados do século XV ao século XVIII) que defendeu a construção de conhecimento com base na experiência.
Sócrates (470 a.C.-399 a.C.) foi um filósofo grego, mesmo não sendo o primeiro filósofo da história, é reconhecido como o "pai da filosofia" por representar o grande marco da filosofia ocidental.
Os estudos de lógica foram iniciados por Aristóteles, entre 384 a.C e 322 a.C., na Grécia Antiga. Esse grande pensador percebeu que a maior distinção entre o ser humano e os demais animais é a linguagem. Ele também notou que há uma estrutura linguística que deve ser obedecida para que os enunciados tenham sentido.
A lógica das relações ocupa-se, como o nome indica, com relações entre conjuntos de objetos: maior do que, menor do que, perto de, longe de, mais velho que, mais novo que, pai de, mãe de, irmão de, causa de, finalidade de, semelhança com, diferente de, etc.
A lógica matemática é uma subárea que desdobra-se na análise das proposições, a fim de verificar se uma afirmação é verdadeira ou falsa. Entre as suas aplicações destacam-se a programação de computadores e o uso em questões de vestibulares. Todas essas áreas compartilham princípios básicos de lógica e definibilidade.