mas por essncia e necessariamente: ela quer fazer do conceito uma funo, segundo a via traada por Frege e Russell.
Mas, para tanto, necessrio, de inicio, que a funo no se defina somente numa proposio matemtica ou cientfica, mas caracterize uma ordem mais geral de proposio, como o exprimido das frases de uma lngua natural.
preciso, pois, inventar um novo tipo de funo, propriamente lgica.
A funo proposicional "x humano" marca bem a posio de uma varivel independente que no pertence funo como tal, mas sem a qual a funo esta incompleta.
A funo completa feita de um ou vrios "pares ordenados".
uma relao de dependncia ou de correspondncia (razo necessria) que define a funo, tal que "ser humano" no mesmo a funo, mas o valor de f(a) para uma varivel x.
Pouco importa que a maior parte das proposies tenha varias variveis independentes;
e mesmo que a noo de varivel, enquanto ligada a um nmero indeterminado, seja substituda pela do argumento, que implica uma suposio disjuntiva nos limites ou um intervalo.
A referncia varivel, ou ao argumento independente da funo proposicional, define a referncia da proposio, ou o valor-de-verdade ("verdadeiro" e "falso") da funo para o argumento: Joo um homem, mas Bill um gato...
O conjunto dos valores de verdade de uma funo que determinam proposies afirmativas verdadeiras, constitui a extenso de um conceito:
os objetos do conceito ocupam o lugar das variveis ou argumentos da funo proposicional, para as quais a proposio verdadeira, ou sua referncia preenchida.
O conceito ele mesmo assim funo para o conjunto dos objetos que constituem sua extenso.
Todo conceito completo um conjunto neste sentido, e tem um nmero determinado;
os objetos do conceito so os elementos do conjunto. 1
preciso ainda fixar condies da referncia que deem os limites ou intervalos nos quais uma varivel entra numa proposio verdadeira: X um homem, Joo um homem, porque ele fez isto, porque ele se apresenta assim...
Tais condies de referncia constituem no a compreenso, mas a intenso do conceito.
So apresentaes ou descries lgicas, intervalos, potenciais ou "mundos possveis", como dizem os lgicos, eixos de coordenadas, estados de coisas ou situaes, subconjuntos do conceito: a estrela da tarde e a estrela da manha.
Por exemplo, um conceito de um s elemento, o conceito de Napoleo I, tem por intenso "o vencedor de Iena", "o vencido de Waterloo"...
1 Cf. Russell, Principes de Ia mathematique, P.U.F., sobretudo apndice A, e Frege, Les fondements de l'arithmtique, Ed. du Seuil, 48 e 54; crits logiques et philosophiques, sobretudo "Fonction et concept", "Concept et objet", e para a critica da varivel, "Qu'est-ce qu'une fonction?". Cf. os comentrios de Claude Imbert nestes dois livros, e Philippe de Rouilhan, Frege, les paradoxes de Ia reprsentation, Ed. de Minuit.
V-se bem que nenhuma diferena de natureza separa aqui a intenso da extenso, j que ambas dizem respeito referncia,
a intenso sendo somente condio de referncia e constituindo uma endo-referncia da proposio,
a extenso constituindo a exo-referncia.
No se sai da referncia elevando-se at sua condio; permanece-se na extensionalidade.
A questo antes a de saber como se chega, atravs destas apresentaes intencionais, a uma determinao unvoca dos objetos ou elementos do conceito, variveis proposicionais, argumentos da funo do ponto de vista da exo-referncia (ou da representao):
o problema do nome prprio, a tarefa de uma identificao ou individuao lgica, que nos faz passar dos estados de coisas coisa ou ao corpo (objecto), por operaes de quantificao que permitem tanto atribuir os predicados essenciais da coisa, como o que constitui enfim a compreenso do conceito.
Vnus (a estrela da tarde e a estrela da manha) um planeta cujo tempo de revoluo e inferior ao da terra...
"Vencedor de Iena" uma descrio ou apresentao, ao passo que "general" um predicado de Bonaparte, "imperador" um predicado de Napoleo, embora ser nomeado general ou sagrado imperador sejam descries.
O "conceito proposicional" evolui pois inteiramente no circulo da referncia, na medida em que opera uma logicizao dos functivos, que se tornam assim os prospectos de uma proposio (passagem da proposio cientfica a proposio lgica).
As frases no tm autorreferncia, como o mostra o paradoxo do "eu minto".
Mesmo os performativos no so autorreferenciais, mas implicam numa exo-referncia da proposio (a ao que lhe esta ligada por conveno, e que realizamos enunciando a proposio) e uma endo-referncia (o ttulo ou o estado de coisas sob o qual se habilitado a formular o enunciado: por exemplo, a intenso do conceito no enunciado "eu juro" e testemunho no tribunal, criana a qual se censura algo, enamorado que se declara, etc.). 2
Em contrapartida, se emprestamos frase uma auto-consistncia, esta s pode residir na no-contradio formal da proposio ou das proposies entre si.
Mas quer dizer que as proposies no gozam materialmente de qualquer endo-consistncia, nem de exo-consistncia.
Na medida em que um nmero cardinal pertence ao conceito proposicional, a lgica das proposies precisa de uma demostrao cientfica da consistncia da aritmtica dos nmeros inteiros, a partir de axiomas;
ora, segundo os dois aspectos do teorema de Godel, a demonstrao de consistncia da aritmtica no pode ser representada no interior do sistema (no h inconsistncia), e o sistema se choca necessariamente com enunciados verdadeiros que no so todavia demonstrveis, que permanecem indecidveis (no h exo-consistncia, ou o sistema consistente no pode ser completo).
2 Oswald Ducrot criticou o carcter autorreferencial que se empresta aos enunciados performativos (o que se faz dizendo: eu juro, eu prometo, eu ordeno...). Dire et ne pas dire, Ed. Hermann, p. 72 e ss.
Em resumo, tornando-se proposicional, o conceito perde todos os carateres que possua como conceito filosfico, sua autorreferncia, sua endo-consistncia e sua exo-consistncia.
que um regime de independncia substituiu o da inseparabilidade (independncia das variveis, dos axiomas, e das proposies indecidveis).
Mesmo os mundos possveis, como condies de referncia, so cortados do conceito de Outrem que lhes daria consistncia (de modo que a lgica se acha estranhamente desarmada diante do solipsismo).
O conceito em geral no tem mais um algarismo, mas um nmero aritmtico;
o indecidvel no marca mais a inseparabilidade dos componentes intencionais (zona de indiscernibilidade) mas, ao contrario, a necessidade de distingui-los, segundo a exigncia da referncia, que torna toda consistncia (a autoconsistncia) "incerta".
O prprio nmero marca um princpio geral de separao: "o conceito letra da palavra Zahl separa Z de a, a de h, etc".
As funes tiram toda sua potencia da referncia, seja a estados de coisas, seja a coisas, seja a outras proposies: fatal que a reduo do conceito funo o prive de todos seus carateres prprios, que remetem a uma outra dimenso.
Os atos de referncia so movimentos finitos do pensamento, pelos quais a cincia constitui ou modifica estados de coisas e de corpos.
Pode-se dizer, tambm, que o homem histrico opera tais modificaes, mas em condies que so as do vivdo, em que os functivos so substitudos por percepes, afeces e aes.
No ocorre o mesmo com a lgica:
como ela considera a referncia vazia nela mesma, como simples valor de verdade, s pode aplic-la a estados de coisas ou a corpos j constitudos, seja nas proposies adquiridas da cincia, seja nas proposies de fato (Napoleo e o vencido de Waterloo), seja em simples opinies ("X acredita que...").
Todos esses tipos de proposies so prospectos, com valor de informao.
A lgica tem pois um paradigma, ela mesmo o terceiro caso de paradigma, que no mais o da religio nem o da cincia, e que como que a recognio do verdadeiro nos prospectos ou nas proposies informativas.
A expresso tcnica "metamatemtica" mostra bem a passagem do enunciado cientfico proposio lgica, sob uma forma de recognio.
a projeo deste paradigma que faz que os conceitos lgicos no sejam, por sua vez, seno figuras, e que a lgica seja uma ideografia.
A lgica das proposies precisa de um mtodo de projeo, e o prprio teorema de Godel inventa um modelo projetivo 3 .
como uma deformao regrada, oblqua, da referncia com relao a seu estatuto cientfico.
3 (3) Sobre a projeo e o mtodo de Godel, Nagel e Newman, Le thorme de Godel, Ed. du Seuil, p. 61-69.
A lgica tem o ar de se debater eternamente na questo complexa de sua diferena com a psicologia; todavia, -lhe concedido facilmente que ela erige, em modelo, uma imagem de direito do pensamento, que no e de maneira alguma psicolgica (sem por isso ser normativa).
A questo reside antes no valor desta imagem de direito, e no que ela pretende nos ensinar sobre os mecanismos de um pensamento puro.
De todos os movimentos, mesmo finitos, do pensamento, a forma da recognio certamente a que vai menos longe, a mais pobre e a mais infantil.
Em todos os tempos a filosofia correu este perigo, que consiste em medir o pensamento com ocorrncias to desinteressantes
quanto dizer "bom dia, Teodoro", quando Teeteto que passa;
a imagem clssica do pensamento no est ao abrigo destas aventuras que se devem recognio do verdadeiro.
Ter-se- dificuldade em acreditar que os problemas do pensamento, tanto em cincia como em filosofia, tenham a ver com tais casos:
um problema, enquanto criao de pensamento, nada tem a ver com uma interrogao, que no seno uma proposio suspensa, o plido duplo de uma afirmativa que se supe servir-lhe de resposta ("qual o autor de Waverley?", "Scott o autor de Waverley?")
A lgica sempre vencida por si mesma, isto , pela insignificncia dos casos de que se alimenta.
Em seu desejo de suplantar a filosofia, a lgica desliga a proposio de todas suas dimenses psicolgicas, mas no deixa de conservar o conjunto dos postulados que limitava e submetia o pensamento s coeres de uma recognio do verdadeiro na proposio. 4
4 Sobre a concepo da proposio interrogativa por Frege, E quando a lgica se aventura num clculo de problemas, decalcando o clculo de proposies, em isomorfismo com ele.
Dir-se-ia menos um jogo de xadrez ou de linguagem, que um jogo de questes para programas de televiso.
Mas os problemas no so jamais proposicionais.
Ao invs de um encadeamento de proposies, valeria mais a pena revelar o fluxo do monlogo interior, ou as estranhas bifurcaes da conversao mais ordinria, desligando-as, tambm a elas, de suas aderncias psicolgicas e sociolgicas, para poder mostrar como o pensamento, como tal, produz algo de interessante, quando acede ao movimento infinito que o libera do verdadeiro como paradigma suposto e reconquista um poder imanente de criao.
Mas, para isto, seria necessrio que o pensamento fosse at o interior dos estados de coisas ou dos corpos cientficos em vias de constituio, a fim de penetrar na consistncia, isto , na esfera do virtual, que nada faz seno atualizar-se neles.
Seria preciso subir de novo o caminho que a cincia desce, e de baixo do qual a lgica instala seus campos.
(O mesmo vale para a Histria, em que preciso atingir a nvoa no-histrica que ultrapassa os fatores atuais em proveito de uma criao de novidade.)
Mas esta esfera do virtual, este Pensamento-Natureza, o que a lgica s capaz de mostrar, segundo uma frase famosa, sem poder jamais apreende-lo em suas proposies, nem remete-lo a uma referncia.
"Recherches logiques" (Ecrits logiques et philosophiques, p. 175). O mesmo vale para os trs elementos: a captao do pensamento ou o ato de pensar; a recognio da verdade de um pensamento, ou o juzo; a manifestao do juzo ou a afirmao. E Russell, Principes de la mathmatique, 477
Ento, a lgica se cala, e ela s e interessante quando se cala. Paradigma por paradigma, ela se identifica, ento, com uma espcie de budismo zen.
Confundindo os conceitos com funes, a lgica faz como se a cincia se ocupasse j com conceitos, ou formasse conceitos de primeira zona.
Mas ela prpria deve dobrar as funes cientficas com funes lgicas, que se supe, formam uma nova classe de conceitos puramente lgicos, ou de segunda zona.
um verdadeiro dio que anima a lgica, na sua rivalidade ou sua vontade de suplantar a filosofia.
Ela mata o conceito duas vezes.
Todavia o conceito renasce, porque no uma funo cientfica, e porque no uma proposio lgica: ele no pertence a nenhum sistema discursivo, no tem referncia.
O conceito se mostra, e nada mais faz que se mostrar. Os conceitos so monstros que renascem de seus pedaos.