UNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE CINCIAS SOCIAIS E HUMANAS PROGRAMA DE PS-GRADUAO EM FILOSOFIA

UMA LEITURA KANTIANA DA LGICA DENTICA STANDARD

DISSERTAO DE MESTRADO

Gisele Dalva Secco

Santa Maria, RS, Brasil 2006

UMA LEITURA KANTIANA DA LGICA DENTICA STANDARD

por

Gisele Dalva Secco

Dissertao apresentada ao Curso de Mestrado do programa de PsGraduao em Filosofia, rea de Concentrao em Filosofia Transcendental, da Universidade Federal de Santa Maria (UFSM, RS), como requisito parcial para obteno do grau de Mestre em Filosofia.

Orientador: Prof. Dr. Frank Thomas Sautter

Santa Maria, RS, Brasil 2006

Universidade Federal de Santa Maria Centro de Cincias Sociais e Humanas Programa de Ps-Graduao em Filosofia A Comisso Examinadora, abaixo assinada, aprova a Dissertao de Mestrado UMA LEITURA KANTIANADA LGICA DENTICA STANDARD elaborada por Gisele Dalva Secco como requisito parcial para a obteno do grau de Mestre em Filosofia
COMISSO EXAMINADORA:

_____________________________
Prof. Dr. Frank Thomas Sautter (Orientador) __________________________________ Prof. Dr. Hrcules de Arajo Feitosa (UNESP) __________________________________ Prof. Dr. Hans Christian Klotz (UFSM)

Santa Maria, 03 de maro de 2006.

AGRADECIMENTOS

Meus sinceros agradecimentos ... ao professor Abel, pelo estmulo sempre impaciente, ao professor Frank, pelos anos de dedicao e pacincia, ao professor Ronai, pela amizade, Rita e ao Srgio, pela amizade e pelos cigarros, UFSM e a CAPES, pelo incentivo, Marinha, por tudo, sempre.

Compreendo por intervalos desconexos; Escrevo por lapsos de cansao; E um tdio que at do tdio arroja-me praia. lvaro de Campos De Lisbon Revisited

RESUMO Dissertao de Mestrado Programa de Ps-Graduao em Filosofia Universidade Federal de Santa Maria UMA LEITURA KANTIANA DA LGICA DENTICA STANDARD AUTORA: GISELE DALVA SECCO ORIENTADOR: PROF. DR. FRANK THOMAS SAUTTER Data e local da defesa: Santa Maria, 03 de maro de 2006.
A presente dissertao o resultado de uma investigao acerca da semntica para lgica dentica standard. Restringindo-se verso proposicional da mesma, o trabalho teve como principal objeto de estudo alguns textos do filsofo J. Hintikka, cuja proposta de semntica para lgica dentica inclui a reinterpretao de uma noo importante da filosofia de I. Kant: a noo de Reino dos Fins. Kant tambm figura na proposta de Hintikka pela ilustrao de um dos resultados de sua abordagem, a saber, a distino entre conseqncia lgica e conseqncia dentica, da qual o assim chamado princpio de Kant um exemplo. Tendo como objetivo a exposio desta proposta, optou-se por situ-la em uma discusso a respeito da convenincia da formalizao enquanto ferramenta de anlise filosfica. Sendo assim, a proposta de Hintikka figura como um exemplo de formalizao cujos resultados podem ter caractersticas filosficas relevantes. A exposio geral sobre as formulaes kantianas do Imperativo Categrico, em especial a formulao do Reino dos Fins (tema do primeiro captulo), tem como objetivo justamente apontar as caractersticas de maior relevncia na filosofia prtica de Kant para o trabalho de anlise que se efetiva no terceiro captulo da dissertao.

Palavras-chaves: Lgica dentica, Anlise filosfica, Semntica filosfica, Reino dos Fins, Kant, Hintikka.

ABSTRACT Dissertao de Mestrado Programa de Ps-Graduao em Filosofia Universidade Federal de Santa Maria A KANTIAN LECTURE OF STANDARD DEONTIC LOGIC AUTHOR: GISELE DALVA SECCO ADVISOR: PROF. DR. FRANK THOMAS SAUTTER Date and Place of Defense: Santa Maria, March 03, 2006.
The current dissertation is the result of an investigation about the semantic of deontic logic. Restricting to the propositional version, the work had as the main objective of study some lectures of the philosopher J. Hintikka which semantic proposal for deontic logic includes a re-interpretation of an important notion in Kants philosophy: the notion of a Kingdom of Ends. Kant also figures in the Hintikka proposal through the illustration of one of the results of his matter, it means, the distinction between logical and deontic consequence, from which the so called Kants Principle is an example. Having as the objective the exposition of this proposal, it has chosen to situate it in a discussion about the convenience of formalizations has a tool of philosophical analysis. Therefore, the proposal of Hintikka figures as an example of formalization which the results can have relevant philosophical features. The general exposition of the Kantian formulations of the Categorical Imperative, especially the formulation of the Kingdom of Ends (the subject matter of the first chapter), it has as an aim to point the most relevant features in Kantian practical philosophy for doing the analysis that accomplishes on the third chapter

Key Words: Deontic Logic, Philosophical Semantics, Philosophical Analysis, Kingdom of Ends, Kant, Hintikka.

LISTA DE SIGLAS E ABREVIATURAS

Obras de Kant: CRP CRPr FMC Crtica da Razo Pura (citada sempre com as referncias s edies A e B) Crtica da Razo Prtica Fundamentao da Metafsica dos Costumes

Termos: CPC IC RF Clculo Proposicional Clssico Imperativo Categrico Reino dos Fins

SUMRIO

1 INTRODUO ................................................................................ 10 2 A NOO DE REINO DOS FINS NA FILOSOFIA PRTICA DE KANT ........................................................................ 14
2.1 Sobre juzos e imperativos na filosofia crtica............................................14 2.2 As diferentes formulaes do Imperativo Categrico ...............................23 2.3 O Reino dos Fins...........................................................................................30

3 LGICA MODAL E LGICA DENTICA A SEMNTICA DE MUNDOS POSSVEIS............................................................... 36

3.1 A lgica modal e a semntica de mundos possveis. ................................36 3.2 A lgica dentica...........................................................................................44 3.3 O Dilema de Jrgensen.................................................................................49

4 A PROPOSTA DE HINTIKKA PARA A SEMNTICA DA LGICA DENTICA ....................................................................... 56

4.1 Sobre os preceitos da proposta de Hintikka...............................................56 4.2 Sistema Modelo: conseqncia lgica e conseqncia dentica ............63 4.3 A apropriao de noes kantianas ............................................................68

5 CONCLUSO.................................................................................. 74 6 REFERNCIAS BIBLIOGRFICAS ............................................... 77

1 INTRODUO
A filosofia formalizada j foi caracterizada como uma especialidade para a qual se deve atentar com maior cuidado. Isso porque se pensa que uma revitalizao desta rea, bem como uma maior interao com a filosofia que no utiliza sistematicamente as ferramentas lgico-formais, tornaria suas vantagens mais frutferas para os fins de anlise da linguagem aos quais remonta. Mais do que isso, o teor das desvantagens que aparecem com os procedimentos usuais de formalizao em filosofia poderia ser significativamente diminudo caso as questes que motivam seu desenvolvimento fossem tematizadas mais profundamente no meio acadmico. Esta avaliao da filosofia formalizada, presente em um artigo de Hansson (2000), de seus modos usuais de procedimento, seus objetivos e resultados, o ponto de partida da presente dissertao. A formalizao em filosofia , na prtica, sinnimo de formalizao em linguagem lgica. Tendo-se em vista o fato de que a lgica dentica opera com conceitos importantes do discurso da filosofia moral no caso do presente estudo, com a filosofia prtica de Kant como so os conceitos de obrigao, permisso e proibio, acredita-se que a apresentao de uma semntica adequada a este ramo da lgica modal pode, de certo modo, ilustrar que a filosofia formalizada capaz de ser um campo de trabalho filosoficamente frutfero. Para tanto, o trabalho comea com uma exposio da filosofia moral de Kant, a partir das formulaes do Imperativo Categrico e sua conexo com a noo de Reino dos Fins. Este primeiro captulo resultado do estudo de alguns tpicos da filosofia prtica de Kant em conexo com temas especficos da sua filosofia terica estratgia guiada por textos de autores cujas interpretaes de Kant, embora apresentem diferenas, oferecem tambm aspectos em comum. As similaridades encontradas entre os textos de G. Patzig e H. J. Paton respectivamente Las Formas Lgicas de las Proposiciones Prcticas en la tica de Kant (PATZIG, 1975) e The Categorical Imperative (PATON, 1971) (sendo o primeiro um artigo

11

constituinte de uma coletnea intitulada tica Sin Metafsica e o segundo uma obra clssica sobre o Imperativo Categrico na obra de Kant) so observadas na medida em que tratam das questes de filosofia moral sugeridas por Kant, fazendo uma clara referncia sua filosofia como um todo. No caso de Patzig, isso se mostra pelo fato de que ele aborda as analogias entre termos da tica e da filosofia terica, e no caso de Paton (1971), pela referncia constante (principalmente nos apndices aos captulos de seu livro) aos escritos tericos de Kant. Tambm esta a estratgia geral do terceiro texto utilizado como apoio para a leitura de Kant A Filosofia Crtica de Kant de Gilles Deleuze (1994), com o qual se realiza uma referncia doutrina das faculdades do filsofo alemo. A exposio mais detalhada da noo de Reino dos Fins tem como objetivo esclarecer seu papel de idia regulativa na filosofia moral de Kant. Embora no se apresente aqui um estudo sobre sua influncia na filosofia imediatamente posterior a Kant, reconhece-se que esta noo pode ser reinterpretada de modo coerente no mbito das investigaes a respeito da lgica dentica. Tem-se, portanto que o primeiro captulo da presente dissertao, mais especificamente sua terceira seo, est em conexo direta com a temtica do terceiro e ltimo captulo. Antes de coment-lo, uma palavra sobre a transio para o segundo captulo: dado que o que se pretende mostrar como conceitos da filosofia tradicional podem ser reinterpretados luz dos procedimentos lgicos contemporneos, procedimentos adequados de formalizao com vistas a uma compreenso mais aguada de tais conceitos fez-se necessria uma pequena abordagem histrica do desenvolvimento da lgica modal. Para que fosse possvel apresentar o modo como os lgicos tm se envolvido com os conceitos normativos bsicos, nada mais coerente que comear pela lgica cujo desdobramento ilustra tal envolvimento. Foram deixadas de lado consideraes acerca da assim chamada pr-histria da lgica modal (ORAYEN, 1995), cujo precursor Aristteles e os comentadores medievais, que o seguiram na abordagem dos modos da verdade, com algumas contribuies originais. Com exceo de Leibniz, filsofo inspirador da semntica de mundos possveis, os autores do perodo moderno no foram considerados no que tange ao tratamento das modalidades. Faz-se uma pequena meno a Frege, no incio do captulo, para demarcar o fato de que um dos precursores da lgica simblicomatemtica preferiu desconsiderar as sentenas modais do mbito da lgica. Sua recusa, bem como a crtica de outros autores como Quine em considerar as

12

modalidades como parte da temtica da lgica no figuram como ponto de discusso do presente trabalho, dado que isso distanciaria a discusso de seu objetivo. Com vistas a realizar a tarefa de dar uma viso geral sobre a lgica modal, o presente estudo restringiu-se s verses proposicionais tanto da lgica modal altica quanto da lgica dentica. Isto por que os problemas filosficos envolvidos com as verses quantificacionais das mesmas no caberiam no escopo do presente trabalho, muito embora a quantificao esteja presente, a ttulo de paralelo, nas origens do desenvolvimento da lgica dentica bem como na proposta semntica de Hintikka, cuja teoria de modelos para o clculo quantificacional o pano de fundo para sua teoria de lgica modal e, portanto, da semntica para lgica dentica. A abordagem da lgica dentica tem como referencial bsico os textos do pensador considerado como seu fundador: G.H.v. Wright. Seu texto Deontic Logic (VON WRIGHT, 1951) figura expressivamente como ponto de partida da lgica dentica contempornea por ter oferecido uma primeira caracterizao axiomtica, o que representa um aspecto importante, para o desenvolvimento da lgica dentica. Sabe-se que, de fato, o primeiro autor do perodo ps-fregeano a refletir sobre a possibilidade de uma lgica para as sentenas normativas foi Ernst Mally, que em 1926 publicou um livro sobre a lgica do dever. Outro pensador que, na dcada de trinta, abordou a questo da possibilidade de que as frases com verbos principais no modo imperativo pudessem ter um tratamento lgico plausvel foi o dinamarqus Jrgen Jrgensen. O segundo captulo menciona este ltimo autor na medida em que os questionamentos levantados pelos seus artigos ficaram conhecidos na literatura posterior como o dilema de Jrgensen e tambm porque sua importncia constitui de modo significativo o mbito de discusso dos estudos sobre lgica dentica, muito embora no haja consenso quanto aos fundamentos do que considerado por seu prprio fundador como o ramo mais problemtico da lgica filosfica. A lgica dentica provavelmente considerada assim por tratar de proposies que podem ser interpretadas tanto descritiva quanto prescritivamente, o que apresenta o carter de ambigidade do qual todos os lgicos procuram desviar, e tambm pelo fato de que no caso da aceitao de uma lgica para normas as relaes lgicas no poderiam mais ser definidas prioritariamente em termos do conceito de verdade.

13

Ao final do captulo so apresentadas duas propostas de soluo para o dilema: a de von Wright e a de Carlos Alchourrn e Antonio Martino, juristas fortemente envolvidos com a abordagem lgica das normas. O terceiro e ltimo captulo tm como objetivo apresentar a semntica de conjuntos-modelo de Hintikka para a lgica dentica. A proposta deste autor acaba por considerar a lgica dentica um caso paradigmtico para a anlise filosfica como tal. O captulo inicia com a exposio das manobras que Hintikka acredita ilustrarem o modo correto de abordagem deste ramo da lgica. Para situar a proposta de Hintikka faz-se referncia ao trabalho de S. O. Hansson sobre a formalizao em filosofia, aproximando as teses dos dois autores de modo a ilustrar que o trabalho de formalizao tem suas vantagens exemplificadas com o trabalho semntico-formal de Hintikka. Em seguida so apresentadas as principais bases de seu trabalho, como a noo de sistema modelo e a noo de satisfabilidade, oriundas de suas abordagens anteriores a respeito da teoria quantificacional pura. Na mesma seo aparece a distino, fundamental para a resoluo dos paradoxos denticos, entre relao de conseqncia lgica e conseqncia dentica a partir da qual Hintikka reinterpreta o princpio de Kant, princpio do dever implica poder, assim denominado no mbito da lgica modal por remontar tese kantiana a respeito da necessidade da ao moral em termos da possibilidade de realiz-la. A partir da so tecidas algumas consideraes sobre as semelhanas que Hintikka estabelece entre sua abordagem da semntica para lgica dentica e a noo kantiana de Reino dos Fins. Mostra-se tambm o que difere na proposta de um e outro, principalmente no que tange ao papel concedido ao conceito de permisso, de modo que a reinterpretao de Hintikka se apresenta como uma generalizao que acaba por simplificar tpicos fundamentais da doutrina de Kant. Ainda assim, sustenta-se a tese de que a abordagem de Hintikka um exemplo positivo do tratamento formal de certos conceitos e suas relaes, tal como Hansson (2000) afirma ao apresentar as vantagens que a filosofia formalizada traz ao cenrio analtico. As concluses do trabalho iro indicar os tpicos em aberto, no sentido de especificar quais questes poderiam ser abordadas quanto ao tema em pesquisas futuras.

2 A NOO DE REINO DOS FINS NA FILOSOFIA PRTICA DE KANT

Na Fundamentao da Metafsica dos Costumes (FMC) Kant apresenta diversas formulaes do Imperativo Categrico (IC), o princpio supremo de sua tica. Este princpio estabelece, em linhas gerais, o critrio para a avaliao da moralidade das aes humanas, de modo que, mesmo aparecendo sob diversas formas ao longo dos escritos ticos de Kant, preserva um carter de racionalidade, e portanto de universalidade, na estimativa das aes moralmente consideradas. Em uma das referidas formulaes do IC aparece a profusa noo de Reino dos Fins, cuja apresentao o objetivo deste captulo. Para tanto, traar-se- uma linha de explicao que parte das determinaes ou da classificao dos tipos de imperativos que figuram no discurso normativo kantiano, tendo como ponto de comparao a classificao dos tipos de juzo que apresentada pelo autor no mbito da filosofia terica. Entende-se que a noo de Reino dos Fins no pode ser minimamente compreendida sem um esclarecimento do pano de fundo da filosofia prtica kantiana, a saber, os principais insights da filosofia terica, entendidos como alicerce do projeto crtico kantiano.

2.1 Sobre juzos e imperativos na filosofia crtica

A tentativa de explicar a transposio kantiana dos termos aplicados na classificao dos juzos classificao dos imperativos constitui uma maneira de se examinar a coerncia terminolgica nos escritos de Kant, mas tambm a possibilidade de que uma tal coerncia indique um nexo entre as duas esferas da filosofia crtica (terica e prtica). No se pretende aqui dar conta do tipo de exigncia subjacente aos modelos de anlise dos argumentos kantianos que levam

15

mais em considerao a aplicao de determinados termos neste ou naquele mbito de sua filosofia exigncias que o prprio Kant talvez no pudesse ter feito a si mesmo, pois os nveis de especializao aos quais se tem chegado s anlises lgico-lingusticas das ltimas dcadas no parece ter sido algo com o que contasse para o futuro da filosofia. O objetivo do estudo comparativo entre juzos e imperativos apenas apresentar as formulaes do Imperativo Categrico sem deixar de lado seu vnculo estrutural com as investigaes kantianas como um todo. O tema da busca pela uniformidade terminolgica entre uma e outra esfera da filosofia crtica encontrado, por exemplo, em um artigo de Patzig (1975) com o qual aqui se dialoga no experimento de esclarecer o carter distintivo dos imperativos frente aos juzos. Patzig afirma que a distino entre juzos e imperativos uma distino radical (PATZIG, 1975, p.100), embora Kant os aproxime pela nomenclatura que submete sua classificao a tese de Patzig que na tica de Kant os termos lgicos podem ser utilizados em um sentido limitado, analgico (Ibid., p. 98) O que esta distino possa significar em termos mais gerais com relao ao funcionamento e inter-relao das faculdades em jogo em cada uso da Razo ser brevemente comentado ao final deste captulo. Seria plausvel que, para comear, Patzig oferecesse uma definio geral de juzo em Kant. Esta tarefa demandaria uma srie de consideraes que no se acomodam no mbito de seu trabalho, o que pode permitir que aqui no se faa mais do que dar uma visada bastante geral sobre o juzo como ato do entendimento, pelo qual este unifica as representaes dadas conscincia. Em outras palavras, tomar-se-, como Patzig, o juzo como proposio apofntica que pode ser verdadeira ou falsa muito embora se reconhea a gama de caracterizaes que ele recebe no complexo da filosofia kantiana. 1 O entendimento a capacidade de representar objetos mediante conceitos, que por sua vez contm as representaes atravs das quais se d a referncia aos objetos; a faculdade que conhece por conceitos, e unicamente por eles:
Assim, todos os juzos so funes da unidade entre as nossas representaes [...] Podemos, contudo, reduzir a juzos todas as aes do A justificativa de Patzig para sua postura frente noo de juzo est na primeira nota do texto: En este trabajo, sigo el uso del lenguaje de Kant en la Crtica de la razn pura en la cual las expressiones juicio y proposicin son usadas promiscua e indiferenciadamente, como puede comprobarse de manera especialmente clara, por exemplo em A73, B 98, A75 y B100 (...) (PATZIG, 1975, p. 99).
1

