En la Crítica de la razón pura, Immanuel Kant propuso que los enunciados son de dos clases: analíticos y sintéticos.