ou 2) e empiricamente verificavel. Reconhecem-se assim apenas dois tipos de proposicoes genuinas: as proposicoes analiticas a priori e as proposicoes sinteticas a posteriori. As primeiras, exemplificadas especialmente pela logica e pela matematica pura, sao tambem necessarias, ao passo que as segundas, proprias das ciencias empiricas, sao contingentes. As assercoes identificadas com a metafisica nao tem por isso qualquer significado, ou, pelo menos, sao destituidas de significado cognitivo. Podem ter algum significado emocional, mas nada afirmam que seja verdadeiro ou falso, sendo meras pseudoproposicoes que resultam de pseudoproblemas. Alem de assercoes claramente metafisicas como a realidade e espiritual, foram incluidas nesta categoria todas as assercoes tipicas da etica e da estetica. Mesmo a epistemologia nao ficou imune a devastacao imposta pelo criterio da verificabilidade. Na medida em nao se deixa reconduzir a psicologia empirica, tambem ela deve dar lugar a actividade de analise logica da linguagem. Nao nos devemos impressionar demasiado com toda esta hostilidade perante a filosofia tradicional. A verdade e que muitos dos problemas filosoficos tradicionais foram recuperados e amplamente discutidos no contexto da analise logica considerada legitima. O problema de saber o que significa ao certo empiricamente verificavel deu origem a inu- meras versoes do criterio positivista, mas pelo menos neste aspecto prevaleceu sempre o consenso: mesmo que, devido a limitacoes tecnolo- gicas, uma assercao nao possa ser verificada na pratica, ela nao deixa de ter significado desde que possa ser verificada em principio. Por isso, uma assercao como existem planetas noutras galaxias, embora nas circunstancias actuais nao possa ser verificada na pratica, exprime uma proposicao genuina, porque podemos indicar condicoes empiricas relevantes para determinar o seu valor de verdade. O mesmo nao acontece, por exemplo, com a realidade e espiritual, ja que esta assercao e a sua negacao nao diferem em consequencias empiricas.Tal como foi defendido por Schlick, este criterio de significado traduziu-se na exigencia de verificabilidade forte. Nesta versao, o criterio da verificabilidade diz-nos que uma assercao e empiricamente verificavel se, e so se, 1) e uma proposicao elementar observacional ou 2) e equivalente a uma conjuncao finita logicamente consistente dessas proposicoes. Uma assercao nao analitica so tem assim significado quando e conclusivamente verificavel, ou seja, quando, em principio, podemos verifica-la definitivamente atraves do conhecimento das proposicoes elementares que determinam o seu significado. Esta exigencia de verificabilidade conclusiva foi muito criticada, sobretudo por se mostrar demasiado restritiva. Ela parece excluir da classe das assercoes com significado diversos tipos de assercoes vistos como legitimos pela maior parte dos positivistas. As asser- coes estritamente universais, como nao se deixam reduzir a um conjunto finito de proposicoes observacionais, nao podem ser conclusivamente verificadas nem em principio. Entre essas assercoes contam-se as leis cientificas, e por isso considera-las como destituidas de significado seria coloca-las no mesmo plano que a metafisica. As assercoes puramente existenciais tambem suscitam dificuldades porque, mesmo admitindo que estas sao conclusivamente verificaveis, as suas negacoes nao o sao, ja que a negacao de uma assercao existencial e uma assercao universal. Isto tem a consequencia estranha de existirem assercoes com significado cuja negacao nao tem significado, o que contraria