16

entendimento, de tal modo que o entendimento em geral pode ser representado como uma faculdade de julgar (A 69/ B 94).

Se o entendimento no possui outra ao que no a de formular juzos, o conhecimento do entendimento sntese de representaes, e conhecer um objeto por conceitos s possvel atravs de juzos, ento, para Kant, os conceitos puros do entendimento s podem ter sua origem na funo lgica dos juzos. A importncia dos juzos na filosofia terica pode ser percebida pelo arranjo das categorias, ou conceitos puros do entendimento, a partir da disposio dos juzos. A primeira distino entre juzos apresentada por Kant aquela que encontramos na parte IV da Introduo a CRP. Ela se refere ao par analticosinttico, ou explicativo-extensivo, e elucidada atravs do critrio da pertena do predicado ao sujeito do juzo, que tambm se pode ilustrar recorrendo identidade de ambos: quando a pertena ou identidade do sujeito ao predicado se d, temos um juzo analtico; quando a verdade do juzo no est fundamentada por esta identidade, um sinttico. A distino analtico-sinttico muito cara a Kant, desde que um elemento fundamental para a afirmao dos juzos sintticos a priori como princpios das cincias da razo, estes que so o objeto do verdadeiro problema da razo pura (B 19). Como se ver mais adiante, tambm na caracterizao dos imperativos Kant emprega a distino analtico-sinttico, mesmo que eles no sejam estruturas proposicionais do tipo S P. Isso justifica o fato de que o par analtico-sinttico no se pode aplicar aos juzos hipotticos, pois seus elementos componentes, antecedente e conseqente, no correspondem a sujeito e predicado de juzos categricos. Seguindo a anlise de Patzig, a ateno passa da distino analtico-sinttico para a classificao dos juzos quanto relao (categricos, hipotticos e disjuntivos), a modalidade (problemticos, assertricos e apodticos), a quantidade (universais, particulares e singulares) e a qualidade (afirmativos, negativos e infinitos) os quatro momentos da tbua dos juzos apresentada na CRP. Na abordagem de Patzig os momentos da relao e da modalidade so mais ponderados do que os demais, o que se justifica na medida em que a tica kantiana tem como noo de fundamental importncia o Imperativo Categrico, quase sempre apresentado e caracterizado em oposio aos imperativos hipotticos. (Embora no

17

se deva esquecer de que a forma da quantidade est presente na hierarquizao dos imperativos da moralidade que devem possuir a caracterstica da universalidade frente s mximas enquanto regras particulares para a ao e tambm na distino entre os imperativos morais e os demais2). Posto isso, tem-se que a essencial distino entre juzos categricos e hipotticos fruto da diferena entre a forma de apresentao, como forma lingstica, dos mesmos. A natureza lgica das proposies ou juzos hipotticos determinada pela relao de fundamento-consequncia entre dois juzos, sem que nada se diga a respeito de sua verdade. A conseqncia a forma dos juzos hipotticos (cf. 25, observao 1, da Lgica Jaesche). Patzig diferencia a concepo kantiana do juzo hipottico quanto forma (expresso de uma relao condicional) de uma outra, que expressa na segunda observao do mesmo 25: a de que apenas o conseqente da relao condicional afirmado, sendo assertivo, portanto, apenas o segundo termo do juzo enquanto o antecedente uma condio anunciada problematicamente esta ltima a concepo da expresso de uma afirmao condicionada3. No que tange a classificao modal dos juzos, pode-se traar um paralelo entre as explicaes da Lgica e da CRP: nesta ltima Kant afirma que a modalidade no contribui efetivamente em nada para o contedo do juzo, seno que se refere apenas ao valor da cpula com relao ao pensamento em geral. Isso pode ser esclarecido tendo em vista o 30 da Lgica, no qual aparece uma referncia relao do juzo com a faculdade de conhecer, ao invs de uma aluso ao pensamento em geral:
Juzos problemticos so aqueles em que se atribui afirmao ou negao um valor apenas possvel (arbitrrio); assertricos so os juzos em que esse valor considerado real (verdadeiro); apodticos aqueles em que se considera esse valor necessrio (B 100).

A conexo com a(s) faculdade(s) de conhecer, mencionada na Lgica, aparece na nota que segue a passagem anterior da CRP, na qual se especula que no caso
2

O tema da distino e dos fatores relevantes para ela, entre moralidade e legalidade, embora de importncia reconhecida, no constituir parte deste trabalho. 3 Cf. Patzig, 1975, p. 103, a distino dessas duas concepes de grande importncia para que mais tarde se possa expor a concordncia entre as explicaes de Kant sobre a classificao dos juzos e dos imperativos.

18

dos juzos problemticos o pensamento poderia ser uma funo do entendimento; nos juzos assertricos o pensamento seria uma funo da faculdade de julgar e nos juzos apodticos uma funo da razo. O retorno a essa hiptese de interpretao, que toma como base da distino entre juzos e imperativos as relaes entre as faculdades em cada uso da Razo, ser fundamentado com uma referncia ao texto de Deleuze (1994), que tambm pretende esclarecer outros pontos de conexo entre conhecimento e moralidade em Kant. A interpretao de Patzig pretende afirmar que Kant no pode sustentar as determinaes de sua teoria do juzo caso queira consentir alguma plausibilidade aplicao dos termos desta teoria aos imperativos. Seu argumento para esta afirmao inicia com a apresentao da primeira ocasio em que Kant (2002) atribui aos imperativos os adjetivos hipottico e categrico, que remete Fundamentao da Metafsica dos Costumes4. Nesse texto diz-se que o carter categrico ou hipottico dos imperativos se refere ao modus da obrigao, sendo esta a funo de um mandamento: ordenar ou obrigar. Kant (2002) designa todos os imperativos hipotticos como analticos e os especifica distinguindo entre princpios problemticos e assertricos, de acordo com o tipo de propsito (como condio para a ao) real ou possvel sendo o imperativo hipottico um princpio (ou proposio) problemtico-prtico quando se trata de um fim somente possvel e um princpio (ou proposio) assertrico-prtico quando se refere a um fim real. Apenas o Imperativo Categrico sinttico e apodtico, portanto necessariamente vlido. Na explicao de Patzig sobre a transposio do termo hipottico a imperativos, recorre-se anlise apresentada na pgina anterior, que distingue entre uma concepo de juzo hipottico como expresso de uma relao condicional e outra, a da expresso de uma afirmao condicionada. Assim: [...] apenas recorrendo a esta ltima concepo de juzo hipottico, que inconcilivel com sua explicao corrente, que Kant (2002, p. 103) pode explicar porque possvel transferir o predicado hipottico dos juzos aos imperativos, pois se agora o imperativo hipottico pensado como a expresso de uma obrigao/exigncia condicionada por certos desejos ou inclinaes do indivduo que age de acordo com ele, j se pode imaginar porque que este tipo de imperativo no pode ser fundante
4

KANT, I. Fundamentao da Metafsica dos Costumes. Trad. de Paulo Quintela. Lisboa: Edies 70, 2002.

19

de nenhuma ao propriamente moral. Aes deste tipo no podem ser determinadas por motivos individuais, mas devem seguir o princpio supremo da moralidade, que o Imperativo Categrico. Na esfera da filosofia prtica kantiana o que est em questo a tentativa de resposta pergunta que devo fazer?, a segunda das trs perguntas fundamentais que a filosofia crtica pretende investigar. Por isso de suma importncia a caracterizao do que venha a ser o propriamente moral o tipo de comandos que a razo prescreve aos homens, desde que todos a possuem em contraposio aos demais tipos de ordens aos quais se possa estar submetido (a saber, as ordens cuja origem no est na vontade como faculdade autnoma de determinao da ao, seno nas inclinaes cuja origem a sensibilidade). H que se dizer que consideraes deste tipo no so objeto da anlise de Patzig, porque sua abordagem, no que tange a caracterizao da esfera moral, no pretende levar em conta os aspectos metafsicos da doutrina kantiana. Ainda assim, seu texto traz reflexes importantes, no sentido de que assegura que no pela anlise da mera forma lingstica dos mandatos que se pode identificar a categoricidade ou hipoteticidade e, portanto, a moralidade ou legalidade dos mesmos. Veja-se, a ttulo de esclarecimento, a passagem seguinte:

Precisamente os juzos da forma se p, ento q so, segundo Kant, juzos hipotticos. Mas no vale a correspondncia formal no sentido de que um imperativo em cuja formulao lingstica se utiliza se-ento tenha de ser, por isso, um imperativo hipottico; to pouco vale o contrrio, a saber, que todos os imperativos hipotticos tenham de ser formulados com se-ento (PATON, 1971, p. 105). 5

Dizer que a distino fundamental entre imperativos categricos e hipotticos no puramente formal, como faz o autor, seno que ela depende de reflexes de contedo algo acertado, mas talvez, nesse caso, no seja suficiente. Isso porque em momento algum Patzig apresenta uma caracterizao do que venha a significar o atributo prtico que Kant (2002) emprega para determinar as proposies ou princpios morais, em contraposio s proposies tericas.
Precisamente los juicios de la forma Si p, entonces q son, segn Kant, juicios hipotticos. Pero no vale la correspondncia formal en el sentido de que um imperativo em cuja formulacin lingstica se utilize si-entonces h de ser, por ello, um imperativo hipottico; tampoco vale la inversa, es decir, que todos los imperativos hipotticos tengan que ser formulados com si-entonces.
5

20

Veja-se que enquanto os juzos sintticos a priori so princpios do que se deve denominar as cincias teorticas da razo, o imperativo categrico uma proposio sinttico-prtica, como frmula do supremo mandamento moral, sendo por isso uma exigncia apodtica com relao ao de todos os seres racionais. Para entender o que pode vir a ser uma proposio sinttica a priori no mbito prtico, pode-se pensar, com Paton (1971) na analogia com as proposies sintticas a priori no mbito do conhecimento. Tais proposies exigem sempre um terceiro termo para estabelecer a conexo necessria entre o sujeito e o predicado, que no est contido no conceito do sujeito. No IC, o terceiro termo encontrado a idia de liberdade, pois, como afirma Kant j na CRP: Prtico tudo aquilo que possvel pela liberdade (A 800/ B 828). Princpios prticos no so fundados, ao contrrio dos princpios tericos, nas particularidades da natureza humana, mas sustentando-se em si mesmos, de tais princpios a priori devem resultar regras prticas para toda criatura racional. Estas regras, como se poder notar mais tarde, precisam apenas conter a forma da universalidade para que valham objetiva e impessoalmente como realizao do princpio supremo. Vale lembrar do que diz Kant no prefcio da segunda edio da CRP, (1787, B X), a saber, que o conhecimento puro da razo pode se referir ao objeto de conhecimento tanto pela determinao do objeto e do seu conceito (o caso investigado pela filosofia terica) quanto pela realizao do conceito (que o objeto das reflexes na filosofia prtica). Acompanhando as interrogaes de Deleuze (1994) a respeito da relao entre as faculdades subjetivas, pode-se acrescentar que, quanto ao processo de conhecimento, do qual se trata na investigao acerca da origem das categorias que determinam nosso modo de referncia a objetos, a faculdade do entendimento que legisla de modo fundamentalmente determinante (cf. CRP, A 326/ B 383, citado por Deleuze (1994): A razo pura abandona tudo ao entendimento, que se aplica imediatamente aos objetos da intuio, ou melhor, sntese destes objetos na imaginao). A noo de faculdade tem segundo Deleuze (1994), duas acepes6 que correspondem: a primeira, a uma j citada distino entre a determinao do objeto
[...] a uma certa faculdade no primeiro sentido da palavra [...] deve corresponder uma certa relao entre faculdades no segundo sentido da palavra [...]. por tal motivo que a doutrina das faculdades
6

21

e sua realizao: esta acepo remete s diversas relaes de uma representao para com o seu objeto. Assim, tem-se que quando a relao referencial entre objeto e representao de concordncia, a faculdade determinante em jogo a faculdade de conhecer; se a relao entre objeto e representao de causalidade, trata-se da faculdade de desejar; e dada a representao como relacionada ao sujeito, tendo sobre ele um efeito, fala-se da faculdade ou do sentimento de prazer e dor. Numa segunda acepo, faculdade uma fonte especfica de representaes, e assim, ao menos do ponto de vista do conhecimento elas seriam a sensibilidade (como nica faculdade passiva), o entendimento, a imaginao e a razo (todas de carter ativo frente s representaes). Para entender a relao das faculdades no uso terico cujo resultado o conhecimento tem-se que o entendimento a faculdade legisladora, desde que sua funo a de julgar; a imaginao aparece ento como faculdade mediadora entre os conceitos do entendimento e sua aplicao aos fenmenos. A razo, como faculdade de raciocinar, no se aplica diretamente aos fenmenos, mas capaz de formar as Idias que sempre superam a experincia possvel. Assim admissvel entender porque no a razo ela mesma quem detm o poder de legislar na faculdade do conhecimento: este o campo de interveno humana que no pode ultrapassar os dados da experincia, caso pretenda ter alguma validade objetiva, e a razo tende, de algum modo, para o no sensvel, desde que sua finalidade se direciona no para o conhecimento, mas para a esfera prtica da liberdade. A liberdade uma das idias da Razo representa uma coisa em si que no dada na intuio e por isso possui apenas um uso regulativo7 com relao ao entendimento idia que adquire realidade objetiva no pelo uso do entendimento, mas pela determinao da vontade como causalidade, atravs da lei moral. Pensar a vontade como causalidade livre sobre as aes requer que se atente para a diviso
forma um verdadeiro entrelaamento, constitutivo do mtodo transcendental (DELEUZE, 1994, p. 18). 7 Nas palavras de Kant: Por isso, afirmo que as idias transcendentais no so nunca de uso constitutivo, que por si prprio fornea conceitos de determinados objetos, e, no caso de assim serem entendidas, so apenas conceitos sofsticos (dialticos). Em contrapartida, tm um uso regulador excelente e necessariamente imprescindvel, o de dirigir o entendimento para um certo fim, onde convergem num ponto as linhas diretivas de todas as suas regras e que, embora seja apenas uma idia (focus imaginarius), isto , um ponto de onde no partem na realidade os conceitos do entendimento, porquanto fica fora dos limites da experincia possvel, serve todavia para lhes conferir a maior unidade e, simultaneamente, a maior extenso (A 644/ B 672).

22

resultante do estabelecimento da inteno explcita e maior do projeto crtico kantiano fazer depender a estrutura dos objetos do conhecimento da estrutura do modo de representao humano, (cf. o prefcio segunda edio da CRP, B XVI) a distino entre mundo sensvel e mundo inteligvel, que ser apontada com mais detalhe adiante. Para clarificar o papel das faculdades no uso prtico da razo, recorre-se aqui ao texto de Deleuze (1994): explica-se ento que faculdade de desejar pressupe uma representao que determina a vontade, e sendo esta representao advinda de uma forma pura de nenhum objeto dos sentidos constitui-se a forma superior (portanto a autonomia) desta faculdade. A forma pura a que se refere aqui a forma da legislao universal, sob a qual deve estar subsumido todo e qualquer ato da vontade. Certamente a imagem de uma tal legislao no pertence ao entendimento, pois no uso prtico da razo ele possui um papel secundrio, se comparado com seu desempenho no uso terico. A forma da legislao universal pertence a Razo (DELEUZE, 1994, p. 35), o que quer dizer que esta forma no possui correlato na sensibilidade, e explica o papel secundrio conferido ao entendimento na esfera prtica, desde que ele s pode ser aplicado aos dados da sensibilidade. Deleuze (1994) explica que caso a razo no possusse um interesse que ultrapassasse o especulativo, jamais seramos capazes de conceber o conceito de liberdade sem problemas e indeterminaes. O estabelecimento dos fundamentos em cada interesse da razo difere significativamente O interesse prtico de tal ordem que a relao entre a representao e um objeto no forma um conhecimento, antes designa algo a realizar (DELEUZE, 1994, p. 49). Recorre-se mais uma vez Fundamentao, onde aparece novamente aquela funo sintetizadora, outrora atribuda ao entendimento, como carter distintivo da razo prtica.

Quando [...] a razo persegue o interesse prtico, retira ao entendimento o que lhe havia emprestado unicamente na perspectiva de outro interesse. Determinando a faculdade de desejar sob a sua forma superior, ela une o conceito de causalidade ao de liberdade (Analtica da CRPr), isto , d categoria de causalidade um objeto supra-sensvel (o ser livre como causa produtora originria) (Prefcio CRPr). Perguntar-se- como que a razo pode retirar o que abandonara ao entendimento e de certo modo alienara na natureza sensvel. Mas, precisamente, se verdade que as categorias no nos fazem conhecer outros objetos que no sejam os da experincia possvel, se verdade que elas no formam um conhecimento de objeto independentemente das

23

condies da sensibilidade, nem por isso deixam de conservar um sentido puramente lgico relativamente a objetos no sensveis, e podem aplicar-se a eles com a condio de que tais objetos sejam determinados por outra parte e de um ponto de vista diferente do conhecimento. Para estabelecer o fundamento da moralidade, o imperativo categrico e a autonomia da vontade sejam verdadeiros e absolutamente necessrios como princpio a priori, preciso admitir um possvel uso sinttico da razo pura prtica, o que s possvel por uma crtica desta faculdade (DELEUZE, 1994, p. 42).

Sendo assim possvel concordar com Patzig no que diz respeito a implausibilidade da transposio pura e simples dos termos da teoria do juzo classificao dos imperativos, embora sua explicao para tal no corresponda investigao deleuziana sobre a doutrina das faculdades. Esta investigao foi apresentada aqui por se acreditar que sem um acesso mnimo doutrina das faculdades, como ponto especialssimo da doutrina kantiana, permanece obscura a compreenso das terminologias que elucidam os elementos de cada um dos usos e interesses da razo. Aps esta apresentao de tpicos da doutrina kantiana que envolvem a distino entre juzos e imperativos, bem como das distines entre os ltimos entre si (categricos e hipotticos, analticos e sintticos) o caminho para a exposio das formulaes do Imperativo Categrico ainda necessita de um pequeno esclarecimento a respeito dos princpios prticos em geral. Afirmou-se anteriormente que o IC uma proposio sinttico-prtica, enquanto frmula do mandamento moral superior. Portanto, a tarefa de fundamentar tal princpio prtico est inteiramente de acordo com o mtodo crtico na medida em que este se prope a descobrir e justificar os princpios supremos da razo8. 2.2 As diferentes formulaes do Imperativo Categrico

Para guiar estes esclarecimentos, bem como a apresentao das referidas frmulas do IC, traz-se discusso o clssico texto de Paton (1971) sobre o Imperativo Categrico. No quarto captulo desta obra aparece uma indicao geral do que vem a ser um princpio: uma proposio universal (Grundsatz) que tem sob si outras proposies das quais ela a origem. No mbito da filosofia prtica,
8

