Metafsica das modalidades

Trabalho de final de curso: Lgica (tpicos de lgica formal) 2 semestre 2016

Guilherme Messias Pereira Lima N. USP: 7202620

O trato filosfico sobre as modalidades compreende uma extensa lista de diferentes abordagens com
as quais podemos analisar a especificidade (ou modo) com que uma sentena ou afirmao deva ser
compreendida. Modalidades denticas, modalidades temporais, modalidades epistemolgicas etc, procuram
realar caractersticas prprias a determinados contextos discursivos, como contextos normativos,
temporais ou epistmicos, respectivamente 1. Entretanto, os vestgios que encontramos sobre o incio da
investigao modal remontam, de maneira geral, para a diferenciao mais bsica sobre dois 2 modos
distintos sobre os quais podemos diferenciar certa sentena S, a saber, se S necessria ou contingente.

Neste trabalho, pretendemos realizar um esboo sobre o desenvolvimento da teoria das modalidades,
procurando investigar o tratamento que as noes de necessidade e possibilidade receberam desde o
advento da lgica modal contempornea, luz da teoria das modalidades desenvolvida pela tradio da
Filosofia Analtica. Mais especificamente, procuraremos identificar os pontos comuns e divergentes nas
teorias dos principais interlocutores destas discusses, na medida em que tal identificao nos permitir
compreender a inter-relao entre a concepo metafsica de certas noes tericas de um autor e a
adequao desta teoria filosfica a um sistema lgico semntico.

Consequentemente, teremos de lidar com noes nucleares envolvendo a interpretao da lgica

modal. Por isso, iremos tambm discutir a diferena entre diversas interpretaes sobre conceitos 3 da
semntica de Kripke que, conforme j discutimos, podem ser considerados problemticos. Esta anlise das
interpretaes mais comuns que encontramos na literatura nos permitir evidenciar os problemas que tais

1 Deixaremos de fora de nossa discusso o problema de alocar tais contextos sob a guarda do manto de
contextos lgicos. Obviamente, h quem defenda que noes epistmicas ou denticas, por exemplo, no
so propcias para receber tratamento lgico, no sentido estrito do termo, reservando assim a expresso
Lgica Modal apenas para o contexto dos modos clssicos (alticos). Como o presente trabalho procura
discutir uma semntica para a lgica modal quantificada luz dos modos de necessidade e possibilidade,
acreditamos ser indiferente incluirmos tal discusso no presente texto.

2 Ou mais, porm sempre relacionados a noes metafsicas. Ver Bobzien, Susanne. Lgica. In. Os
Esticos, organizador. Brad Inwood. Editora Odysseus. So Paulo, 2006.

3 Como o de mundo possvel.

1
conceitos podem levantar a respeito da natureza dos objetos envolvidos na estrutura da semntica de
mundos possveis, e na relao entre estas estruturas, como estruturas, e a realidade 4.

4 Mais precisamente, na relao entre as estruturas e aquilo que, de fato, estas estruturas representam,
sendo elas consideradas reais ou no.

2
 Procuraremos, na discusso que se segue, adotar a taxonomia corrente mais utilizada para agrupar
os autores de interpretaes mais aproximadas com relao ao seu posicionamento sobre determinados
conceitos e noes. Esta taxonomia seguir, de maneira geral, a adota por Andrea Borghini em seu livro A
Critical Introduction to the Metaphysics of Modality5, assim como, em grande parte, nos beneficiaremos da
apresentao de Borghini para nortear nossa anlise relativa aos temas necessrios para o
desenvolvimento de nossa argumentao. Obviamente, tais classificaes no so rgidas e no devem ser
consideradas como uma partio dos posicionamentos filosficos disponveis, mas apenas como um
facilitador para a anlise das diversas abordagens distintas sobre variados conceitos formais e filosficos.

5 Borghini, Andrea. A Critical Introduction to the Metaphysics of Modality. Bloomsbury Academic. London,
2016.

3
 2.1 Sobre as modalidades alticas

As modalidades alticas6 de necessidade e possibilidade so essenciais a qualquer discusso acerca

de problemas metafsicos, j que a predicao de tais modos a uma sentena S revela a prpria estrutura
ontolgica que fundamenta S. A filosofia de Parmnides, por exemplo, expressa aquilo que poderia ser
classificado hoje como um monismo metafsico, na medida em que para ele, o universo existe
necessariamente e tudo o que existe, existe necessariamente do jeito que 7.

Retomando a construo histria do pensamento metafsico, constatamos que Plato discorre sobre
a Metafsica no Timeu, onde apresentada uma teoria a respeito da ontologia do mundo e, principalmente,
onde encontramos a teoria das formas inteligveis, que esculpe a Metafsica platnica.

Aristteles far um tratamento sistemtico sobre as modalidades, como expusemos no captulo 1, ao

tratar da teoria dos silogismos modais. Acompanhemos um comentrio de Marilena Chau 8 a respeito da
teoria desenvolvida pelo estagirita acerca das modalidades.

Nas Categorias e na Fsica, Aristteles concebe o necessrio como aquilo que no

depende de uma deciso voluntria, mas decorre da prpria phsis; em contrapartida, o
possvel aquilo que depende de uma viso voluntria ou de uma escolha entre alternativas
contrrias, escolha feita em vista de um fim visado pela vontade do agente; o contingente, por
sua vez, que no depende nem da phsis nem da vontade, mas acontece quando duas
sries causais, cada qual dotada de seu prprio sentido e fim, acidentalmente se encontram (o
contingente o encontro fortuito de causalidades independentes). Aristteles dizia que o

6 Do grego (altheia), que designa a verdade ou realidade. No estudo etimolgico do termo,

Heidegger apontou para a distino entre o significado grego de altheia e a noo usual de verdade, que
implica no apontamento daquilo que real. Neste sentido, altheia se refere ao desvelamento da
verdade, ou seja, refere-se quilo que no est escondido e que pode, por si s, ser compreendido pela
razo humana. Neste sentido, altheia no se refere coerncia de um sistema de proposies, mas ao
desvelamento ontolgico do mundo.

7 Neste sentido, a metafsica de Parmnides est prxima s teorias que atualmente chamamos de
necessitistas. Uma exemplificao moderna de uma teoria prxima a esta a metafsica de Espinosa;
para ele, o universo e todas as manifestaes que vemos no mundo so necessrias na medida em que
1: Deus (...) existe necessariamente (proposio 11 parte I (tica)), 2: alm de Deus, nenhuma outra
substncia pode ser concebida (proposio 14 parte I), 3: Da necessidade da natureza de Deus devem
se seguir infinitas coisas, de infinitas maneiras (proposio 16 parte I), 4: Deus causa imanente de
todas as coisas (proposio 18 parte I) e 5: Nada existe, na natureza das coisas, que seja contingente;
em vez disso, tudo determinado, pela necessidade da natureza divina, a existir e operar de uma
maneira definida (proposio 35 parte I) [Spinoza. tica. Tradutor: Tomaz Tadeu. Editora Autntica. So
Paulo, 2009]. Obviamente, estamos fazendo uma simplificao do argumento de Espinosa. Existem
posies a favor de certa relativizao da noo, interna ao trabalho de Espinosa, de necessitao
ontolgica do mundo [Ver Chau, Marilena. Da Metafsica Contingente Ontologia do Necessrio:
Espinosa. In. Necessidade e Contingncia na Modernidade. Org. Lus Csar Guimares Oliva. Editora
Bacarolla. So Paulo, 2009].

8 Ver Necessidade e Contingncia na Modernidade. Org. Lus Csar Guimares Oliva. Editora Bacarolla.
So Paulo, 2009.

4
 necessrio e o contingente no esto em nosso poder; e que o possvel exatamente o que
est em nosso poder e nele se alicera nossa liberdade. (Chau, Marilena. Da Metafsica
Contingente Ontologia do Necessrio: Espinosa. P. 27)

Em resumo, a anlise das caractersticas das noes modais de necessidade e possibilidade

desenvolveu-se concomitantemente inquirio metafsica, pois, de uma maneira geral, espera-se que por
meio destas noes as coisas se revelem mais intimamente como so 9, devido sua prpria constituio.

Porm, estas noes parecem abarcar certas especificidades que exigem categorizaes mais
detalhadas. A anlise das trs sentenas a seguir pode nos ajudar a compreender esta questo.

(1) A atrao exercida pelo planeta Terra em um corpo sobre sua superfcie diretamente
proporcional a sua massa.

(2) Todo homem solteiro no casado.

(3) A gua H2O.

