EPISTEME NS, VOL. 31, N 1, 2011, pp.

1-17

Cleverson Leite Bastos e Paulo Eduardo de Oliveira QUINE E O PECADO DA LGICA MODAL
Resumo: O presente trabalho pretende analisar as objees de Quine lgica modal. O trabalho evidencia que tais objees dirigem-se s formas proposicionais e tambm s formas quantificadas. Como o prprio Quine faz, no se pretende aqui apresentar solues, mas apenas levantar os problemas que o seu trabalho identificou. Este texto apia-se, sobretudo, no importante estudo de Jaime Nubiola, intitulado El Compromisso Esencialista de La Lgica Modal: Estudio de Quine y Kripke. Inicialmente, sero apresentadas as seis objees de Quine e, em seguida, ser feita a anlise de seus pressupostos. Palavras-chave: Quine, lgica modal, anlise crtica.

QUINE AND THE SIN OF MODAL LOGIC

Abstract: This study aims to examine Quines objections to modal logic. The study provides evidence that such objections are directed at propositional and quantified forms. As Quine, does not intend here to present solutions, but only to raise the issues that your work has identified. This text is based mainly on the important study by Jaime Nubiola entitled The Essential Commitment of Modal Logic: A Study of Quine and Kripke. Initially, we presented the six objections to Quine, then, will be made by analysis of their assumptions. Keywords: Quine, modal logic, critical analysis.

De modo provocativo utilizamos a palavra pecado ao analisar este aspecto histrico da lgica modal. Isso se justifica porque, em paralelo ao renascimento do interesse pela lgica modal levado
Recibido 14-01-11 Aceptado 27-01-11

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

a efeito por Lewis, encontraremos, a partir de 1941, anos afora at alcanar nossa dcada, uma crtica sistemtica por parte de Willard Van Orman Quine, o mentor de tal expresso provocativa. Advertimos que, para trazer aqui tal crtica sistemtica, nos valeremos do estudo sobre Quine e Kripke feito Jaime Nubiola na obra El compromisso esencialista de la lgica modal: Estudio de Quine y Kripke, que tem sua origem, conforme o autor mesmo nos relata na introduo, em um seminrio sobre Aristteles e o essencialismo aristotlico, ministrado pelo professor Fernando Inciarte, em 1977, na Universidade de Mnster. Comearemos por apontar, observando a cronologia dos textos como faz Nubiola, as objees mais srias de Quine lgica modal e, a seguir, como no poderia deixar de s-lo, discorreremos sobre os pressupostos de tais objees sem que, no entanto, apontemos solues, visto que a inteno de Quine mais levantar problemas do que resolv-los, como ele mesmo afirma: The effect of these considerations is rather to raise questions than to answer them. 1 Daremos dois enfoques principais nossa apresentao da questo: num primeiro momento, de a) a d), abordaremos as objees dirigidas lgica modal proposicional e, num segundo momento, em e) e f), traremos as objees dirigidas mais diretamente lgica modal quantificada. Inicialmente, faremos a apresentao das objees de Quine e, sem seguida, a anlise de seus pressupostos. 1. As objees de Quine Iniciemos pelas objees dirigidas lgica modal proposicional. a) O primeiro aporte crtico de Quine acha-se em uma passagem de sua contribuio ao volume editado por Paul A. Schilpp em homenagem a Whitehead.2 Nesse texto, Quine chama a ateno para o fato de que a lgica modal violaria dois princpios essenciais para a simplicidade e a convenincia da teoria lgica em geral, a
1

Nubiola, J., El compromisso esencialista de la lgica modal: Estudio de Quine y Kripke, Pamplona: EUNSA, 1984, p. 37. 2 Quine, W., "Whitehead and the rise of modern logic", in SCHILPP, Paul. A. [ed.]. The Philosophy of Alfred North Whitehead, New York, 1941.

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