Encontrar qual seja a natureza destes objetivos ou fins da razo, e determinar os meios para sua realizao constitui, segundo Deleuze, o princpio essencial do mtodo transcendental enquanto crtica imanente (porque a razo o nico juiz de seus prprios interesses) cf. Deleuze 1994, p. 11).

24

debruado sobre reflexes da ndole e do valor moral do agir, no se pode deixar de levar em considerao a famosa afirmao de Kant de que apenas os seres racionais so capazes de agir segundo a representao das leis (FMC, //36), ou princpios universais, o que , de acordo com Kant, o mesmo que atribuir uma vontade aos seres racionais. Sendo assim, os princpios prticos so proposies universais que tm sob si no apenas outras proposies seno as aes mesmas. Uma distino entre os princpios prticos de crucial importncia para que se possa levar adiante a apresentao das frmulas do IC: entre princpios prticos subjetivos e objetivos. Certamente que os ltimos devem valer para todo agente racional, considerando-se que a razo neles imperaria de modo absoluto. No caso dos primeiros essa validade no se estabelece, seno que apenas se estende ao sujeito individual, sendo um princpio pelo qual o sujeito escolhe agir. Mas o fato de haver um princpio subjetivo determinante da vontade no exclui a possibilidade de que o mesmo possa estar subsumido a algum princpio objetivo, tornando-se subjetivo porque se age de acordo com ele, mas objetivo porque mais geral que um motivo particular. Entre o motivo para a ao, completamente individual e a lei, inteiramente geral, Kant (2002) estabelece o conceito de mxima para designar o princpio subjetivo pelo qual agimos, mas que capaz de possuir uma parcela de objetividade desde que possa ser universalizvel. Isso quer dizer que o conceito de mxima estabelece a impossibilidade de que os seres racionais ajam unicamente de acordo com seus motivos ou impulsos, posto que podem incluir seus motivos nas mximas que regem suas aes. Um exemplo de mxima oferecido por Paton (1971, p. 120) a mxima do suicida: Se a vida oferece mais sofrimento do que prazer cometerei suicdio. Nesse caso, no apenas um motivo particular est em questo, mas um raciocnio aplicvel em situaes similares, dado que generaliza a ao e o motivo para ela. Tambm o conceito de mxima recebe uma distino significativa a partir da qual ser possvel entender porque a mxima do exemplo anterior no poderia ser considerada uma mxima moral: a distino entre mxima formal e mxima material. As mximas materiais so aquelas baseadas em inclinaes, ou seja, dependem dos desejos individuais dos sujeitos em questo. Tambm so chamadas de mximas empricas ou a posteriori. As mximas que no so assim fundamentadas so denominadas por Kant (2002) de mximas a priori, pois no

25

contm referncia aos fins da ao como matria da mxima. Positivamente falando, as mximas formais ou a priori possuem a caracterstica de se adequarem forma da universalidade, e unicamente a ela, pois esta forma a nica coisa que pode restar da excluso de toda matria ou referncia a fins. Como ser possvel notar com a primeira frmula do IC, a frmula da lei universal, a universalizabilidade da mxima constitui o critrio mesmo para a avaliao da moralidade das aes. Seguindo Paton (1971), apresentam-se a seguir as cinco frmulas sob as quais se apresenta o princpio objetivo e incondicionado, ou o Imperativo Categrico mesmo: I / Lei Universal: Age apenas segundo uma mxima tal que possas ao mesmo tempo querer que ela se torne lei universal (BA 52, p. 59); Ia / Lei da Natureza: Age como se a mxima da tua ao se devesse tornar, pela tua vontade, em lei universal da natureza (BA 52, p. 59); II / Fim em Si Mesmo: Age de tal maneira que uses a humanidade, tanto na tua pessoa, como na pessoa de qualquer outro, sempre e simultaneamente como fim e nunca simplesmente como meio (BA 66/67, p. 69); III / Autonomia: Age de tal maneira que a vontade pela sua mxima se possa considerar a si mesma ao mesmo tempo como legisladora universal (BA 76, p. 76); IIIa / Reino dos Fins: Age como se fosses atravs de suas mximas sempre um membro legislador no reino universal dos fins (BA 83, p. 81). A respeito das relaes entre as distintas formulaes do IC, Paton (1971) lembra que as frmulas Ia, II e IIIa, sendo subordinadas, ajudam na aplicao da frmula I, pois aproximam da intuio o principio geral expresso por esta. Talvez o mais interessante aqui seja sua viso sobre a estrutura geral do argumento da FMC, na qual:

[...] guiando-nos pelo princpio de autonomia e pelo princpio de um reino dos fins ele est preparando o terreno para o argumento da ltima parte do

26

livro: est estabelecendo princpios que sero mais tarde conectados com o conceito de liberdade e o de mundo inteligvel 9(Ibid., p.130).

V-se assim destacada a importncia da frmula IIIa pelo fato de que ela articula forma e matria da ao moral, atravs do que fica clara a importncia da formulao a qual se atentar com detalhe no restante deste trabalho. Vale notar tambm que para o mesmo no constitui objetivo principal a anlise detalhada de todas as frmulas apresentadas por Paton (1971), seno apenas aquelas que se articulam mais diretamente com a frmula do Reino dos Fins. A frmula I, denominada de frmula da lei universal, por vezes apresentada por Kant (2002) como suficiente para os propsitos rigorosos de seu mtodo (FMC//80-81). Ela postula que o princpio incondicionado da moralidade deve implicar na objetividade e impessoalidade de toda e qualquer lei moral particular, alm da reciprocidade entre pessoa e pessoa10 das obrigaes derivadas do princpio. Isso significa dizer que qualquer ao moralmente considerada deve ter como critrio de avaliao uma estrutura formal aplicvel a qualquer outro caso semelhante. A formalidade desta estrutura se expressa de maneira inconfundvel com a primeira frmula. Em outras palavras, que tomam a mxima para a ao como elemento a ser avaliado pela observao moral, a frmula da lei universal oferece um critrio para a moralidade de qualquer ao em questo. Segundo Paton, o critrio parece ser o seguinte: [...] nossa mxima meramente um princpio pelo qual escolhemos agir ou tal que podemos ao mesmo tempo considerar como vlida para todo ser racional como tal?11. Considerar a mxima como vlida para todos atribuir a ela o carter de universalidade, carter indiscutvel de qualquer lei e, portanto, tambm da lei da liberdade, atravs da qual se pode pensar a mxima material e a mxima formal para a ao como presentes ao mesmo tempo na ao moral. Ao comentar a primeira frmula, Paton ainda ressalta um aspecto muito importante da doutrina moral kantiana, a saber, a coerncia das vontades racionais. Este aspecto se refere obedincia a uma e a mesma lei universal, pois no poderia

[...] by leading us up to the principle of autonomy and the principle of a kingdom of ends he is preparing us for the argument in the last part of the book: he is establishing principles which will be connected later with the concept of freedom and the concept of an intelligible world. 10 1971, p. 135 (cf. tambm FMC, //21). 11 [] is our maxim merely a principle on which we choose to act or is it one which we can at the same time regard as valid for a rational agent as such? (PATON, 1971, p. 136).

27

haver uma genuna coerncia caso cada qual obedecesse a princpios quaisquer. A coerncia das vontades racionais parece consistir num dos aspectos de relevncia mpar quando da abordagem do Reino dos Fins como mundo inteligvel12 idia que poder ser confirmada no decorrer desta anlise. A questo s vezes levantada a respeito da suficincia desta primeira frmula do IC, anunciada por Kant (2002) na segunda seo da FMC, no ser objeto de discusso por se acreditar que as diferentes formulaes aparecem como complementos para a mesma frmula geral, ou para o mesmo princpio. No tocante a segunda das frmulas, a da lei universal da natureza, estabelecese uma analogia entre a lei da natureza e a lei da liberdade (FMC //53). Paton (1971) faz notar que Kant (2002) entende a lei da natureza, com a qual est estabelecendo a analogia em termos teleolgicos e no em termos do princpio de causalidade. Tal afirmao significa que se entendemos a natureza como a totalidade dos fenmenos governados por uma lei, a da causalidade, ao lado desta lei deve-se encontrar uma outra tal que leva em considerao o conceito de fim ou propsito. Pensar os fenmenos como possuidores de um fim ou propsito , de acordo com Kant, mais apropriado para a compreenso da natureza humana, pois toda a atividade humana parece possuir um propsito, embora Kant postule uma finalidade para alm desta, uma finalidade prpria da natureza mesma. Melhor dizendo, ele postula a necessidade de que pensemos a natureza como se ela possusse uma tal finalidade e assim todos os seus eventos estariam adaptados a esta ltima. No caso da natureza humana este como se, baseado na lei teleolgica, adequa-se a uma harmonia sistemtica de fins nos indivduos e na humanidade. Isso quer dizer tambm que a razo prtica mesma, segundo Paton (1971), no pode ser indiferente aos fins, caso contrrio no poderia determinar mximas para a ao, que sempre envolvem um fim13. O valor metodolgico da segunda frmula se expressa, portanto, devido analogia que torna o ser moral capaz de pensar na possibilidade de que suas mximas, por hiptese, pudessem se tornar leis da natureza, no como uma lei natural strictu sensu, mas como resultado da prpria vontade racional enquanto perpetuadora da harmonia de propsitos entre os homens.
12 13

A acepo de mundo inteligvel que se aborda aqui a acepo prtica e no terica. [...] if practical reason were indifferent to ends, it would not determine maxims for actions (since these always involves an end); and therefore it would not be practical at all (PATON, 1971, p. 156).

28

Para concluir com a idia da analogia entre mundo natural e mundo moral, vale lembrar, como faz Paton (1971) que se para o conceito de lei da natureza como conceito do entendimento h sempre um esquema atravs do qual o conceito se aplica aos objetos sensveis, a lei da liberdade, como Idia da Razo no pode possuir tal esquema por meio do qual se possa exibir um objeto na intuio. A analogia serve justamente para que se possa pensar a exibio ainda que indireta ou simblica de objetos correspondentes s Idias, atravs da forma universal que ambas (lei da natureza e lei da liberdade) possuem e que, como j foi ressaltado quando da apresentao abordagem deleuziana, pertence Razo:

E pois que a validade da vontade, como lei universal para aes possveis, tem analogia com a ligao universal da existncia das coisas segundo leis universais, que o elemento formal da natureza em geral, o imperativo categrico pode exprimir-se tambm assim: Age segundo mximas que possuam simultaneamente ter-se a si mesmas por objeto como leis universais da natureza (FMC // 81).

A terceira frmula, a do fim em si mesmo, leva a consideraes sobre o que Kant (2002) afirma ser a caracterstica distintiva do humano, a saber, a posse da Razo. E, nesse caso, da vontade racional. Esta caracterstica , para Kant (2002), o motivo pelo qual os homens no devem tratar aos seus semelhantes como simples meios, mas ao mesmo tempo como fins em si mesmos. Paton (1971) ressalva a importncia das expresses simplesmente e ao mesmo tempo para esta construo do imperativo kantiano, dado que no possvel, mesmo nas aes mais comuns, que no se trate aos outros como meios para determinados fins (seu exemplo o do uso do carteiro para o envio de uma carta). O que est em questo com a observao da expresso ao mesmo tempo justamente o fato de que a ao moral deve contemplar a esfera da utilizao do outro como meio para algo, sem deixar de lado a idia de que esse outro no meramente este meio, mas tambm um fim em si, dado que cumpre suas funes (como a de ser carteiro) por sua prpria vontade. Outra caracterstica desta formulao do IC o fato de que ela vale como aplicao tanto para o agente com relao a si mesmo, quanto para os outros, ou melhor: no se trata de dizer que apenas os outros no devem ser tratados como meios, mas o prprio sujeito da ao deve considerar-se como fim em si para que possa faz-lo com relao aos outros. Isso quer denotar que no se deve usar os outros como meios para a obteno dos

29

fins desejados, tanto quanto no se deve usar a prpria vontade racional para a satisfao dos desejos individuais. Paton (1971) afirma que a definio kantiana de fim se conecta com a assero de que tanto o agente racional deseja de acordo com princpios quanto seus desejos esto sempre direcionados, como os princpios, a um fim que coloca ante si. Veja-se: Ora aquilo que serve vontade de princpio objetivo de sua autodeterminao o fim (Zweck), e este, se dado s pela razo, tem de ser vlido igualmente para todos os seres racionais. (FMC //63), a partir do que se apresentar mais adiante o argumento para a afirmao de que o fundamento do princpio prtico supremo : A natureza racional existe como fim em si (FMC // 67). Para o comentador importa a ligao entre fins e princpios e isso se justifica na medida em que fins particulares ou subjetivos acabam por determinar princpios igualmente subjetivos e, portanto, imperativos hipotticos, enquanto os fins objetivos, pelo contrrio, assinalam o fundamento do IC. Com isso preciso admitir que o IC pressupe que a Razo mesma se coloca alguns fins, no determinados pela inclinao sensvel, vlidos para todos os agentes racionais que devem ser descobertos e fundamentados pela filosofia crtica, como j se argumentou aqui (p. 22). Outro argumento kantiano para o estabelecimento desta frmula remete, para Paton, ao elemento de valor incondicional que estabelece o fundamento do IC: o valor absoluto da boa vontade, pelo qual os seres humanos so capazes de agir moralmente devido ao fim abstrato, ou fim em sentido negativo (1971, p. 177) que determina a impossibilidade de que a ao moral seja tomada como meio para um fim de valor relativo14. O fim ltimo ao qual devem estar subordinadas as aes a realizao da boa vontade tanto no indivduo quanto nos que com ele se relacionam. Sobre a frmula da autonomia Paton (1971) nota que ela traz tona o que na primeira frmula est implcito, a saber, o fato de que a prpria vontade quem decide a respeito da lei que ir obedecer (Ibid., p. 180). De acordo com o comentador:

Veja-se a seguinte afirmao de Kant: Mas como na idia de uma vontade absolutamente boa, sem condio restritiva (o facto de alcanar este ou aquele fim), se tem de abstrair inteiramente de todo fim a realizar (o que faria toda vontade s relativamente boa), o fim aqui no dever ser concebido como um fim a alcanar, mas sim como fim independente, portanto s de maneira negativa; (FMC //82)

14

30

[] a combinao da Idia de lei (como expressa na Frmula I) e a Idia de um fim em si mesmo (como expresso na Frmula II) que d sustentao Idia de autonomia o fazer leis universais pelo qual imponho fins a mim mesmo (Ibid., p. 15 181) .

Alm disso, pode-se notar, como faz Paton (1971), que as mximas s quais as aes morais esto submetidas so os elementos atravs dos quais se torna possvel um tal fazer as prprias leis, pois nas mximas esto contidas tanto a parcela objetiva quanto a subjetiva da inteno para o agir. O legislar atravs de mximas deve ser pensado, nesse sentido, da perspectiva do como se (entrando no mrito dessa abordagem a discusso sobre a teleologia envolvida na acepo kantiana sobre a analogia entre lei natural e lei moral, ou da liberdade): pensar nas mximas da vontade como se elas pudessem se tornar leis teleolgicas da natureza pens-las como tipos de ao moral e, portanto, como lei universalmente vlidas e assim constituintes de um sistema de fins noo contemplada, segundo o prprio Kant (2002), pela ltima das frmulas apresentadas por Paton (1971), que ser analisada com mais detalhe ao final desta abordagem das formulaes do Imperativo Categrico.

2.3 O Reino dos Fins

Como j se afirmou, a noo de Reino dos Fins um ideal ou Idia da Razo no podendo existir, portanto, um correspondente seu na intuio sensvel. Assim, no que concerne ao conhecimento, a noo possui um uso regulativo, e no constitutivo que, por sua vez coloca a noo no mbito da Razo Prtica. J na CRP encontra-se uma referncia indireta a tal uso da noo quando da explicao sobre o fundamento determinante do fim ltimo da Razo, fim que se deve ter em mente para uma compreenso de seu papel no sistema de Kant:

[...] it is the combination of he Idea of law (as expressed in Formula I) and the Idea of an end in itself (as expressed in Formula II) which gives rise to the Idea of autonomy the making of universal laws whereby I impose ends on myself. Com isso se pode notar uma diferena importante com relao interpretao deleuziana apresentada mais acima pela qual a autonomia definida em termos do estado superior de uma faculdade o que no suficiente para desconsiderar a abordagem de Paton, que est, pode-se dizer, no interior da doutrina moral kantiana, ao passo que Deleuze apresenta uma perspectiva sistemtica da doutrina crtica.

15

31

Chamo mundo moral, o mundo na medida em que est conforme a todas as leis morais (tal como pode s-lo, segundo a liberdade dos seres racionais e tal como deve s-lo, segundo as leis necessrias da moralidade). O mundo assim pensado apenas como mundo inteligvel, pois nele se faz abstraco de todas as condies (ou fins) da moralidade e mesmo de todos os obstculos que esta pode encontrar (...). Neste sentido , pois, uma simples idia, embora prtica, que pode e deve ter realmente a sua influncia no mundo sensvel, para o tornar, tanto quanto possvel, conforme a essa idia. A idia de um mundo moral tem, portanto, uma realidade objetiva, no como se ela se reportasse a um objecto de uma intuio inteligvel (no podemos conceber objetos deste gnero), mas na medida em que se reporta ao mundo sensvel, considerado somente como um objeto da razo pura no seu uso prtico e a um corpus misticum dos seres racionais que nele se encontram na medida em que o livre-arbtrio de cada um, sob o imprio das leis morais, tem em si uma unidade sistemtica completa tanto consigo mesmo, como com a liberdade de qualquer outro. (A 808/ B 836)

Alm de ilustrar que a estima filosfica pelo aspecto prtico est presente como fundamento desde sua obra mxima a respeito da fundamentao do conhecimento, esta passagem traz uma feio proeminente da tica de Kant, a saber, a sistematicidade envolvida na idia de um corpus misticum. Paton (1971) lembra que a unidade sistemtica (a questo da coerncia das vontades racionais, entra aqui como um teste para a ao moral) entre vontades racionais, idia que caracterizar a noo de Reino dos Fins (RF) na FMC, s possvel por causa do mesmo tipo de unidade na vontade individual, embora tambm ressalte que a ateno despendida por Kant a esse respeito seja insuficiente para os seus prprios intentos. Quando Kant introduz a noo de RF na segunda seo da FMC, ela j se encontra estreitamente vinculada a toda a sua argumentao anterior a respeito da possibilidade de que as aes morais sejam julgadas atravs das mximas da vontade, logo em seguida sua afirmao do princpio da Autonomia da vontade como fundamento do imperativo incondicionado:

O conceito segundo o qual todo ser racional deve considerar-se como legislador universal por todas as mximas da sua vontade para, deste ponto de vista, se julgar a si mesmo e s suas aces, leva a um outro conceito muito fecundo que lhe anda aderente e que o de um Reino dos Fins (BA//74).

Paton (1971) inicia seu comentrio a respeito da ltima frmula do IC destacando justamente o uso da palavra reino. ela que pretende conferir o carter sistemtico das leis em questo no RF, do mesmo modo como na noo de

32

reino da natureza. O prprio Kant menciona na passagem seguinte citada que seu uso da palavra reino pretende indicar a sistematicidade da ligao das vontades subsumidas s leis morais: um todo do conjunto dos fins (tanto dos seres racionais como fins em si, como tambm dos fins prprios que cada qual pode propor a si mesmo) (BA//74), lembrando que os fins particulares s podem ser considerados na medida em que so compatveis com a lei universal. interessante perceber que a caracterstica da sistematicidade est presente com a frmula do RF sob dois aspectos: tanto no que diz respeito sistematicidade das vontades no RF, quanto no que tange ao papel da frmula em ligao com as demais. Esta frmula considerada como a determinao completa das mximas morais para ao. Atravs dos termos tcnicos de sua teoria do conhecimento, mais precisamente seu estabelecimento das categorias de unidade, multiplicidade e totalidade, Kant atrela seu raciocnio a respeito dos modos de apresentar o IC sua classificao categorial como estratgia para aproximar a idia da razo mais e mais da intuio (Anschauung) (BA//79), e prossegue distinguindo entre forma, matria e determinao completa das mximas. A forma, que corresponde categoria de unidade, estabelecida com a frmula da lei universal (frmula I), sendo, portanto a universalidade; a matria so os fins em si mesmos, que aparecem como objetos (correspondendo categoria de multiplicidade) das mximas na Frmula II; e por fim, o correspondente da categoria de totalidade vem a ser a determinao completa das mximas, que se estabelece pela sua concordncia com a idia de RF como todo do conjunto dos fins, em unio com o todo do conjunto das leis. A frmula do RF , assim, o resultado da combinao da frmula III, da autonomia legisladora, com a II, que por sua vez estabelece a necessidade de se tratar a si mesmo e aos outros como fins-em-si. A relao dos seres racionais entre si o que leva necessidade prtica de se agir de acordo com o princpio objetivo da autonomia da vontade, o princpio do dever como se v em BA//76: O dever no pertence ao chefe do reino dos fins, mas sim a cada membro e a todos em igual medida, com o que se pode diretamente conectar uma das descries kantianas da moralidade em termos da relao com a autonomia da vontade: A moralidade pois a relao das aces com a autonomia da vontade, isto , com a legislao universal possvel por meio de suas mximas (BA // 86).

33

A partir desta descrio da moralidade em relao com a autonomia da vontade, Kant estabelece os conceitos de permisso, proibio e obrigao moral de acordo, respectivamente, com a concordncia, discordncia e necessidade objetiva das aes humanas com relao s leis da autonomia. Tem-se com isso que o dever a necessidade objetiva de uma ao por obrigao (BA//86), sendo esse conceito de dever de fundamental importncia para a caracterizao do RF kantiano. Seria incompleto no aludir ao RF em conexo com o problema das condies sob as quais possvel ponderar a sua realizao. Quando Kant fala da possibilidade de um RF est falando no sentido de ser concebvel. Por conseguinte, o sentido de realizvel s pode ser considerado atravs da analogia com o reino da natureza (FMC BA//84) que, como j mencionado, pressupe uma finalidade ltima para esta16. Enquanto o reino da natureza s concebvel como um sistema governado por leis externas e mecnicas, o RF possvel atravs do governo das leis auto-impostas por seus membros. Quanto sua realizao, no sentido de tornarse atual, Kant indica como pano de fundo uma espcie de cooperao tanto entre os homens quanto entre os dois reinos. Esta cooperao, certamente, a observncia universal das mximas regradas pelo IC, no primeiro caso. No segundo, Paton (1971) menciona a suposio kantiana de que uma tal cooperao entre o mundo humano e o mundo da natureza somente seria possvel considerando-se a natureza como um reino governado por leis teleolgicas:
Obviamente poderia [um tal reino dos fins] se tornar atual se todos os agentes racionais sempre agissem de acordo com tais mximas e nesse sentido constitusse, como tal, um reino da natureza humana; mas mesmo isso no seria o bastante. Um reino dos fins poderia se tornar atual apenas se a natureza mesma fosse governada pela lei teleolgica e assim fosse constituda como que para garantir o sucesso de nossa volio moral (Ibid., 17 p. 192) .

Outro ponto importante a respeito da possibilidade de realizao do RF a questo do paradoxo da moralidade, qual seja: que justamente o valor absoluto do ser humano (a boa vontade, desinteressada e incondicionada) seja ao mesmo tempo seu objeto de avaliao moral. O paradoxo est em que a dependncia da
[...] nature as a whole, although regarded as a machine, can also be called a kingdom of nature so far as it is directed to rational beings as its end(PATON, 1971, p. 191). 17 [...] if all rational agents always acted in accordance with such maxims and in this sense constituted, as it were, a kingdom of human nature; but even this would not be enough. A kingdom of ends could
16

34

unio entre RF e reino da natureza no pode ser provada, mas mesmo assim, constitui uma das condies sob a qual se avalia a moralidade das aes. Para Kant, basta que tal suposio no seja autocontraditria, nem seja excluda por confirmao experiencial, para que se possa pens-la18, o que por essa razo no pode impedir a adoo do princpio do RF como princpio de ao. A idia de que os seres racionais participam de um mundo inteligvel (o mundo moral, o RF) na medida em que se pensam de acordo com o princpio da autonomia da vontade, que leva idia de liberdade como causalidade sobre as aes, muito cara a Kant. Isso porque a distino entre mundo sensvel e mundo inteligvel, como um dos resultados importantes da sua filosofia terica (p. 22), determina o modo como os seres racionais devem entender a si mesmos no conjunto da natureza. Kant fala da dignidade intrnseca dos seres racionais como sendo a sua capacidade de possuir Razo, e em especial uma vontade racional, ou razo prtica, ambas independentes dos impulsos e das sensaes e, portanto, livres. O que importa aqui o fato de Kant afirmar que os seres racionais devem se considerar de um duplo ponto de vista: como elos da cadeia causal de acontecimentos no mundo dos fenmenos e como coisas-em-si no mundo inteligvel. O duplo ponto de vista, alm de apostar que o mundo dos fenmenos pode variar de acordo com a diferena de sensibilidade dos diversos espectadores, afirma que o mundo inteligvel que lhe serve [ao mundo sensvel] de base, permanece sempre idntico (BA//107). Desse modo, pensar o mundo inteligvel como o fundo sobre o qual se desenrola o mundo dos fenmenos um resultado da atividade espontnea da Razo, atividade que acaba tambm por limitar a atividade da faculdade do entendimento (BA//108). Mais do que isso, Kant afirma que apenas quando se transfere ao mundo inteligvel que o ser racional pode se considerar portador da to estimada autonomia, e quando se sente coagido por si mesmo, ou obrigado, este apenas o resultado de ver-se como parte do mundo sensvel:
Como ser racional e, portanto, pertencente ao mundo inteligvel, o homem no pode pensar nunca a causalidade da sua prpria vontade seno sob a idia da liberdade, pois que independncia das causas determinantes do mundo sensvel (independncia que a razo tem sempre de atribuir-se) liberdade. Ora idia da liberdade est inseparavelmente ligado o conceito de autonomia, e a este o princpio universal da moralidade, o qual na idia, become actual only if nature itself were governed by teleological law and were so constituted as to promote or guarantee the success of our moral volition (p. 192). 18 Cf. Paton, p. 192.

35

est na base de todas as aces de seres racionais como a lei natural est na base de todos os fenmenos (BA//109). [...] quando nos pensamos livres, nos transpomos para o mundo inteligvel como seus membros e reconhecemos a autonomia da vontade juntamente com a sua conseqncia a moralidade; mas quando nos pensamos como obrigados, consideramo-nos como pertencentes ao mundo sensvel e contudo ao mesmo tempo tambm ao mundo inteligvel (BA//110).

O que faz com que as leis da moralidade sejam imperativos para o ser racional o fato de que ele no pertence apenas ao um mundo dos fenmenos, mas tambm inteligncia, possui Razo. A posse desta faculdade o que faz com que seja legtimo, e inclusive obrigatrio, pensar na possibilidade de realizao de um RF, mesmo que apenas como parmetro e estmulo para a avaliao das mximas de cada membro do mundo atual. A sua concepo do mundo inteligvel o que permite a Kant afirmar que a razo pode considerar a si mesma como prtica, ou seja, o ponto de vista que a razo toma para fora dos fenmenos algo que deve reger as aes humanas, caso pretendam possuir autonomia. O RF possui uma funo normativa e, portanto, qualquer tentativa de descrev-lo ao modo como se faz com os fenmenos parece ser um passo alm do que a filosofia crtica pode dar.

36

3 LGICA MODAL E LGICA DENTICA A SEMNTICA DE MUNDOS POSSVEIS

A distino entre verdades necessrias e verdades contingentes quase to antiga quanto a filosofia. Os problemas lgicos envolvidos com as noes modais de necessidade e possibilidade, sendo discutidos desde os textos aristotlicos, possuem, assim, uma histria longa e abrangente. Este captulo traz um resgate histrico mnimo do desenvolvimento contemporneo da lgica modal e da semntica a ela apropriada, seguindo a linha traada por Orayen (1995). A exposio da lgica modal restringe-se s suas verses proposicionais. O desdobramento dentico da lgica modal ser abordado da perspectiva de G. H. von Wright, responsvel pela primeira publicao sobre o tema, em 1951, e autor de reflexes importantes sobre a possibilidade mesma de uma lgica para os conceitos normativos. Tal discusso figura na literatura sob o ttulo de dilema de Jrgensen e a tentativa de solucion-lo permanece, at os dias de hoje, um desafio para os envolvidos com o tema. Este captulo, na medida em que figura como passagem para uma discusso especfica a respeito da semntica para a lgica dentica, tratar brevemente do dilema, apresentando duas propostas para sua soluo. 3.1 A lgica modal e a semntica de mundos possveis

Desde Aristteles a lgica, enquanto estudo dos princpios da inferncia vlida, envolve-se com as modalidades. Isto se deve ao fato de que as investigaes lgicas acerca da validade dos raciocnios abrangem, de modo muito geral, distines entre tipos de verdade e falsidade (o que simplesmente verdadeiro e o que o necessariamente, o que meramente falso e o que necessariamente o ), ou seja, distines sobre os modos pelos quais uma proposio pode ser verdadeira ou falsa. certo que no quadro da lgica que se desenvolveu depois de Frege, as discusses a respeito da insero das modalidades no tratamento formal da lgica

37

no constituem uma questo fechada, mas possuem uma potncia filosfica que mereceu ateno de figuras importantes da tradio lgica do sculo XX como, por exemplo, Carnap, Quine e Kripke. As discusses filosficas a respeito do status lgico da lgica modal se devem, em grande medida, ao fato de que a introduo de operadores modais abre a possibilidade de que as sentenas sejam interpretadas tanto extensional quanto intensionalmente. No clculo proposicional clssico (CPC) toda proposio, ou enunciado, possui um valor de verdade (verdadeiro ou falso). Enunciados compostos tm seus valores de verdade determinados unicamente pelos valores de verdade de seus componentes (as proposies simples que so representadas no CPC pelas letras sentenciais A, B, C, etc). Os operadores proposicionais de negao (), conjuno (), disjuno (), implicao material () e co-implicao material () so funes de verdade, ou seja, da associao de proposies simples resulta um composto funcional-veritativo cujo valor pode ser analisado, por exemplo, pelo mtodo das tabelas de verdade. Alm disso, os conetivos so interdefinveis. Se a negao tomada como base juntamente com qualquer outro dos trs conetivos principais (, , ), resulta possvel definir os restantes. O que acontece com as sentenas modais, de acordo com os pensadores que negam sua logicidade, que os operadores alticos de necessidade e possibilidade, embora sejam representados nos sistemas formais como operadores proposicionais sintaticamente anlogos aos operadores de negao e outros conectivos proposicionais, qualificam a proposio de modo que ela deixa de ser meramente extensional. Dito de outro modo, a incluso de operadores modais no resulta em um composto funcional-veritativo do mesmo modo que as sentenas no modais, ou seja, nas sentenas intensionais o valor de verdade do composto no funo dos valores de verdade dos seus componentes. As crticas lgica modal, mais especificamente a famosa crtica de Quine (1953), foram desenvolvidas antes da apresentao da semntica de mundos possveis. Ainda assim, tpicos relacionados ao status ontolgico dos mundos possveis, identidade transmundana e ao problema do essencialismo permanecem em aberto no mbito das discusses a

38

respeito da legitimidade da lgica modal, muito embora tais tpicos sejam meramente mencionados aqui19. Em se tratando da lgica modal contempornea, pode-se demarcar seu surgimento entre os anos de 1912 e 1918, perodo das primeiras publicaes de C. I. Lewis a respeito do tema. Em um artigo sobre lgica modal Raul Orayen (ORAYEN, 1995) situa Lewis como o responsvel pelo incio da etapa sinttica da lgica modal, sendo esta a primeira das etapas nas quais ele divide a histria desta disciplina.20 Os trabalhos em lgica modal foram motivados, como nota Haack (2002, p. 18), tanto pela qualidade matemtica que a possibilidade de modificar e ampliar a lgica clssica comporta, quanto pela crtica filosfica ao uso e funo que Whitehead e Russel atriburam implicao material no Principia Mathematica. No clculo proposicional apresentado no Principia, p q s ser falsa no caso em que p seja verdadeira e q falsa ao mesmo tempo. O uso do condicional material gera os assim chamados paradoxos da implicao material, dos quais Orayen d os seguintes exemplos: a) b) p (q p) p (p q) Que dizem, respectivamente, que uma proposio verdadeira implicada materialmente por qualquer proposio e que uma contradio implica materialmente qualquer proposio. Para Lewis, a implicao material acaba por no representar o carter de necessidade que a implicao lgica deve possuir. Por isso props um condicional mais forte, que conectaria estritamente duas sentenas, afirmando que (p q) requer no apenas que p no seja verdadeira e q falsa, mas que p no pode ser verdadeira e q falsa ao mesmo tempo. A fora do operador proposto por Lewis est

A demanda por esclarecimentos a esse respeito reconhecidamente importante, mas em se tratando de uma exposio que visa semntica para lgicas denticas, os problemas filosficos que se apresentam com a pretenso de legitimar a lgica modal como tal parecem ultrapassar as aspiraes deste trabalho. 20 Na verdade a primeira etapa destacada por Orayen a assim chamada pr-histria da lgica modal que se inicia com Aristteles, considera os autores que trabalharam sobre o tema no medievo e na modernidade a respeito da qual no se considerou nesta dissertao. Mais adiante Leibniz ser mencionado por ser uma referncia fundamental na compreenso da origem da semntica de mundos possveis, bem como das similaridades entre as modalidades alticas e denticas.

19

39

na representao deste no pode, ou seja, da necessidade lgica aplicada relao material de implicao21. Em Lewis (1918) analisa apenas um sistema de lgica modal. Compreendendo desde ento que no poderia haver apenas um sistema admissvel para esta lgica, publica juntamente com Langford (1932), uma anlise de cinco sistemas de lgica modal, dos quais S4 e S5 so os mais conhecidos e estudados at hoje. O fato de haver mais de um sistema plausvel se deve a que as intuies comuns a respeito das noes modais no determinam apenas um sistema, e tambm porque os sistemas so criados tendo-se em mente diferentes aplicaes; os sistemas formais so tentativas nem sempre homogneas de capturar certas propriedades formais das relaes entre as noes usadas intuitivamente. O que faz diferir um sistema do outro a escolha dos seus axiomas e regras de inferncia. Juntamente com S4 e S5, o sistema T bastante representativo no estudo dos sistemas modais. Ele foi proposto por Feys em 1937, e tem como base um trabalho de Gdel de 1933, no qual se obtm um sistema modal a partir da lgica proposicional clssica. T equivale ao sistema M de Von Wright. Em 1951 este, considerado por Orayen como a segunda personalidade mais relevante da etapa sinttica da lgica modal, props trs sistemas que equivalem exatamente a T, S4 e S5. No mbito do desenvolvimento dos sistemas modais aparece uma distino entre tipos de modalidades alticas, que remonta aos pensadores do medievo, a saber: a distino ente modalidades de dicto e modalidades de re. Basicamente esta distino se refere ao fato de que a modalidade pode incidir sobre toda a sentena sendo ento uma modalidade de dicto ou sobre o contedo da sentena, sendo assim uma atribuio de certas propriedades aos sujeitos das sentenas, s coisas s quais ela se refere. Uma sentena modal pode receber ambas leituras como, por exemplo, O presidente do Brasil necessariamente a figura mais importante do governo pode ser lida como se a modalidade de necessidade incidisse sobre a sentena o presidente do Brasil a figura mais importante do governo, qualificando
Seguindo Orayen, mais tarde ser comentada a distino entre necessidade lgica e necessidade metafsica, cara explicao kripkeana da necessidade. Note-se que em Hughes e Cresswell (1973) trata-se apenas de necessidade lgica explicando-a como segue: El sentido en que usamos el trmino necessario puede quedar suficientemente explicado indicando que cuando decimos que una determinada proposicin es necesaria no queremos significar con ello que de continuar las cosas como estn, o permaneciendo el mundo como hasta ahora, no pueda dejar de ser verdadera, sino,
21

40

o modo como se afirma tal coisa, ou como se a modalidade conferisse a caracterstica ser necessariamente a figura mais importante do governo ao sujeito o presidente do Brasil. como se a modalidade de dicto fosse uma qualificao externa sentena e a de re uma qualificao interna. Em geral, nas discusses acerca da lgica modal, aceita-se que as modalidades de dicto so filosoficamente menos problemticas do que as de re; reconhece-se a importncia deste tpico muito embora os pormenores desta discusso no tenham espao aqui, uma vez que essa distino s possvel de ser realizada no mbito de uma lgica de predicados e o presente trabalho trata exclusivamente de lgica modal proposicional. A lgica modal proposicional clssica uma extenso da lgica proposicional com a adio dos operadores mondicos para necessariamente ( ) e possivelmente (), que com a ajuda do operador de negao podem ser definidos mutuamente: A = df. A A = df. A Estas definies expressam o fenmeno da dualidade: uma pode ser obtida pela outra e vice-versa. Os sistemas de lgica modal so obtidos com a adio de diferentes axiomas modais a uma base axiomtica apropriada para lgica proposicional. O referido sistema T constitudo com o acrscimo dos seguintes axiomas: T: K: ( ) ( ) Que dizem, respectivamente, que se algo necessariamente verdadeiro ento verdadeiro e que se necessariamente uma proposio implica uma outra, sendo a primeira necessria, a segunda tambm . Alm disso, o sistema T possui a assim chamada regra de necessitao:

ms bien, que no podra dejar de ser verdadera, independientemente de como estn las cosas, o independientemente de lo que resulte ser del mundo (HUGHES; CRESSWELL, 1973, p. 31).

41

RN: Onde est significando que A um teorema do sistema, a partir do que RN quer dizer que se uma tese, tambm o . O sistema S4 obtido com a adio do seguinte axioma ao sistema T:

4:

Que diz que uma proposio necessria necessariamente necessria. Com este axioma aparece uma nuance importante da lgica modal: a iterao de modalidades. Em Hughes e Cresswell (1973) discute-se o carter problemtico de algumas frmulas que contm operadores modais imediatamente seguidos um do outro, pela dificuldade de abord-las do ponto de vista intuitivo, ainda que do ponto de vista formal estas frmulas possam aparecer simplesmente como resultado de substituies uniformes nas frmulas vlidas nos sistemas modais. Alm disso, as implicaes filosficas de se aceitar a validade de frmulas como axiomticos com modalidades iteradas. J o sistema S5 resulta da adio do axioma 5 a S4: 5: Pelo qual se afirma que uma proposio possvel necessariamente possvel. Orayen admite que a primeira construo semntica para a lgica das modalidades est presente em um texto de Carnap de 1947 onde, com uma clara inspirao leibniziana, so introduzidas condies de verdade para as frmulas com operadores modais essas condies seguem a intuio de Leibniz segundo a qual uma proposio necessariamente verdadeira se verdadeira em todo mundo possvel. Na construo carnapiana o correspondente dos mundos possveis so as assim chamadas descries de estado que nada mais so do que certos conjuntos de frmulas que contm, para cada frmula atmica, ou bem a frmula ou sua negao. Define-se tambm a noo de valer em uma dada descrio de estado, podendo assim definir as condies de verdade para frmulas modais como p. so mencionadas, mas elas acabam por no interferir na construo de sistemas

42

A semntica das descries de estado no figura como marco do incio da etapa semntica pelo fato de que adequada apenas para S5, enquanto que o mtodo desenvolvido a partir de Kripke (1959) possui a caracterstica de permitir a construo de semnticas para diversos sistemas modais. Embora a semntica de mundos possveis seja atribuda principalmente a Kripke (ela geralmente denominada semntica de Kripke), seu desenvolvimento se deu paralelamente com os trabalhos de Kanger (1957) e Hintikka (1969). A semntica formal de Kripke inspirada, tal como a semntica das descries de estado de Carnap, na concepo leibniziana de necessidade segundo a qual uma proposio necessria se verdadeira em todos os mundos possveis22. Como qualquer semntica lgica, esta semntica uma teoria de modelos dentro da qual possvel analisar formalmente a validade de determinadas frmulas. A definio de validade para uma frmula modal depende daquilo que Kripke denominou estrutura modelo normal. Na lgica clssica, uma estrutura modelo de um conjunto de frmulas se todas as frmulas do conjunto so verdadeiras na estrutura. Um modelo de Kripke um terno ordenado M=<W, R, V> no qual <W, R> representa uma estrutura (frame) em que W um conjunto no vazio (de mundos possveis) e R a relao binria de acessibilidade entre os membros de W (um subconjunto de WW). Supondo-se a relao entre dois mundos possveis, wiRwj, afirma-se que o mundo possvel wj pode ser alcanado a partir de wi. Os conceitos de necessidade e possibilidade so definidos a partir desta relao. V uma funo que atribui um valor de verdade s frmulas atmicas em cada mundo possvel de W. Isso significa que uma frmula no possui valor de verdade absoluto, mas relativamente a cada mundo possvel. V associa a cada par ordenado <A, wi> um valor de verdade (estando A por frmulas atmicas quaisquer e wi por um mundo possvel de W). As frmulas verdadeiras em mundos do modelo so definidas assim: A verdadeira em w1 de M se, e somente se, para todo wi de M, tal que w1Rwi, A verdadeira em wi; A verdadeira em w1 de M se, e somente se, para algum wi de M, tal que w1Rwi, A verdadeira em wi.
Goldblatt (2003) nota que Leibniz aparentemente nunca descreveu de modo literal as verdades necessrias como aquelas que so verdadeiras em todos os mundos possveis, mas apenas que
22

43

Uma frmula ser vlida se e somente se for verdadeira em toda estrutura, isto , se toda estrutura for modelo da frmula. Vale ressaltar mais uma vez a presena do fenmeno da dualidade nas definies precedentes: os quantificadores universal e existencial figuram, respectivamente, nestas definies de modo que a definio de um pode ser obtida pela definio do outro e vice-versa. A validade para frmulas de diferentes sistemas de lgica modal definida em termos das condies impostas relao de acessibilidade pertencentes a cada modelo. Como exemplo, o sistema D s ser vlido na classe de modelos em que R for serial (o que significa dizer que nestes modelos, cada mundo wx acessvel a pelo menos um outro mundo, podendo inclusive ser ele mesmo). A seguir apresentase um quadro que relaciona em cada sistema a propriedade R correspondente:

Sistema de Lgica Modal

Condies da Relao de Acessibilidade

K D T B K4 S4 S5

Nenhuma Serial Reflexiva reflexiva e simtrica Transitiva reflexiva e transitiva Reflexiva, simtrica e transitiva23

A etapa semntica da lgica modal , sem dvida, o marco para o aprimoramento das discusses filosficas sobre a lgica modal. Tambm traz em si o germe do desenvolvimento da quarta e ltima etapa que Orayen (1995) demarca:

elas No apenas valeriam se o mundo existisse como tal, mas ainda valeriam se Deus tivesse criado o mundo de acordo com um plano diferente (apud, p. 18). 23 Esta relao tambm denominada relao de equivalncia.

44

a etapa da metalgica generalizada, que se ocupa da investigao das propriedades dos diferentes sistemas modais ou as relaes da linguagem modal com certas estruturas, abarcando assim resultados de completude e teoria da correspondncia para o clculo modal.

3.2 A lgica dentica A distino entre os tipos de lgica modal pode ser dada pela diferena nas condies da relao de acessibilidade, a partir das interpretaes que recebem os correlatos dos operadores alticos de necessidade e possibilidade (conseqentemente o de impossibilidade). Na lgica dentica estes correlatos so os conceitos de obrigao e permisso (bem como o de proibio), respectivamente. Considera-se que o primeiro sistema axiomtico para a lgica dentica foi desenvolvido por von Wright no incio da dcada de cinqenta (1951a), antes mesmo do desenvolvimento da semntica de Kripke para lgica modal. A motivao de von Wright para a criao deste sistema foi, originalmente, a observncia de algumas semelhanas estruturais entre os conceitos abordados pela lgica modal altica (necessidade, possibilidade e impossibilidade) e os quantificadores da lgica clssica (todos, algum, nenhum), sendo que em diversos tipos de modalidade se encontra o fenmeno da dualidade, j encontrado na lgica clssica. No primeiro captulo de seu Ensaio de Lgica Modal (1951b), von Wright apresenta um quadro que exibe as semelhanas existentes entre as modalidades alticas dentre as quais apresenta a referida distino entre modalidades de dicto e de re, explicando sua diferena pelo fato de que s vezes consideramos os modos nos quais uma proposio (ou no) verdadeira [...] s vezes consideramos de que modo uma propriedade est presente (ou ausente) em uma coisa.24 e as demais:

A veces consideramos los modos en los cuales una proposicin es (o no) verdadera (...) A veces consideramos en qu modo una propriedad est presente (o ausente) en una cosa (VON WRIGHT, 1951, p. 16).

24

45

ALTICAS Necessrio Possvel Contingente Impossvel

EPISTMICAS Verificado

DENTICAS Obrigatrio Permitido

EXISTENCIAIS Universal Existente

No decidido Falsificado

Indiferente Proibido Vazio

Aps a publicao de 1951b, von Wright abordou mais profundamente tais semelhanas, desta vez entre as modalidades alticas e as modalidades denticas fundamentais (obrigatrio, permitido e proibido)25: ressaltou a interdefinibilidade destes conceitos a partir daquele que for tomado como primitivo e o comportamento dos mesmos com relao s leis de distribuio da conjuno e da disjuno: Modalidades Alticas (p q) (p q) (p q) (p&q) (p & q) ( p & q) Modalidades Denticas P(p q) (Pp Pq) F(p q) (Fp & Fq) O(p & q) (Op & Oq)

Onde P est para permitido, F para proibido e O para obrigatrio. No sistema de 1951 o operador para permisso tomado como primitivo e as tautologias do CPC so frmulas vlidas do sistema toda vez que as variveis proposicionais so uniformemente substitudas por frmulas nas quais figura um operador dentico. Certamente que as analogias entre o comportamento das modalidades alticas e denticas possui limites: nos sistemas de lgica altica vale sempre, por exemplo, a frmula p p (lida como se p uma proposio verdadeira, segue-se que possvel) e p p (lida como se p uma proposio necessria, segue-se que verdadeira), enquanto que na lgica dentica as correspondentes pPp (se p
25

Em um ensaio de 1999, no qual von Wright faz um resgate pessoal do desenvolvimento da lgica dentica, ele menciona Leibniz como o primeiro a tentar sistematizar os conceitos denticos em Specimina juris e Elementa juris naturalis, notando que as modalia juris de licitum, ilicitum e debitum relacionavam-se mutuamente de acordo com o mesmo esquema que as modalidades de possibilidade, impossibilidade e necessidade. Alm disso, afirma que se inspirou em Leibniz para

46

uma ao realizada segue-se que permitida) e Op p (se p obrigatria seguese que cumprida) no valem. Muitos lgicos analisaram e discutiram este primeiro sistema, que apresentava alguns problemas dentre eles o fato de que von Wright considerava a lgica dentica como sendo uma lgica de normas (que so frases sem valor de verdade), analisando-as como se fossem sentenas portadoras de valores de verdade, ou tambm o chamado paradoxo da obrigao derivada.26 O resultado das discusses s quais o primeiro sistema foi submetido o assim chamado sistema-padro da lgica dentica. No sistema-padro o operador de obrigao (O) tomado como primitivo e seus axiomas so os seguintes: A1. Op O p A2. O (p&q) (Op & Oq) A3. O (p p) Sabendo-se que os operadores denticos, bem como os modais, so interdefinveis, o primeiro axioma equivale Op Pp, frmula denominada de Princpio da Permisso ou Princpio da Consistncia Dentica, de acordo com o qual tudo o que obrigatrio tambm permitido. O segundo axioma estabelece que se duas coisas so obrigatrias conjuntamente, tambm o so separadamente e viceversa; e o terceiro apresenta a obrigatoriedade de todas as tautologias. As regras de inferncia do sistema-padro so27: R1. Regra de substituio das variveis proposicionais: o resultado da substituio uniforme de variveis proposicionais por frmulas, num teorema, tambm um teorema.

tomar o operador altico de possibilidade, e, portanto, o dentico de permisso, como noo modal fundamental (VON WRIGHT, 1999, p. 27). 26 Ainda no artigo retrospectivo von Wright afirma: [In] my first attempt (...) I took the variables p, q, etc., to be schematic representations of categories of action such as theft, murder, smoking, etc. But, for reasons of formal convenience, I soon shifted to a conception of them as representing sentences (von Wright, 1999, p. 36). Com isso pode-se notar que a soluo de alguns problemas do sistema de 1951 direciona-se para a resoluo do dilema de Jrgensen (no caso do sistema no versar sobre normas) e para a criao da lgica dentica didica (no caso da resoluo do paradoxo da obrigao derivada).

47

R2. Modus Ponens: Se p e p q so teoremas, q tambm . R3. Regra da extensionalidade dentica: Se uma tese que p e q so sentenas equivalentes, ento uma tese que Pp e Pq tambm so equivalentes. Dentre os diversos teoremas que podem ser derivados do sistema-padro, destacam-se aqui trs deles: (Op & Op) Este teorema afirma que no h obrigaes reciprocamente contraditrias. Fp O (p q) A leitura deste teorema (o teorema da obrigao derivada) sugere o seguinte: se uma ao p proibida, segue-se obrigatoriamente que se p realizada, qualquer ao realizada. A. Prior notou que um problema similar aos paradoxos da implicao proposicional era originado a partir deste teorema: o assim chamado paradoxo da obrigao derivada. Ele aparece quando uma obrigao surge do descumprimento de uma obrigao anterior. Von Wright (1999) lembra que este problema est fortemente relacionado com a existncia de normas hipotticas, e a sua soluo teve como resultado o surgimento da lgica dentica didica. Na lgica dentica didica uma sentena dentica O (p/q) deve ser lida: a ao p obrigatria sob a condio q, sendo os operadores denticos aplicados sobre sentenas da forma p/q, na qual o primeiro termo figura como a descrio do ato deonticamente determinado e o segundo descreve uma condio para que a obrigao (e igualmente a permisso ou a proibio) se d. A semntica para a lgica dentica no acompanhou o desenvolvimento do primeiro sistema de von Wright. Este autor tentou fundamentar axiomaticamente a lgica dentica, deixando de lado questes relativas semntica. Esta semntica est baseada na semntica de mundos possveis, sendo sua tarefa fundamental a de estabelecer as condies de verdade para sentenas com operadores denticos.
27

Esta exposio do sistema padro segue a orientao do professor Nelson Gomes em seu verbete

48

Subseqentemente ela tambm deve definir as noes de conseqncia e consistncia nos sistemas denticos. Sendo assim, a definio de frmulas denticas verdadeiras em um modelo similar definio de frmulas alticas verdadeiras em um modelo: OA verdadeira em w1 de M se, e somente se, para todo wi de M, tal que w1Rwi, A verdadeira em wi; PA verdadeira em w1 de M se, e somente se, para algum wi de M, tal que w1Rwi, A verdadeira em wi. Mas h uma diferena significativa presente na semntica de mundos possveis para lgica dentica: a relao de acessibilidade entre os mundos do modelo explicada em termos de alternativa dentica. Por exemplo, estabelece-se a obrigatoriedade de determinada ao (Op) em um mundo m1 do modelo. A sentena Op ser verdadeira apenas em relao a mundos nos quais a ao p for executada mundos deonticamente perfeitos com relao ao mundo no qual a ao em questo exigida. Assim, Op ser uma sentena verdadeira em um determinado mundo (m1) somente se p for verdadeira em todos os mundos deonticamente perfeitos relativos ao mundo em que figura Op. Do mesmo modo, Pp ser verdadeira em um determinado mundo (m1) se, e somente se, p for verdadeira em ao menos um mundo deonticamente perfeito relativo ao mundo em que figura Pp. Essas condies de verdade procuram seguir a intuio de que as aes exigidas por uma ordem, ou consentidas por uma permisso, seguem um ideal de comportamento representado na semntica pelos mundos deonticamente perfeitos. Lembrando que a relao de acessibilidade em sistemas regidos pelo axioma D: (OpPp) serial, como destacado acima (p. 42), pode-se compreender que para cada mundo no qual uma sentena dentica vigente, deve haver um mundo acessvel a este (podendo ser ele mesmo), no qual a ao deonticamente determinada efetivada. Expressando a intuio subjacente s condies de verdade para frmulas denticas em outros termos, como faz o professor Gomes (ANO???), quando a compara com a semntica para sentenas modais alticas, se uma sentena modal altica p verdadeira, ento p ser verdadeira em todos os mundos possveis

sobre Lgica Dentica, ainda no prelo.

49

relativos ao mundo em que figura p. Mas se a sentena dentica Op verdadeira, ento p ser executada em todos os mundos deonticamente perfeitos com relao ao mundo no qual a obrigao em questo vigente. A semntica de mundos deonticamente perfeitos levanta, na esteira da semntica para lgica modal, uma srie de questes filosficas algumas delas sero tratadas no que se segue, tanto pela abordagem do dilema de Jrgensen, quanto com a apresentao mais detalhada da proposta de Hintikka (1969) para a elaborao da semntica especfica para a lgica dentica 28.

3.3 O Dilema de Jrgensen Embora o sistema clssico da lgica dentica tenha sido formulado por von Wright em 1951, os questionamentos referentes possibilidade de uma lgica de normas datam de 1937 ano da publicao do artigo intitulado Imperatives and Logic, de Jrgen Jrgensen. A formulao do dilema de Jrgensen, termo cuja paternidade foi requerida por Ross (1937), decorre principalmente do fato de que nas sentenas normativas ocorrem operadores como a disjuno, a negao, a conjuno e a implicao usualmente definidos em termos dos valores de verdade das sentenas declarativas s quais so aplicados alm de elas figurarem como premissas e concluso em inferncias aparentemente vlidas (o que levou von Wright concluso de que as normas esto sujeitas s leis lgicas tanto quanto as sentenas descritivas). Tradicionalmente o conceito de inferncia lgica costuma ser sinnimo de inferncia logicamente vlida, sendo definido como o processo que partindo de uma ou mais sentenas chega a uma outra cujo valor de verdade depende dos valores de verdade das sentenas antecedentes. Sentenas cujo verbo principal se encontra no modo imperativo no so suscetveis de valor de verdade. Por conseguinte, afirmase que tais sentenas no podem figurar em argumentos lgicos, nem como premissas, nem como concluso (JRGENSEN, 1937, p. 289). Sendo que a tradio da lgica assume como objeto de estudo apenas sentenas indicativas, suscetveis de valor de verdade, e a partir da noo de verdade define a relao de conseqncia e contradio, a dvida a respeito da
28

No terceiro e ltimo captulo desta dissertao.

50

logicidade do discurso dentico, fundamentalmente caracterizada pela falta de valor de verdade das normas, acaba por pontuar a possibilidade de ampliao da noo geral de Lgica, como ser visto a seguir. Isto porque no caso da noo de conseqncia no se vincular necessariamente s noes de verdade e falsidade, o sentido clssico do conceito de lgica parece merecer uma reviso. A fundamentao de uma lgica de normas gera um problema para o qual foram apresentadas algumas solues. Apresentam-se a seguir a soluo de von Wright, a partir do j referido artigo de 1999, e a proposta de Alchourrn e Martino que se encontra em um artigo intitulado Lgica sem Verdade (1987). No j mencionado sistema clssico da lgica dentica as normas so interpretadas como sentenas portadoras de valor de verdade. A primeira caracterizao de von Wright preserva a noo de inferncia vlida da lgica clssica, aplicando-a s sentenas normativas. Ele explica sua opo pelo fato de que possvel construir uma lgica dentica com bases axiomticas e porque preferiu no comear pelo aspecto problemtico que a interpretao das sentenas denticas apresenta, embora reconhecesse desde ento sua presena subjacente:

Em meu primeiro artigo procedi como se o mero fato de que se pode construir um clculo formal com axiomas que soam plausveis fosse tudo o que necessrio para satisfazer as demandas da lgica. E eu pensava ser correto dizer que essa atitude, ainda que implicitamente, subjaz a maior parte dos trabalhos que estavam sendo feitos em lgica dentica. Sua natureza problemtica, entretanto, at os dias de hoje, permanece um espinho em minha carne lgica, se posso usar esta metfora (VON WRIGHT, 1999, p. 31).

Uma soluo para o dilema foi proposta pelo prprio von Wright em Norma e Ao, de 1960, obra na qual estabelecida uma importante distino entre normas e proposies normativas. Tal formulao possibilitou a construo de uma lgica dentica na qual figuram apenas proposies normativas (expresses de descries acerca de normas) e no de normas (expresses que prescrevem algo a ser realizado). Von Wright aperfeioa ainda mais tal distino em Is there a logic of norms?, quando se pergunta a respeito da aplicabilidade dos conetivos sentenciais

51

em expresses chamadas de formulaes normativas. Considerando a ambigidade de expresses como deve ser o caso que x ou pode ser o caso que x que podem ser interpretadas prescritiva enunciando uma norma ou descritivamente, estabelecendo que certa norma enunciada, (e, portanto que ela existe), as chamadas proposies normativas so apresentadas como passveis do uso de conetivos sentenciais sem grandes problemas. Observa-se assim que para von Wright o uso de conetivos sentenciais na constituio das normas, ou seja, prescries de aes, o ponto mais problemtico do primeiro sistema. No que diz respeito lgica das proposies normativas, temse algumas notas distintivas atravs das quais se pode esclarecer o funcionamento dos operadores denticos, entre elas: 1) H na linguagem prescritiva apenas um conceito de permisso, e no, como na interpretao descritiva de normas, um conceito de permisso positiva (definido pela presena da proposio permitido que p no conjunto de conseqncias de um sistema de normas) e um conceito de permisso negativa (definido pela ausncia da proposio obrigatrio que no p no conjunto de conseqncias de um sistema de normas). 2) Os operadores denticos descritivos no so interdefinveis nos mesmos termos que os prescritivos, com exceo da permisso negativa que interdefinvel com a proibio. 3) Definir operadores denticos descritivos exige a pressuposio da existncia de relaes lgicas entre normas. Assim, a lgica das proposies normativas seria uma extenso da lgica de normas. 4) A negao de operadores denticos descritivos um tanto mais complexa que a dos prescritivos, dada a existncia de dois tipos de negao interna e outra externa. A externa nega que a norma x pertena ao sistema, enquanto a negao interna diz respeito a uma norma de forma permitido no p que pertence a dado sistema. A distino entre negao interna e externa de importante para a identificao da consistncia de sistemas normativos. Isso porque, para que um sistema seja consistente, uma proposio e sua negao no podem ser ambas verdadeiras (no caso de uma proposio normativa e sua negao interna serem ambas falsas, o sistema incompleto). Se tais condies (consistncia e completude) so preenchidas, a distino entre permisso positiva e permisso negativa torna-se

52

irrelevante, pois esta tem relao direta com as noes de negao interna e externa de normas. Se, por um lado, a lgica de proposies normativas estabelece critrios para a avaliao da consistncia e da completude de sistemas, por outro, ela no garante que todos o sistemas sejam logicamente completos e consistentes. Aquilo que von Wright chama de estado de coisas deonticamente determinado necessariamente um estado de coisas sobre o qual existe uma norma proibitiva, obrigatria ou permissiva. Quando, por exemplo, um cdigo normativo qualquer possui todos os estados de coisas ao qual se refere deonticamente determinados, ento ele est livre de lacunas em sua formulao. Sendo assim, a lgica das proposies normativas pode ser uma soluo para o problema do manuseio lgico de sentenas normativas como uma metalinguagem. As proposies normativas podem servir como uma ferramenta para a anlise lgica de sistemas normativos, como um suplemento da lgica de normas. Mas o problema de existncia ou no de relaes lgicas entre normas permanece em aberto, desde que as normas no possuem valor de verdade. Ainda que interessante, a proposta de von Wright, de que a lgica dentica seja a lgica de formulaes normativas formalizadas e interpretadas descritivamente (von Wright, 1996, p. 41) no dilui a questo, como ele prprio reconhece29. Mesmo com a adoo de meta-normas na resoluo de lacunas como a derrogao de norma mais antiga de um sistema no qual se encontrem normas contraditrias no se consegue dar conta do aspecto dinmico de um ordenamento normativo, nem da justificao de inferncias normativas, especialmente no caso de ordenamentos jurdicos. Talvez, com isso, seja possvel entender por que von Wright tenha hesitado em considerar a importncia de fundamentos semnticos para esta lgica: ele creditou muita importncia interpretao normativa da lgica dentica, e no interpretao descritiva. Muito embora ele prprio tenha apresentado uma soluo no sentido de abordar apenas as proposies normativas, no desistiu de considerar a existncia de uma lgica das aes subjacente lgica de proposies normativas.30
29 30

Cf. von Wright, 1999, p.33 Esta lgica abarca noes como a de atuar e abster-se (de atuar) e est baseada em uma lgica da mudana (que inclui smbolos para descries de estados de mudana).

53

Outro caminho resoluo da questo concernente a logicidade do discurso dentico foi indicado no artigo Lgica sem Verdade, de Alchourrn e Martino (1987, p. 7-43), no qual se leva em conta a possibilidade de que a lgica no diga respeito somente a expresses suscetveis de valor de verdade. Parte-se da idia de que os conectivos proposicionais e os conceitos de conseqncia e consistncia lgicas podem ser definidos em termos da noo abstrata de conseqncia, sem relao direta com o conceito de verdade. Sendo assim, todas as proposies as quais se consegue dar regras de uso precisas dentro de um contexto de derivao regras de introduo e eliminao de operadores lgicos, e neste caso dos denticos, em um contexto de deduo dizem respeito lgica. A conseqncia imediata da adoo dessa posio , sem dvida, a ampliao do conceito clssico de lgica, como sugere o prprio ttulo do artigo. Para esclarecer esta proposta de Alchourrn e Martino (1987) preciso dizer que eles acreditam que os problemas que aparecem nas lgicas modais se devem noo semntica de conseqncia (implicao). a partir desta noo que faz com que as condies de verdade das sentenas compostas seja uma funo de verdade dos seus componentes que a maioria das discusses a respeito do status lgico das relaes entre sentenas modais se fundamentam (ver incio da seo 3.1, p. 36). Por isso eles propem a noo abstrata de conseqncia, de Tarski, como fundamental para a reconstruo da lgica dentica com vistas a solucionar o dilema. Os seguintes axiomas (onde a expresso Cn um operador que aplicado a x identifica o conjunto Cn (x) das conseqncias de x) caracterizam a noo abstrata de conseqncia que, segundo os autores, permite ganhar em generalidade com relao s noes sinttica e semntica de conseqncia (1987, p. 26): a) A Cn (A) Axioma da Incluso: Todo enunciado de um conjunto est entre as conseqncias deste conjunto. b) Cn (A) = Cn (Cn (A)) Axioma da Idempotncia: As conseqncias das conseqncias do conjunto de enunciados so conseqncias do conjunto de partida.

54

c) Se A B ento Cn (A) Cn (B) Axioma da Monotonicidade: Se um enunciado conseqncia de um conjunto de premissas A, ele seguir sendo conseqncia de qualquer ampliao B do conjunto de premissas A. Ou seja, no se perde nenhuma das conseqncias ao se agregarem enunciados a um conjunto de premissas. Afirmando que as noes sinttica e semntica de conseqncia lgica31 so exemplos da noo abstrata, pois satisfazem os axiomas de Tarski, Alchourrn e Martino consideram que a interpretao de conetivos em sentenas denticas pode passar a depender da indicao de regras para a eliminao e a introduo de operadores em contextos de derivao, ao modo de Gentzen. Mas h outro aspecto positivo dessa formulao: dado que os principais paradoxos denticos dependem de uma regra de inferncia, torna-se menos complexa a resoluo de tais dificuldades que aparecem na formulao standard da lgica dentica. Veja-se o exemplo do paradoxo de Chisholm (paradoxo das obrigaes contrrias ao dever): Suponha-se a existncia de uma norma que enuncie x deve ajudar seus vizinhos, de uma segunda se x ajudar seus vizinhos, deve avis-los e de uma terceira se x no ajudar seus vizinhos, no deve avis-los. Tome-se como suposto que x no ajuda seus vizinhos. Nesse caso, das terceira e quarta sentenas podese inferir x no deve avisar seus vizinhos, o que contradiz a concluso das duas primeiras sentenas, que x deve avisar seus vizinhos. Ainda que a primeira vista no se reconhea uma contradio entre a primeira e a ltima sentena, esta pode ser percebida com a formalizao do conjunto de sentenas em questo. Sentenas do tipo se x no ajudar seus vizinhos, no deve avis-los, uma obrigao que surge quando outra no cumprida, no podem ser formalizadas no sistema standard. Em 1956, von Wright apresentou uma soluo que tinha como diferencial a incluso de um operador didico (que incide sobre duas sentenas) primitivo para a permisso. Essa soluo foi aperfeioada em 1964, quando a modalidade dentica
31

Um enunciado conseqncia sinttica de um certo conjunto quando h uma seqncia de enunciados tal que cada enunciado da seqncia um elemento do conjunto em questo ou bem um dos axiomas ou bem se obtm dos anteriores cm base em alguma regra de derivao e o ltimo enunciado da seqncia o que se demonstrou.(Ibid. p. 27) e cada enunciado tem um dos valores V ou F e que um enunciado se siga deste conjunto A como implicado logicamente quer dizer que no h nenhuma interpretao (quer dizer, nenhuma maneira de atribuir valores a estes enunciados) tal que todos os enunciados de A sejam verdadeiro e x no (Ibid. p. 28).

55

primitiva passa a ser a obrigao, e esta ainda subdividida em obrigao relativa e obrigao absoluta. Alm disso, indica-se a rejeio de alguns axiomas antes aceitos na tentativa de resoluo do paradoxo, ou a utilizao apenas parcial dos mesmos (FOLLESDAL; HILPINEN, 1971), o que no altera o conjunto de conseqncias da deduo no sentido de que sejam perdidos os enunciados que eram antes conseqncias destas regras (o que caracteriza a chamada monotonicidade de uma lgica). O exemplo ilustra como a adio de operadores com sua respectiva definio, ou a adio de regras com a devida indicao de seu sentido, i. e., seu uso em um contexto de derivao determinado, pode levar caracterizao de propriedades, como a monotonicidade, da lgica de proposies normativas. Tais propriedades conservam o carter lgico do conjunto de inferncias realizadas entre formulaes normativas, pois a noo de conseqncia dedutiva permanece presente, ainda que de forma mais geral, possibilitando a caracterizao de conetivos e o manuseio de proposies interpretadas como sentenas prescritivas. Com isso, tem-se que sistemas de lgica dentica podem ser caracterizados sintaticamente, sem lacunas na sua formulao, de acordo com as regras de introduo e eliminao de conetivos sem grandes prejuzos epistemolgicos. Ainda assim, no se encerra o questionamento a respeito da adequao de normas em um sistema lgico, bem como sua aplicabilidade e funcionamento o que torna a investigao sobre a lgica dentica um campo de trabalho estimulante. Aps estas consideraes mais gerais, ser apresentada uma maneira de abordar a relao entre sentenas normativas cujos resultados parecem indicar solues importantes para o campo em questo, bem como uma exemplificao de que o procedimento semntico-formal traz nova luz noes estabelecidas da filosofia moral clssica.

4 A PROPOSTA DE HINTIKKA PARA A SEMNTICA DA LGICA DENTICA

Este captulo pretende expor com o devido detalhe a proposta de Hintikka (1969) para uma abordagem semntica da lgica dentica. Esta tarefa inclui explicar suas pretenses ao considerar o discurso dentico como mbito privilegiado para a anlise filosfica da linguagem trabalho que tem como pano de fundo um artigo de Hansson (2000) sobre a formalizao em filosofia, no qual se discute de modo mais amplo este tipo de tratamento bem como a apresentao de seu mtodo semntico. Os principais artigos de Hintikka a serem analisados32 tratam das condies semnticas para o funcionamento dos operadores denticos, bem como de consideraes adicionais sobre a filosofia moral de Kant. O foco da anlise da proposta de Hintikka (1969) ser esta sua apropriao de noes kantianas, que aparece como reinterpretao das mesmas em um cenrio formalizado, com vistas a uma exemplificao de como os procedimentos formais possibilitam releituras de noes clssicas da filosofia.

4.1 Sobre os preceitos da proposta de Hintikka Em artigo relativamente recente, Hansson (2000)
33

aponta a relevncia de

uma questo metafilosfica da filosofia analtica contempornea: o valor das conseqncias filosficas da formalizao enquanto mtodo para a clarificao de conceitos e problemas desta rea. Este assunto no uma pauta nova, desde que a construo de linguagens artificiais precisas com vistas reconstruo racional de caractersticas filosoficamente relevantes das linguagens naturais constituiu de modo
32

HINTIKKA, J. Deontic Logic and its Philosophical Morals. In: Models for Modalities Selected Essays. J. Hintikka (ed.). Dordrecht, Holanda: D. Reidel Publishing Company, 1969, p. 184 214. e tambm: Some Main Problems of Deontic Logic. In: Deontic Logic. Risto Hilpinem (ed.) Dordrecht, Holanda: D. Reidel Publishing Company, 1971, p. 54 104. 33 HANSSON, S.O. Formalization in Philosophy. In: The Bulletin of Symbolic Logic, Volume, n 2, Junho de 2000.

57

significativo o uso da lgica como ferramenta do procedimento de anlise conceitual desde pelo menos meados do sculo XX. O texto de Hansson (2000) afigura-se importante da perspectiva do presente trabalho, pois o procedimento formal para o qual se atenta aqui um exemplo do que este autor prope como via de revitalizao para a filosofia formalizada. Segundo o autor, um tratamento formal pode dar origem a trs categorias de discusso, quais sejam: A) Sobre novos aspectos de questes j discutidas em filosofia (no-formal, informal)34; B) Sobre questes no previamente discutidas em filosofia informal, mas com um claro interesse filosfico. C) Sobre questes peculiares ao formalismo escolhido e que no possuem conexo com questes filosficas estas que podem ser expressas sem formalismos. Hansson (2000) afirma, com razo, que (B) a contribuio mais relevante que a formalizao pode dar filosofia, seguindo-se (A). Por outro lado, tem-se que a tese principal do artigo de Hintikka (1969) diz respeito importncia que ele concede ao papel desta lgica para a filosofia analtica em geral: afirma-se ali que uma abordagem semntica da lgica dentica pode oferecer exemplos de operaes-chave que qualquer analista pode encontrar em seu campo de trabalho. O autor enfatiza seis dentre estas operaes-chave, ou tarefas, que o trabalho de anlise exige35: 1) O uso de nossas intuies para o propsito de obter critrios de verdade e/ou consistncia. (Que ento tambm podem resultar em regras de prova lgica como subproduto). 2) 3) produziu. 4) O desenvolvimento de mtodos de trazer a verdade de nossas intuies tona de modo sutil e indireto. Mesmo quando h um verdadeiro ponto
Esta expresso pretende apenas estabelecer um contraponto entre filosofia formalizada e no formalizada, sem qualquer tonalidade pejorativa.
34

