De acordo com a formulação de Kant a distinção, em uma proposição analítica o conceito do predicado está contido no conceito do sujeito, e podemos dizer que a proposição é verdadeira por análise. Em uma proposição sintética, o conceito da predicada acrescenta algo novo para o conceito do sujeito, e a verdade ou falsidade da proposição não pode ser determinada pela análise. Tem havido muita controvérsia sobre a adequação desta conta, mas há acordo geral que proposições sintéticas nos dizer algo sobre o mundo. Juntamente com a distinção metafísica entre a distinção epistemológica entre a priori e a posteriori proposições e proposições contingentes e necessários, esta distinção lógica define a estrutura para muita filosofia moderna.