saber, o princpio fregeano da funcionalidade da verdade e, por violao deste, o princpio de substituio.3 b) No artigo de 1943, intitulado Notes on existence and necessity4 encontrase o primeiro tratamento sistemtico acerca das modalidades, marcando assim o incio de uma argumentao que se desenvolver com o passar do tempo pois, neste artigo, acham-se presentes as objees bsicas e a estratgia principal de Quine contra as modalidades. Ali Quine dirige-se contra os operadores modais em relao quantificao, centrando sua ateno sobre o ponto de que a admisso de operadores modais no mbito dos quantificadores compro mete a aceitao de uma ontologia intensional.5 A argumentao de Quine estabelece (ou quer estabelecer) as condies que devem satisfazer todas as respostas aceitveis para a admisso das modalidades,6 fundamentam-se em algumas noes importantes, como: b.1) Duas noes lgicas: identidade e quantificao; b.2) Duas noes semnticas: designao e significado; b.3) Introduz uma nova noo semntica, que constitui o centro de sua argumentao, a de ocorrncia puramente designativa [purely designative occurrence].7 c) Em The problem of interpreting modal logic8 escrito contra uma tese de Carnap, Quine tem um duplo objetivo. Por uma parte, deseja mostrar a inconsistncia da lgica modal e sua incompatibilidade com os princpios da lgica extensional por suas conseqncias on tolgicas e, por outra, deseja dar uma explicao razovel da lgica modal proposicional.9
Ibid., p. 29-30. Quine, W., V. "Notes on existence and necessity", Journal of Philosophy, vol. 40, 1943. 5 Nubiola, J., El compromisso esencialista..., cit. p. 42. 6 Ibid., p. 51. 7 Ibid., p. 43. 8 Quine, W., "The problem of interpreting modal logic". Journal of Symbolic Logic, vol. 12, 1947. 9 Nubiola, J., El compromisso esencialista..., cit. p. 68.
3 4

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

d) Em 1953, Quine publica seu primeiro livro sobre filosofia da lgica, com o ttulo From a logic point of view10 A importncia desta obra est no fato de que, pela primeira vez, Quine relaciona a quantificao da lgica modal com o essencialismo aristotlico.11 Na verdade, temos aqui duas objees. Uma delas, na edio de 1953, que constitui a principal objeo lgica modal proposicional, de que os contextos modais esto afetados pela opacidade referencial. A outra objeo se apresenta em dois momentos distintos, conforme: na edio de 1953, Quine considera vlido quantificar internamente contextos modais com a restrio de conservar somente aqueles objetos x tais que duas condies quaisquer que os determinem univocamente como x sejam equivalentes.12 Na segunda edio revisada de 1961, que supe o tratamento dado questo modal em Word and object,13 alm de retratar-se da posio admitida em 1953, Quine afirmar que a nica possibilidade de desenvolver uma lgica modal quantificada estriba na aceitao do ininteligvel essencialismo aristotlico.14 e) Ainda em 1953, no trabalho Three grades of modal involvement15 ele expe os trs nveis lgicos distintos nos quais o operador mo dal de necessidade pode ser usado e, por extenso, os demais operadores modais.16 f) No livro Word and object, j citado acima, Quine reitera sua opinio sobre a quantificao modal e sua crtica est dirigida contra a necessidade como modalidade lgica, isto , contra o uso em lgica do operador necessariamente que afirma uma necessidade impessoal e incondicional.17

Quine, W., From a logic point of view, Cambridge, Harvard University Press, 1953a. Cf. Nubiola, J., El compromisso esencialista..., cit., p. 75. Ibid., p. 116. Quine, W., Word and object, Cambridge, MIT, (1960). Cf. Nubiola, J., El compromisso esencialista..., cit., p. 108-9. Quine, W., "Three grades of modal involvement", Proceedings of the XIth International Congresso f Philosophy, XIV, North-Holland, Amsterda, 1953b. 16 Cf. Nubiola, J., El compromisso esencialista... cit., p. 126. 17 Ibid., pp. 136-137. 12 13 14 15
10 11

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

