A linguagem dos mundos possveis

Gabriel Arthur Lage Primo1

Resumo: Neste artigo ser apresentada, de forma clara e didtica, a descrio da noo contempornea da linguagem dos mundos possveis. O objetivo central do trabalho apresentar qual a natureza, a utilidade e a importncia dessa linguagem. A discusso procede em trs partes: A linguagem como conceito filosfico contemporneo, a mesma em detrimento do estudo modal (especificamente lgica e metafsica modal) e, por ultimo, um panorama acerca da semntica dos mundos possveis de Saul Kripke. Na primeira parte do artigo ser trabalhado o conceito de possibilidade lgica como regente da linguagem dos mundos possveis, sero explicadas as formas de mundos possveis e os limites da linguagem. A segunda parte, a mais filosoficamente densa, se refere apresentao das duas formas de modalidade altica, a saber, a lgica modal e a metafsica modal; afim de demonstrar a crucial importncia da linguagem dos mundos possveis em ambas as reas.A ultima parte trata-se da forma mais sofisticada de se entender o conceito de mundos possveis. A semntica dos mundos possveis de Kripke ser apresentada, via o seu conceito de acessibilidade entre mundos possveis de forma estritamente expositiva, ou seja, no critica. O trabalho conta ainda com uma parte histrica que tem o simples intuito de expor as origens da linguagem dos mundos possveis. Palavras-chave: Possibilidade. Necessidade. Modalidade. Acessibilidade. Abstract: In this paper will be introduced, in a clearly and didactic way, the description of contemporaneous notion of the possible worlds language. The central objective of this paper is to introduce what is the nature, the utility and the importance of this language. The discussion proceed in three parts: The language as a contemporaneous philosophical concept, the language in detriment of the modal study (specifically modal logic and metaphysic) and, at last, a panorama about the Possible Worlds Semantic, of Saul Kripke. In the first part of this paper will be elaborated the concept of logic possibility as ruler of the possible worlds language, will be explained the ways of possible worlds and the language limits. In the second part, the densest philosophically, refer to the presentation of the both aletic modality ways, the modal logic and the modal metaphysics; In order to demonstrate the crucial importance of the possible world language in the both fields. The last part is about the most sophisticated way of understanding the concepts of possible worlds. The possible worlds semantics of Kripke will be presented by his concept of accessibility between possible worlds in a strictly expositive way, non critic. The paper also has a historical part which has the simple intention of exposing the origins of the possible worlds language. Keyword: Possibility. Necessity. Modality. Accessibility.

Graduando em Filosofia pela Universidade Federal de Ouro Preto - UFOP - Campus Ouro Preto. E-mail: bielprimo@hotmail.com Orientador: Prof. Dr Desidrio Murcho.

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

63

1. INTRODUO

As prximas pginas contm um contedo descritivo e didtico de uma das mais importantes linguagens filosficas da contemporaneidade, a saber, a linguagem dos mundos possveis. A abordagem ser bastante simples e apresentar conceitos daquilo que se refere a esse tipo de linguagem (tais como possibilidade e necessidade). Os passos sero os seguintes: primeiro apresentarei tal linguagem como conceito filosfico a fim de demonstrar claramente qual a sua natureza, sua utilidade e sua importncia. O segundo passo se refere raiz histrica do conceito, ou seja, demonstrarei como o filosofo moderno alemo Gottfried Wilhelm Leibniz (1646-1716) criador de tal linguagem - entendia o conceito de mundos possveis, a partir de suas noes ontolgicas. Por ultimo irei expor como esse conceito entendido nos dias de hoje a partir da semntica dos mundos possveis de Saul Kripke(1940).

2. O CONCEITO DE MUNDOS POSSVEIS

A noo de mundos possveis uma ilustrao, obediente s regras da lgica, de como as coisas so ou podem ser. Isso quer dizer que esse tipo de linguagem visa abranger tudo que logicamente possvel incluindo tudo que realmente h. Dessa forma pode-se entender mundo possvel como mundo logicamente possvel2. Mas o que logicamente possvel? Entende-se como possibilidade lgica tudo aquilo que no uma contradio lgica, por exemplo, a proposio P P uma contradio lgica. Para tornar mais intuitiva essa sentena basta substituir P por A grama verde: Assim, P P A grama e no verde Dessa forma fica fcil detectar a contradio, pois logicamente impossvel uma coisa ser e no ser verde. Logo um mundo onde a grama e no verde no um mundo possvel. importante, tambm, que fique claro que um mundo possvel no um planeta ou, um astro qualquer, e sim a totalidade das coisas, a realidade ou todo o
Alm disso, uma caracterstica essencial de mundo possvel o fato de no se inferir do mesmo uma contradio lgica, ou seja, mesmo que no h nenhuma contradio lgica explcita em um determinado mundo no podemos ainda dizer que o mesmo possvel, pois preciso, ainda, que no se derive das suas propriedades ou dos particulares que pertencem a ele nenhuma contradio lgica.
2

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

