positivismo lgico

I 1') Nenhum dos meus filhos gordo; 3) Todo o gluto, que seja uma das minhas crianas, gordo; 6) Logo, nenhum gluto, que seja uma das minhas crianas, meu filho. Carroll, L. 1976. Complete Works. Nova Iorque: Random House.

Em segundo lugar, por CONVERSO e depois podemos reformular a proposio 2 na proposio equivalente 2': Todas as minhas crianas saudveis fazem exerccio. Por outro lado, tomando (no contexto) o termo geral filha como equivalente ao termo geral no filho, e, de novo por CONVERSO e depois OBVERSO, podemos reformular a proposio 4 na proposio equivalente 4': Todas as minhas crianas que fazem exerccio so meus filhos. Juntando estas duas proposies como premissas, obtemos o seguinte silogismo vlido:
OBVERSO,

II 2') Todas as minhas crianas saudveis fazem exerccio; 4') Todas as minhas crianas que fazem exerccio so meus filhos; 7) Logo, todas as minhas crianas saudveis so meus filhos.

Finalmente, tomamos as concluses dos silogismos I e II como premissas e obtemos o seguinte silogismo vlido:
III 7) Todas as minhas crianas saudveis so meus filhos; 6) Nenhum gluto, que seja uma das minhas crianas, meu filho; 5') Logo, nenhum gluto, que seja uma das minhas crianas, saudvel.

A proposio 5' , por obverso, reformulvel na concluso geral 5. Nesta cadeia de silogismos, os silogismos I e II so ambos prossilogismos relativamente ao silogismo III; e este ltimo um epissilogismo relativamente a cada um daqueles silogismos. Ver tambm SILOGISMO; QUADRADO DE OPOSIO. JB

positivismo lgico Um dos movimentos mais importantes do pensamento filosfico analtico, conhecido tambm por neopositivismo e por empirismo lgico. Tendo surgido nos anos vinte com o Crculo de Viena, o positivismo lgico manteve uma vasta influncia durante cerca de trinta anos. Os elementos deste movimento, unidos por uma postura radicalmente empirista e anti-metafsica (apresentada como a concepo cientfica do mundo), procuraram revolucionar a filosofia atravs do uso dos recursos da lgica simblica na anlise da linguagem cientfica. Liderado por Moritz Schlick, o Crculo de Viena funcionou inicialmente como um simples grupo de discusso animado pela presena de diversos filsofos e cientistas. Rudolf Carnap e Otto Neurath foram, a par de Schlick, os filsofos do Crculo que mais se destacaram. A partir de 1929, o Crculo estruturou-se com o objectivo de tornar o positivismo lgico um movimento filosfico verdadeiramente internacional. Desse esforo consciente, conduzido em grande parte atravs da realizao de congressos internacionais, resultaram contactos e alianas com filsofos escandinavos, polacos, britnicos e norte-americanos. O pequeno grupo de filsofos da escola de Berlim foi especialmente influente no desenvolvimento do positivismo lgico. Alm de Carl Hempel e de Richard von Mises, destacou-se nesse grupo Hans Reichenbach, que dirigiu com Carnap a revista Erkenntnis, o rgo principal do movimento. Ao longo dos anos trinta, embora o movimento estivesse em plena ascenso, o Crculo de Viena conheceu um declnio que culminou no seu desaparecimento. A morte de Schlick, que foi assassinado por um ex-aluno que sofria de perturbaes mentais, contribuiu para esse declnio. O clima de hostilidade poltica provocou a disperso dos elementos do Crculo, e o grupo de Berlim tambm no resistiu emergncia do nazismo. O palco da

577

positivismo lgico
actividade do positivismo lgico deslocou-se assim para os Estados Unidos e tambm para Inglaterra, onde em 1936 A. J. Ayer publicou Linguagem, Verdade e Lgica, a introduo clssica posio filosfica avanada pelos filsofos do Crculo de Viena. A filosofia do positivismo lgico, embora se tenha apresentado explicitamente em ruptura com a maior parte da filosofia tradicional, no deixa de reflectir um vasto leque de influncias. Em aspectos cruciais, ela consiste no desenvolvimento de teses caractersticas do empirismo britnico, sobretudo do de David Hume, o que se traduziu numa oposio radical epistemologia kantiana. A este respeito, afirma-se no manifesto do Crculo de Viena, publicado em 1929:
A concepo cientfica do mundo no reconhece qualquer conhecimento incondicionalmente vlido obtido a partir da pura razo, quaisquer juzos sintticos a priori [] A tese fundamental do empirismo moderno consiste precisamente na rejeio da possibilidade do conhecimento sinttico a priori.