2. Pressupostos das objees a) De acordo com o princpio da funcionalidade a verdade, dois enunciados de igual valor de verdade so intercambiveis, e segundo, o princpio de substituio, dois termos de uma identidade verdadeira so intercambiveis em todos os contextos salva veritate. Pois bem, os operadores modais no so funcional veritativos, ou seja, o valor verdade de um enunciado regido por , por exemplo, no depende unicamente do valor verdade de seu argumento. P, por exemplo, ser um enunciado verdadeiro quando P for verdadeiro; o que constitui a primeira parte desta objeo de Quine. A segunda parte da objeo, a violao do princpio de substituio dos idnticos, que decorrente da violao do princpio anterior, Quine ilustra com um exemplo recolhido de Lewis,18 com o comportamento paradoxal do operador de possibilidade: (1) (nmero dos planetas do sistema solar < 7) e (2) (9 < 7). Considerando-se os enunciados na lgica modal, o primeiro seria admitido como verdadeiro e o segundo como falso, embora os enunciados possam ser insubstituveis em funo dos termos 9 e o nmero dos planetas do sistema solar, porque ambos os termos referem-se ao mesmo objeto, ou seja, o nmero dos planetas do sistema solar = 9. No entanto, no sistema de Lewis, os enunciados possuem valor de verdade opostos e com isto resultam as seguintes questes: i) como possvel os enunciados (1) e (2) receberem valores opostos? ii) por que a inferncia entre tais enunciados, por meio dos termos que designam um mesmo objeto, no permitida? Nesta primeira aproximao ao problema, Quine no aponta nenhuma soluo para o paradoxo, limitando-se a registr-lo e rejeitar todo e qualquer desvio do princpio extensionalista da funo verdade.19
18 19

Ibid., p. 31. Ibid., pp. 32-33.

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

b) Para entendermos a tese de Quine de que a admisso de operadores modais no mbito dos quantificadores compromete a aceitao de uma ontologia intensional, isto , conduzem a admitir um universo de discurso povoado de atributos, entidades abstratas etc,20 devemos partir do que Quine entende por existncia e necessidade. O sentido do ser expresso pelo quantificador x, que indica que existe algum x tal que, no conota existncia em nenhum sentido espacial ou temporal particular, constituindo assim o que se pode denominar de existncia lgica.21 A existncia, neste sentido, deve ser entendida como pertencendo estritamente a um domnio ou universo de discurso, sem referncia alguma a designao de objetos particulares,22 ou dito de outro modo, o sentido de existncia que se expressa pelo quantificador x indica simplesmente que em um determinado universo de discurso o universo que se especifique em cada caso existe certa entidade tal que, vindo a varivel a assumir a funo de um pronome: se usa no escopo do quantificador para afirmar a quantificao em sua referncia e se usa nos textos posteriores para referir-se ao quantificador correspondente. A conexo entre a quantificao e as entidades alheias linguagem consiste no fato de que a verdade ou falsidade de um enunciado quantificado, ordinariamente, depende em parte do campo de entidades que admitimos como valores da varivel x.23 Quanto noo de necessidade, que no est estritamente tematizada em Notes on existence and necessity, entre os diversos sentidos possveis, Quine seleciona o sentido de necessidade analtica,24 que ser melhor analisado a seguir. Dissemos que a argumentao de Quine, para constituir sua objeo s modalidades na obra que vimos tratando, baseia-se, segundo ele prprio indica na introduo,25 e duas noes lgicas, duas noes semnticas e na insero de uma nova noo semntica. Devemos, pois, tambm elucidar estes elementos e as relaes entre eles, conforme segue:
22 23 24 25
20 21

Ibid., p. 42. Ibid., p. 38. Ibid., p. 39. Ibid., p. 41. Ibidem. Ibid., p. 43.

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