64

universo. Em algum mundo possvel o planeta terra pode sequer existir, pois a no existncia deste no implica uma contrao lgica. No devemos tambm definir um mundo possvel quanto a sua localizao temporal, isso quer dizer que um mundo possvel engloba o passado o presente e o futuro. Assim podemos concluir que tudo que logicamente possvel pode ser representado por um mundo possvel. Entende-se como mundo atual aquele que est em ato (no sentido aristotlico do termo), ou seja, aquele que est efetivado, aquele em que as coisas realmente so ou simplesmente o mundo em que ns nos situamos. O mundo atual , ainda, um mundo possvel visto que tudo que h nele logicamente possvel. No devemos confundir mundo atual com mundo real, pois existe a hiptese de que os demais mundos so to reais quanto o atual. Acontece que tudo que logicamente possvel no se esgota nas coisas e nos acontecimentos do mundo atual. Corriqueiramente imaginamos coisas que poderiam acontecer (como a possibilidade de estar com uma mulher bonita, ou ter mais dinheiro) e grande parte das vezes essas coisas so logicamente possveis (como os exemplos anteriores). Convivemos, ainda, com a linguagem dos mundos possveis quando entramos em contato com fices de qualquer natureza. Quando extraterrestres invadem o planeta terra em um filme de Steven Spielberg podemos dizer que ele prope um mundo possvel onde isso esteja acontecendo. Assim a linguagem dos mundos possveis satisfaz a nossa intuio na pretenso de englobar tudo que poderia acontecer em um s sistema.

3. O USO DO CONCEITO DE MUNDOS POSSVEIS EM UM ESTUDO MODAL de certa forma obvio que as pessoas se perguntam sobre como as coisas podem ser ou no, mas qual a importncia de uma indagao dessa natureza em um estudo filosfico seja ele qual for? Nos dias de hoje usa-se a linguagem dos mundos possveis a fim de tornar intuitivamente mais claros os estudos modais. Entende-se por modal todo estudo concernente necessidade e/ou possibilidade de uma proposio qualquer3. O que quero dizer que quando nos
Em um sentido amplo, modalidade diz respeito aos modos da verdade. Assim um estudo modal caracterizado pela investigao de como a verdade pode ser. O tipo de modalidade aqui referido chamado de modalidade altica que por sua vez se divide em trs tipos de modalidades, a saber, lgica, metafsica e fsica. No presente trabalho, a fim de clarear a noo de mundos possveis, usaremos, como
3

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

65

perguntamos se Pel poderia no ter nascido em Trs Coraes estamos a indagar sobre o estatuto modal da natalidade dessa pessoa. Algumas disciplinas filosficas tm como sub-disciplina o seu aspecto modal, irei expor nos prximos pargrafos, a titulo de exemplo a lgica modal e a metafsica modal. A lgica clssica possui cinco operadores ( , , , e ), isso significa que

todo o trabalho da lgica clssica se restringe a combinao desses operadores s proposies e a partir deles verificar a validade ou no dos argumentos. Todavia existem alguns argumentos que a lgica clssica no consegue verificar a validade um exemplo so os casos onde a necessidade ou a possibilidade das proposies contidas nos argumentos proposta, como:

Pel necessariamente um ser humano. Logo, Pel um ser humano. e Pel possivelmente paulista. Logo, Pel paulista.

Repara-se que apenas um operador foi usado em cada argumento o de necessidade () no primeiro e o de possibilidade () no segundo. demasiada intuitiva a compreenso desses operadores: uma proposio verdadeiramente necessria quando alem de ser verdade ela no poderia no ser verdade e possvel quando pode ser verdade, mas no tem de ser, de uma forma ou de outra, verdade. Acontece que quando dizemos que Pel necessariamente um ser humano, de acordo com a linguagem dos mundos possveis, estamos na verdade dizendo que Pel um ser humano em todos os mundos possveis e quando dizemos que Pel possivelmente paulista, estamos na verdade dizendo que existem alguns mundos possveis onde Pel seja paulista (o atual no um deles, pois Pel mineiro). Podemos ainda propor o seguinte:

Pel contingentemente o rei do futebol.

genuna, a modalidade lgica. Podemos ilustrar esse tipo de modalidade com a seguinte sentena: p uma necessidade lgica (em seu sentido pleno) se, e somente se, p uma verdade lgica ou uma verdade analtica.

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

66