A reeducao de algumas de nossas intuies luz do insignts A interpretao (que s vezes somada a uma reinterpretao parcial)

semnticos assim obtidos. de conceitos e doutrinas tradicionais dentro do quadro de referncia que a anlise

58

principal

nas

intimaes

de

nosso

senso

lgico,

suas

consideraes

freqentemente tm de ser codificadas de modo indireto. O verdadeiro ponto principal pode estar dizendo respeito ao status lgico, no da sentena com a qual estamos lidando prima facie, mas de alguma outra sentena relacionada. 5) 6) A descoberta de ambigidades intrnsecas em alguns dos conceitos A exposio de falcias s quais se levado ao passar por cima de que usamos no discurso comum. tais ambigidades. O propsito desta seo indicar as similaridades entre o tpico B) de Hansson e a estratgia 4) de Hintikka, como uma maneira de situar a proposta deste ltimo, mostrando que seus intentos so um exemplo do que Hansson qualifica como sendo as principais vantagens da filosofia formalizada. As semelhanas entre o tpico A) e B) de Hansson e 3) e 4) de Hintikka aparecero na terceira e ltima seo do captulo. O texto de Hansson (2000) inicia com a explicao de que para dar conta da relao entre modelos formais e questes filosficas que os motivam, deve-se dizer que qualquer representao em linguagem formal exige determinado grau de idealizao. Distingue-se, antes de mais, dois sentidos de idealizao: um mais comum que expressa um ideal no sentido de aperfeioamento, e um segundo que significa uma simplificao cujo objetivo a compreenso mnima de uma questo ou conceito. O segundo sentido, de idealizao como simplificao, o foco de Hansson (2000), por constituir uma prtica comum filosofia e cincia. Transcrever os termos da linguagem comum para a linguagem filosfica regimentada o primeiro e mais importante passo da idealizao como simplificao. O passo para a formalizao depende da aceitao, muitas vezes tcita, de que se pode construir um conceito mais fundamental e apurado por detrs das variaes da linguagem natural e ento, da linguagem filosfica regimentada avana-se para a linguagem lgico-matemtica. Embora consideraes desta ndole possam parecer desnecessrias aqui, dado que o captulo precedente abordou somente procedimentos formais a partir de idealizaes da linguagem comum (idealizaes dos conceitos modais de necessidade e possibilidade alticos e de obrigao e permisso denticos),
Estes tpicos esto apresentados aqui tal qual aparecem no primeiro pargrafo do artigo sobre lgica dentica e filosofia moral (HINTIKKA, 1969, p. 184).
35