i) Designao: a relao de um nome com o objeto nomeado por ele, como, por exemplo, o nome Ccero designa o homem Ccero. Uma ocorrncia de um nome na qual o nome se refere simplesmente ao objeto designado qualificada por Quine como ocorrncia puramente designativa.26 ii) Identidade: Quine, na verdade, trata de dois princpios, a saber, o princpio de identidade de si mesmo e o princpio de substituio, este ltimo tambm denominado por ele de princpio de indiscernibilidade dos idnticos,27 porque considera o princpio de substituio como um dos princpios fundamentais que regem a identidad.28 Segundo, o princpio de substituio, dado um enunciado verdadeiro de identidade, um de seus termos pode ser substitudo pelo outro em todo enunciado verdadeiro e o resultado tambm ser a verdade.29 Entretanto, Quine, mesmo considerando o princpio de substituio como fundamental, prope, com relao designao, alguns contra-exemplos dos quais limitamo-nos aos enunciados verdadeiros: (1) Ccero = Tlio (2) Ccero = tem seis letras. Aplicando o princpio em questo, tudo o que pode ser dito da pessoa de Ccero deve ser igualmente verdadeiro da pessoa de Tlio, uma vez que se trata da mesma pessoa. Em (2), o nome Ccero no puramente designativo, como advertem as aspas, posto que tal enunciado no designa o homem Ccero, mas, sim, o nome do homem Ccero, Ccero tem seis letras. Tal fato nos impe, portanto, a distino entre ocorrncias puramente designativas e no puramente designativas, implicando assim que os nomes (1) Ccero e (2) Ccero no so intersubstituveis. Quine, de tal distino, conclui que um enunciado no depende somente do objeto mas tambm da forma do nome e que tudo o que pode ser afirmado do objeto segue sendo verdadeiro quando nos referimos ao objeto com qualquer outro nome,30 ou seja, Quine aceita a teoria clssica da identidade.
28 29 30
26 27

Ibidem. Ibid., p. 45. Ibid., p. 46. Ibidem. Ibid., pp. 50-51.

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

iii) Quantificao existencial: o sentido de existncia o de existncia lgica. Quanto relao que se estabelece entre designao e quantificao existencial, Quine adverte que no o mero uso de um substantivo, que pode ser usado de maneira no designativa sem que, contudo, fique privado de significado, como, por exemplo, o uso da palavra Pgaso, que no implica na aceitao de Pgaso, seno que o uso designativo que compromete a aceitar a existn cia de um objeto designado por um substantivo.31 Esta relao entre designao e quantificao se observa melhor quando se considera a inferncia por generalizao existencial, que a operao lgica mediante a qual da sentena Scrates mortal infere-se x (x mortal), ou seja, existe algo que mortal. A idia, segundo Quine, que est na base desta inferncia a de que aquilo que verdade do objeto designado por um termo singular dado, verdade de alguma coisa.32 No entanto, ainda segundo Quine, a inferncia por generalizao existencial perde sua justificativa quando o termo singular em questo no designativo, como, por exemplo, o termo Pgaso, que em nenhum contexto ocorre designativamente, ou ocorre em um contexto particular de maneira no puramente designativa, como, por exemplo, a generalizao existencial a partir do enunciado (2), acima, quando se tratou da identidade: Tal afirmao carece de significado, visto que no h um an tecedente apropriado para a expresso tem seis letras. No caso, como tambm para o exemplo Pgaso, em que o termo singular no designativo, no se justifica a generalizao existencial.33 Com isto, em concluso, Quine quer demonstrar que a determi nao do carter puramente designativo ou no de um substantivo no se baseia unicamente na aplicabilidade do princpio de substituio, mas sim que depende tambm de seu comportamento com relao quantificao, posto que a operao de Generalizao Existencial supe
Ibid., p. 53. Ibid., p. 53. 33 Ibid., pp. 53-54.
31 32

x (x tem seis letras)

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