Logo, Pel o rei do futebol. Surge agora um novo operador modal, o da contingncia (). Uma proposio verdadeiramente contingente quando ela verdade no mundo atual e falsa em outros mundos possveis. Pel realmente o rei do futebol (isso significa que ele o no mundo atual), mas essa poderia ser uma caracterstica de Diego Maradona, logo existem alguns mundos possveis onde o argentino seja o rei do futebol. Apenas o primeiro e o terceiro argumentos so vlidos, ou seja, impossvel a premissa ser verdadeira e a concluso falsa. J o segundo, apesar de que, Pel poderia ter nascido em So Paulo, ele no de fato paulista, por isso o argumento invalido. Existem tambm proposies impossveis (P ou P), j vimos um exemplo dessa natureza, a saber, A grama e no verde no verdade em todos os mundos possveis. No entanto no somente a lgica que faz uso da linguagem dos mundos possveis para tornar mais intuitivo o seu estudo modal, a metafsica tambm o faz. Para entendermos o funcionamento da metafsica modal preciso, antes, entender o significado dos conceitos de particular e propriedade. Entende-se por particular tudo aquilo que exemplifica ou carregado de propriedades e no uma propriedade. Como Pel ou Minas Gerais. Assim pode-se dizer que o particular Pel exemplifica a propriedade de ser jogador de futebol e o particular Minas Gerais exemplifica a propriedade de ser um estado da federao brasileira. Costuma-se usar nomes para designar particulares e a parte predicativa da frase para designar propriedades. importante que fique claro que os particulares no so os nomes, as palavras, ou seja, usa-se a palavra Pel para fazer referencia ao particular Pel que existe no mundo atual. O mesmo acontece com as propriedades, o predicado jogador de futebol apenas faz referencia a essa tal propriedade existente no mundo atual. Nem todos os particulares so pessoas ou coisas materiais como Pel ou bola. Alguns particulares so concepes da nossa mente e, por isso, so subjetivos. Isso acontece porque possuir matria no condio para ser particular e sim possuir, ao menos, uma propriedade. O numero 1 tem a propriedade de ser impar, fato que o faz ser um particular, apesar de no ser material. Tem-se a idia de que o particular 1 (como qualquer outro numero) um existente necessrio pois ele existe em todos os mundos possveis, assim como sua
Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

67

propriedade de ser impar ( ou qualquer outra), visto que ela o qualifica em todos os mundos possveis. O que acontece com o particular 1 demasiado raro, a maioria dos particulares no tem existncia necessria e sim contingente (o particular Pel e o particular bola por exemplo) assim um particular que no seja necessrio jamais ter uma propriedade necessria, pois impossvel a propriedade de ser humano corresponder ao particular Pel em todos os mundos possveis, j que Pel sequer existe em todos os mundos possveis, por exemplo. O mximo que se pode fazer a esse respeito dizer que tal propriedade essencial, pois ela qualifica o particular Pel em todos os mundos em que ele existe. Vimos ento que um lgico e um metafsico recorrem a linguagem dos mundos possveis para dar corpo aos seus problemas modais, ou seja, tornar mais intuitivo o estudo do que necessrio possvel e contingente. Um metafsico pode usar esse linguajar pra auxiliar-se em um estudo sobre essncias da forma que vimos no final do ultimo pargrafo.

4. A PERSPECTIVA LEIBNIZIANA DO CONCEITO

Pretendo agora traar um panorama, no critico, do que Leibniz entendia por mundo possvel. Partindo da idia de que o filosofo alemo se preocupou, sobretudo, ao criar esse tipo de linguagem com a natureza dos mundos possveis, ou seja, dada a importncia quanto ao estatuto metafsico de tais entidades (se elas realmente existem, como foram criadas e etc.). Tudo parte de uma noo no naturalista, ou seja, feito um apelo superior mente de Deus para explicar a existncia de mundos possveis. Quer dizer que para Leibniz Deus, com sua mente eterna e necessria (e aparentemente bondosa), criou vrios mundos logicamente consistentes. A existncia dos mundos possveis, em si, no necessria, se o contrario procedesse, o livre arbtrio de Deus seria questionado, ou seja, Deus poderia, muito bem, no ter criado os mundos possveis, j que tudo acontece conforme sua vontade. Isso implica que no h particulares necessrios, nem mesmo os que compem as leis da geometria e da cinemtica (como os nmeros). Dessa forma o nico existente necessrio de fato Deus.

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

68