Pode-se argumentar que as trs sentenas acima so necessrias. Justifiquemos:

1) De acordo com a segunda lei de Newton, justificada por observaes experimentais, sabemos que

p=m g , o que implica que se tomarmos o mdulo dos vetores fora peso e gravidade (constante sobre

p
a superfcie terrestre), teremos
=g , para qualquer objeto de massa m , ou seja, a fora peso
m

sobre a superfcie do planeta e a massa do objeto so, necessariamente, grandezas diretamente

proporcionais. Esta noo de necessidade exige uma interpretao fsica ou natural do conceito de
necessidade, pois a natureza da necessidade da afirmao reside nas caractersticas naturais dos objetos
envolvidos e das leis fsicas a que esto submetidos. Neste caso, dizemos que a noo de necessidade
exemplificada a de necessidade natural ou fsica.

2) Pela definio da palavra solteiro, sabemos que se um homem solteiro, ento necessariamente
ele no pode ser casado10. Esta noo de necessidade exige uma interpretao semntica do conceito,
tendo em vista que a modularidade atribuda sentena pelo significado do termo solteiro e das relaes

9 Ou, dito de outra maneira, como as coisas so em funo de sua natureza (phsis).

10 Obviamente, um homem casado pode afirmar ser solteiro (e talvez acreditar nesta afirmao) por
razes diversas, sobre as quais no temos interesse em discutir. Porm, neste caso, tal crena no
justificada, na medida em que opera em contexto racional diferente do assumido tradicionalmente, pois
passaramos a lidar com questes epistemolgicas e/ou psicolgicas, por exemplo.

5
lgicas entre os constituintes da sentena 11. Neste caso, dizemos que a noo de necessidade
exemplificada a de necessidade lgica ou semntica.

3) Tendo em vista que a composio qumica da gua de duas molculas de hidrognio e uma de
oxignio, necessariamente, a gua H 2O. No existe nenhuma conexo lgica ou semntica que relaciona
a palavra gua12 com sua composio qumica. Hidrognio e Oxignio so nomes (signos) dados
contingencialmente a estruturas fsicas (tomos) que formam o modelo da estrutura qumica a qual damos o
nome de gua: substncia inspida, incolor e sem cheiro, que recobre mais de 70% da superfcie terrestre e
sem a qual a vida humana no possvel. No podemos, igualmente, estabelecer uma relao natural e
necessria entre os constituintes da gua. Por exemplo, digamos que existam i) outras realidades em que
seres vivos sejam capazes de viver sem a gua (H 2O), ou ii) que seres vivos necessitem de um elemento
com todas as caractersticas da gua, porm sua estrutura qumica 13 totalmente diferente da estrutura
qumica do elemento H2O; ainda assim, gua H 2O uma afirmao necessria, pois o termo gua, nesta
sentena, refere-se a um feixe de propriedades que inclui ser o elemento qumico que, no planeta Terra,
indispensvel vida, e tal elemento, em portugus, representado pelo signo gua. Assim, esta afirmao
seria verdadeira em qualquer cenrio, incluindo i) e ii), ou seja, tal sentena necessria.

A noo de necessidade abarcada pela sentena (3) sui generis, na medida em que no pode ser
confortavelmente alocada nas categorias de (1) e (2). Usualmente, define-se tal noo como a de
necessidade14 metafsica. Todos as noes de necessidade, como algumas j expostas na introduo deste
captulo (texto), podem ser inseridas em algum campo dos descritos acima. Em geral, costuma-se identificar
a relao entre os tipos mais gerais de necessidade da seguinte forma:

necessidade lgica necessidade metafsicanec essidade fsica

Neste sentido, a necessidade metafsica residiria entre aquelas que no podem ser determinadas
exclusivamente pelas leis naturais15, nem pelas leis lgicas. Como princpio dual, podemos inferir que a
relao entre as noes de possibilidade estariam demonstradas pelo seguinte esquema:
11 Tudo o que tem as propriedades definidoras de um conceito A, A.

12 Raciocnio semelhante evidenciaria mesmo tipo de relao entre a composio qumica do elemento
gua com as palavras water, eau ou wasser.

13 Se que em tal realidade possamos falar sobre estrutura qumica.

14 De maneira anloga podemos definir a noo de possibilidade metafsica. Assumiremos a dualidade

entre estas noes, tratando de maneira simtrica estes dois conceitos.

15 Devemos ressaltar a prpria no aceitao universal das leis naturais, veja como caso o
posicionamento contrrio que encontramos sobre tal princpio em Kant e Hume. Hume, por exemplo,
defendia a contingncia das verdades empricas (ver An Enquiry Concerning Human Understanding,
seo 2, parte 2.). Neste embate, Hume representa uma alternativa convencionalista para a interpretao
das leis naturais, enquanto Kant representa determinado idealismo a respeito desta relao. Para Kant,

6
 possibilidade fsica possibilidade metafsica possibilidade lgica

Vale ressaltar que tais diagramas no so definitivos e sua aceitao depende de posicionamentos
pragmticos a cerca de outros conceitos metafsicos. Por exemplo, um defensor de certo essencialismo
radical poderia defender que tudo o que fisicamente necessrio tambm seria metafisicamente
necessrio, j que estaria determinado, necessariamente, na essncia do ente. Da mesma forma, um anti-
essencialista poderia defender que tudo o que logicamente possvel metafisicamente possvel, j que
no haveria nenhuma conexo necessria entre o ente e algum substrato no-lgico 16 que definiria tal
entidade. Analisaremos com mais cuidado este problema da essencialidade no captulo 4.

Os megricos Diodoro Crono 17 e Filo18 discutiram as definies de necessidade e possibilidade

metafsica. Retomar esta apresentao pode ser til para procurarmos compreender as diferentes
abordagens desta noo ao longo da tradio filosfica. Para Diodoro, possvel (metafisicamente) aquilo
que ou verdadeiro agora ou aquilo que vier a ser verdadeiro no futuro 19, enquanto aquilo que verdadeiro
agora e nunca deixar de s-lo no futuro uma verdade necessria. J Filo prope uma definio baseada

na noo de proposio20: uma proposio p necessria se, por sua prpria natureza, for capaz de ser

verdadeira; dito de outra maneira, p seria necessria se no for possvel que p no seja o caso. A

concepo de necessidade metafsica de Filo evidencia duas caractersticas: a dualidade necessidade

possibilidade e a natureza distinta das verdades necessrias, pois decorrem do Ser pelo que ele .

Com relao noo de possibilidade, Agostinho de Hipona 21 j admitia a elaborao de

contrafactuais para condicionar a anlise22 de possibilidades; para ele, meros possibilia so entes genunos.
Notamos que as noes de modalidade parecem escapar da esfera lgica ou fsica ao longo da tradio

No h nenhuma liberdade, mas tudo no mundo acontece unicamente segundo as leis da natureza (Ver
Crtica da Razo Pura, 2)

16 Metafsico

17 238 a.C.

18 Junto com Diodoro, provvel que Filo tenha sido o filsofo que mais influenciou o desenvolvimento
da lgica estoica.

19 Esta definio exclui a possibilidade de meros possibilia.

20 O que, em certo sentido, demanda certa concepo de realidade ou mundo possvel: este sendo
formado por proposies.

21 354 d.C. a 430 d.C.

7
filosfica ocidental. Por mais que existam argumentos que procurem reduzir algumas noes modais em
categorias mais fundamentais como, por exemplo, a noo de necessidade metafsica ser reduzida noo
de necessidade lgica, coerente supormos, como mostra a sentena (3), que existem contextos em que a
noo de necessidade metafsica no pode ser explicada por nenhuma outra. Alm disto, por sua pouca
substancialidade, parece legtimo defender esta definio negativa da necessidade metafsica, na medida
em que a explicao da necessidade de (3) no se encaixa nas definies de necessidade lgica nem
natural.

Na Idade Mdia, a discusso sobre as modalidades continuou a desempenhar papel fundamental da

inquirio filosfica, refletindo sobre problemas comuns poca. Para Guilherme de Ockham 23, tudo o que
existe no mundo so entidades particulares; portanto, no existe substrato para conceitos universais, sendo
estes apenas nomes que representam certos agrupados; sendo assim, modalidades (universais) so
apenas disposies humanas apresentadas perante certas proposies (estas plurais), ou seja, no h um
conceito universal sobre o ser necessrio, j que h apenas um ser necessrio: Deus. Neste sentido, a
metafsica da modalidade na teoria de Guilherme minimalista, fazendo sentido, nesta teoria, apenas
modalidades no sentido composto/diviso24. J para Jean Buridan25, tambm um nominalista, todos os termos
de uma sentena referem-se a uma entidade, independente da verdade ou no da proposio, ou seja,
mesmo quando uma proposio no verdadeira, a entidade envolvida nesta proposio um referente,
mas um referente sem substancialidade26.