59

ela se afigura importante na medida em que seguida por uma outra, com a qual se adequa perfeitamente o objetivo deste trabalho:
[...] por um lado temos de divergir dos significados dos termos chave de nossa linguagem geral para obtermos a preciso necessria para a anlise filosfica, mas por outro, se divergirmos tanto a ponto de perdermos o contato com os significados da linguagem em geral, ento a coerncia do empreendimento como um todo ser perdida. Por esta razo apenas, deveria estar claro que no h uma nica anlise formal verdadeira de conceitos no-filosficos ou informais. Diferentes formalizaes podem captar diferentes propriedades dos conceitos. 36 [grifo nosso] (HANSSON, 2000, p. 164).

Antes de apresentar as vantagens da formalizao avaliadas por Hansson (2000), deve-se dizer que ele avalia a especialidade dos tratamentos formais no pela distncia que possuem com relao ao discurso comum, mas pela habilidade matemtica que requerem e pelo tipo caracterstico de questes que levantam. Esta idia de certo modo est expressa com as operaes 2), 5) e 6) das quais Hintikka pretende dar conta com seu procedimento semntico, na medida em que estas operaes relacionam os resultados dos procedimentos formais com o uso da linguagem comum, principalmente no que diz respeito s ambigidades da mesma, que so trazidas tona com a anlise semntica. Dentre as vantagens da formalizao destacadas por Hansson (2000), a primeira delas interessa na medida em que considera como exemplo a lgica dentica: a economia definicional e dedutiva. No caso da lgica dentica o que Hansson (2000) denomina de economia definicional se apresenta pelo estabelecimento imediato (se considerado com relao ao discurso informal) dos conceitos principais do discurso normativo, a saber, obrigao, proibio e permisso positiva que so interdefinves. A segunda vantagem importante por sua similaridade com uma das operaes de Hintikka (1971) (a quinta operao), que levada a cabo quando da interpretao do chamado Princpio de Kant como exemplo de conseqncia dentica (abordada na seo seguinte deste captulo): a visibilidade de assunes implcitas. Com relao a esta conexo (entre a vantagem destacada por Hansson e
36

() on one hand we have to deviate from the general-language meanings of our key terms in order to obtain the precision necessary for philosophical analysis, but on the other hand, if we deviate so far as to lose contact with general-language meanings, then the rationale for the whole undertaking will be lost. For this reason if no other it should be clear that there is no unique true formal analysis of non-philosophical or informal philosophical concepts. Different formalizations may capture different properties of the concepts.

60

o exemplo que se pretende ilustrar com a manobra de Hintikka (1971) sobre a interpretao do princpio de Kant) deve ficar claro que o sentido no qual possvel tornar visvel a assuno implcita de Kant no quer indicar que ele tivesse em mente a noo de conseqncia dentica nos mesmos termos que Hintikka postula, mas que a interpretao de Kant pode ser enriquecida se for pensada nos termos propostos pela semntica formal. A terceira vantagem o gerenciamento de estruturas complexas, que igualmente se relaciona com a lgica dentica na medida em que preciso dar conta das interaes entre modalidades e da compatibilidade de princpios denticos. A quarta vantagem o esforo pela completude da teoria, relacionada com o primeiro tpico das manobras de Hintikka (1971); e a quinta e ltima, com a qual, sem dvida, se pode relacionar a proposta de Hintikka, expressa que Em muitas reas da lgica filosfica, o uso de modelos semnticos e caracterizaes axiomticas tem levado a um entendimento mais profundo das relaes entre diferentes propriedades das estruturas que so representadas na linguagem formal37 (Ibid., p. 167). Como contraponto, sero mencionadas as desvantagens que Hansson (2000) atribui formalizao em filosofia: supersimplificao, a falsa unificao de conceitos, a falsa primitividade conceitual, construes ad hoc, a preocupao exclusiva com elementos do modelo formal, o estilo enigmtico e as assunes ontolgicas implcitas. Destacam-se, dentre estas desvantagens, apenas trs: a falsa unificao de conceitos, a preocupao exclusiva com elementos do modelo formal e as assunes ontolgicas implcitas. A primeira delas cujo exemplo se relaciona com a lgica dentica a falsa unificao de conceitos, da qual Hansson (Ibid., p.168-9) afirma:
A maior parte do tratamento da lgica dentica inclui apenas o predicado mondico O ( ). Desse modo, a distino entre predicados prescritivos com foras diferentes (dever, ter de, etc) perdida. De modo similar a introduo de uma notao para o dever didico, O ( / ), tem levado a uma tendncia a unificar todas as sentenas se-ento com conseqentes denticos em um e o mesmo predicado formal, embora elas difiram amplamente em carter e significado (HANSSON, 2000). No h razo bvia pela qual sentenas