Entre os vrios mundos possveis Deus escolheu o melhor para ser o atual. No mundo atual as leis da causalidade, da aritmtica e da cinemtica existem e so, rigidamente, modelos para os outros mundos em que elas existem. Em todos os mundos possveis em que as leis da geometria existem, por exemplo, a soma dos ngulos internos de um triangulo 180 graus. Logo, todas as propriedades das leis da geometria so essenciais, visto que a geometria necessria no que se referem as suas propriedades e contingente no que se refere a sua existncia. Existem peculiaridades concernentes ao estatuto modal do tempo, do espao e do movimento. O tempo existe em todos os mundos possveis, pois Leibniz acredita ser a existncia do tempo uma condio necessria para a existncia de qualquer coisa (seja ela concreta ou no), no devemos esquecer que para Leibniz isso no significa que o tempo um existente necessrio, porque nem a existncia dos mundos possveis necessria. J o espao e o movimento s existem em mundos possveis onde h certa pluralidade de particulares materiais.

5. A SEMNTICA DOS MUNDOS POSSVEIS DE SAUL KRIPKE

O filosofo e matemtico americano Saul Kripke, considerado uma das maiores influencias em lgica, filosofia da linguagem, filosofia da mente e metafsica da atualidade, desenvolveu, desde sua juventude, trabalhos sobre lgica modal. Baseado em uma perspectiva naturalista e pretendendo englobar todos os sistemas modais criados na segunda metade do sculo XX, Kripke criou a semntica dos mundos possveis orientado pela sua idia de relao de acessibilidade entre os mundos possveis. Um mundo acessvel a outro se e somente se o anterior for possvel a ele (ou do ponto de vista dele). Isso significa que um mundo s acessvel ao mundo atual se este for uma verdade, ao menos possvel, no mundo atual. importante lembrar que essa uma condio para o mundo ser acessvel a ele mesmo, tambm, ou seja, um mundo v a si prprio (refletividade) se ele for uma verdade possvel a si mesmo (falando em termos proposicionais). O sistema de acessibilidade funciona da seguinte forma: Tm-se trs variveis <G, K, R>, onde G representa o mundo atual, K o conjunto de mundos possveis e R a
Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

69

relao existente entre G e K. Segundo o conceito de acessibilidade uma possibilidade, ou P, s verdadeira se e somente se, P for verdadeira em pelo menos um dos mundos k, onde k acessvel ao mundo atual g, assim Rgk. E uma necessidade, ou P, s verdadeira se e somente se, p for verdadeira em todos os mundos possveis k na relao Rgk. Existem quatro principais sistemas de lgica modal baseados no conceito de acessibilidade (T, S4, B, S5). Esses sistemas so, muitas vezes, usados para provar argumentos de ordem metafsica. Os sistemas so entendidos, basicamente, pelas propriedades lgicas que se atribui a R. Quanto mais propriedades se atribuem a R mais forte o sistema. Assim, no sistema T atribui-se apenas a propriedade de refletividade. Assim pode admitir-se previamente que P P. O sistema S4 admite as propriedades de refletividade e de e transitividade (a relao: a=b, a=c, logo, b=c um exemplo de relao transitiva), logo: P P. Se as propriedades forem, refletividade e simetria temos B (a propriedade de ser irmo de, por exemplo, uma propriedade simtrica): P P. E por ultimo temos o sistema mais forte, o S5 que engloba todas as propriedades anteriores: P P. O uso desses sistemas depende da aceitao, de quem o usa, das propriedades mencionadas. Costuma-se sempre reconhecer que o mundo atual acessvel a si prprio, por isso T o sistema mais fraco.

6. CONCLUSO

indiscutvel a importncia da linguagem dos mundos possveis, entretanto a quem a problematize questionando-se sobre como poderamos hoje, com uma filosofia naturalizada, estabelecer a natureza metafsica dos mundos possveis. Ser que existe de fato algum mundo possvel alem do atual? Quais so os critrios de identidade entre os particulares dos mundos possveis, ou seja, o que seria preciso para dizer que o Pel de algum mundo possvel o mesmo Pel do mundo atual? Tendo a entender a linguagem dos mundos possveis apenas como uma linguagem, ou uma ilustrao que se apresenta como um conceito neutro na filosofia. De qualquer forma impossvel ignorar duvidas inerentes a esse assunto. Talvez esse seja o tema para o prximo trabalho.

REFERNCIAS
Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

70

AUDI, Robert, ed. The Cambridge Dictionary of Philosophy. 2nd. ed., Cambridge, UK: Cambridge University Press, 1999. BRANQUINHO, Joo; MURCHO, Desidrio. Enciclopdia de Termos LgicoFilosficos. 2. Ed. Lisboa: Gradiva, Agosto de 2001 MURCHO, Desidrio. Essencialismo Naturalizado. Coimbra: Angelus Novus, 2002. RUSSEL, Bertrand. A filosofia de Leibniz. Tradutores: Joo Eduardo Rodrigues Villalobos, Hlio Leite de Barros e Joo Paulo Monteiro. So Paulo: Companhia Editora Nacional. 1968.

Vol. 2, n 2, 2009. www.marilia.unesp.br/filogenese

71