J na modernidade, a leitura de Leibniz da noo de necessidade uma alternativa apresentada

por Espinosa, esta talvez problemtica, pois imprime certo determinismo no universo 27. Primeiramente,
Leibniz capaz de formular cenrios possveis to ontologicamente bem fundados quanto o nosso; Deus
atualiza nosso mundo por este ser O melhor, e no por ser o mais lgico ou metafisicamente privilegiado, j
que sua atualizao reside em uma escolha moral. Em Leibniz, todas as propriedades de um indivduo
pertencem-lhe incondicionalmente, o que nos remente a um essencialismo radical, na medida em que um

22 Voltaremos a tratar de contrafactuais ao expor a teoria modal de David Lewis.

23 1285 d.C. a 1347 d.C.

24 As coisas em si no seriam necessrias. Em um sentido superficial, poderamos dizer que a noo de

necessidade tratada, com exceo da necessidade de Deus, estaria, para Ockham, mais prxima daquela
que enunciamos como necessidade semntica.

25 1300 d.C a 1358 d.C,

26 Vale a pena ressaltar certo paralelo com a teoria desenvolvida por Alexius Meinong, que ser
apresentada, com mais detalhes, no captulo 4.

27 Ver observao 7, pgina 3.

8
indivduo, em todos os cenrios possveis, possui as mesmas propriedades, ou seja, apesar deste mundo
no ser necessrio (metafisicamente), todo indivduo est essencialmente (necessariamente) determinado.

Esta concepo de indivduo ser de fundamental importncia para o desenvolvimento da teoria

modal realista de David Lewis, aliada a alguns princpios filosficos apresentados por Hume, entre eles o
princpio de separabilidade. Segundo Hume, a) todo indivduo separvel dos demais indivduos, assim
como b) todo evento separvel dos demais eventos 28. Portanto, em contraste com Leibniz, cada indivduo
tomado como sendo a unio do mnimo de propriedades necessrias para sua definio, ou seja, cada
indivduo tomado em seu mnimo. Segundo o princpio de separabilidade de Hume, se indivduos e
eventos so separveis, todo indivduo ou evento pode ser combinado de qualquer forma, a menos de
contradio, ou seja, no h uma conexo necessria entre a natureza dos indivduos. Portanto, algo
possvel desde que seja concebvel, isto , tudo o que podemos conceber possvel, pelo menos no sentido
metafsico, noo de possibilidade que est de acordo com nosso esquema apresentado sobre os sentidos
fundamentais de possibilidade.

Do que expomos at aqui, possvel formar um panorama geral sobre como a discusso sobre as
modalidades29 se desenvolveu ao longo da Histria da Filosofia. Agora, pretendemos fazer um breve
sumrio de como a apresentao destas concepes se deu ao longo do ltimo sculo, a partir da tradio
da Filosofia Analtica. Segundo Kit Fine,

O atual pensamento sobre modalidades tem sido pesadamente influenciado, ou at mesmo

dominado, por duas vises (...). A primeira delas, que est associada ao nome de Quine, diz que
noes modais carecem de sentido. No h uma distino inteligvel entre o que
necessariamente e o que contingentemente o caso, ou entre as caractersticas essenciais e
acidentais de um objeto. A segunda delas est associada ao nome de David Lewis, que o
possvel e o atual formam um par ontolgico. Outros mundos possveis e seus habitantes so to
reais quanto o mundo atual e seus habitantes, e no h diferena entre eles nem em considerao
ao grau e nem ao tipo de realidade que eles possuem. (Fine, Kit. Modality and Tense. Oxford:
Clarendon. London, 2005).30

28 a) e b) resumem o principio de separabilidade de Hume.

29 Enfatizamos que noes sobre modalidades epistmicas, denticas, temporais etc, no tero papel
relevante na discusso pretendida neste trabalho.

30 Ver traduo em. Da Costa, M. W. A. Lgica e Metafsica da Modalidade. Dissertao de Mestrado.

UFPR Curitiba, 2013.

9
 Para compreendermos a discusso modal contempornea, preciso analisar cuidadosamente as
noes envolvidas no contexto em que tal discusso ocorre, mais precisamente, as noes relacionadas
Metafsica, como desenvolvida pela tradio analtica, e lgica modal. Inicialmente, esta discusso se
polarizara ao redor de dois centros: o atualismo e o possibilismo31. Atualistas pretendem caracterizar noes
modais (necessidade e contingncia) a partir de um contexto lgico que envolva apenas entidades atuais,
enquanto possibilistas procuram explicar fenmenos modais a partir de espaos que exigem tantos objetos
atuais quanto meros possibilias. Para melhor anlise destas noes, discutiremos nas prximas sees
diferentes abordagens de autores contemporneos sobre o tema.

31 Como afirmamos no captulo 1, esta discusso tende a gravitar entre o necessitismo e o possibilismo.
Trataremos sobre estas diferentes concepes no captulo 5.

10
 2.2 Sobre o contedo de noes modais

Ao desenvolver uma teoria sobre as modalidades, exige-se uma interpretao dos conceitos modais
para que a teoria possa ser capaz de explicar, de maneira consistente, as perguntas que sejam levantadas
a respeito dos problemas que esta procura tratar. Nesta seo, ser distinguida uma interpretao opaca de
tais conceitos, pois primeiramente trataremos de abordagens sobre a noo de modalidade que de alguma
forma questionam a possibilidade de que expresses modais representem, de fato, algum contedo
cognitivo que nos faa apreender ou conhecer algo sobre uma realidade concreta para alm do indivduo
cognoscente.

A respeito das modalidades alticas, podemos dividir esta interpretao opaca das noes de
necessidade e possibilidade em dois grandes grupos: ceticismo modal e expressivismo modal. Enquanto
para os autores do primeiro grupo estas noes modais apenas expressam, de maneira obscura, algum tipo
de contedo conceitual, para os expressivistas, modalidades no expressam contedo conceitual algum. Ou
seja, para um ctico modal, deve se suspender as opinies acerca das modalidades, j que estas no
expressam contedo conceitual claro sobre o qual possamos nos remeter de maneira objetiva, direta e
inquestionvel. Por outro lado, um expressivista modal nega completamente a possibilidade de que
expresses modais carreguem algum contedo cognitivo, sendo apenas modos em que atitudes no-
cognitivas do falante so expressas.

Para um expressivista modal, as noes modais, como estados no-cognitivos, esto ligadas a uma
ao ao invs de uma representao, sendo, portanto, impossvel que possamos, atravs de uma destas
noes, formar algum conhecimento objetivo sobre determinada realidade. Esta interpretao ressoa na
parfrase de Quine feita por Borghini: (A) necessidade reside na estrutura da mente, no qual nos
relacionamos com as coisas, no nas coisas com as quais nos relacionamos 32. Portanto, uma expresso
modal S no poderia ser reduzida a noes semnticas como verdade e falsidade, pois a noo modal
expressa por S no estaria relacionada a uma situao concreta (objetiva), mas a um sentimento ou a uma
expresso de modo, utilizado pelo falante, para se referir ao contedo no modal se S.

Sendo assim, para um expressivista modal, se A for uma sentena sem contedo modal, as
expresses possvel que A, Pode ser o caso que A, Talvez A ou provvel que A so todas
distintas, j que em cada caso, as sentenas modais obtidas com o uso de A referem-se a expresses33
distintas sobre A; por exemplo, o sentimento expresso pelo modo talvez diferente daquele expresso por
provvel que. Assim sendo, embora um expressivista possa considerar legtima certa interpretao de
re de uma modalidade34, em geral, a interpretao de uma sentena modal deve ser de dicto.

32 Borghini, Andrea. A Critical Introduction to the Metaphysics of Modality. Captulo 2.

33 Sentimentos.

34 Neste caso, o modo refere-se ou a um sentimento, ou a uma estrutura mental do falante em relao a
um objeto (ou coisa) que pertence situao expressa pela sentena modalizada.

11
 Obviamente, tal interpretao das modalidades levanta uma questo pertinente: se os modos se
referem a sentimentos, que no pertencem ao campo da lgica, como construir uma teoria lgica que trate
de inferncias a partir de sentenas modais?

O ceticismo modal, ao contrrio do expressivismo, apresenta muitas nuances interpretativas.

