esta apenas conferindo propriedades ao conceito formal, a variavel x. Fritz Mauthner, aquele que foi o precursor da filosofia tractatiana em varios aspectos, negou a possibilidade da metafisica por causa da vagueza dos seus conceitos, sem precisar recorrer a logica simbolica.Como podemos ver, as proposicoes da metafisica nao possuem conteudo descritivo, constituindo contra-sensos. A linguagem metafisica tenta descrever o que existe em sentido absoluto, a saber, a essencia do mundo, isto e, as condicoes de possibilidade dos fatos. Fazendo um paralelo com a filosofia kantiana, e como se quisessemos enunciar proposicoes sobre a coisa-em-si, ultrapassando os limites da razao. Nao temos acesso a coisa-em-si, mas somente aos fenomenos. Estes podem ser pensados com sentido. Do mesmo modo com a linguagem. As proposicoes dotadas de sentido se referem ao mundo factual-empirico, ou seja, sao as proposicoes da ciencia. Estas se caracterizam pela bipolaridade, podendo ser confirmadas ou falseadas. As proposicoes da metafisica nao possuem qualquer conteudo descritivo, fazendo apenas uso de conceitos formais. Com base nos aforismos que vao de (TLP, 4.126-4.1271), podemos caracterizar os conceitos formais como diferentes dos conceitos propriamente ditos, os da ciencia. A nota caracteristica de um conceito formal e apenas um traco caracteristico de todos os simbolos cujos significados caem sob o conceito. Wittgenstein conclui assim que a expressao do conceito formal e uma variavel proposicional em que apenas esse traco caracteristico e constante. Para Wittgenstein, embora a linguagem ordinaria disfarce o pensamento, nao e imperfeita do ponto de vista logico, como supunham Frege e Russell. Ela e capaz de exprimir todo sentido, porque esta em conformidade com a sintaxe logica. Na verdade, qualquer linguagem, qualquer sistema de signos capaz de representar a realidade deve estar em conformidade com as regras da sintaxe logica. Essas sao regras para o uso de signos ocultos sob a superficie da linguagem ordinaria.[8] A variavel proposicional designa o conceito formal e seus valores designam os objetos que caem sob esse conceito. 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. Assim, segundo Wittgenstein, o nome variavel x e o sinal propriamente dito do pseudo-conceito objeto. Onde quer que a palavra objeto, coisa, seja usada corretamente, sera expressa pela variavel. Wittgenstein da um exemplo na proposicao ha 2 objetos tais que..., por (Ex,y)... Se as usarmos de outra maneira, como conceitos propriamente ditos, surgirao contra-sensos. Nao podemos dizer, por exemplo, ha objetos como dizemos ha livros, pois, no primeiro caso estariamos meramente afirmando existe um x tal que..., ao passo que, no segundo caso, estariamos afirmando existe um x tal que x e livro. O mesmo vale para palavras como complexo, fato, funcao, numero, Absoluto, Ser, essencia, proposicao, etc. Todas elas designam conceitos formais e sao representadas na ideografia por variaveis. Uma aplicacao imediata da analise baseada nos conceitos formais sugere que as proprias proposicoes do Tractatus sao contra-sensos, uma vez que fazem uso de conceitos formais (fato, proposicao, objeto) para construir afirmacoes acerca da essencia da representacao:Minhas proposicoes elucidam