Analítica
Na lógica diz-se que é analítica a proposição em que o haver-se do predicado em relação ao sujeito decorre da análise do sujeito. Sintética quando no haver-se entre o sujeito e o predicado, é este obtido da experiência. No primeiro caso temos o exemplo de "homem é racional"; no segundo, "João anda". Na lógica clássica as proposições sintéticas são obtidas também ao buscar-se o termo médio, partindo-se do exame do predicado.