maneiras de usar o substantivo que nos obriga a reconhecer a existncia de um objeto designado por ele.34 iv) Significado (meaning) e Necessidade: Quine introduz o problema da admisso das modalidades atravs da noo de sinonmia. Agora, dizer que dois nomes designam um mesmo objeto no equivale a dizer que so sinnimos, isto , que possuem o mesmo significado. A diferena reside em que para determinar a sinonmia de dois nomes ou outras expresses suficiente compreend-las, ao passo que para determinar se dois nomes designam um mesmo objeto necessrio investigar o mundo. O que equivale a dizer que a identidade de referncia de duas expresses qualitativamente diversa da identidade de sentido ou significado.35 Quine utiliza-se do exemplo de Frege sobre A estrela matutina e A estrela vespertina para afirmar que os nomes no so sinnimos, uma vez que cada um deles foi aplicado a uma certa esfera de matria segundo critrios diferentes. No entanto, quando a astronomia descobre que um e o mesmo objeto que designado por dois nomes, ento pode-se estabelecer o enunciado de identidade A estrela matutina = A estrela vespertina que uma verdade da astronomia e que no se segue meramente do significado ou sentido das palabras.36 Nesta relao de sinonmia e identidade de sentido est pressuposta a noo de enunciado analtico que Quine aceita como sendo o enunciado que verdadeiro em funo do sentido de suas palavras, ou aquele enunciado que se segue logicamente do sentido das palavras que o formam e, de acordo com o princpio de extesionalidade, tudo o que se afirmar de um objeto se mantm verdadeiro quando nos referimos ao objeto com qualquer outro nome.37 Pois bem, Quine introduzir, a partir desta noo de sinonmia e enunciado analtico, um dos possveis sentidos do termo necessariamente como operador modal, confirmando que o resultado da aplicao deste operador a um enunciado somente ser verdadeiro se o enunciado for analtico, isto , se o
36 37
34 35

Ibid., p. 54. Ibid., p. 55. Ibid., pp. 55-56. Ibid., pp. 56-57.

10

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

enunciado original tem uma forma lgica correspondente. A partir disso, Quine definir o operador de necessidade no sentido estrito de necessidade lgica, restringindo assim sua aplicao a enunciados para formar novos enunciados, tratando, portanto, o operador como um operador semntico ou metalingstico.38 Mesmo considerando ou restringindo o uso do operador modal deste modo, surgem algumas dificuldades, como, por exemplo, ao considerarmos os enunciados: (1) necessariamente nenhuma solteira casada; que equivalente ao enunciado analtico: (2) nenhuma solteira casada; que verdadeiro porque pode ser convertido na forma lgica: (3) Nenhum no B B; de modo semelhante: (4) 9 necessariamente maior que 7; que equivalente ao enunciado analtico: (5) 9 > 7; que tambm um enunciado verdadeiro. Quine aponta haver um contraste entre (1) e (4), (2) e (5), visto serem (2) e (5) redutveis a uma forma lgica, ao passo que (1) e (4) constituem um composto intensional no sentido de que o valor de verdade de composio no est simplesmente determinado pelo valor verdade de suas componentes.39 Tambm, em enunciados da forma (1) e (5), no se pode aplicar o princpio de substituio, o que pode ser ilustrado melhor considerando os enunciados seguintes. Partindo do enunciado verdadeiro de identidade: (1) A estrela matutina = A estrela vespertina e o enunciado verdadeiro:
38 39

Ibid., pp. 57-58. Ibidem.

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

11