37

In several areas of philosophical logic, the use of semantical modeling and axiomatic characterizations has led to a deeper understanding of the relationship between the different properties of the structures that are represented in the formal language.

61

contrafactuais com conseqentes normativos devessem ter as mesmas propriedades que regras normativas38.

A segunda desvantagem destacada o comprometimento com assunes ontolgicas implcitas. Ela enfatizada aqui pelo fato de que Hansson assegura (Ibid., p.170) que muitas formalizaes acabam fortificando certas pressuposies ontolgicas comprometedoras. Embora seu exemplo no diga respeito lgica dentica, mas ao comprometimento da lgica de predicados com a existncia de objetos particulares, mais uma vez se pode ilustrar como Hintikka procura desviar-se desta desvantagem. Isto ocorre no primeiro pargrafo dedicado ilustrao das manobras propostas pelo seu artigo, no qual afirma sua desconsiderao com relao possveis implicaes ontolgicas ou metafsicas de sua semntica (HINTIKKA, 1969, p. 185):
Aqui, como em tantas outras aplicaes da abordagem semntica, a nitidez exposicional melhorada falando-se de mundos possveis. (Indiquei em algum outro lugar como esta noo estranha pode ser despida de suas implicaes leibnizianas ou metafsicas e reduzida a uma noo da teoria de modelos moderada.) Utilizando-os, podemos dizer que saber quais normas so vigentes (em um mundo possvel M) saber quais mundos possveis esto conformes com as normas vigentes em M. Chamemos estes mundos possveis de alternativas denticas a M. Apliquemos a mesma terminologia tambm para descries (parciais) dos mundos em questo39.