Para a defesa desta tese, os positivistas encontraram um apoio significativo no convencionalismo de Henri Poincar, segundo o qual as proposies da geometria no so sintticas a priori e necessrias, como Immanuel Kant julgara, pois a geometria usada na descrio do mundo resulta de uma escolha meramente convencional. O uso da geometria no euclidiana na teoria da relatividade geral de Einstein, que evidenciou o erro de considerar a geometria euclidiana como a nica descrio possvel do espao, foi interpretado por Schlick em termos convencionalistas ainda antes de ir para Viena. A influncia do logicismo de Frege e Russell pesou tambm no sentido da aceitao do convencionalismo em relao matemtica. A realizao do programa logicista, conduzido essencialmente pelo uso da nova lgica simblica, foi ainda influente na formao do positivismo lgico por exemplificar uma maneira

cientfica de filosofar. O mesmo se pode dizer do Tratactus Logico-Philosophicus de Wittgenstein, onde os positivistas puderam reconhecer-se numa concepo de filosofia enquanto actividade de anlise da linguagem, actividade essa distinta de qualquer investigao emprica. O Tratactus foi tambm inspirador na elaborao da teoria central do positivismo lgico: a teoria verificacionista do significado. Inicialmente, o verificacionismo foi apresentado como uma tese sobre aquilo em que consiste o significado de uma assero. Essa tese foi condensada na seguinte frmula: O significado de uma afirmao o mtodo da sua verificao. No entanto, o verificacionismo acabou por ser entendido primariamente como um critrio para distinguir as asseres com significado das asseres sem significado. Segundo este critrio, uma assero tem significado se, e s se, 1) analtica ou contraditria ou 2) empiricamente verificvel. Reconhecem-se assim apenas dois tipos de proposies genunas: as proposies analticas a priori e as proposies sintticas a posteriori. As primeiras, exemplificadas especialmente pela lgica e pela matemtica pura, so tambm necessrias, ao passo que as segundas, prprias das cincias empricas, so contingentes. As asseres identificadas com a metafsica no tm por isso qualquer significado, ou, pelo menos, so destitudas de significado cognitivo. Podem ter algum significado emocional, mas nada afirmam que seja verdadeiro ou falso, sendo meras pseudoproposies que resultam de pseudoproblemas. Alm de asseres claramente metafsicas como a realidade espiritual, foram includas nesta categoria todas as asseres tpicas da tica e da esttica. Mesmo a epistemologia no ficou imune devastao imposta pelo critrio da verificabilidade. Na medida em no se deixa reconduzir psicologia emprica, tambm ela deve dar lugar actividade de anlise lgica da linguagem. No nos devemos impressionar demasiado com toda esta hostilidade perante a filosofia tradicional. A verdade que muitos dos problemas filosficos tradicionais foram

578

positivismo lgico
recuperados e amplamente discutidos no contexto da anlise lgica considerada legtima. O problema de saber o que significa ao certo empiricamente verificvel deu origem a inmeras verses do critrio positivista, mas pelo menos neste aspecto prevaleceu sempre o consenso: mesmo que, devido a limitaes tecnolgicas, uma assero no possa ser verificada na prtica, ela no deixa de ter significado desde que possa ser verificada em princpio. Por isso, uma assero como existem planetas noutras galxias, embora nas circunstncias actuais no possa ser verificada na prtica, exprime uma proposio genuna, porque podemos indicar condies empricas relevantes para determinar o seu valor de verdade. O mesmo no acontece, por exemplo, com a realidade espiritual, j que esta assero e a sua negao no diferem em consequncias empricas. Tal como foi defendido por Schlick, este critrio de significado traduziu-se na exigncia de verificabilidade forte. Nesta verso, o critrio da verificabilidade diz-nos que uma assero empiricamente verificvel se, e s se, 1) uma proposio elementar observacional ou 2) equivalente a uma conjuno finita logicamente consistente dessas proposies. Uma assero no analtica s tem assim significado quando conclusivamente verificvel, ou seja, quando, em princpio, podemos verific-la definitivamente atravs do conhecimento das proposies elementares que determinam o seu significado. Esta exigncia de verificabilidade conclusiva foi muito criticada, sobretudo por se mostrar demasiado restritiva. Ela parece excluir da classe das asseres com significado diversos tipos de asseres vistos como legtimos pela maior parte dos positivistas. As asseres estritamente universais, como no se deixam reduzir a um conjunto finito de proposies observacionais, no podem ser conclusivamente verificadas nem em princpio. Entre essas asseres contam-se as leis cientficas, e por isso consider-las como destitudas de significado seria coloc-las no mesmo plano que a metafsica. As asseres puramente existenciais tambm suscitam dificuldades porque, mesmo admitindo que estas so conclusivamente verificveis, as suas negaes no o so, j que a negao de uma assero existencial uma assero universal. Isto tem a consequncia estranha de existirem asseres com significado cuja negao no tem significado, o que contraria o princpio do terceiro excludo. Alm destas objeces, que se apoiam na forma lgica das asseres consideradas, os crticos da verificabilidade forte defenderam tambm que no possvel verificar conclusivamente asseres sobre o passado ou sobre experincias de outras pessoas, embora essas asseres tenham significado cognitivo. Carnap e Ayer contam-se entre os positivistas que rejeitaram a exigncia de verificabilidade conclusiva, tendo proposto no seu lugar um critrio de verificabilidade fraca ou confirmabilidade. Neste tipo de verso do critrio positivista, declara-se que uma assero no tem de ser implicada por um conjunto de proposies elementares observacionais para ter significado. antes necessrio que exista um conjunto dessas proposies que possa simplesmente confirmar num certo grau de probabilidade a assero em causa. Ayer tentou formular este critrio nos seguintes termos:
A caracterstica principal de uma proposio factual genuna no que esta deva ser equivalente a uma proposio da experincia, nem a qualquer nmero finito de proposies da experincia, mas simplesmente o facto de algumas proposies da experincia poderem ser deduzidas a partir dela em conjuno com determinadas outras premissas sem serem dedutveis apenas a partir destas (Ayer 1946: 15)