(2) necessariamente, se existe vida na estrela vespertina, ento existe vida na estrela vespertina; que equivalente ao enunciado analtico: (3) se existe vida na estrela vespertina, ento existe vida na estrela vespertina; por aplicao do princpio de substituio, com base na identidade verdadeira de (1), (2) transforma (3), que era uma verdade lgica, no enunciado falso: (4) necessariamente, se existe vida na estrela vespertina, ento existe vida na estrela matutina. O enunciado falso porque se existe vida na estrela vespertina, ento existe vida na estrela matutina no analtico, redutvel a uma forma lgica, visto que sua verdade procede de circunstncias alheias lgica.40 Em concluso, o que Quine afirma que a admisso de modalidades introduz contextos no puramente designativos, como em (4), impossibilitando assim a aplicao do princpio de substituio e, muito menos ainda, a Generalizao Existencial.41 c) Quine pretende propor uma interpretao admissvel para a lgica modal proposicional ao tratar os enunciados no modais como, no dizer dele, de primeira inteno e, aos modais, de segunda inteno, por resultarem da pr-fixao de um operador modal como a um enunciado de primeira inteno. O resultado de pr-fixar um operador modal a qualquer enunciado ser verdadeiro se, e somente se, o enunciado analtico no sentido j definido.42 Deste modo, possvel elaborar uma lgica modal de segunda inteno, com verdades novas e prprias, acrescidas quelas da lgica de primeira inteno. Como resultado, tal operao, de aplicao de um operador modal, extensiva a qualquer enunciado supondo um processo ad infinitum de maneira que pode-se obter uma lgica de terceira, quarta,
Ibid., pp. 59-60. Ibid., pp. 60-63. 42 Ibid., p. 69.
40 41

12

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

quinta inteno... mas, fica a advertncia que esta soluo para a lgica modal s adequada na medida em que no se utilizem modalidades dentro do alcance dos quantificadores, porque, deste modo, ao confinar a lgica modal a uma lgica de segunda inteno no h perigo de alterar a semntica extensional da lgica modal.43 Para Quine, os problemas para interpretar a lgica modal surgem quando da aplicao de um operador modal a uma matriz no mbito de um quantificador, porque, neste caso, a aplicao do princpio de Generalizao Existencial produziria consequncias ontolgicas indesejveis.44 d.1) Segundo Quine, a falha do princpio de substituio, como no contra-exemplo da relao entre designao e identidade que apresentamos na letra b), se d quando a ocorrncia que deveria ser substituda no puramente referencial (aqui Quine opera uma mutao terminolgica, pois puramente referencial equivalente a puramente designativa, como visto acima), isto , quando o enunciado no depende somente do objeto mas tambm da forma do nome.45 Acontece que um mesmo nome pode ocorrer em um enunciado e referencialmente e, em um enunciado mais amplo, como em contextos de atitudes proposicionais ao tipo cr que..., no sabe que..., disse que..., no referencialmente. A tais contextos, como o de atitudes proposicionais ou Ccero, enunciado (2) do exemplo acima sobre a identidade, Quine denomina de referencialmente opacos.46 A mesma opacidade referencial atribuda por Quine aos enunciados regidos por operadores como necessariamente..., possivelmente..., opacidade que pode ser determinada pelo teste de substituio, como por exemplo: (1) 9 necessariamente maior que 7; (2) necessariamente se existe vida na estrela vespertina, ento existe vida na estrela vespertina; (3) o nmero dos planetas possivelmente menor que 7.
45 46
43 44

Ibid., pp. 69-70. Ibid., pp. 70-73. Ibid., pp. 85-86. Ibid., p. 90.

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

13

Os enunciados acima no so verdadeiros e poderiam ser escritos assim: (4) 9 > 7 (5) se existe vida na estrela vespertina, ento existe vida na estrela vespertina. Enquanto (4) e (5) so enunciados analticos, (6) no o . (6) o nmero de planetas no menor que 7. Agora, utilizando-se das identidades verdadeiras e da substituio: (7) o nmero dos planetas = 9; (8) a estrela vespertina = a estrela matutina. Transforma-se as verdades (1)-(3) em falsidades: (9) o nmero dos planetas necessariamente maior que 7; (10) necessariamente se existe vida na estrela vespertina, ento existe vida na estrela matutina; (11) 9 possivelmente menor que 7.47 Quine, portanto, conclui que as ocorrncias 9, a estrela vespertina e nmero dos planetas, dos trs primeiros enunciados, no so referncias, visto que a aplicao do princpio de substituio, baseada nas identidades verdadeiras dos enunciados (7) e (8), altera o valor verdade dos trs primeiros enunciados. A falha na substituio demonstra que estes contextos no possuem a transparncia referencial necesaria.48 d.2) A impossibilidade de quantificar internamente contextos modais baseia-se em que o ser necessria e possivelmente de tal ou qual maneira no , em geral, uma propriedade do objeto correspondente, seno que depende do modo de referir-se a este objeto,49 ou seja, Quine deseja confinar o uso das modalidades ao mbito lingstico da especificao dos objetos, porque os problemas, que surgem nos contextos modais quantificados, surgem dos determinados modos de
Ibid., pp. 92-93. Ibid., p. 93. 49 Ibid., p. 98.
47 48