Quine tende35 a interpretar as modalidades no sentido de dicto; acredita que toda modalidade, quando
se refere aos objetos, vazia de significado conceitual; porm, ao modalizar uma sentena, ou
interpretao de dicto, tal significado modal se refere apenas aos aspectos sobre o qual falamos sobre a
situao, e no sobre ela mesma. Portanto, o contedo conceitual expresso por essa afirmao, no sentido
de dictum, no claro em relao situao propriamente. por isto que Quine um crtico ao
essencialismo e noo de necessidade metafsica.

O uso de cenrios possveis na anlise da noo modal de possibilidade uma importante

ferramenta36. Porm, P. Van Inwagen acredita que todo juzo sobre cenrios no-fsicos devem ser
suspensos; mais do que isso, para ele, cenrios possveis no possuem tal fundamentao fsica
necessria para que pudssemos sustentar nossos juzos sobre as modalidades. Desta forma, a teoria
modal de Van Inwagen pode ser classificada como ctica epistmica, na medida em que no podemos
julgar afirmaes sobre cenrios abstratos sobre o qual no podemos ter acesso concreto, impossibilitando
assim a anlise da noo modal de possibilidade por meio de cenrios possveis.

Estas posies nos encaminham para problemas relacionados a certas abordagens a respeito do
contedo das noes modais que podem ser consideradas como uma interpretao ctica radical sobre tais
noes.

Uma situao que no , nunca foi, nem nunca ser concreta chamada de mero possibilia. Se no
podemos nos fiar nas noes modais, ou seja, se devemos ser cticos em relao ao contedo conceitual e
cognitivo que carregam, como tratar a anlise das noes modais de necessidade e possibilidade quando
compreendidas luz da semntica de mundos possveis? Se uma sentena S possvel se existir um
cenrio em que S descreve uma proposio ou fato deste cenrio, como interpretar esta anlise se estamos
nos referindo a um mero possibilia, caso em que o cenrio em discusso no for concreto ou atual? O
discurso modal s tem significado quando se refere a entidades e situaes atuais?

No sentido semntico, um ctico radical questionar o significado de expresses referentes a meros

possibilia; no sentido epistmico, ele duvidar que seja possvel, inclusive, ter acesso a uma confirmao
desta afirmao sobre o possibilia. Vemos assim que um ctico radical ter pouca simpatia pela metafsica,
medida que para ele, por suas singularidades, meros possibilia pertencem a uma categoria de cenrios

35 J que considera ilegtimas as interpretaes de re.

36 Discutiremos com mais detalhes interpretaes das modalidades que admitem a existncia de
contedo conceitual significativo e assimilvel em expresses modais; nesta discusso futura, faremos
uma anlise mais cuidadosa de certos conceitos como mundos possveis e cenrios descritivos.

12
aos quais filsofos no deveriam discutir, portanto, sobre os quais deveriam suspender radicalmente
qualquer tentativa de juzo de valor a respeito de tais cenrios e das questes por eles levantadas.

As crticas a tal abordagem ctica radical sobre as modalidades podem ser fundamentadas em dois
pontos principais.

Primeiramente, um ctico radical exige que as caractersticas do universo possam ser compreendidas
somente pela experincia, posio questionvel. possvel argumentar que, assim como o possvel,
mesmo o atual no pode ser apreendido completamente pela experincia, tendo em vista que no podemos
ter acesso a todo o presente, muito menos ao passado ou ao futuro. Alm disso, de acordo com o ceticismo
humeano37, o ncleo do raciocnio indutivo no pode justificar qualquer conhecimento a posteriori.

Em segundo lugar, se supusermos que existem aspectos da experincia humana que so a priori,
ento entenderamos que os cenrios possveis no-concretos pertenceriam a tal categoria, pois esto
restritos esfera da imaginao, responsvel tambm, em cada indivduo, pela representao da realidade
por ele vivida. Portanto, nessa suposio, suspender o juzo sobre possibilidades implicaria na suspenso
de juzo sobre parte da realidade, pelo menos.

Considerando as crticas a tais interpretaes opacas das noes modais, parece que se desejarmos
investigar as consequncias do discurso metafsico e das noes de necessidade e possibilidade, de
maneira a investigar o mundo como e determinar se seus fenmenos so contingentes ou necessrios,
parece plausvel assumirmos que tais noes modais possuem, de fato, algum contedo conceitual objetivo.
Este contedo metafsico que carregam parece ser relevante, mesmo necessrio, para qualquer discusso
a respeito da realidade ultima das coisas. Na seo seguinte, iremos discutir superficialmente as principais
abordagens teoria das modalidades que admitem que noes modais carregam, de fato, contedo
significativo.

37 A mera observao sobre eventos presentes no produz conhecimento para que se estabelea uma
implicao lgica sobre eventos futuros.

13
 2.3 Sobre teorias modais

Assumamos que as noes modais no so conceitos opacos, isto , elas de fato expressam certas
noes com contedo cognitivo que nos fornecem ferramentas para compreender ou analisar a realidade.
Com esta assuno, acreditamos que qualquer teoria da modalidade, em oposio de autores que adotam
uma posio ctica ou expressivista a este respeito, capaz de colocar e, em parte explicar, problemas
filosficos que prescindem de noes modais. O prprio desenvolvimento da lgica modal nas ltimas
dcadas, na perspectiva de uma ferramenta para a investigao formal das questes metafsicas a respeito
das noes de necessidade e possibilidade, baseia-se no desdobrar das mltiplas interpretaes a respeito
das modalidades, a partir desta compreenso no-opaca sobre seus significados.

Usual em filosofia, o mtodo de genealogia pretende desvelar noes mais bsicas em que repousam
certos conceitos que, podem parecer a priori, irredutveis. Portanto, a pergunta possvel analisar
conceitos modais, reduzindo-os a outros conceitos mais bsicos? pode ser respondida de duas maneiras:
sim ou no. Podemos agrupar, de uma maneira bem geral, as posies de autores a respeito deste
problema. Segundo Borghini38, entre os filsofos contemporneos que pensam estes problemas
relacionados Metafsica e que responderiam afirmativamente a esta pergunta, esto os disposicionalistas,
os realistas modais, os ersatzistas, os ficcionalistas e os agnsticos. Trataremos mais a frente de apontar
para as particularidades de cada uma destas abordagens modais. No momento, analisemos qual a posio
dos autores que respondem de forma negativa questo colocada.

Aqueles que respondem no pergunta anterior podem, em geral, serem classificados como
modalistas. Segundo o modalismo, uma modalidade um fato bruto, logo, no pode ser explicada ou
reduzida a partes mais simples. Para estes, sentenas modais, incluindo de re, expressam um contedo
que pode ser completamente compreendido, ou seja, no tm interpretao opaca e, portanto, no
expressam qualquer forma de sentimento, na medida em que so fatos. Portanto, embora um modalista
admita que seja necessrio, para o desenvolvimento de uma teoria filosfica que trate de noes modais, o
uso da linguagem modal, em que se baseia a argumentao de tal teoria, a reduo da anlise destes
conceitos a cenrios possveis ou valorao de uma sentena nestes cenrios (verdadeira em todos os
mundos possveis ou falsa em algum mundo possvel) inadmissvel, j que os conceitos modais de
necessidade e possibilidade seriam irredutveis 39. Ou seja, a necessidade de um cenrio , por si s, um
fato bruto; as sentenas modais podem ser verdadeiras ou falsas, porm, no podemos reduzir os conceitos
de necessidade, possibilidade ou contingncia, verdade de uma sentena no modal em todo ou algum
mundo possvel, situao que tais autores julgam ser o que ocorre ao utilizarmos as semnticas de mundos
possveis para interpretar sistemas lgico modais.

38 A Critical Introduction to the Metaphysics of Modality.

39 Neste caso, estariam sendo reduzidos ou explicados pelas noes de verdade, falsidade e/ou
mundos possveis.

14
 Enquanto os smbolos so lidos semanticamente, por um adepto da semntica de Kripke,
como verdade em relao a todos ou algum cenrio, respectivamente 40, um modalista interpreta estes
smbolos apenas em relao ao mundo atual 41. Isto resulta em um dos principais problemas de uma teoria
modalista, j que sob tal interpretao, pode-se argumentar que o poder expressivo de uma linguagem
modal diminui; outro problema caracterizar propriamente o poder expressivo destes smbolos na lgica
modal. Pode-se questionar tambm que, sem a reduo a mundos possveis, no possvel falar sobre
possibilidades, em relao ao mundo atual, sem recair em qualquer outro tipo de estrutura similar de
mundos possveis.