Esta verso do critrio positivista admite que as asseres universais podem ter significado (de uma assero com a forma x (Ax Bx), por exemplo, podemos deduzir uma proposio observacional Ba fazendo uso da premissa adicional Aa), mas tem a grande desvantagem de implicar que qualquer assero tem significado. Da assero o Absoluto preguioso, ou de qualquer outra escolhida arbitra-

579

positivismo lgico
riamente, podemos deduzir a proposio observacional expressa pela frase Esta rosa vermelha se usarmos a premissa adicional Se o Absoluto preguioso, esta rosa vermelha, que por si no implica a concluso. Ayer reformulou ento o seu critrio para corrigir esta abrangncia excessiva, mas no conseguiu evitar o mesmo tipo de crtica, e a discusso sobre a verso exacta do critrio da verificabilidade encaminhou-se para formulaes com uma complexidade ptolemaica. A plausibilidade inicial do critrio, que chegou a ser considerado por Schlick como um simples trusmo, foi enfraquecendo e tornando manifesta a importncia de esclarecer esta questo: o que acontece ao critrio da verificabilidade quando o aplicamos a si mesmo? Se uma assero com significado, ento, pelo que diz, tem de ser analtica ou empiricamente verificvel. No primeiro caso, parece que devemos interpret-la como uma simples estipulao para o uso do termo significado cognitivo, mas assim perde-se todo o fundamento para rejeitar a metafsica. Ser ento que o critrio da verificabilidade uma hiptese factual empiricamente verificvel? Neste caso, parece que devemos conceb-lo como uma hiptese sobre como certas pessoas usam de facto termos como significado ou significado cognitivo, o que tambm no muito promissor, j que nenhum positivista conduziu qualquer tipo de investigao emprica para saber se tinha razo. O estatuto do critrio da verificabilidade permanece assim perigosamente indefinido, recaindo sobre si a suspeita de ser auto-refutante. Importa ainda notar que o critrio da verificabilidade pressupe a existncia de certas proposies elementares observacionais, capazes de servir de base para o processo de verificao. Mas qual ser a natureza dessas proposies? Esta questo suscitou uma das maiores polmicas internas no movimento positivista. Se, como Schlick supunha, as proposies elementares se referem a experincias privadas, como podero elas constituir uma base objectiva para o conhecimento cientfico? Neurath ops uma perspectiva fisicalista ao fenomenismo de Schlick, defendendo que as proposies elementares se referem a objectos e acontecimentos fsicos, mas acabou por ser acusado de abandonar o empirismo (ver PROPOSIES PROTOCOLARES). Os filsofos do positivismo lgico, embora sustentassem que as cincias formais (lgica e matemtica) e as cincias factuais empricas so radicalmente distintas, afirmaram sempre a unidade destas ltimas. Entre a fsica e a psicologia, ou entre a biologia e a sociologia, todas as diferenas cognitivamente relevantes so de grau e no de natureza. Esta tese da unidade da cincia desenvolveu-se em grande parte atravs do fisicalismo defendido por Neurath, um amplo programa de investigao que deu origem ao projecto, s parcialmente realizado, da International Encyclopedia of Unified Science. Neurath acreditava que o ideal da unificao da cincia devia ser promovido pela instaurao de uma linguagem fisicalista comum a todas as cincias. Importa notar que o objectivo no era reduzir as asseres da psicologia e da sociologia a asseres da fsica, mas apenas reduzir as primeiras a asseres expressas numa linguagem mais bsica, especialmente exemplificada pela fsica. As asseres sobre estados mentais, por exemplo, deviam ser redutveis a asseres sobre o comportamento fsico. Mesmo aqueles que, como Ayer, rejeitaram explicitamente o fisicalismo, aceitaram a existncia de uma unidade metodolgica fundamental nas cincias empricas. Esse tipo de unidade foi pressuposto, por exemplo, nos estudos sobre probabilidade, a que os positivistas dedicaram muita ateno. Reichenbach e von Mises destacaram-se nesse domnio por terem desenvolvido a teoria frequencista da probabilidade, na qual se concebe a probabilidade como a frequncia relativa de um acontecimento numa longa srie de ensaios. Esta concepo parece ir contra a ideia de que a probabilidade corresponde a um certo grau de confirmao de uma hiptese, mas Carnap esclareceu a situao afirmando que no h aqui qualquer incompatibilidade, j que existem dois conceitos bem distintos de probabilidade. Carnap investigou ento o conceito de probabilidade como confirmao (sendo a con-

580

possibilia
firmao uma relao que ocorre entre uma hiptese e um conjunto de dados que a apoiam num certo grau), procurando desenvolver um sistema de lgica indutiva capaz de determinar quantitativamente a probabilidade de uma hiptese ser verdadeira luz de certos dados. Hempel tambm investigou o conceito de confirmao, mas f-lo sobretudo na perspectiva de saber quando que certos dados confirmam uma hiptese. Estas investigaes foram substancialmente conduzidas atravs do uso de linguagens artificiais, pressupondo-se assim que os resultados obtidos podem ser indiferenciadamente aplicados a todas as hipteses de todas as disciplinas cientficas. O estudo do conceito de explicao cientfica, protagonizado por Hempel em diversos artigos amplamente discutidos, proporciona outro exemplo importante da defesa da unidade da cincia. Nos seus modelos de cobertura por leis, Hempel sustentou que explicar cientificamente um acontecimento mostrar que ele ocorreu de acordo com certas leis, em virtude da realizao de certas condies prvias. Quando se explica um acontecimento na histria ou na fsica, sempre isso que se faz, mesmo que na histria as explicaes obtidas estejam geralmente mais afastadas deste ideal de subsuno por leis que as explicaes da fsica. A radicalidade das teses associadas unidade da cincia e ao conceito de significado torna hoje muito difcil encontrar um filsofo que se considere estritamente neopositivista. O positivismo lgico no resistiu s crticas que lhe foram dirigidas por filsofos com as mais diversas orientaes e interesses, como Karl Popper e Willard Quine, mas o interesse pelos problemas discutidos no Crculo de Viena continua a persistir. O positivismo lgico permanece assim como um ponto de referncia incontornvel na discusso dos problemas centrais da filosofia da linguagem, da matemtica e da cincia. Ver tambm PROPOSIES PROTOCOLARES, HOLISMO. PG
Ayer, A. J. 1946. Linguagem, Verdade e Lgica. Trad. A. Mirante. Lisboa: Presena, 1991. Ayer, A. J., org. 1959. Logical Positivism. Westport: Free Press. Hanfling, O., org. 1981. Essential Readings in Logical Positivism. Oxford: Blackwell. Hempel, C. 1956. Aspects of Scientific Explanation. Nova Iorque: Free Press. Schilpp, P., org. 1963. The Philosophy of Rudolf Carnap. La Salle, Ill: Open Court. Schlick, M. 1979. Philosophical Papers. 2 vols. Dordrecht: Reidel.