Por ltimo, destaca-se a preocupao exclusiva com elementos do modelo formal, a ttulo de comentrio: no o caso que a abordagem de Hintikka ilustre este defeito apontado por Hansson (2000). Mas seria interessante notar aqui que talvez um dos motivos pelos quais a lgica dentica tenha sido alvo de inmeras crticas e

Most treatments of deontic logic include only one monadic predicate, O( ). In this way, the distinction between prescriptive predicates with different strengths (should, must, ought, etc.) is lost. Similarly, the introduction of a notation for dyadic ought, has led to a tendency to unify all if-sentences with deontic consequents into one and the same formal predicate, although they differ widely in character and meaning (HANSSON, 2000). There is no obvious reason why counterfactual sentences with normative consequent should have the same properties as normative rules. (p. 168-9) 39 Here, as in so many other applications of the semantical approach, expositional vividness is enhanced by speaking of possible worlds. (I have indicated elsewhere how this weird-looking notion can be stripped of its Leibnitian and other metaphysical overtones and reduced to a notion of sober mode theory.) Using it, we can say that to know what norms obtain (say in a given possible world M) is to know which possible worlds are in accordance with the norms that obtain in M. Let us call this possible worlds deontic alternatives to M. let us apply the same terminology also the partial descriptions of the worlds in question (Ibid.).

38

62

sua interpretao sujeita a uma srie de controvrsias, seja o fato de que suas primeiras abordagens (de von Wright) atrelaram-se ao desenvolvimento puramente sinttico, como j apontado anteriormente (cf. p.47, segundo captulo). Este fato pode sim ser um exemplo de como a preocupao com questes meramente formais capaz de deixar de lado discusses conceituas que, quando discutidas previamente, poderiam ter resultados filosficos conectados ao uso dos conceitos na linguagem comum. Esta conexo, por sua vez, parece estar presente nos objetivos expressos nas operaes 1) e 2) de Hintikka (1971). Hintikka (1971) assume no considerar explicitamente operadores denticos iterados (operadores que ocorrem no escopo de outro operador) como uma de suas estratgias de abordagem da lgica dentica (Ibid., p. 187). Isto poderia ser um exemplo do que Hansson (2000) qualifica como supersimplificao, no consistisse sua estratgia em aplicar s modalidades iteradas as mesmas condies s quais se submetem as modalidades no-iteradas. Sua explicao para tanto se baseia na idia de que as complicaes e controvrsias que surgem com as modalidades iteradas dizem respeito a um erro fundamental de muitas formalizaes. Tal erro consiste em tentar formalizar diretamente a linguagem comum, sem antes desenvolver ferramentas semnticas satisfatrias que mostrariam precisamente como a formalizao deve ser empreendida (Ibid., p. 187). O que mostra, mais uma vez, que as abordagens de Hansson (2000) e Hintikka (1969) esto de acordo na medida em que o primeiro, ao explicar o processo de idealizao em dois passos, afirma que o primeiro passo o mais importante, pois a transcrio da linguagem comum para a linguagem filosfica o momento no qual acontece a maior parte da idealizao. Com a apresentao da concordncia entre Hansson (2000) e Hintikka (1969) no que diz respeito a seus mtodos gerais, ou princpios reguladores do procedimento analtico, ser examinado a seguir como esta teorizao se materializa. Pode-se considerar este exame da semntica de Hintikka para a lgica dentica como um estudo de caso cujo procedimento ser o seguinte: a apresentao do instrumental empregado por Hintikka (seo 4.2) os sistemas modelo, bem como uma distino conceitual entre relaes de conseqncia: lgica e dentica e em seguida (seo 4.3) mostrar-se- como seus resultados se aproximam da discusso kantiana, j clssica em filosofia moral, a respeito da noo

63

de Reino dos Fins, bem como as diferenas que sua abordagem apresenta com relao de Kant. 4.2 Sistema modelo: conseqncia lgica e conseqncia dentica Sabe-se que a maioria dos ramos da lgica pode ser investigada por meio de dois mtodos ou conjunto de mtodos: sinttico e semntico. Estes mtodos, que apesar de distintos so relacionados, consistem respectivamente no seguinte: o mtodo sinttico procede por meio do estudo da relao de derivabilidade entre frmulas (como visto na seo 2.3, segundo captulo) e o mtodo semntico, por sua vez, por meio do estudo da relao de conseqncia semntica, que definida em termos da noo de satisfabilidade. Hintikka (1969) inicia sua exposio semntica apresentando a noo de satisfabilidade, ou seja, explicando o que significa dizer que um conjunto finito de frmulas satisfatvel. Na lgica no modal a noo de satisfabilidade entendida como uma relao entre frmulas abertas e seqncias de objetos, por exemplo, entre o conjunto de objetos <Carazinho, Santa Maria> e a frmula aberta x est a nordeste de y. Em termos tcnicos a noo de satisfabilidade pode ser definida (HINTIKKA, 1971, p. 56) como segue: um conjunto de frmulas satisfatvel se, e somente se, h uma descrio de estado na qual todos os membros de valem. (Uma frmula satisfatvel se e somente se seu conjunto unitrio tambm ).40 importante notar que em artigo anlogo ao artigo sobre lgica dentica e filosofia moral Hintikka (1971) explica sua escolha pela noo de satisfabilidade (identificada com a de consistncia) como a noo primitiva de sua semntica porque a partir dela possvel definir as outras noes semnticas como a de validade, contradio e conseqncia lgica. Uma frmula p considerada contraditria, ou logicamente falsa, quando no satisfatvel; p ser vlida, ou logicamente verdadeira, se, e somente se, p contraditria; e q ser uma conseqncia lgica de p se e somente se (p q) for logicamente verdadeira, ou seja, p & q no satisfatvel.

A set of formulae is satisfiable if and only if there is a state-description in which all the members of hold. (A formula is satisfiable if and only if its unit set is.).

40

64

Um sistema modelo de lgica dentica o conjunto das descries parciais de todos os mundos possveis considerados numa e a mesma ocasio (1969, p. 185). As condies que permitem, de acordo com Hintikka (1971), definir a noo de sistema modelo esto apresentadas pelas clusulas a seguir, devendo-se ter e mente que um conjunto modelo identificado com uma descrio parcial de um mundo possvel (Ibid.) e que os operadores O e P abreviam, respectivamente, deve ser o caso que e permissvel que: (C.) (C.O*) Cada membro de um conjunto modelo. Se Op , e se uma alternativa dentica para , ento p . (C.O)rest Se Op , e se uma alternativa dentica para pelo menos um , ento p . (C.OO*) Se Op , e se uma alternativa dentica a , ento Op . (C. P*) Se Pp , ento p para ao menos uma alternativa dentica para . (C.o* ) Se Op , ento p para ao menos uma alternativa dentica para . No artigo de 1971 no qual Hintikka expe com mais detalhe as clusulas em questo aparece uma considerao significativa com relao ao contedo das sentenas denticas. Explica-se ali que na lgica dentica deve-se ser capaz de discutir muitos predicados ou atributos (propriedades e relaes) de atos (humanos). Hintikka (1971) tem em mente que as letras utilizadas para representar estes atos no representam atos individuais, mas esto por certas caractersticas de atos individuais (ou para caractersticas gerais de n-tuplas de tais atos individuais) o

65

que significa dizer que as obrigaes e permisses devem ser entendidas como obrigaes e permisses impessoais. As condies estabelecidas para a caracterizao de um sistema modelo de lgica dentica so, como explica Hintikka (1971), o resultado de algumas observaes a respeito de como frmulas da forma Op e da forma Pp afetam a satisfabilidade de um conjunto de frmulas. Seu exemplo traz a pergunta o que significa dizer que a frmula Pp satisfatvel?. A resposta remonta idia de mundos possveis (j apresentada na formulao de Hintikka, cf. seo precedente) no sentido de que a frmula diz respeito a algo que poderia ser ou acontecer dado outro, ou outros, estados de coisas. Ele afirma o seguinte (Ibid., p. 70):
Em outras palavras, afirmando que p permissvel em um mundo est-se conseqentemente afirmando que este mundo pode ser consistentemente pensado como sendo substitudo por um outro no qual p o caso, mas no qual todas as obrigaes so, todavia, cumpridas41.

Sendo assim, a condio (C.P*) caracteriza formalmente a idia de que p permissvel somente se em alguma alternativa dentica ao mundo no qual figura a permisso (), alternativa na qual as prescries exigidas em so satisfeitas, p for o caso. Isto tambm quer dizer, de acordo com Hintikka (1971), que algo s permissvel se for compatvel com as demais normas. Tal compatibilidade depende da suposio de que o conjunto modelo em questo consistente, o que garantido pelas condies que definem um conjunto modelo42. A condio (C.O*), por sua vez, estabelece que os mundos alternativos ao qual uma obrigao vigente, so mundos nos quais todas as obrigaes exigidas neste mundo so realizadas. (C.O)rest apresenta uma especificao importante: dado que no mundo alternativo ao qual se encontra uma sentena deonticamente determinada podem aparecer novas sentenas deste tipo (novas obrigaes, permisses ou proibies), esta clusula pretende oferecer a garantia de que as novas obrigaes sejam igualmente cumpridas. s vezes ocorre, na transio de uma alternativa dentica para outra, que as novas obrigaes resultam da permissibilidade de uma ao:
In other words, in saying that p is permissible in a world we are therefore saying that this world can consistently be thought of as being replaced by another in which p is the case but in which all obligations are nevertheless fulfilled. 42 A condio que garante a consistncia do conjunto a do operador de negao: (C.~) Se p , ento ~p . (cf. HINTIKKA, 1969, p. 188).
41

66

A necessidade deste requerimento se torna patente em conexo com (C.P*): a permissibilidade de p em M pressupe mais do que apenas fosse o caso que p enquanto todas as normas manifestas de M so satisfeitas, i.e. que p poderia ser realizada sem violar nenhuma das obrigaes que realmente so vigentes em M. Freqentemente uma permisso pode ser dada de fato somente s custas de novas obrigaes que realmente tenham de ser cumpridas em N, se a verdade de p em N deva garantir sua permissibilidade em M (HINTIKKA, 1969, p. 186)43.

A idia de que conforme se transita de um mundo para o outro podem aparecer novas obrigaes poderia ser entendida do seguinte modo: o mundo atual um mundo no qual nem todas a aes so deonticamente determinadas, ao passo que a noo de mundo deonticamente mais perfeito quer sugerir que h mais aes determinadas deste modo. Ou seja, conforme os mundos vo sendo deonticamente mais perfeitos, h mais obrigaes e permisses vigentes. Dado que Hintikka (1971) concebe que os mundos deonticamente perfeitos abarcam a realizao das aes que so deonticamente determinadas no mundo a eles relacionados, e que estas realizaes devem preservar a compatibilidade entre obrigaes e permisses, plausvel pensar que se nestes mundos as novas obrigaes e permisses sero determinadas pelas mesmas regras que as antigas, e isto o que a condio (C.O)rest garante. (C. OO*) diz que as normas vigentes em um mundo devem continuar sendo vigentes nas alternativas denticas a este mundo e (C. o*) que cada norma pode ser pensada como sendo realizada em um ou outro mundo (HINTIKKA, 1969, p. 187). Hintikka (1969) conecta o desenvolvimento de seu mtodo semntico com uma discusso conceitual de noes normativas. Para tanto, ele procede com uma distino cuja relevncia parece extrapolar o mbito de seu trabalho, na medida em que poderia ser considerada como uma alternativa resoluo do dilema de Jrgensen. Esta distino tem como fundamento a idia de que as relaes entre conceitos normativos no so da mesma natureza que as relaes entre conceitos descritivos, embora Hintikka (1969) no coloque a questo exatamente nestes termos. Ainda assim, a desconsiderao desta distino parece ser, de acordo com o autor, a origem de muitas falcias encontradas na literatura a respeito da lgica dentica.
"The need of this requirement becomes patent in connection with (C.P*): permissibility of p in M presupposes more than that it could be the case that p while all the overt norms of M are satisfied, i.e. that p could be realized without violating any of the duties that actually obtain in M. Often, a permission
43

67

A fundamentao de Hintikka (1969) para a distino entre conseqncia lgica e conseqncia dentica remete a uma pergunta pelo significado da afirmao da validade de uma sentena do tipo (p q). Por meio do seu mtodo semntico a resposta , certamente, que a sentena (p & q) no satisfatvel. Ele tambm procura afirmar um significado intuitivo ao explicar que a validade da sentena (p q) quer dizer que no se pode pensar na realizao de p sem a realizao de q. Ao considerar questes que envolvem conceitos normativos, por outro lado, aparece uma diferena bastante significativa, a saber: no se est perguntando simplesmente pelo que pode ou no ser realizado (efetivado em algum mundo possvel), mas sim o que pode ou no ser realizado sem que nenhuma obrigao seja violada (HINTIKKA, 1969, p.191). Em outras palavras, os mundos alternativos em questo no so mais quaisquer mundos possveis, mas os mundos deonticamente perfeitos. Esta idia j foi apresentada anteriormente44, mas a novidade que a abordagem de Hintikka (1969) oferece diz respeito justamente distino entre tipos de relao de conseqncia que resulta de seu tratamento:
[...] estamos considerando no a satisfabilidade de (p & q), mas a satisfabilidade de P(p & q), em outras palavras, no a validade de (p q), mas a validade de O(p q). Se (e somente se) a primeira sentena vlida diz-se usualmente que q logicamente implicada por p ( uma conseqncia lgica de p). Se (e somente se) a ltima sentena O(p q) vlida, devemos dizer que q deonticamente implicada por p ( uma conseqncia dentica de p) (Ibid.)45.

Hintikka (1969) observa que o fato de esta distino ser geralmente negligenciada pelos estudiosos da lgica dentica explica as confuses que surgem quando do tratamento formal dos conceitos normativos. Como j mencionado na abordagem do dilema de Jrgensen, os tratamentos puramente sintticos da lgica dentica deixam um espao em aberto para que as interpretaes do clculo dentico estejam sujeitas a ambigidades fundamentais. Tratar das inter-relaes

can in fact be made use of only at the expense of new duties which of course have to be fulfilled in N if the truth of p in N is to guarantee its permissibility in M." 44 Na p. 49, segundo captulo. 45 [...] we are considering, not the satisfability of (p & q), but the satisfability of P(p & q), in other words, not the validity of (p q), but the validity of O(p q). If (and only if) the former sentence is valid q is usually said to be logically implied by p (to be a logical consequence of p). If (and only if) the latter sentence O(p q) is valid, we shall say that q is deontically implied by p (is a deontic consequence of p). (Ibid.)

68