Podemos situar o trabalho de Charles Chihara como uma teoria modalistas, j que Chihara nega a
possibilidade de que possamos prover a linguagem modal quantificada de uma anlise das expresses
modais42, porm, este autor acredita que o modalismo seria compatvel com a semntica de mundos
possveis, ao compreender a afirmao verdadeiro sobre certa interpretao 43 como uma operao
semntica que consistiria em substituir outros mundos pelo mundo atual. Assim, mundos possveis seriam
apenas place-holders para a anlise de sentenas modais. Esta posio pode reforar uma crtica ao
modalismo como um todo, no sentido de que, metafisicamente, ao serem colocados como fatos brutos, os
fatos modais carecem de apoio ou fundamentao, j que no podem ser explicados por conceitos mais
simples, ou seja, as prprias noes modais seriam, elas mesmas, fundamento de outras noes; todavia,
no parece ser muito claro como a noo de necessidade metafsica, por exemplo, pode ser fundamento
ltimo de todas noes metafsicas, na medida em que esta noo, pode-se objetar, no pode ser
propriamente definida, como vimos no incio deste captulo.

Tratemos agora daqueles que respondem que sim, possvel analisar noes modais por meio de
uma reduo a conceitos mais simples. Primeiramente, devemos apontar que estes autores podem ser
divididos em dois grandes grupos; o primeiro deles, os disposicionalistas, no utiliza a estrutura da
semntica de Kripke para esta anlise, enquanto os do segundo grupo sim. Como o segundo grupo mais
numeroso e diversificado, tratemos primeiramente de fazer uma breve apresentao de como
disposicionalistas se colocam em relao a tal reduo do discurso modal em termos de noes mais
bsicas.

Para um disposicionalista, uma disposio no pode ser definida, ou seja, uma noo primitiva. Em
Aristteles, a palavra disposio (hexis) est ligada, por exemplo, virtude moral, j que ela implica na ao

40 Mundos possveis.

41 Devido presuno de que a necessidade de um cenrio um fato bruto.

42 No sentido de reduzir a anlise da interpretao das sentenas nesta linguagem a noes mais
fundamentais que as noes modais.

43 Isto , neste caso, analisar a verdade de uma sentena possvel.

15
deliberada em conformidade com a reta razo; para o estagira, um dos significados para esta palavra
abarca a noo de certas caractersticas que um homem possui, como sade, carter ou conhecimento. Ou
seja, uma disposio algo possudo por um indivduo, no sendo uma faculdade, nem uma paixo, nem
uma caracterstica como cor, por exemplo. Esta interpretao da palavra em Aristteles ressoa muito bem a
noo pretendida atualmente por filsofos que advogam uma posio disposicionalista a cerca dos
contedos modais. Segundo eles, podemos explicar o significado de uma sentena modal da linguagem
comum em termos das disposies das entidades do mundo atual. Isto implica na postulao da existncia
de tais propriedades disposicionais44 e na necessidade de demonstrao de como tais propriedades so
suficientes para explicar o significado de sentenas modais.

Podemos concluir que para um disposicionalista, apenas o nosso mundo relevante 45 e tais
disposies parecem possuir um carter intencional, na medida em que ns identificamos as disposies
das coisas. Isto coloca em evidncia um problema na abordagem disposicionalista: como analisar a
veracidade de uma afirmao sobre uma possibilidade, mesmo que envolvendo apenas entidades atuais,
com relao a certas disposies que no so atuais, mas poderiam ter sido? Ou seja, qual a conexo entre
existncia atual e possvel? Se a fundao das noes modais reside no fato de que tudo o que , em
virtude do que poderia ter sido, como podemos fazer afirmaes sobre possibilidades que no so atuais,
porm, parece ser razovel supor que poderiam ter sido, ou que possam a vir a ser realizveis? Neste caso,
o disposicionalismo parece limitar as noes modais a contextos que reduzem o poder expressivo e
argumentativo do discurso filosfico, afastando-o das discusses de grande importncia para a soluo de
problemas metafsicos fundamentais, a saber, aquelas que envolvem meros possibilia 46.

A fim de discutirmos a posio de diversos autores a cerca da reduo do discurso modal,

precisamos primeiramente nos concentrar em um ponto de crucial importncia para uma teoria modal que
utilize a noo de mundo possvel. Como j explicitado no captulo 1, algumas objees semntica de
Kripke baseiam-se na crtica a esta noo, para alguns, problemtica.

Em filosofia, perigoso fazermos afirmaes sobre a forja de determinadas expresses ou conceitos.

Embora a prtica do uso de cenrios alternativos, dentro de uma argumentao filosfica, seja anterior
Leibniz, foi este filsofo que ao utilizar a noo de mundos possveis para representar uma sucesso47 de
cenrios realizveis, possibilitou que engrenagens mais sofisticadas utilizassem da mesma noo para
analisar certos argumentos filosficos que escapam nossa condio atual. Ludwig Wittgenstein e Rudolf.

44 Sobre o problema do trato destas propriedades a partir de uma posio emprica, alm da discusso
acerca das diferenas entre propriedades disposicionais e categoriais, remetemos a A Critical
Introduction to the Metaphysics of Modality.

45 Em certo sentido, somente o mundo atual existe e somente sobre ele podemos fazer julgamentos.

46 Na medida em que impede a fundamentao ontolgica de entidades ou indivduos no-atuais, j que

a estes no podemos atribuir disposies, qui analisa-las de maneira satisfatria.

47 No no sentido de linearidade.

16
Carnap, por exemplo, j haviam apresentado descries filosficas mais precisas do que tais conceitos
poderiam desempenhar numa formalizao lgica. Porm, foi atravs do desenvolvimento dos trabalhos de
Jaako Hintikka e Samuel Kripke, principalmente, que o conceito de mundo possvel foi apresentado de uma
maneira mais objetiva, sistemtica e rigorosa.

Intuitivamente, podemos pensar que um mundo possvel um cenrio completo e consistente de

como nosso mundo poderia ter sido. claro que a questo sobre a composio deste cenrio, se composto
por fatos, proposies ou sentenas, por exemplo, ter mltiplas respostas, de acordo com a literatura que
temos disponvel. Todavia, tal fundamentao ontolgica de um mundo possvel desempenhar papel lgico
e filosfico importantssimo em qualquer teoria modal que pretenda explicar as noes de necessidade e
contingncia, por exemplo, utilizando-se dos mundos possveis. Alm disto, pode-se argumentar que esta
imagem teortica que criamos a respeito dos mundos possveis exclui cenrios que so totalmente
desconectados do nosso mundo, ou seja, em que as leis fsicas 48 ou mesmo a prpria noo de vida sejam
totalmente diferentes daquilo que conhecemos ou que somos capazes de imaginar e que, portanto, esta
ferramenta no seria poderosa o suficiente para investigarmos os limites do que metafisicamente possvel.
Todas as diferentes de vises sobre mundos possveis podem ser abarcadas em dois grandes grupos: os
abstracionistas e os concretistas. Um abstracionista assume que um mundo possvel apenas um modo em
que as coisas poderiam ter sido, sem identificar tal modo com qualquer tipo de realidade, ou seja, possui
uma viso intencional desta entidade, ao passo que um concretista considera que cada mundo possvel
uma realidade to concreta quanta a nossa, ou seja, tem uma viso extensional desta entidade.
Analisaremos com mais cuidado estas distines e algumas de suas implicaes ao continuarmos nossa
descrio das teorias modais que acreditam ser possvel reduzir as noes modais, em termos de conceitos
mais bsicos, por meio das noes da semntica de mundos possveis.

A primeira destas teorias, que ter papel especial na ltima parte de nosso trabalho ao interpretarmos
uma semntica topolgica para a lgica modal quantificada, o realismo modal. No programa realista, todos
os cenrios e indivduos existem no mesmo sentido que os cenrios e indivduos atuais, ou seja, h infinitos
mundos to concretos quanto o nosso. David Lewis o principal representante desta teoria modal; o
desenvolvimento de sua teoria das contrapartes, como semntica alternativa dos mundos possveis,
iniciou-se em um artigo de 1973, Contrafactuais, prosseguindo em seu trabalho de 1986, Sobre as
Pluralidades de Mundos. Lewis, para conciliar sua crena de que todo individuo possvel existe da mesma
forma que um indivduo atual e a noo de existncia concreta de infinitos mundos possveis, postula, na
teoria das contrapartes, que cada indivduo habita em um e somente um nico mundo. Trataremos com
mais detalhes sobre o problema dos indivduos na teoria de David Lewis no captulo 4.