possibilia (lat., objectos possveis) Itens que poderiam existir, isto , cuja existncia metafisicamente possvel. Meros possibilia so itens que poderiam existir mas no existem. A questo fundamental acerca de possibilia a de saber se h quaisquer meros possibilia. Nos sentidos relevantes dos termos, o possibilismo diz que h; o ACTUALISMO diz que no. Suponha-se, por exemplo, que os animais de qualquer espcie dada no poderiam ter existido sem pertencer a essa espcie. Dado que poderiam ter existido animais de uma espcie diferente da de qualquer animal actualmente existente, poderiam ter existido animais que actualmente no existem. Se h esses animais possveis, ento h meros possibilia, e o possibilismo correcto. De acordo com o actualismo, a expresso esses animais possveis , neste contexto, vazia de referncia; todavia, se tivessem existido animais que actualmente no existem, a expresso esses animais poderia ter sido usada para os referir. O possibilismo distingue o ser da existncia, uma vez que implica que h possibilia no existentes. Uma motivao para o actualismo o desejo de evitar tal distino (mas natural dizer que, embora haja acontecimentos, eles no existem: ocorrem). No entanto, o possibilismo no est comprometido com outras doutrinas associadas quela distino na obra de Meinong, em particular a doutrina de que qualquer descrio definida o F denota o F. Por exemplo, os possibilistas podem negar que o mamfero com dez asas sedento denote o mamfero com dez asas sedento, com base no facto de a descrio ser vazia. Poderia ter havi-

581