14

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

referir-se aos objetos que ora fazem verdadeiro ora fazem falso a um enunciado, como nos exemplos abaixo: (1) (x) (x necessariamente maior que 7); (2) (x) (necessariamente se existe vida na estrela vespertina, ento existe vida em x); (3) necessariamente (x) (x > 7);

(4) necessariamente (x) (se existe vida na estrela vespertina, existe vida em x). H diferena na interpretao dos pares de enunciados a custa de que (3) e (4) so passveis de uma interpretao analtica, mais ainda, de uma interpretao em termos de necessitas de dicto, ao passo que, ao interpretar (1) e (2), aparecem problemas que tm sua origem em que tais contextos envolvem necessitas de re, o que para Quine so enunciados sem sentido.50 Quanto objeo de compromisso com o essencialismo aristotlico, na perspectiva de Quine, tal compromisso consistiria na admisso da distino entre propriedades necessrias, como os homens so necessariamente racionais e propriedades contingentes, como os homens so acidentalmente bpedes, propriedades estas pertencentes (ou supostamente tidas como pertencentes) aos objetos.51 Por este compromisso metafsico, Quine rechaa a inteligibilidade da lgica modal quantificada que mostra um favoritismo entre as propriedades dos objetos52 que (e aqui Quine segue Dewey) subjetivo e se realiza em funo de nossos interesses e da importncia que em cada caso nomeamos a cada propriedade.53 e) Os trs distintos graus em que pode ser usado o operador de necessidade, atravs dos quais, em especial o terceiro, centraliza a objeo no compromisso da lgica modal com o essencialismo aristotlico, apresentam-se assim54:
Ibid., p. 102. Ibid., p. 82. 52 Ibid., p. 122. 53 Ibid., p. 125. 54 Ibid., p. 126.
50 51

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

15

Primeiro grau: a necessidade expressa-se como um predicado semntico (ou verbo: necessrio), atribuvel a nomes de enunciados de carter lgico (analtico) e no factual; nestas condies, temos: (1) necessariamente 9 > 5 [presume-se verdadeira]; (2) necessariamente Napoleo escapou de Elba [presume-se falsa].55 Este primeiro grau reflete, segundo Quine, uma concepo no aristotlica da necessidade, visto que a necessidade estriba no modo em que dizemos as coisas e no nas coisas das quais falamos. Segundo grau: a necessidade um advrbio empregado como operador de enunciados anlogo ao signo de negao que se aplica a um enunciado para formular outro enunciado, que se pode expressar da seguinte maneira: (1) necessariamente (9 > 5); (2) necessariamente (Napoleo escapou de Elba). Neste uso, temos, devido opacidade referencial, as inconvenincias de c.1) pois, por substituio: (3) o nmero de planetas gera-se a falsidade em (1) (4) necessariamente (o nmero dos planetas > 5). Terceiro grau: a necessidade , por ampliao do segundo grau, expressa mediante um operador de frase que admite a aplicao do operador modal a enunciados abertos tais como x > 556, que so o campo de aplicao dos quantificadores. Quine argumenta que possvel inferir (x) necessariamente (x > 5) de necessariamente (9 > 5) com a condio de que este enunciado seja uma informao sobre o objeto 9, isto , acerca de que o nmero 9 excede necessariamente a 5. Porm, como necessariamente (... > 5) pode ser verdadeiro ou falso do nmero 9 dependendo meramente de como nos refiramos a este nmero, como no enunciado (4) do segundo grau,
55 56