Entretanto, podemos apontar que para Lewis, assim como para um realista modal, a afirmao (a)
Poderiam ter existido mais estrelas do que existem, possui significado cognitivo compreensvel e no , de
forma alguma, a expresso de um sentimento de quem afirma, mas sim uma afirmao genuna sobre um
cenrio concreto (possvel). Desta forma, um realista modal se ope a um ctico e a um expressivista
modal. Contrrio a um modalista, um realista modal acredita que as noes modais podem ser analisadas

48 No sentido de leis naturais.

17
por intermdio das noes de mundos possveis, ou seja, as modalidades podem ser reduzidas a conceitos
mais simples e tais conceitos esto relacionados semntica de mundos posssveis. Neste caso, a
sentena H um mundo no qual h mais estrelas do que em nosso mundo uma traduo para um
realista modal da afirmao (a). Um realista modal, ao admitir a existncia de infinitos mundos, alguns dos
quais diferem muito pouco do nosso, e considerar qualquer um destes mundos to bem fundamentado
ontologicamente quanto o mundo atual, desenha um quadro em que entre os infinitos mundos possveis,
todos concretos, nenhum deles, inclusive o atual, privilegiado metafisicamente que os demais.

Na teoria das contrapartes de Lewis, estes mundos possuem o mximo de indivduos e so todos
isolados dos demais, ou seja, a teoria das contrapartes admite que 1) um mundo composto por seus
habitantes (o conjunto maximal de indivduos de um mundo o determina); 2) cada mundo, de seu ponto de
vista, atual (atual apenas um ndice da teoria) e 3) nenhum indivduo habita em mais do que um mundo.

Podemos fazer a seguinte objeo: Como, dentro desta teoria, podemos falar sobre a possibilidade
ou necessidade de um fato, envolvendo um indivduo especfico, se objetivamente falando, tal indivduo s
pertence a este mundo49? A resposta para esta questo reside no fato de que tal teoria desenvolvida com
a inspirao de dois princpios, o princpio da plenitude50 e uma reformulao do princpio de Hume de
recombinao51. Isto feito pela introduo de duas noes: i) Propriedades naturais: so as propriedades
que, ou possibilitam as explicaes de relao de causa fundamentais, ou fundam a similaridade de tipos
naturais. Por isso, estas propriedades so todas independentes; ii) Duplicados intrnsecos: so os indivduos
que compartilham todas as propriedades naturais. Portanto, ao falarmos sobre um indivduo em um mundo
em que ele no existe, podemos analisar as informaes no modais a respeito de seu duplicado intrnseco,
que divide com o indivduo original, que referido pela sentena modal, todas as suas propriedades
naturais, ou seja, eles deveriam dividir entre si as propriedades metafsicas necessrias para a investigao
da veracidade da afirmao modal52.

49 Considerando que se pretenda reduzir as noes modais a discursos sobre mundos possveis.

50 Plenitude das possibilidades: tudo o que poderia ser, .

51 Existe pelo menos um problema epistemolgico evidente nesta concepo, a saber, como determinar
o que possvel. Para uma argumentao a favor do realismo modal, que admita o princpio da plenitude,
seria necessrio evidenciar como, epistemologicamente, podemos ter acesso cognitivo ao que possvel
e garantir que tudo ao qual temos acesso como possvel (imaginvel?) realmente possvel. Como tal
discusso extrapola os limites de nosso presente trabalho, no nos aprofundaremos nestes detalhes.

52 Detalhes sobre a teoria modal de David Lewis e sua formulao formal sero tratados no
captulo ????.

18
 Segundo D. Lewis, as vantagens do realismo modal em relao a outras teorias modais que
pretendem a reduo de conceitos modais a noes mais fundamentais, residem em:

1) A reduo de noes modais a no-modais;

2) A anlise por meio de contrafactuais (cenrios no atuais);

3) Teoria metafsica robusta, j que comporta mais possibilia do que aqueles comportados pela
linguagem;

4) Ontologia minimal, j que o que existe so mundos (ou suas partes, de acordo com o princpio de
recombinao). Como os mundos so completamente determinados por seus indivduos, toda a
fundamentao ontolgica para a teoria segue da existncia destes mundos 53;

5) Um modelo, considerado por ele simples e elegante, que capaz de explicar o comportamento dos
agentes54.

As crticas teoria das contrapartes e ao prprio realismo modal abordam diversos aspectos da
teoria. H uma grande resistncia em admitir por completo a principal tese realista, a saber, de que todo
mundo possvel existe da mesma maneira que o atual, pelo medo de que a teoria resultante seja
completamente desconectada da percepo55 que temos sobre a realidade. Na teoria de Lewis,
especificamente, o uso do princpio de recombinao especialmente problemtico. Em primeiro lugar,
porque se argumenta que inerente ao princpio existe a necessidade do uso de noes modais, o que
acarretaria na falha, proposta pela teoria, de reduzir noes modais a no-modais 56; em segundo lugar,
porque alguns apontam para um crculo vicioso, interno ao processo de reduo dos conceitos modais, j
que as modalidades podem ser explicadas por meio da noo de mundos possveis, que por sua vez
dependem do princpio de recombinao, que por sua vez depende da noo de duplicao intrnseca, que
evocaria certa forma do princpio de recombinao. Retomaremos, em momento pertinente, uma
apresentao detalhada da teoria das contrapartes.

Ficcionalismo e agnosticismo modal so outras duas tentativas de explicar a interpretao de noes

modais por meio de conceitos mais simples. Em geral, so teorias mais novas, defendidas por poucos
autores e, exatamente por isso, faremos uma breve exposio sobre suas caractersticas principais antes de

53 J que os indivduos necessrios para caracterizar tal mundo passam a estar ontologicamente
fundamentados se estes mundos existirem.

54 Cada agente, como indivduo, est completamente determinado (junto de suas aes) pela sua
relao de pertinncia ao nico mundo que compe.

55 No sentido da intuio a respeito do mundo que nos cerca.

56 Para isso, na teoria das contrapartes, fundamental o uso do princpio de recombinao. Se em tal
princpio aparecem noes modais, a reduo ineficiente.

19
discutirmos a quarta e ltima abordagem teortica para o problema da reduo das modalidades: o
ersatzismo.

Um ficcionalista tem a liberdade de escolher, dentre as teorias modais disponveis capazes de reduzir
noes modais, aquela que melhor se adapta a sua viso sobre estes conceitos modais. Porm, as
estratgias formais destas teorias so vistas por ele como ferramentas; as sentenas modais exigem uma
teoria para serem explicadas e, em geral, a teoria dos mundos possveis a melhor escolha, mas os
mundos possveis seriam apenas fices que auxiliam na interpretao das sentenas modais, ou seja, as
teorias que exigem que um mundo possvel tenha fundamento ontolgico devem ser preteridas por um
ficcionalista. O contedo das sentenas modais, por outro lado, no uma fico, ou seja, na sentena
modal possvel que S, onde S uma sentena no modal, um ficcionalista aceita que existe um
contedo cognitivo expresso pela sentena modal; teorias baseadas na ideia de mundos possveis so uma
ferramenta para explicitar tal contedo, ou seja, se a sentena modal verdadeira, sabemos que na fico
de uma teoria de mundos possveis, existe um mundo em que S ocorre. Portanto, um ficcionalista procura
evitar os problemas metafsicos e epistemolgicos relacionados noo concreta de mundo possvel, mas
se agarra ao potente poder explicativo das teorias baseadas na semntica de Kripke. Podemos levantar as
seguintes objees: at que ponto seria legitimo utilizarmos uma teoria modal como ferramenta para
reduo de noes modais, mas no nos comprometermos filosoficamente com a explicao dos conceitos
envolvidos nesta teoria? Mesmo que um mundo possvel, ou os indivduos que habitam estes mundos, seja
uma fico, no seria ingenuidade omitir o problema de fundamentao 57? Como determinar
epistemologicamente se o uso destes recursos vlido em uma argumentao filosfica?

Diferentemente de um ficcionalista, um agnstico modal no pretende reduzir noes modais a

conceitos mais bsicos, mas utilizar-se de outras noes para explicar as noes modais, no se
comprometendo, portanto, com a viso de que noes modais possam ser reduzidas 58 a noes no-
modais. Para isso, o agnosticismo modal utiliza-se da semntica de mundos possveis sem se preocupar
com a verdade ou correo desta ferramenta, j que este pretende apenas explicar as noes modais
utilizando-se dos mundos possveis como uma ferramenta para isso. Assim, o agnosticismo tem um forte
vis antirrealista, na medida em que no est preocupado com o problema da existncia de mundos
possveis59.