dos operadores denticos como se eles abarcassem as mesmas exigncias impostas aos operadores alticos, ou das relaes de conseqncia dentica como se fossem de conseqncia lgica, uma fatalidade que Hintikka (1969) ilustra atravs da metfora do leito de Procusto conectando a predominncia do paradigma da implicao lgica com a intolerncia da atitude da figura mitolgica.46 Exemplos de como a distino de Hintikka (1969) pode ser utilizada em favor da lgica dentica no so to raros. Ser apresentado o exemplo de Hintikka, que interpreta o Princpio de Kant como um exemplo de conseqncia dentica. 4.3 A apropriao de noes kantianas Esta seo apresentar as semelhanas entre o tpico A) e B) de Hansson e 3) e 4) de Hintikka, do seguinte modo: A) e 3) sero relacionadas por meio da reinterpretao da noo de Reino dos Fins e B) e 4) com a discusso do princpio de Kant. Lembrando que A) uma das categorias de discusso que podem aparecer com o tratamento formal, a saber, sobre novos aspectos de questes j discutidas em filosofia informal ou no-formal e 3) a operao pela qual Hintikka pretende possibilitar a interpretao de doutrinas tradicionais da filosofia no mbito do quadro referencial que a anlise semntica produz. Por sua vez B) aponta para a relevncia de questes ainda no discutidas em filosofia informal que entretanto possuem caractersticas filosficas relevantes, enquanto 4) se refere a certos procedimentos de codificao pelos quais se prope que devam passar as intimaes de nosso senso lgico, que no caso em questo na abordagem de Hintikka (1969) parece ser a interpretao de uma relao de conseqncia dentica como se fosse uma relao de conseqncia lgica. Em outras palavras, a tentativa de aproximao entre B) e 4) realizada por se acreditar que a distino de Hintikka (1969), consistindo na referida estratgia de codificao do que comumente considerado como um tipo de relao lgica entre sentenas, oferece mais um exemplo de questionamento filosfico que pode resultar da abordagem formal de certos conceitos.
Procusto o forte e gigantesco filho de Poseidon, habitante de Eleusis, que obrigava seus hspedes a dormir em uma cama da qual nunca tinham o mesmo tamanho. Se eles fossem maiores que a cama, cortava-lhe os ps ou a cabea e se fossem menores, esticava-os at que morressem, como os primeiros. A imagem utilizada para ilustrar a inflexibilidade presente na tentativa de
46

69

Sendo assim, primeiramente ser apresentada a aplicao do conceito de conseqncia dentica ao Princpio de Kant. Esta denominao aplicada ao princpio do dever implica poder que, como lembra Hintikka (1969), j foi discutida por von Wright (1963) e diz respeito questo sobre se os deveres implicam na possibilidade de que sejam seguidos. Chama-se assim ao princpio em questo porque Kant, tanto na CRP como na CRPr, apresenta a idia de que a prpria liberdade considerada moralmente fruto da possibilidade de se agir por dever. Em termos kantianos, se a razo apregoa que os atos morais devem acontecer, necessrio que igualmente possam acontecer (cf. A 807/ B 835). O Princpio de Kant expresso formalmente nos seguintes termos: (1) Op Mp Sentena que no vlida de acordo com as assunes de Hintikka (1969). Para expressar argumentos em favor do princpio, o autor menciona o argumento segundo o qual uma pessoa no pode ser obrigada a fazer algo que no seja capaz de fazer. Ele recusa este argumento pela afirmao de que est tratando de sentenas normativas impessoais, como j mencionado acima, e que portanto no pode entrar em considerao o fato de algum em particular no ser capaz de realizar uma determinada ao. O que Hintikka (1969) prope uma interpretao da sentena (1) como um caso que expressa a relao de conseqncia dentica, o que torna vlida a sentena: (2) O (Op Mp) A validade de 2) provada com a apresentao da no-satisfabilidade da negao de (2). Este seria o exemplo de como as operaes B) de Hansson (2000) e 4) de Hintikka (1969) podem ser conectadas. Interpretar o Princpio de Kant como um caso de conseqncia dentica uma proposta que traz discusso filosfica um

considerar as relaes entre modalidades denticas como se fossem relaes entre modalidade alticas.

70

aspecto novo, ou que, no mnimo, pretende garantir uma certa coerncia ao princpio amplamente discutido por pensadores do ramo da tica contempornea. Alm disso, sua interpretao remonta conexo que Kant estabelece entre o exerccio da liberdade humana e a participao dos seres racionais no mundo das coisas em si, assimilado por Kant ao seu Reino dos Fins. O que torna possvel interpretar o Princpio de Kant como expresso de uma relao de conseqncia dentica o fato de que no mundo moral que pode ser considerado como o mundo deonticamente perfeito em relao ao mundo atual todas as obrigaes morais so seguidas. O fato de o homem ser capaz de pensar um tal mundo , para Kant, o fundamento da possibilidade de que o homem haja pelas leis morais. Hintikka (1969) afirma:
O que Kant est dizendo no tanto que uma obrigao implica logicamente a possibilidade de segu-la, mas ao invs disso, que a necessidade de ser hbil para pensar (apenas como uma Idia) em todas as obrigaes como sendo seguidas em algum mundo (ao menos no mundo numenal ou no Reino dos Fins) mostra a possibilidade de agir de acordo com nossos deveres.47

Com a conexo entre a exigncia kantiana de que a possibilidade de pensar a execuo de todos os deveres e o que as condies (C.O.)rest e (C.O*) requerem, torna-se mais clara a comparao que Hintikka (1969) efetua entre suas alternativas denticas e o mundo moral de Kant. Alm disso, ele acaba propondo que a tendncia total do pensamento de Kant sobre questes morais sugere fortemente a interpretao de seu princpio do dever-poder como uma conseqncia lgica ao invs de dentica. (Ibid.).48 No que se refere possibilidade de convergncia entre as operaes A) de Hansson (2000) e 3) de Hintikka, dir-se- que Hintikka (1969, p. 189) assume que as condies de sua semntica esto baseadas na idia do Reino dos Fins kantiano. Ele acredita que ela seja a mais importante verso de uma idia desenvolvida por muitos autores da filosofia moral tradicional. Assegurando corretamente que o Reino
What he is saying is not so much that an obligation implies the possibility to fulfill it, but rather that the necessity of being able to think (if only as an Idee)of all our obligations as being fulfilled in some one world or I the Kingdom of Ends) shows the possibility of acting in accordance with our duties. Deve-se ter em mente que a terminologia de Hintikka de acordo com o dever parece no levar em conta a distino estabelecida por Kant entre agir de acordo com o dever e agir por dever, sendo que a ao propriamente moral a do segundo tipo. 48 The whole trend of Kants thinking in moral matters strongly suggests interpreting his sollenknnen principle as a deontic rather than a logic consequence.
47

71

dos Fins pensado por Kant como um mero ideal, (ou seja, no que a sua realizao no possa ser uma questo de fato, mas que todos os seres racionais esto aptos a pensar neste ideal de modo consistente) afirma tambm que segundo Kant o estado de coisas que corresponde ao Reino dos Fins seria realizado somente se todas as mximas baseadas no Imperativo Categrico fossem seguidas sem exceo. Em se tratando de afirmaes que pretendem apenas ilustrar como se pode entender a exigncia de perfeio s quais esto submetidas as alternativas denticas em sua semntica, a interpretao de Hintikka (1969) no problemtica. Ainda mais porque ele, ao dizer que o Reino dos Fins tomado, de sua perspectiva, como o mundo tal como seria se todos os diversos seres racionais sempre honrassem todas as suas obrigaes (deveres) (HINTIKKA, 1969, p. 189)
49

assevera que est realizando uma simplificao, generalizando um pouco (Ibid.). Com isso o paralelo traado entre sua noo de alternativa dentica e a de Reino dos Fins de Kant pode ser considerado como uma reinterpretao bem fundamentada:
A esse respeito, um Reino dos Fins kantiano como uma alternativa dentica ao mundo atual. Estas alternativas denticas so tambm mundos deonticamente perfeitos do tipo: todas as obrigaes, tanto aquelas vigentes no mundo atual como as que so vigentes em um tal mundo possvel alternativo, so tomadas para serem seguidas em cada um deles (Ibid.)50.

A interpretao de Hintikka (1969) afirma tambm que o Imperativo Categrico o princpio de todas as mximas no apenas no mundo atual, mas tambm no Reino dos Fins. A finalidade desta afirmao a tentativa de justificar o paralelo da idia de Kant com sua semntica, principalmente no que diz respeito s condies (C.O*) e (C.O)rest que garantem que as obrigaes antigas como as que podem surgir sejam igualmente seguidas. A relao entre o mundo atual e os mundos denticos alternativos tambm pauta do paralelo de Hintikka (1969). Ele diz que as alternativas denticas podem
49

The world such as it would be if all and soundry rational beings always honored all their obligations (duties). 50 In this respect a Kantian Kingdom of Ensd is like a deontic alternative to the actual world. These deontic alternatives are also deontically perfect worlds of sorts: all obligations, both these that obtain in the actual world and those that would obtain in such an alternative possible world, are assumed to be fulfilled in ach of them.

72

ser consideradas como realizaes dos ideais normativos vigentes no mundo dado, e que deles se pode afirmar o mesmo que Kant afirma da noo intimamente relacionada com a de Reino dos Fins: a de mundo inteligvel. Como j se teve a oportunidade de ilustrar (no primeiro captulo, p. 35), Kant concebe o mundo inteligvel como um ponto de vista tomado pela Razo para que possa ser considerada a si mesma como prtica. Para Hintikka (1969), a formulao de Kant pode ser aproximada da sua na medida em que seja possvel trocar a afirmao sobre o carter prtico da Razo por uma outra, mais neutra, que se refira habilidade de pensar a si mesma como agindo de acordo com seus princpios normativos. Para concluir sua interpretao, Hintikka (1969) faz notar mais uma vez que a noo de alternativa dentica uma variante relativizada da noo de Reino dos Fins, na medida em que uma noo mais fraca que a de Kant. Isto se justifica na medida em que o papel conferido ao conceito de obrigao, na abordagem de Hintikka (1969), muito menor do que em Kant. Na semntica o autor no se postula nada parecido com o Imperativo Categrico como princpio para todas as aes, nem a necessidade de que as mximas para as aes moralmente consideradas devam poder ser universalizveis. Alm disso, e o que parece ser a diferena mais significativa com relao a Kant, a variedade de alternativas denticas com relao ao mundo dado pode ser mltipla. Por outro lado, o Reino dos Fins de Kant considerado por muitos intrpretes como representante de um rigorismo fervoroso, por sua total aderncia ao conceito de dever na esfera da moralidade dificilmente pode ser interpretado como uma alternativa entre outras. Em termos tcnicos, a concepo kantiana consideraria apenas um modelo, enquanto a de Hintikka (1969) leva em considerao diversos modelos para as modalidades denticas. Por exemplo, pode haver um modelo no qual h apenas dois conjuntos modelo, um dos quais o mundo atual e o outro o Reino dos Fins e pode haver um outro modelo no qual h uma seqncia infinita de mundos cada vez deonticamente mais perfeitos, ou no qual h mais de um Reino dos Fins. Estas consideraes pretendem ser suficientes para a ilustrao das possveis conexes entre a proposta de Hintikka (1969) de que os procedimentos semnticos para a lgica dentica possam ser considerados como um tipo de anlise cuja estrutura seja um caso paradigmtico para os procedimentos de anlise

73

filosfica em geral e as questes que Hansson (2000) acredita serem o resultado de tratamentos formais adequados.

74

5 CONCLUSO
O papel da noo de Reino dos Fins na filosofia prtica de Kant foi apresentado, no primeiro captulo, a partir das formulaes do Imperativo Categrico, de modo a tornar possvel uma compreenso mnima das concepes fundamentais desta doutrina. No pretendendo um estudo exaustivo da mesma o que justifica o fato de que o nico texto de filosofia moral de Kant que se considerou aqui foi a FMC seno uma viso geral a respeito do sistema de Kant, a estratgia de abordagem consistiu em apresentar a classificao qual Kant submeteu os juzos na CRP em paralelo com a classificao qual submeteu os imperativos na FMC. Dado que esta abordagem, baseada nas idias de G. Patzig, acabou por indicar um problema, a saber, o de fundamentar o uso somente analgico que Kant fez da terminologia classificatria dos juzos quanto aos imperativos, foi preciso recorrer a um tipo de abordagem que desse conta da possibilidade deste uso analgico em termos da doutrina das faculdades. Pde-se indicar com isso que a concepo do duplo ponto de vista qual Kant submete suas consideraes a respeito da moralidade de importncia fundamental para o seu pensamento. E justamente esta concepo que possibilita a Hintikka (1969) considerar Kant como o representante mais importante das idias que iro fundamentar sua semntica. O que importa aqui destacar que embora a concepo do homem como um ser que participa de dois mundos distintos (o mundo sensvel e o mundo inteligvel) remonte a Plato, Kant figura, de acordo com Hintikka, como o expoente das idias fundamentais de sua semntica por ter colocado a noo de Reino dos Fins de modo que ele seja um ideal normativo, cuja realizao no deve ser considerada uma questo de fato, mas que ainda assim deve permanecer como parmetro para a avaliao da moralidade das aes. A semelhana entre a concepo kantiana e a de Hintikka se fundamenta precisamente no fato de que as regras que devem ser seguidas no mundo atual (o mundo sensvel, na terminologia de Kant) so pensadas como sendo seguidas no mundo inteligvel, concebido na imagem do Reino dos Fins.

75

Com relao ao segundo captulo pode-se dizer que uma espcie de estudo introdutrio lgica modal proposicional, na medida em que realiza um resgate histrico mnimo sobre esta disciplina no sculo XX, bem como expe seus principais modos de abordagem. Deliberadamente no foram desenvolvidas consideraes acerca das variadas e instigantes questes filosfico-metafsicas que foram originadas a partir do desenvolvimento deste ramo da lgica, mas preciso notar que isso se deve ao fato de que a relevncia destas questes, assim como o grau de sua complexidade, mereceria um trabalho parte. A nica discusso de tonalidade filosfica para a qual se atentou neste captulo foi a apresentao do dilema de Jrgensen, e de duas propostas para a sua soluo. Na medida em que o desdobramento da lgica modal na lgica dentica no pode deixar de levar em considerao um questionamento de cuja resoluo parece depender o status lgico das relaes entre sentenas de carter normativo, surge um questionamento ainda mais fundamental a respeito do mbito da lgica mesma: a possibilidade de que no seja definida em termos das relaes de verdade entre sentenas. Esta possibilidade foi trazida discusso por meio da abordagem dos juristas Alchourrn e Martino (1987). Sua tentativa de resoluo do dilema de Jrgensen tem como tese exatamente a idia de que a noo abstrata de conseqncia de Tarski o ponto do qual deve partir a reconstruo e fundamentao da lgica. certo que esta dissertao no pretende dar razo a esta pretenso, porm, indic-la parece ser uma das maneiras de ilustrar que as caractersticas filosficas das questes que surgem com o tratamento formal das noes normativas podem ter uma relevncia mpar. Pensando na relevncia destas questes que a parte principal deste trabalho foi desenvolvida. Deve-se dizer que no se pretendeu mais do que uma ilustrao a respeito de como possvel que o tratamento formal de alguns conceitos e suas relaes, e em particular dos conceitos normativos e as relaes entre proposies que os contm, resulte tanto em reformulaes de certas concepes s quais se levado pelo uso da linguagem comum, como em reinterpretaes de conceitos filosficos tradicionais. Sendo assim, o terceiro e ltimo captulo exps o modo como a formalizao pode ser uma ferramenta precisa de anlise filosfica, baseado nas indicaes de S. O. Hansson a este respeito. A semntica de Hintikka foi apresentada com o intuito

76

de exemplificar a preciso deste tipo de procedimento, alm de tambm trazer tona o fato de que ele acredita nas abordagens de conceitos normativos como um modo de ilustrar a convenincia dos tratamentos semntico-formais. O mbito da lgica dentica, dado o carter problemtico das questes referentes sua interpretao, afigura-se como um meio de investigao bastante frutfero. As questes que podem resultar em conexo com o dilema de Jrgensen so o exemplo mais claro disso. A diversidade de sugestes a respeito da melhor maneira de se considerar as normas num cenrio lgico aponta para um campo de trabalho cujas propostas podem variar amplamente. Um exemplo de como este meio pode ser desenvolvido poderia ser o estudo das normas do ponto de vista do funcionamento dos ordenamentos jurdicos, em contraposio ao estabelecimento de normas morais ou sociais. Por outro lado, considerando as afirmaes de Hintikka sobre a distino entre relao de conseqncia lgica e conseqncia dentica, uma investigao acerca do Princpio de Kant direcionado questes ticas seria um bom caminho a ser desenvolvido em pesquisas posteriores.

6 REFERNCIAS BIBLIOGRFICAS
ALCHOURRN, Carlos E. Y; MARTINO, Antonio A. Logica sin verdad. In: Theoria. Ao III, n.7-8, p. 7-43, 1987. DELEUZE, G. A. Filosofia Crtica de Kant. Traduo de Germiniano Franco. Lisboa: Edies 70, 1994. FOLLESDAL; HILPINEN. Deontic Logic: An Introduction. in: HILPINEN, Risto. Deontic Logic: Introductory and Systematic Readines. Boston, v. 33, p. 1-35, 1971. GOLDBLATT. R. Mathematical Modal Logic: a View of its Evolution. In: Journal of Applied Logic. London, vol. 1, n. 5 - 6, p. 309-92, Oct., 2003. GOMES, N. Lgica Dentica. In: Enciclopdia de Filosofia Moral. Antnio Marques (ed.), Lisboa, no prelo. HAACK, S. Filosofia das Lgicas. Traduo de C. A. Mortari e L. H. A. Dutra. So Paulo: UNESP, 2002. HANSSON, S.O. Formalization in Philosophy. In: The Bulletin of Symbolic Logic. Melbourne, v. 2, p. 162-175, Jun., 2000. HINTIKKA, J. Deontic Logic and its Philosophical Morals. In: Models for Modalities-selected Essays. J. Hintikka (ed.). Dordrecht, Holanda, p. 184-214, Reidel Publishing Company, 1969. __________ Some Main Problems of Deontic Logic. In: Deontic Logic. Risto Hilpinem (ed.) Dordrecht, Holanda: D. Reidel Publishing Company, p. 54-104, 1971. HUGHES, G. E. ;CRESSWELL, M. J. Introduccin a la Lgica Modal. Traduo de Esperanza Guisan Seijas. Madrid: Tecnos, 1973. KANT, I. Crtica da Razo Pura. Traduo de Manuela Pinto dos Santos e Alexandre Fradique Morujo. Lisboa: Fundao Kalouste Gulbenkian, 1997. _______ Fundamentao da Metafsica dos Costumes - FMC. Traduo de Paulo Quintela. Lisboa: Edies 70, 2002.

78

ORAYEN, R. Lgica Modal. In: Enciclopdia Ibero Americana de FilosofiaLgica. C. E. Alchourrn, J. M. Mendez e R. Orayen (eds.). Madrid: Editorial Trotta S.A., 1995, p. 289 322. PATON. H. J. The Categorical Imperative. A Study in Kantian Moral Philosophy. Philadelphia: University of Pennsylvania Press, 1971. PATZIG, G. Etica sin metafsica. Trad. de Ernesto Garzn Valds. Buenos Aires: Alfa, 1975. ROOS, A. Directives and Norms. In: Theoria, London, p. 53, 1997. STEGMLLER, W. A Filosofia Contempornea: Introduo Crtica. So Paulo, v. 2., EPU, Edusp, 1977. WRIGHT, G. H. von. Deontic Logic: A Personal View. Ratio Jris, v. 12, n.1, p. 2638, 1999. ________________. Ensayo de Logica Modal. Traduco: Atilio A. Demarchi. Buenos Aires: Santiago Rueda, 1970. ________________. Is there a logic of norms? In: Six essays in philosophical logic. Acta Philosophica Fennica. Helsinki, v. 60, p. 36-53, 1996. ________________. Un Ensayo de Lgica Dentica y La Teoria General de la Accin. Traduo de Ernesto Garzn Valdz. Ciudad de Mxico: Universidad Nacional Autnoma de Mxico, 1976.