No prefacio ao Tractatus, Wittgenstein ja deixa claro o objetivo do livro: tratar de problemas filosoficos. Inspirado principalmente nas ideias de Frege e Russell, ele estabelece que a formulacao desses problemas repousa sobre o mau entendimento da logica de nossa linguagem. Wittgenstein expressa o sentido de sua obra com estas palavras: o que se pode em geral dizer, pode-se dizer claramente; sobre aquilo de que nao se pode falar, deve-se calar. O livro pretende estabelecer assim, um limite nao para o pensar, mas para a expressao dos pensamentos. Segundo Wittgenstein, o limite so podera ser tracado na linguagem, e o que estiver alem do limite sera simplesmente um contra-senso.[1] Wittgenstein sustenta o principio de que a determinacao do valor-verdade da proposicao significativa exige a comparacao com a realidade. Ele insiste na diferenca entre proposicoes empiricas e necessarias. As proposicoes da ciencia atribuem propriedades e relacoes que podem ser testadas, verificadas ou falseadas empiricamente. Por exemplo, as relacoes causais, em particular, podem ser observadas empiricamente. Tais relacoes e propriedades sao contingentes, sao passiveis de correcao. Ja as proposicoes da logica, matematica e filosofia ocupam-se de proposicoes que sao logicamente necessarias e, portanto, a priori. Nao sao passiveis de correcao, porque apontam necessariamente para a verdade ou falsidade dos respectivos fatos descritos.As proposicoes da logica sao tautologias ou contradicoes, entendidas como configuracoes simbolicas que nao dizem nada, que nao apresentam condicoes de verdade, sendo por isso vazias de sentido (TLP, 4.461). Sem condicoes-verdade, as proposicoes da logica nao podem determinar a realidade. A tautologia deixa aberto todo o infinito espaco logico e a contradicao, preenchendo todo o espaco logico, nao deixa a realidade ponto nenhum. A tautologia o circulo e redondo e sempre verdadeira, assim como a contradicao chove e nao chove e sempre falsa, sob quaisquer circunstancias. Nenhuma delas descreve um estado de coisas possivel. A verdade da tautologia p e p, assim como a falsidade da contradicao p e ~p, podem ser reconhecidas independentemente do que ocorre na realidade. A funcao das proposicoes logicas limitar-se-ia a mostrar as propriedades logicas das proposicoes. A unica especie de ligacao que tem com o mundo se da na esfera da pressuposicao: as proposicoes logicas pressupoem que nomes tenham significado assim como que proposicoes elementares tenham sentido.[2] Nessa perspectiva, fazer filosofia e pretender dizer algo de metafisico. E preciso sair da linguagem significativa, renunciar a referencia dos signos e fazer uso tao somente de conceitos formais, que nao apontam para coisa alguma. Os conceitos formais seriam expressoes nao referenciais para a metafisica:Toda variavel e o sinal de um conceito formal.Pois toda variavel representa uma forma constante, que todos os seus valores possuem e que pode ser entendida como propriedade formal desses valores (TLP, 4.1271).Wittgenstein apresenta a nocao de conceito formal vinculada as nocoes de propriedades internas e de relacoes internas. As propriedades internas de um objeto constituem sua forma logica, determinam suas possibilidades de ligacao com outros objetos. Segundo Wittgenstein, as relacoes internas nao sao relacoes genuinas, ja que nao podem ser expressas com sentido por uma proposicao. Sao relacoes estruturais, relacoes entre proposicoes, ou entre