Por fim, discutiremos a posio mais comumente assumida por teoristas modais 60, j que grande
parte endossa a opinio de que as modalidades podem, de fato, ter seu contedo epistemolgico reduzido
por noes mais bsicas e que isto pode ser feito por meio do discurso de mundos possveis. Porm, tais

57 Grounding.

58 Ou definidas.

59 Para o agnstico modal, este problema irrelevante ao se utilizar mundos possveis para explicar o
significado de expresses modais. Portanto, nega que sentenas modais, mesmo interpretadas pela
semntica de mundos possveis, nos comprometam com a existncia de mundos diferentes do nosso.

20
mundos, talvez infinitos, no so como o nosso, mas apenas substitutos61 para o nosso mundo (ou partes
dele). Estes autores consideram, em geral, um sistema de lgica modal quantificada (QML) standard e
admitem a noo de identidade entre mundos, ou seja, rejeitam a teoria world-bound62 para indivduos. Tais
teorias se contrapem ao realismo modal tanto no sentido semntico, j que os domnios de mundos
possveis apresentam interseco, quanto no sentido metafsico, pois mundos possveis so apenas
substitutos do mundo atual, tendo este, portanto, prioridade sobre aqueles. Desta forma, a noo de
possibilidade metafsica traduzida como inteligibilidade, na medida em que S possvel, a partir do mundo
atual63, se for possvel imaginar certo substituto deste mundo (ou de parte dele) em que S o caso.
Seguindo Borghini, faremos a distino de quatro teorias do ersatzismo, diferindo-as partir de suas
concepes sobre mundos possveis.

Um filsofo que assume as posies bsicas do ersatzismo e concebe mundos possveis como
conjuntos consistentes e completos de sentenas de uma linguagem chamado de ersatzista lingustico.
Nesse caso, ele no deseja reduzir uma explicao modal a uma linguagem no modal, tendo em vista que
conceitos como consistncia (compatibilidade) e maximalidade (cenrios descritveis) so noes modais
(sobre o modo como as coisas podem ser arranjadas e descritas). Portanto, o contedo de noes modais
pode ser apreendido em funo de explicaes que utilizam a noo de conjuntos de sentenas.

Certa corrente do ersatzismo denominada combinatorialista; nesta corrente, exige-se o uso do

princpio de recombinao do realismo modal para explicar as noes modais, j que a explicao destas
noes ocorreria por intermdio de entidades atuais aplicadas com o princpio de recombinao. Mundos
possveis so, ento, recombinaes abstratas de elementos do mundo atual; tais recombinaes
exemplificam estado de coisas, complexos formados por diversos constituintes atravs de uma ordem
estruturada. Portanto, os constituintes de um mundo possvel esto bem ordenados e so elementos
constitutivos do mundo atual. Neste sentido, temos a viso metafsica de que um mundo possvel o
rearranjo de indivduos e universais do mundo atual, onde indivduos (particulares) e universais so os
constituintes desta recombinao; por exemplo: o co Dudu (particular) instncia o universal ser cachorro, e
todos estes constituintes, o universal cachorro e o particular Dudu, so atuais. Estes constituintes podem
ser atmicos, se no possurem partes prprias, ou no-atmicos. A principal diferena entre o uso do
princpio de recombinao entre combinatorialistas e realistas modais reside no fato de que enquanto os
primeiros consideram universais como constituintes, portanto aptos recombinao, realistas modais

60 Alguns autores que esto mais intimamente ligados com esta abordagem a respeito das modalidades
e da noo de mundo possvel so: Leibniz, L. Wittgenstein, R. Carnap, A. Plantinga e R. Stalnaker, entre
outros.

61 Do alemo ersatz.

62 Rejeitam a tese realista modal de que cada indivduo pode povoar um nico mundo possvel.

63 Pode-se considerar como mundo atual o mundo a partir do qual referimos ou, como certos teoristas
assumem, o mundo atual construdo, a partir de entidades intensionais, como certa entidade maximal
que representa tudo o que o caso.

21
consideram como constituintes apenas os indivduos (particulares). Um dos argumentos contrrios ao
combinatorialismo repousa sobre o fato da possibilidade de o mundo atual conter mais (expanso) ou
menos (contrao) indivduos (constituintes) do que os possveis 64; uma tentativa de resolver tal problema
assumir a posio metafsica defendida pelo princpio da plenitude, ao considerar que o mundo atual
consiste de tudo o que poderia ter sido o caso, no s em relao ao nmero, mas em variedade.

Outra possibilidade de posicionamento para um ersatzista denominada ersatzismo atmico. Nesta

concepo, mundos no possuem estrutura; mundos possveis so, portanto, tomos que tm, por si
mesmos, plena integridade; eles representariam como o nosso mundo poderia ser, no sendo formados por
partes de outro mundo, nem mesmo do mundo atual. Isso justificado pelo fato de que somos capazes de
imaginar a diviso de uma entidade em partes, sem que tal diviso seja de fato realizada, ou seja, o
discurso de mundos possveis pode explicar noes modais no por meio de constituintes, mas pelo seu
poder representacional. Porm, ao adotar esta perspectiva, o teorista modal precisa responder como
explicar, metafisicamente, a forma como esta representao se d, ou seja, ao procurar no se
comprometer com o problema metafsico de determinar o que um mundo possvel, ele no escapa de ter
de se posicionar sobre os mecanismos metafsicos que legitimam o problema da representao.

Resta-nos esboar o tipo de posio acerca dos mundos possveis como substitutos do mundo atual
que tem grande importncia para a teoria das modalidades, posio esta denominada ersatzismo pictrico.
Nesta interpretao, mundos possveis so tomados como representaes no-lingusticas de formas como
o mundo poderia ser, seja considerados como proposies ou como estado de coisas. No estando atrelada
a uma linguagem, no h limitaes para o nmero de cenrios possveis. Assim como o ersatzista
lingustico, o pictrico considera que um mundo possvel, como representao, maximal e consistente;
mas agora estas noes passam a no ser mais atreladas s noes atuais de consistncia e
maximalidade. Estas configuraes podem ser concebidas, preferencialmente, de trs formas: a) como
conjuntos consistentes e maximais de proposies; b) como estados de coisas complexos, que no so
meramente recombinaes do estado de coisas atual ou c) como imagens.

No caso a), as noes metafsicas primitivas so: proposio, conjunto e relao (verdade em). A
existncia das proposies independe da existncia atual das entidades nelas presentes ou de uma
linguagem que as expresse, portanto, cada uma delas no nem incompleta nem contraditria (em relao
a si mesma). Desta forma, a noo de verdade reside na relao entre sentenas e conjuntos de
proposies.

No caso b), ao invs das proposies, so os estados de coisas que esto no fundamento da noo
de mundo possvel. Ao fazer tal deslocamento, o teorista modal procura se distanciar dos problemas sobre a
determinao da relao entre sentenas e proposies e sobre a indicao do status ontolgico das
proposies como entes isolados. A. Plantinga 65 pode ser apontado como o principal teorista modal a se
enquadrar nesta abordagem teortica sobre as modalidades. Nesta concepo, no exigido o uso do
princpio de recombinao, como no caso dos combinatorialistas; aqui, os constituintes dos estados de

64 Possibilidades aliengenas.

22
coisas no precisam ser entidades atuais, o que acomoda de maneira mais suave as possibilidades no-
atuais. Alm disso, possvel explicar a existncia destes possveis no-atuais ao postular que os
constituintes de um estado de coisas existem necessariamente 66, o que feito, em Plantinga, por exemplo,
pela noo de essncia individual67.

No caso c), mundos so vistos como imagens, portanto no so representaes com estrutura
lingustica ou lgica68. A existncia de um mundo possvel como imagem no implica na existncia concreta
daquilo que imagem, j que podemos, por exemplo, formar uma imagem, mesmo que rebuscada, de um
polgono de mil lados, sem nos comprometermos com a existncia concreta de tal polgono. Tal
interpretao recebe algumas crticas. interessante destacarmos duas delas: em primeiro lugar,
conseguimos com esta ferramenta terica dar uma explicao, e no uma definio, da noo de
possibilidade, pois ela repousa em argumentos baseados em entidades no objetivas (imagens); em
segundo lugar, no parece ser claro como podemos usar a noo de mundo possvel como uma simples
imagem, j que espera-se que tal noo deva envolver, no mnimo uma figura interpretada, ou seja, retorna-
se ao problema da representao.

