as marcas seguras de um conhecimento a priori, e estao indissoluvelmente unidas uma a outra5 . Dentre as verdades necessarias a priori algumas poderao ser sinteticas (nos dizem algo a respeito do mundo, ampliam nosso conhecimento, e nao apenas exibem relacoes logicas entre nossos conceitos), porque o mundo, os objetos, os fenomenos, nao sao coisas em si, mas trazem constitutivamente a marca que nossa maneira de captar e organizar o dado lhes impoe.Kant parte do factum do nosso conhecimento, e o centrifuga, procurando separar o que se deve a nossa estrutura cognitiva, por um lado, e o que vem de fora, do multiplo da intuicao sensivel, por outro. O objeto do conhecimento empirico (os fenomenos, a natureza) sera visto como a sintese desses dois aspectos. Mesmo os juizos de experiencia6, que sao sinteticos a posteriori, mas que devem sua objetividade (ao contrario dos juizos de percepcao, que sao subjetivos) a universalidade e a necessidade neles presentes, devem conter um elemento a priori, capaz de lhes assegurar essa necessidade 7.Na perspectiva essencialista de Kripke, ao contrario, antes de qualquer conhecimento o objeto esta constituido, como coisa em si, com suas propriedades essenciais e acidentais que nos iremos, aos poucos e laboriosamente, tratar de descobrir. O que confere necessidade a uma verdade e o fato de que e necessariamente assim que as coisas sao, independentemente de como e se nos a conhecemos. Nada mais natural, sob esse ponto de vista, que haja verdades necessarias a posteriori. E dificilmente havera lugar para verdades necessarias a priori: so por acaso poderiamos saber algo a priori sobre essas essencias independentes de nosso conhecimento. E se, por acaso, chegassemos a priori a alguma verdade necessaria, esta necessidade seria uma necessidade externa, factual, dependente da natureza da coisa em si e nao da nossa maneira de conhece-la, e portanto apenas acidentalmente a priori.Nosso conhecimento (cientifico) e para Kripke a imagem sem distorcoes do real em si; e nossa imaginacao nos permite construir jogos de sombra (mundos possiveis), fazendo variar livremente o que for acidental. A tese de que fixar a referencia e independente de estabelecer o significado tem o efeito de permitir que algo seja objeto para nos sem se tornar moldado, marcado constitutivamente por sua passagem atraves do filtro de nosso aparato linguistico-conceitual. Pode-se sustentar significativamente se- gundo Kripke que uma propriedade e essencial ou acidental a um objeto, independentemente de sua descricao (41).A coextensividade do necessario e do a priori decorre, em Kant, do idealismo transcendental e da dependencia (e consequente relatividade) que ele estabelece entre ser e conhecer. Em Kripke, alem da tese ontologica essencialista, ha uma concepcao epis- temologica, sobre a natureza e o alcance do conhecimento cientifico, que convem explicitar, a sustentar sua posicao sobre a nao coincidencia do necessario e do a priori.Ciencia e essenciaAo contrario de Kant, Kripke pretende manter separadas as nocoes metafisicas(essencial/acidental, necessario/possivel) e epistemologicas (a priori / a posteriori) (34- 6). Mas torna-se claro, pelas analises que propoe dos diversos tipos de enunciados necessarios, que e um tipo particular de conhecimento, o conhecimento cientifico, que determina o que deve