dizem e independente de tempo e lugar, e sao necessarios porque nao podem ser de outro modo; distinguem-se do conhecimento empirico pela universalidade e necessidade.. Sao, pois, como dito acima, a priori, "sem apelo a experiencia", razao pura, que nao tem sua origem na experiencia. Conforme o exemplo, uma casa e uma casa, mesmo que nao exista nenhuma casa no mundo. Kant usa indiferentemente o termo "a priori" e o termo "puro". Razao pura e razao a priori; intuicao pura e intuicao a priori. Puro e a priori, ou independente da experiencia, sao expressoes que ele utiliza como sinonimos. A verdade, neste tipo de proposicao, e evidente, porque afirmar o inverso seria fazer a proposicao contraditoria. Tais proposicoes sao chamadas analiticas porque a verdade e descoberta pela analise do proprio conceito.A filosofia de Leibniz, que Kant conhece atraves de Christian Wolff, estava baseada no principio supremo da nao-contradicao. Qualquer conceito que contenha uma contradicao nao expressa a possibilidade, e por isso nao pode expressar a realidade. Por isso a proposicao analitica e a verdadeira, porque diz algo necessario, inescapavel, de que nao se pode fugir de admitir, conclusao obrigatoria, contra o que nao se pode levantar uma contradicao. Mas torna-se um juizo obvio, tautologico. Kant diz que o juizo analitico nao faz avancar o conhecimento porque fica dentro dos conceitos da mesma proposicao, e nada avanca alem dos dados desses conceitos. O juizo analitico esta fundado no principio de identidade e nao e mais do que uma tautologia; repete no predicado aquilo que ja esta enunciado no sujeito.Os juizos sinteticos, diferentemente, sao aqueles em que nao se pode chegar a verdade por pura analise de suas proposicoes. Os juizos sinteticos, as proposicoes sinteticas, sao resultado de se "juntar" (sintese) os fatos, ou dados, da experiencia. Ainda de acordo com os aristotelicos, todos os juizos sinteticos sao a posteriori, porque eles sao dependentes da experiencia. As proposicoes ou juizos sinteticos unem o conceito expresso pelo predicado ao conceito do sujeito, e nos informa alguma coisa de novo. Na proposicao "A casa e verde", preciso ver a casa para confirmar que e, de fato, verde (No caso "A casa verde e verde", um juizo analitico, eu nao precisaria da experiencia para saber que a casa e verde porque isto ja esta expresso no proprio sujeito "casa verde"). Os juizos sinteticos sao feitos com fundamento na experiencia, na percepcao sensivel. Nos juizos sinteticos, o conceito do predicado nao esta contido no conceito do sujeito. Como, por exemplo, quando dizemos que as ondas eletromagneticas produzem em nos a sensacao do calor e igualmente dilatam os corpos. Todas as proposicoes resultantes da experiencia do mundo sao sinteticas.Leibniz e Hume. Esclarecida essa nomenclatura, precisamos tocar de leve o pensamento de Leibniz e Hume, os dois filosofos envolvidos na questao que Kant queria elucidar, que era a natureza da verdade cientifica, se ela podia ser garantida pela Metafisica como verdade de razao.Leibniz deu a Metafisica um par de primeiros principios que garantiriam os juizos analiticos que, como visto, sao a priori, sao "verdades de razao", absolutamente incontestaveis. Leibniz os