Barbara Vetter69 nomeia certa interpretao de alguns autores contemporneos a respeito de teorias
modais como novo atualismo modal. No captulo 4, teremos a oportunidade de analisar com mais detalhes
algumas destas abordagens ao tratarmos da noo de essncia. De groso modo, os adeptos de tal novo
atualismo modal teriam uma estreita relao com disposicionalistas, pois acreditam que outras noes
modais, como disposies ou essncias, so responsveis por prover a anlise das noes de necessidade
e possibilidade. Alm disto, muitos deles acreditam que a noo de mundos possveis no capaz de suprir
uma anlise vivel das noes modais, pois estas devem encontrar no mundo atual o que as sustenta, ou a
fonte70 das verdades modais. Acreditamos que esta diferente classificao, como apresentada por Vetter,
procura aglutinar vises contemporneas a respeito do problema terico sobre as modalidades que

65 H comentadores que consideram Plantinga, alm de um atualista, um realista modal, j que este
assume a existncia de mundos possveis. Todavia, da maneira como definimos estas linhas tericas,
Plantinga no seria propriamente um realista modal, j que no assume a existncia concreta de mundos
possveis. (Ver Da Costa, Max W. Lgica e Metafsica da Modalidade, dissertao de mestrado, UFPR,
Curitiba, 2013.)

66 Se h o estado de coisas que contm tal constituinte, tal constituinte necessariamente existe.

67 Na teoria proposta por Plantinga, trs noes trabalham em conjunto para explicar a existncia de
diferentes indivduos em diferentes estados de coisas: essncia individual, exemplificao e
coexemplificao. Trataremos com um pouco mais de detalhes esta relao no captulo 4.

68 Uma figura diferente da representao de um objeto, j que a representao envolve um cdigo

interpretativo.

69 Vetter, B. Recent Work: Modality Without Possible Worlds. In. Analysis 71: 742 754. 2011.

70 Truth-maker.

23
possuem certas similaridades com relao s questes que esto preocupados em responder. Entre estas
questes, podemos apontar para uma que possui resposta muito similar entre todos os autores apontados
por Vetter: Como suprir o fundamento ontolgico para o maquinrio da semntica de mundos possveis?
Resposta: na impossibilidade de encontrar tal fundamento, utilizar o significado de sentenas modais, dado
por essa semntica, sem se preocupar com a teoria necessria para fundament-la. Ou seja, as noes que
o maquinrio da semntica de mundos possveis produz servem apenas para nortear a investigao, j que
a anlise dos conceitos modais de necessidade e possibilidade ser feita pela reduo destes contedos a
outras noes mais fundamentais, como disposies ou essncias.

Para alguns autores, existem diversas vantagens nesta abordagem das noes modais. Citemos
alguns exemplos.

Para Kit Fine71, por exemplo, ao assumirmos as noes de essncias, ou disposies, podemos ser
mais especficos ao falarmos sobre indivduos particulares, pois tais noes referem-se diretamente ao
particular. Ele argumenta que invocar a noo modal da essncia de Scrates nos permite explicar
intuitivamente porque Scrates mais fundamental do que o conjunto unitrio que contm Scrates, isto ,
falar do indivduo sem termos que fazer referncia ao domnio de um mundo possvel em que Scrates
existe. A razo disto estaria no fato de que a existncia de Scrates faz parte da noo de conjunto unitrio
que contm Scrates, porm, no faz parte da ideia de Scrates 72 que ele esteja contido em um conjunto
unitrio.

Segundo E. J. Lowe, cada indivduo identificado sua essncia, ou seja, as essncias fornecem
fundao adequada para a definio de noes modais. Plantinga, por outro lado, considera que as
essncias so parcelas dos mundos possveis (estados de coisas), desta forma, embora as essncias se
relacionem intrinsecamente com as definies dos indivduos, Plantinga consegue articular a noo de
essncias de objetos no atuais que continuam a ser constituintes de mundos possveis, concluindo que
so as essncias que do suporte s noes sobre mundos possveis. Estes dois autores se utilizam da
noo de essncia para explicar noes modais; segundo eles, ela fornece um territrio seguro para uma
nova proposta semntica e epistemolgica das modalidades. Estas abordagens, conhecidas por
essencialismo atualista, compartilham a primazia da noo de essncia, sendo que por meio dela, as
noes modais de necessidade e possibilidade podem ser analisadas. Devido importncia de tal tema,
nos concentraremos, no prximo captulo, nos detalhes que envolvem a relao entre existncia, essncia e
identidade.

71 Fine, K. Essence and Modality. In. Philosophical Perspectives 8: Logic and Language. 1994.

72 Ou essncia de Scrates, como apontado por Fine.

24
 A apresentao das caractersticas bsicas das teorias modais pretende expor a problemtica
envolvendo a estruturao de uma filosofia que d conta de fundamentar a anlise das noes modais, em
especial de necessidade e/ou possibilidade metafsicas. Enfatizamos que tais divises no so
completamente imutveis e que um mesmo autor pode apresentar tantas facetas que seja possvel
enquadr-lo em mais de uma destas classificaes. O importante que estas classificaes nos
possibilitam olhar, detalhadamente, as consequncias obtidas a partir de uma diferena mnima de
interpretao ou concepo de uma noo filosfica fundamental. Tais diferenas desempenham grande
papel na escolha do sistema semntico que melhor traduz o significado dos smbolos do sistema lgico
formal73 adotado para embasar74 uma argumentao filosfica.

Do que foi exposto anteriormente, assumiremos que existe uma distino entre certas noes
modais, como a noo de necessidade metafsica e necessidade lgica, por exemplo. Para refletir sobre
problemas metafsicos, a partir da tradio da Filosofia Analtica, admitiremos como suporte um sistema
lgico modal formal. Na literatura, em geral, observa-se que os sistemas S4 e S5 so aqueles que, na
concepo metafsica a respeito destas noes modais, melhores se adequam s vises filosficas de
grande parte dos autores envolvidos nesta discusso. A opo por um sistema, em detrimento do outro,
reside na mais profunda convico de que os axiomas que caracterizam um deles refletem melhor, em
relao ao outro, a concepo do autor sobre as noes modais e como estas noes devem se relacionar
em um sistema lgico formal.

Neste sentido, uma teoria modal pretende, em ltima instncia, responder a algumas questes sobre
as noes modais alticas: Qual o significado de afirmarmos que certa situao possvel ou necessria?;
sobre o problema metafsico: Que tipo de entidade possvel e que tipo necessria?; sobre o sentido de
tais noes: O que significa dizer que algo possvel (necessrio)?. Logo, a escolha de um sistema
semntico, que reflete posicionamentos filosficos a respeito de tais questes, de fundamental
importncia para a construo de uma teoria modal robusta e consistente.

73 Em nosso caso, a lgica modal quantificada (QML).

74 Em consonncia com a tradio da Filosofia Analtica.

25
 Bibliografia

[1] Bobzien, Susanne. Lgica, In. Os Esticos. Organizador: Brad Inwood. Editora Odysseus, So Paulo, 2006.

[2] Borghini, Andrea. A Critical Introduction to the Metaphysics of Modality. Bloomsbury Academic. London, 2016.

[3] Cameron, Ross P. Whats Metaphysical About Metaphysical Necessity? In. Philosophy and Phenomenological
Research. 2009.

[4] Chau, Marilena. Da Metafsica Contingente Ontologia do Necessrio: Espinosa. In. Necessidade e
Contingncia na Modernidade. Org. Lus Csar Guimares Oliva. Editora Bacarolla. So Paulo, 2009.

[5] Da Costa, Max W. A. Lgica e Metafsica da Modalidade. Dissertao de Mestrado. UFPR Curitiba, 2013.

[6] Fine, K. Essence and Modality. In. Philosophical Perspectives 8: Logic and Language. 1994.

[7] Fine, Kit. Modality and Tense. Oxford: Clarendon. London, 2005.

[8] Haack, Suzan. Filosofia das Lgicas. Editora Unesp, 1998.

[9] Lowes, E. J. The Possibility of Metaphysics: Substance, Identity and Time. Oxford, 2001.

[10] Plantinga, A. Actualism and Possible Worlds. In. Theoria I 3: 1976.

[11] Quine, W. V. O. De um Ponto de Vista Lgico. Editora Unesp, So Paulo, 2011.

[12] Spinoza. tica. Editora Autntica. So Paulo, 2009.

[13] Vetter, B. Recent Work: Modality Without Possible Worlds. In. Analysis 71: 742 754. 2011.

26