Ibid., pp. 126-127. Ibid., p. 128.

16

episteme ns,

vol. 31, n 1, 2011, pp. 1-17

por exemplo, Quine conclui que necessariamente (x > 5) no expressa nenhuma condio genuna acerca de nenhum objeto. A no ser puramente referencial a ocorrncia de 9 em necessariamente (9 > 5), a substituio de 9 por x em necessariamente (9 > 5) no tem nenhum sentido.57 Esta aplicao do operador modal, primeira vista, no seria absurda desde que: 1) se aceite a definio contextual dos termos singulares, de modo a no serem usados livremente ou quando seus objetos existam efetivamente; 2) seja impedido o emprego de termos singulares para a instanciao de quantificaes universais; 3) os objetos, em contextos modais, se no idnticos, devem ser necessariamente idnticos.58 No entanto, tais condies impostas por Quine levam a restringir o universo de discurso da lgica quantificada a objetos intencionais enfatizando o compromisso essencialista onde, independentemente da linguagem em que uma coisa referida, algumas propriedades so consideradas como essenciais e outras como acidentais.59 Nubiola ilustra o estupor de Quine diante de tal compromisso esquematizando um exemplo do prprio Quine: (1) pode-se dizer razoavelmente que os matemticos ho de ser necessariamente racionais e no necessariamente bpedes; (2) pode-se dizer, do mesmo modo, que os ciclistas ho de ser necessariamente bpedes e no necessariamente racionais; (3) porm, o que ocorre com um indivduo que inclui entre suas excentricidades a matemtica e o ciclismo? este indivduo concreto necessariamente racional e contingentemente bpede e vice-versa? (4) no tem qualquer sentido considerar alguns atributos como necessrios e outros como contingentes quando falamos referencialmente do objeto; (5) alguns atributos contam como importantes e outros como no importantes; alguns so duradouros e outros, fugazes, porm nenhum necessrio ou contingente.60
59 60
57 58

Ibid., p. 129. Ibid., p. 130. Ibidem. Ibid., p. 98.

cleverson leite bastos e paulo eduardo de oliveira

Quine e o pecado da lgica modal

17

f) Esta crtica se d em dois momentos. De incio, Quine afirma a impossibilidade de quantificao de contextos modais em funo de sua concepo de opacidade referencial, vista acima. Em seguida, volta-se contra a necessidade como modalidade lgica.61 Para negar a necessidade como necessidade lgica, Quine parte do postulado (usado para justificar a quantificao de proposies modais na primeira edio de From a logical point of view) de que, quando cada um de dois enunciados abertos determina univocamente um mesmo objeto x, ento tais enunciados so equivalentes por necessidade. Quine deduzir deste postulado que todas as identidades so necessrias e da que todo enunciado verdadeiro necessariamente verdadeiro. Isto significa, por reduo ao absurdo, a destruio de todas as distines modais, ou seja, o colapso de todas as distines modais.62 Na verdade, esta inferncia de Quine ganha uma maior compreenso em Necessary truth63, onde ele procura mostrar o uso ambguo da expresso necessrio na linguagem ordinria. Segundo Quine, tal expresso no afirma nenhuma necessidade estrita mas, sim conjecturas, suposies e inferncias que se aplicariam por elipse a eventos particulares e estados de coisas e que a aplicao prpria de dita expresso a de conectivo condicional da forma se p ento q.64 Em outros termos, a necessidade deve ser entendida como regularidade humeana encoberta por um princpio de aparncia universal, ou melhor, a necessidade est na conexo entre os fatos e no nos fatos mesmos.65
Professor da Pontifcia universidade catlica do Paran (Brasil) c.leitebastos@gmail.com oliveira.p@pucpr.br

63 64 65
61 62

Ibid., p. 137. Ibid., p. 323. Quine, W., "Necessary truth". Forum Lecture, The Voice of America, (1963). Cf. Nubiola, J., El compromisso esencialista..., cit., p. 145. Ibid., p. 146.