UNIVERSIDADE FEDERAL DE SANTA MARIA

CENTRO DE CINCIAS SOCIAIS E HUMANAS

PROGRAMA DE PS-GRADUAO EM FILOSOFIA









REDUO PLENA DO DENTICO AO NTICO








DISSERTAO DE MESTRADO






Diogo Lindner






Santa Maria, RS, Brasil
2008

REDUO PLENA DO DENTICO AO NTICO






Por




Diogo Lindner




Dissertao apresentada ao Curso de Mestrado do Programa de
Ps-Graduao em Filosofia, rea de Concentrao em
Filosofias Continental e Analtica, 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

2008


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



REDUO PLENA DO DENTICO AO NTICO


elaborada por
Diogo Lindner



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. Abel Lassalle Casanave
(UFSM)





Santa Maria, 06 de maro de 2008.

AGRADECIMENTOS
Sou profundamente grato...

aos meus familiares e amigos, pelo apoio em todos os momentos,
ao professor Frank Thomas Sautter, pela pacincia e dedicao em todos
estes anos,
aos excelentes professores do curso de Filosofia da UFSM, em especial ao
professor Abel Lassalle Casanave, pela contribuio para minha formao e pelos
puxes de orelha,
UFSM e a CAPES, pelo financiamento, o qual possibilitou a realizao
deste trabalho

RESUMO

Dissertao de Mestrado
Programa de Ps-Graduao em Filosofia
Universidade Federal de Santa Maria

REDUO PLENA DO DENTICO AO NTICO

AUTOR: DIOGO LINDNER
ORIENTADOR: PROF. DR. FRANK THOMAS SAUTTER
Data e local da defesa: Santa Maria, 06 de maro de 2008.

A presente dissertao tem como objetivo uma apresentao da proposta de Charles
Kielkopf, de traduo da lgica dentica standard em uma lgica normal altica e de seus
resultados quanto construo de um sistema de lgica dentica que capture conceitos e
princpios kantianos como necessidade causal e as formulaes do Imperativo Categrico
acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em
uma interpretao de aspectos da filosofia kantiana, optou-se inicialmente por uma
apresentao em linhas gerais destas concepes e, tendo em vista as dificuldades
referentes a aplicabilidade de um processo de traduo entre princpios denticos e nticos,
fez-se necessria tambm uma exposio acerca do problema das barreiras inferenciais,
bem como de sua conseqncia mais imediata, a saber, o Dilema de Jrgensen. Num
segundo momento, tambm foi feita uma caracterizao dos sistemas modais normais, tanto
denticos quanto alticos, bem como da noo de traduo entre lgicas e dos modelos de
Dawson. O captulo final consiste justamente num exame crtico da proposta de Kielkopf, o
qual faz uso dos modelos de Dawson para desenvolver uma lgica dentica a partir do
sistema lgico K1. Tais modelos de Dawson permitem a definio de uma lgica dentica
em termos de modalidades alticas iteradas, com o que este modelo constitui-se em uma
maneira de evitar os problemas referentes s barreiras inferenciais. O desenvolvimento de
uma alternativa para a atribuio de um status lgico a concepes denticas no constitui,
contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na
utilizao por Kielkopf, de seu modelo formal como uma ferramenta para a investigao de
concepes filosficas, no caso, as concepes kantianas j citadas.

Palavras-chaves: Lgica dentica; Anlise filosfica; Reino dos Fins; Traduo entre
lgicas; Kant; Kielkopf.

ABSTRACT

Masters Thesis
Programa de Ps-Graduao em Filosofia
Universidade Federal de Santa Maria, Brazil

DEONTIC TO ONTIC FULL REDUCTION

AUTHOR: DIOGO LINDNER
ADVISOR: PROF. DR. FRANK THOMAS SAUTTER
Date and Place of Defense: Santa Maria, March 06, 2008.

The current dissertation has as its main objective an exposition and critical analysis of
Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic,
and the resulting construction of a system of deontic logic that captures Kantian fundamental
concepts and principles such as the concept of causal necessity and the formulations of the
Categorical Imperative concerning Kingdom of Nature and Kingdom of Ends. Since this
process results in an interpretation of aspects of the Kantian philosophy, it has been chosen,
initially, a presentation in general lines of these concepts and, considering the difficulties
regarding the applicability of a translation process between deontic and ontic principles, it
was done necessary also an exhibition concerning the problem of the inferential barriers, as
well as of his more immediate consequence, i. e., Jrgensen's Dilemma. In a second
moment, it was also made a characterization of normal modal systems, deontic ones and
alethic ones, as well as of the notions of translation between logics and of Dawson modelling.
The final chapter consists of a critical examination of Kielkopf's proposal, which uses Dawson
modelling to develop a deontic logic based on the alethic system K1. Such Dawson
modelling allows the definition of a deontic modalities in terms of iterated alethic modalities,
therefore this model constitutes a way of avoiding the problems regarding inferential barriers.
The development of an alternative for attribution of logical status to deontic concepts doesn't
constitute, however, in an innovative aspect of this proposal, such aspect can be founded in
the use made by Kielkopf of his formal model as a tool for the investigation of philosophical
concepts, such as the Kantian concepts already mentioned.

Key Words: Deontic Logic; Philosophical Analysis; Kingdom of Ends; Translations between
logics; Kant; Kielkopf.

LISTA DE SIGLAS E ABREVIATURAS
Obras de Kant:
CRP - Crtica da Razo Pura
FMC - Fundamentao da Metafsica dos Costumes
Termos:
CPC - Clculo Proposicional Clssico
IC - Imperativo Categrico
LDS - Lgica Dentica Standard
RF - Reino dos Fins

SUMRIO
1 INTRODUO ...............................................................................................10
2 INSTRUMENTOS CONCEITUAIS .................................................................15
2.1 Kant e o estabelecimento de uma razo prtica............................................. 16
2.1.1 A boa vontade como princpio da moralidade................................................. 17
2.1.2 Razo como reguladora da vontade............................................................... 19
2.1.3 Imperativos como mximas para a ao ........................................................ 23
2.1.4 As formulaes do Imperativo Categrico ...................................................... 26
2.2 Barreiras inferenciais ...................................................................................... 32
2.2.1 Exemplos de barreiras inferenciais................................................................. 33
2.2.2 A Lei de Hume................................................................................................ 34
2.2.3 Conseqncias da Lei de Hume: O Dilema de Jrgensen ............................. 37
3 INSTRUMENTOS FORMAIS..........................................................................40
3.1 Sistemas modais normais............................................................................... 41
3.1.1 Caracterizao sinttica e semntica dos sistemas modais normais ............. 41
3.1.2 Sistemas modais normais alticos.................................................................. 43
3.1.3 Sistemas modais normais denticos .............................................................. 46
3.1.4 Iterao e reduo entre modalidades ........................................................... 47
3.1.5 Irredutibilidade de modalidades...................................................................... 48
3.2 Traduo entre lgicas ................................................................................... 48
3.3 Modelos de Dawson ....................................................................................... 50
3.4 Implicao estrita e implicao relevante ....................................................... 52


9
4 A PROPOSTA DE KIELKOPF DE UMA INTERPRETAO DA LGICA
DENTICA STANDARD...........................................................................................56
4.1 Panorama geral da proposta de Kielkopf........................................................ 56
4.2 Reduo plena da lgica dentica lgica altica ......................................... 63
4.2.1 Definies de Anderson via modelos de Dawson........................................... 63
4.2.2 Lies filosficas resultantes do processo de reduo plena ......................... 70
4.3 Lgica dentica Kantiana................................................................................ 73
5 CONSIDERAES FINAIS ...........................................................................84
6 REFERNCIAS BIBLIOGRFICAS ..............................................................88



1 INTRODUO
O presente trabalho tem por objetivo, a realizao de uma discusso referente
aos aspectos formais das relaes existentes entre proposies prescritivas e
proposies descritivas e a investigao acerca de suas possveis aplicaes com
relao a problemas filosficos.
Um dos principais exemplos onde esta relao se destaca o campo da
moral. Aqui, um estudo acerca da relao entre proposies prescritivas e
proposies descritivas traduz-se na busca por estabelecer normas de conduta
vlidas para um grupo de indivduos relacionando-as com as condutas efetivas de
tais indivduos. Pode-se considerar, ento, a seguinte analogia: enquanto
proposies descritivas podem ser estabelecidas por inferncias tericas a partir de
outras proposies descritivas, normas poderiam ser estabelecidas por inferncias
prticas a partir de outras normas.
Neste sentido, destaca-se a importncia da lgica como ferramenta
indispensvel para a realizao de uma anlise do problema. Esta anlise pautar-se-
ento pela busca de uma relao entre inferncias prticas e tericas, em outras
palavras, a busca por uma possvel relao proposies prescritivas e proposies
descritivas em um sistema lgico.
O estudo sobre a possibilidade de interao entre princpios denticos e no
denticos tem originado uma ampla discusso em vrias reas, sobretudo a lgica.
Deve-se observar, contudo, que a prpria concepo tradicional de lgica, segundo
a qual a mesma ocupa-se de proposies que admitem uma valorao de verdade,
impe uma srie de dificuldades a uma formalizao ou aplicao da mesma a


11
inferncias de carter prtico, uma vez que as proposies prescritivas no podem
ser consideradas como verdadeiras ou falsas segundo a concepo usual destes
termos.
A aplicao da Lgica ao normativo discutida no trabalho clssico de Jrgen
Jrgensen denominado Imperatives and Logic (Jrgensen, 1938/39). Jrgensen
(1938/39, p. 289) considera, com base em argumentos de Henry Poincar, que no
apenas impossvel uma derivao do dever ser do ser, como sequer o prprio
dever ser pode ser derivado do dever ser, uma vez que frases imperativas estariam
tambm impossibilitadas por suas caractersticas, de serem premissas em um
argumento lgico.
Contudo, o prprio Jrgensen reconhece a ocorrncia de inferncias nas
quais ao menos uma das premissas e/ou a concluso possuem forma imperativa.
Estas formas inferenciais so intuitivamente vlidas, o que contraria a concepo
tradicional de lgica constituindo-se no que o autor chama de um quebra-cabea, o
qual Ross denominou de Dilema de Jrgensen.
Levando-se em conta o objetivo geral do presente trabalho, escolheu-se como
objeto de estudo especfico uma srie de trabalhos de Charles Kielkopf, o qual nos
artigos intitulados K1 as a Dawson modelling of A. R. Andersons sense of ought
(KIELKOPF, 1974) e Kants deontic logic (KIELKOPF, 1975), intenta uma
formalizao de princpios morais atravs do recurso a modalidades denticas e
nticas (alticas), buscando o que ele prprio considerou como uma Lgica
dentica kantiana (KIELKOPF, 1975)
A proposta de Kielkopf fundamenta-se no trabalho de Allan R. Anderson, o
qual buscava uma soluo para o problema, muito semelhante encontrada na obra


12
de Leibniz
1
. Kielkopf busca ento sanar aspectos que ele considera como
inconvenientes na proposta de Anderson (e, por conseguinte na de Leibniz),
realizando assim uma reduo plena de uma lgica dentica a uma lgica altica, no
caso, um subsistema da lgica modal temporal K1.
A escolha do trabalho de Kielkopf como objeto de anlise principal desta
dissertao justifica-se devido aos resultados intentados pelo autor, o qual no se
detm unicamente no processo de traduo entre lgicas como um mero
procedimento formal para a transferncia de resultados entre diferentes sistemas
lgicos, mas sim faz uso de um resultado tcnico como argumento para a resoluo
de um problema filosfico, uma vez que Kielkopf faz uma anlise de seu processo de
traduo em termos kantianos, ou seja, Kielkopf busca uma aproximao de sua
proposta com a formulao do Imperativo Categrico kantiano que relaciona o Reino
da Natureza e o Reino dos Fins
2
.
especificamente com fundamento na formulao de um Reino dos Fins
que Kielkopf ir situar seu desenvolvimento de uma lgica dentica kantiana.
Kielkopf (1975) ir identificar a noo de que algo permitido como podendo
expressar uma Lei da Natureza. Esta noo kantiana ser relacionada noo
lgica de possivelmente necessrio. A interpretao do autor baseia-se na
necessidade prtica kantiana e, portanto no dever ser interpretada como
necessidade lgica, mas sim como causalmente necessria. (KIELKOPF, 1975, p.
43)

1
Talvez a contribuio mais original de Leibniz a rea seja seu estudo da interdefinibilidade das
modalidades denticas do permitido (justum, licitum), do proibido (injutum, illicitum), do obrigatrio
(adequum, debitum) e do facultativo (indebitum) a partir de uma analogia com a interdefinibilidade das
modalidades alticas do possvel (possibile), do impossvel (impossibile), do necessrio (necessarium)
e do contingente (omissibile). [...] Leibniz enuncia e demonstra princpios puramente denticos: o
princpio segundo o qual tudo o que obrigatrio tambm permitido, o princpio segundo o qual tudo
o que obrigatrio no proibido etc. Ele tambm enuncia e demonstra princpios mistos (denticos
e alticos): o princpio segundo o qual tudo o que necessrio tambm obrigatrio, o princpio
segundo o qual tudo o que permitido possvel etc. ele antecipa, relativamente a este tema, em
quase trezentos anos os trabalhos dos lgicos Arthur Norman Prior e Alan Ross Anderson.
(SAUTTER, In: BARRETTO, 2006, p. 526, 527)
2
Trata-se da formulao a qual Paton identifica como a Frmula IIIa (Paton, 1975, p. 129). esta
formulao pode ser encontrada na Fundamentao da Metafsica dos Costumes (KANT, BA 83, p.
81)


13
Dada esta relao, segundo Kielkopf (1975), o desenvolvimento de uma
lgica dentica kantiana, alm de aclarar as noes morais de Kant, possibilitar
tambm uma compreenso da noo de necessidade causal kantiana, sendo que
tambm ser possvel estabelecer uma base de comparao destas com as noes
morais cotidianas.
Tendo em vista os objetivos acima descritos, o presente trabalho articular-se-
da seguinte maneira: no captulo dois sero discutidos os instrumentos conceituais
que relacionam-se diretamente com a abordagem do problema por Kielkopf, tais
como a concepo kantiana acerca do estabelecimento de uma razo prtica por
meio da formulao do Imperativo Categrico, e os aspectos metaticos envolvidos
com o problema da relao entre princpios nticos e denticos na lgica.
Visto este aparato conceitual e as dificuldades impostas pelo mesmo,
considerar-se-, como hiptese, que a proposta de Kielkopf resolve a contento a
questo conceitual, sendo ento necessria, para que se compreenda esta proposta,
uma apresentao dos instrumentos formais dos quais o autor se utiliza no decorrer
de seu trabalho. Esta discusso ser feita no terceiro captulo desta dissertao, no
qual sero caracterizados os sistemas lgicos modais utilizados no decorrer do
trabalho e sero apresentadas as concepes acerca de traduo entre lgicas e
Modelos de Dawson, dentre outras.
Dados os instrumentos conceituais e formais necessrios para a
compreenso da proposta de Kielkopf, o quarto captulo consistir num exame crtico
da mesma. Sero discutidos e avaliados de forma separada, os dois artigos nos
quais Kielkopf apresenta sua proposta, a qual estabelece por meio da traduo
conservativa entre lgicas, uma formulao lgica para o Imperativo Categrico
kantiano, sendo que sero enfatizados os resultados alcanados pelo autor quanto
interpretao de concepes kantianas tais como necessidade e as formulaes do
Imperativo Categrico acerca do Reino da Natureza e o Reino dos Fins, as
eventuais semelhanas de sua proposta com concepes morais cotidianas, bem
como quanto s implicaes de seu sistema frente ao problema da traduo entre
lgicas denticas e alticas.


14
Sendo que o quarto captulo desta dissertao constituir-se- na parte
principal deste trabalho, cabe em seguida proceder s consideraes finais, onde
ser realizada uma sntese do trabalho, dedicando especial ateno ao carter
inovador da proposta de Kielkopf quanto a uma integrao entre resultados tcnicos
da lgica e questes de importncia filosfica, detendo-se ainda nas questes que,
findo este trabalho, permanecem em aberto, constituindo-se em possveis temas
para trabalhos futuros.
Cabe aqui ressaltar que, independentemente do sucesso ou no do intento de
Kielkopf, sua proposta reveste-se de especial importncia por apontar uma possvel
utilidade dos instrumentos formais, utilidade esta que vai alm de benefcios lgica
propriamente dita, por encarar resultados da lgica sob a forma de possveis
argumentos filosficos.

2 INSTRUMENTOS CONCEITUAIS
Uma caracterstica fundamental de qualquer discusso filosfica o seu
embasamento em teses e argumentos apresentados do modo mais preciso possvel,
os quais iro permitir, uma vez ordenados em um sistema, uma melhor apreciao
do que est em discusso. Da mesma maneira, ao se fazer uso de tcnicas formais
em um estudo filosfico, surgem questes que precedem esta aplicao, questes
estas cuja soluo est pressuposta pela prpria aplicao dos instrumentos formais.
Estas questes podem ser denominadas instrumentos conceituais e a aplicao de
qualquer tcnica formal, sem antes preocupar-se com os aspectos conceituais
pressupostos por essas tcnicas, terminaria por incorrer em um mero formalismo.
Em termos kantianos, poder-se-ia afirmar que a resoluo de questes
(instrumentos) conceituais consiste em condio de possibilidade para a aplicao
de qualquer tcnica formal a um problema filosfico.
Dentre estes instrumentos, podem ser citados como relevantes para situar as
teses de Charles Kielkopf: as barreiras inferenciais que interditam certas derivaes
na lgica, vista em sua concepo tradicional. As conseqncias que tais barreiras
acarretam para uma busca de um estatuto lgico para as relaes entre proposies
prescritivas e descritivas, bem como, no caso especfico da filosofia kantiana, as
noes acerca do imperativo categrico.
Com vistas a introduzir esta discusso, o presente captulo dividir-se- em
duas sees principais, a saber, na primeira seo discorrer-se- acerca das
formulaes kantianas do imperativo categrico, que podem ser encontradas em sua
Fundamentao da Metafsica dos Costumes (KANT, 2002), enfatizando a terceira


16
formulao do Imperativo Categrico (a formulao pelo Reino dos Fins), e tambm
se discorrer sobre a possibilidade de uma razo prtica.
Numa segunda seo, tratar-se- dos aspectos metaticos que possuem
relevncia para o presente trabalho. Estes consistem fundamentalmente no
problema das barreiras inferenciais e suas conseqncias para o estabelecimento
de relaes entre prescries e descries na lgica. Sendo dada inicialmente uma
conceituao de barreira inferencial para, a seguir, numa primeira subseo, tratar
de alguns exemplos das mesmas, em especial a chamada Lei de Hume que ser
discutida na subseo 2.2.2, a qual ir originar o assim chamado Dilema de
Jrgensen, referente aplicao de princpios da lgica tradicional a proposies
com contedo normativo. Por fim, em uma ltima subseo (2.2.3) ser apresentado
o prprio Dilema de Jrgensen, de forma a situar a discusso acerca da proposta de
Kielkopf.
2.1 Kant e o estabelecimento de uma razo prtica
A teoria tica kantiana foi desenvolvida principalmente em trs de suas obras,
a saber, Fundamentao Metafsica dos Costumes (1785), Crtica da Razo Prtica
(1788) e Metafsica dos Costumes (1797). Deter-nos-emos especialmente na
Fundamentao da Metafsica dos Costumes (FMC), uma vez que o exposto nesta
obra constitui uma base suficiente aos nossos objetivos.
Nesta primeira seo ser apresentada em uma subseo inicial, a noo de
boa vontade, por esta constituir-se em um princpio fundamental da filosofia moral
kantiana e atravs desta noo ser possvel vislumbrar o posicionamento tico
adotado pelo filsofo, que caracteriza-se tanto pela rejeio de uma tica
fundamentada em virtudes, quanto de uma tica conseqencialista, fundamentando
sua tica em princpios puramente formais.
Na subseo seguinte (2.1.2) tratar-se- da caracterizao kantiana da razo,
a qual constitui-se em fundamento da moral devido influncia que exerce sobre a


17
vontade, atravs da qual ela atua como reguladora da ao (razo prtica)
estabelecendo as mximas constituintes dos imperativos hipottico e categrico,
sendo este ltimo o imperativo que estabelece uma ao propriamente moral. A
caracterizao da razo segundo Kant assume importncia adicional devido
distino entre as duas formas da razo, a razo prtica e a razo terica, como se
tratando de dois aspectos de uma mesma razo, o que torna possvel justificar a
utilizao de um aparato lgico que seja aplicvel tanto no campo prtico quanto no
terico tal como o utilizado por Kielkopf.
Na subseo seguinte (2.1.3) sero caracterizados os dois tipos de
imperativos, de maneira a introduzir a discusso referente s formulaes do IC, em
especial as concernentes Lei da Natureza e ao Reino dos Fins, formulaes estas
que figuram como as principais para a compreenso da proposta de Kielkopf. Estas
sero apresentadas na ltima subseo (2.1.4), destacando suas possveis inter-
relaes com o trabalho de Kielkopf.
2.1.1 A boa vontade como princpio da moralidade
Em suas investigaes quanto tica, Kant no busca meramente um
moralismo normativo visando uma descrio de virtudes, mas busca o
estabelecimento racional de um princpio mximo para toda a moralidade. Com este
intuito, ele separa as noes acerca da moral, do contedo das aes (do
empirismo), visando com isto estabelecer elementos formais como condies
necessrias para qualquer ato moral.
O estabelecimento deste princpio mximo de moralidade parte inicialmente
da pressuposio de uma vontade, a qual deve ser boa em si mesma (boa vontade).
Kant (2002, BA// 1, 2, p. 21 - 22), na primeira parte da FMC distingue vrias
caractersticas ou talentos do esprito, dentre os quais destaca-se a vontade como a
faculdade humana responsvel pelo desenvolvimento de uma moralidade.
Quanto s demais caractersticas e qualidades elencadas pelo autor
possvel afirmar que, mesmo que dentre elas possam existir vrias que configurem-
se como virtudes humanas (por exemplo: coragem, deciso, ou o que o autor chama
de dons da fortuna, a saber sade, riqueza, etc. (KANT, BA// 1, p. 21)) podendo ser


18
consideradas como boas, elas contudo no podem ser consideradas como boas em
si mesmas ou absolutamente boas.
Com isto, o autor rejeita o estabelecimento de uma tica puramente
fundamentada em virtudes humanas, uma vez que as qualidades humanas
consideradas como virtuosas caracterizam-se como tais devido ao contexto em que
so utilizadas ou quanto s aes que as mesmas produzem (KANT, 2002, BA// 2, p.
22), (PATTON, 1971, p. 38). A adoo de tal tica revelar-se-ia falha segundo Kant
(2002, BA// 2, 3, p. 22 e BA// 9, p. 27) justamente por este carter contextual
segundo o qual determinadas virtudes ou atos considerados virtuosos devem ser
julgados, pois tais aes poderiam muito bem se prestar a interesses diversos que
no o agir por dever, com o que tais qualidades poderiam revelar-se como ms ou
egostas e, mesmo estando em conformidade ao dever, no se prestariam a um
julgamento moral acerca do indivduo que as possui.
Alm da rejeio de uma tica de virtudes, Kant tambm considera
inadequado o estabelecimento de uma tica fundamentada puramente nas
conseqncias ou resultados provenientes da ao. Deve-se considerar que assim
como as qualidades ou, como Kant (2002, BA// 8, p. 26) a elas se refere, as
faculdades humanas, o valor moral atribudo s aes tambm encontra-se
dependente da boa vontade. Kant fundamenta sua moralidade no agir por dever,
conceito o qual est relacionado estreitamente com o de boa vontade. Assim, o valor
moral de uma ao est estritamente ligado vontade que a produz e no aos
objetivos ou resultados da mesma, uma vez que estes poderiam ser atingidos de
forma contingente, independentemente de uma vontade considerada boa (KANT
BA// 15, p. 31), podendo ser tanto frutos de um acaso, quanto de aes levadas
cabo por motivos egostas ou frutos das inclinaes e desejos humanos.
Dessa maneira, a tica kantiana configura-se como uma tica do dever, a
qual puramente formal, uma vez que o que constitui uma vontade como boa a
pura inteno de praticar o bem, independentemente de qualquer outro interesse e,
como tal, que ela ir fundamentar o valor moral de uma determinada ao, nunca o
contrrio. Isto significa que uma boa vontade aquela que deve ser compreendida


19
em si mesma, independente de quaisquer objetivos a ela atribudos ou resultados
que dela se originam
3
.
2.1.2 Razo como reguladora da vontade
Assim como outros filsofos o fizeram no passado, Kant considera que o fato
de possuir e ser guiado por uma racionalidade ou faculdade da razo, como ele a
considera, uma das principais caractersticas que distingue o ser humano de todo
o resto do mundo natural ao seu redor
4
.
O ser humano possui esta caracterstica que o distingue dos demais seres
vivos e que como tal a mesma deve desempenhar uma funo, a esta faculdade
cabe o papel de reguladora da vontade humana. Kant (2002. BA// 36, p. 47)
considera que tudo na natureza possui um fim determinado e como o homem
constitui-se em parte dessa natureza, tambm deve possuir um fim ou objetivo
ltimo, sendo que todas as faculdades de que dotado tambm devam possuir uma
funo determinada.
Neste ponto, o autor estabelece uma distino entre a esfera da natureza e a
esfera humana, partindo da pressuposio de que, se o objetivo maior do ser
humano fosse a obteno da felicidade atravs da mera satisfao de suas
inclinaes e necessidades, e sendo que a racionalidade humana atua como guia da
vontade, a mesma desempenharia um papel inferior ao das volies e instintos, pois
no que tange busca da satisfao dos impulsos, estes atuariam com uma
eficincia muito maior que a razo na tarefa de guiar a vontade humana. Conclui-se
da que a razo humana deve cumprir um papel distinto da mera busca pela
felicidade (embora a mesma possa tambm atuar com vistas a esse fim). Assim, o
papel desempenhado pela razo humana seria o de uma faculdade prtica, a qual

3
Kant (2002, BA// 3, p. 23) compara a boa vontade a uma jia, e a utilidade (e dessa maneira a
ao resultante desta boa vontade) com o engaste da mesma. Assim o valor reside na jia, e no em
seu engaste, o qual seria til apenas para manuse-la e sem o qual a jia ainda possuiria seu valor.
4
importante lembrar obviamente que o autor considera que o ser humano tambm constitui-se
em parte da natureza.


20
exerce sua influncia sobre a vontade como um fim em si, originando assim uma boa
vontade.
A influncia da razo sobre a boa vontade e sua importncia para o
estabelecimento de uma noo moral de bem pode ser comprovada na seguinte
passagem da obra de Kant:
... a razo nos foi dada como faculdade prtica, isto , como faculdade que
deve exercer influncia sobre a vontade, ento o seu verdadeiro destino
dever ser produzir uma vontade, no s boa qui como meio para outra
inteno, mas uma vontade boa em si mesma, para o que a razo era
absolutamente necessria, uma vez que a natureza de resto agiu em tudo
com acerto na repartio das suas faculdades e talentos. Esta vontade no
ser na verdade o nico bem nem o bem total, mas ter de ser contudo o
bem supremo e a condio de tudo o mais, mesmo de toda a aspirao de
felicidade. (KANT, 2001, BA// 7, p. 25, 26)
Estabelecido o papel desempenhado pela razo como uma faculdade prtica
como guia da boa vontade no sentido do agir moral, cabe agora discutir em termos
gerais qual o significado atribudo por Kant diferenciao entre a razo, em sua
forma prtica, e a razo terica.
O papel desempenhado pela razo como influncia sobre o agir humano tem
suas origens na antiga Grcia, desde os tempos de Plato, no se constituindo em
inovao a proposta por Kant (PATON, 1971, p. 78). O que se constitui em inovao
na filosofia kantiana a subdiviso que o autor faz entre duas formas distintas sob
as quais esta faculdade manifesta-se e influencia o pensamento e a ao humanas.
Kant distingue duas formas de razo, a saber, a razo prtica, que constitui-
se na razo como determinante da ao humana, e a razo terica atravs da qual o
homem formula conceitos (puros ou empricos) e os relaciona com a experincia. O
autor considera que ambas, longe de serem faculdades distintas, constituem-se em
manifestaes em mbitos diferentes, de uma mesma faculdade (PATON, 1971, p.
79).
Paton (1971, p. 81) considera que a razo terica exerce uma certa influncia
no agir humano, uma vez que o homem atua no mundo em que vive tendo como
base os conhecimentos que possui acerca do mesmo. medida que este
conhecimento se modifica ou se amplia, tambm a ao humana sofre alteraes.
Esta concepo parece levar em conta o que Kant considera um uso da razo no


21
sentido de derivar conceitos da experincia, bem como ligar conceitos a objetos.
Contudo, esta forma de influncia da razo terica sobre a ao no possui
nenhuma influncia no que Kant denomina de agir moral.
Paton (1971, p. 81) tambm chama ateno para similaridades existentes na
maneira como as duas formas de razo atuam. Segundo ele, da mesma maneira
que com a razo terica conhecemos objetos individuais como instncias de um
conceito, a razo prtica nos proporciona a capacidade de tomar nossas aes
individuais como instncias de um conceito (no caso a lei moral).
Antes de discorrer acerca da razo prtica e sua relao com o
estabelecimento de uma moral, importante atentar para algumas possveis
implicaes da concepo kantiana de um ncleo comum s duas formas de razo.
Partindo do pressuposto de que Kant faz uma especulao acerca da razo prtica e
da razo terica como desdobramentos de um ncleo comum a ambas, e supondo
que exista uma lgica referente a proposies prticas, torna-se perfeitamente
aceitvel pensar tambm na existncia de uma lgica possuidora de um ncleo
comum com desdobramentos tanto no campo prtico, quanto no terico. Nesta
lgica geral, resultante de um processo de abstrao das lgicas aplicadas a
proposies descritivas e a proposies prescritivas, resultaria na identificao de
dois plos distintos que, no campo terico poderia ser identificada com as
proposies indicativas passiveis de valorao de verdade, enquanto que, no campo
prtico, identificariam-se modelos de lgicas aplicadas a proposies com contedo
moral exemplificados, por exemplo, por aqueles que propem uma nova delimitao
do domnio lgico atravs de lgicas de validade objetiva, subjetiva, lgica de
satisfao, dentre outras, as quais sero discutidas em maiores detalhes no decorrer
deste trabalho. Esta hiptese tambm abriria uma possibilidade de se pensar numa
resoluo quanto ao impasse gerado pelas barreiras inferenciais
5
, uma vez que,
havendo um ncleo comum entre uma lgica no campo prtico e uma lgica no
campo terico, tambm torna-se justificvel a aceitao da existncia de relaes
entre operaes lgicas entre ambos os campos, pressuposto de grande importncia
para a abordagem a ser realizada no terceiro captulo do presente trabalho.


22
Vistas estas implicaes, proceder-se- a uma elucidao quanto ao papel da
razo prtica com relao a um agir moral, para que se possa chegar s noes de
mxima e imperativo.
Quanto razo prtica como orientadora da ao, possvel considerar que,
segundo a concepo kantiana de uma estruturao da natureza, mesmo o homem
age segundo leis. O que diferenciaria a ao humana seria ento o fato de que,
devido sua racionalidade, o homem seria capaz de agir em conformidade com sua
prpria concepo das leis. Isto originaria uma mxima, ou princpio subjetivo
orientador destas aes. O homem agiria ento em conformidade com as leis,
enquanto todo o resto da natureza atuaria segundo leis:
Tudo na natureza opera em conformidade com leis tanto quanto seu
funcionamento governado pelas leis de causa e efeito; mas embora uma
pedra, por exemplo, cai conforme a lei de gravitao, no (tanto quanto ns
saibamos) cai conforme sua concepo desta lei. Os movimentos e funes
do corpo do homem, e at mesmo - de acordo com Kant - de sua mente,
so igualmente governados pelas leis de natureza, inclusive a lei de causa e
efeito. Mas na ao algo mais que isto est presente. Ns j vimos que toda
ao tem sua mxima ou princpio subjetivo [...] (PATON, 1971, p. 81)
6

Assim, a mxima de uma ao configura-se como o princpio que orienta a
mesma em relao a um fim almejado ou representao de uma lei, ou seja, a
mxima possui estreita relao com o questionamento acerca do que se quer ao
realizar determinada ao. Para Kant (2002, BA// 14, 15, p. 31), ela um princpio
subjetivo do querer humano, a qual pode ou no estar relacionada a um princpio
prtico vlido para todo o querer humano e conseqentemente com uma ao que
possua ou no um valor moral. Paton, define da seguinte maneira a concepo
kantiana de mxima:

5
Os problemas referentes s barreiras inferenciais sero tratados em detalhes em outra seo
deste captulo.
6
Everything in nature works in accordance with laws so far as its working is governed by the laws
of cause and effect; but although a stone, for example, falls in accordance with the law of gravitation, it
does not (so far as know) fall in accordance with its conception of this law. The movements and
functions of mans body, and even according to Kant of his mind, are equally governed by laws of
nature, including the law of cause and effect. But in action something more than this is present. We
have already seen that every action has its maxim or subjective principle [...]


23
Ao menos em seres racionais finitos, no h nenhuma volio e nenhuma
ao sem uma mxima; e apenas porque ns agimos em conformidade
com mximas que pode ser dito que ns temos uma vontade (um querer).
Realmente Kant define uma vontade como um poder determinar a si mesmo
a ao conforme a concepo de certas leis - quer dizer, conforme as
mximas. E a mesma definio aplica-se ento a uma razo prtica sendo
que razo prtica identificada com a vontade (PATON, 1971, p. 82)
7
.
Por esta passagem pode-se perceber melhor a relao existente entre a
vontade e a razo prtica. Cabe, agora, analisar de que maneira, na concepo
kantiana esta vontade pode ser considerada como uma boa vontade, o que pode ser
feito atravs da elucidao das concepes kantianas de dever e do imperativo.
2.1.3 Imperativos como mximas para a ao
Como foi citado anteriormente
8
, a concepo de moralidade em Kant est
intimamente ligada ao conceito de dever, sendo que o autor faz uma distino entre
aes efetuadas em conformidade a um dever e aes morais, que so vistas como
deveres incondicionados, ou aes por puro respeito ao dever. Uma exposio mais
detalhada sobre estas distines pode ser encontrada na primeira seo da FMC e
considera-se redundante para os objetivos do presente trabalho realiz-la aqui, uma
vez que a caracterizao dos imperativos, enquanto relacionada com a concepo
de dever, contempla tal distino. Dessa forma, proceder-se- ento
caracterizao da concepo kantiana de imperativos e de sua importncia no que
se refere ao estabelecimento de uma moralidade.
Os imperativos constituem-se em formulaes de princpios os quais obrigam
uma vontade
9
segundo representaes da prpria razo e no de princpios
subjetivos, derivados apenas de nossas experincias ou sensaes. Estes princpios
prticos devem estar fundamentados, portanto, nos princpios de uma razo

7
At least in finite rational beings, there is no volition and no action without a maxim; and it is only
because we act in accordance with maxims that we can said to have a will. Indeed Kant defines a will
as a power to determine oneself to action in accordance with the conception of certain laws - that is,
in accordance with maxims. And the same definition applies to practical reason since practical reason
is identified with will.
8
Ver p. 23
9
Imperativo o que Kant (2002., BA// 37, p. 48) chama de Mandamentos da Razo.


24
autnoma e so representaes da necessidade de uma ao prtica visando a
algum fim. Dessa maneira, um imperativo sempre possui, em sua formulao, a
concepo de dever (sollen) e indica que, se algum possui um fim em mente, deve
praticar determinada ao, sendo que este um princpio vlido a todos aqueles que
visam este fim, ou seja, os imperativos tem valor para todos os seres humanos que
buscam determinado fim.
Neste ponto deve-se diferenciar os dois tipos de imperativos citados por Kant,
a saber , o Imperativo Categrico (IC) e o Imperativo Hipottico. Embora tanto um
quanto o outro possam ser representaes que indicam uma ao como boa,
existem substanciais diferenas entre ambos os tipos de imperativos, sendo que
apenas um deles relaciona-se com a concepo de moralidade.
O imperativo hipottico segundo Kant (2002, BA// 39, p. 50), aquele tipo de
imperativo que considera uma ao como boa, com vista a um determinado fim ou
objetivo, ou seja, o imperativo hipottico aquele imperativo que indica uma ao
como sendo boa como um meio para atingir determinado fim almejado, ele visa
alguma inteno que no o bem em si. Tais imperativos revestem-se de diversas
formas, como os imperativos da destreza (ou imperativos tcnicos), que indicam
quais so os meios necessrios para atingir uma determinada finalidade prtica
estabelecida como possvel, tanto pelas cincias, quanto pelas situaes que se
apresentam em nosso dia a dia, no importando se estes objetivos possam ser
considerados benficos ou no, e tambm os imperativos relacionados com a busca
pela felicidade, ou imperativos da prudncia (imperativos pragmticos), os quais
indicam os meios necessrios para que alcancemos o maior bem estar possvel
(Ibid., BA// 41-44, p. 51-53).
A principal diferena do IC em relao ao Hipottico reside no fato de que,
enquanto o Imperativo Hipottico, no que se refere sua necessidade, depende da
subjetividade do sujeito que deseja algo (uma vez que ele postula os meios para
alcanar determinado fim), o IC configura-se como necessrio incondicionalmente,
ou seja, este ordena no com vistas a um determinado objetivo, mas como a ao
por ele ordenada o prprio objetivo da ao. Isto o que Kant considera um agir
moral, ou seja, um agir unicamente pelo dever em si, sem visar objetivos ditados
pelos desejos ou caractersticas subjetivas.


25
Pode-se dizer, em suma, que, enquanto nos Imperativos Hipotticos a
mxima da ao encontra-se dependente dos desejos (e , portanto, subjetiva), no
IC a mxima da ao o puro respeito ao dever e deve possuir uma validade
objetiva e universal. O IC possui a si mesmo como mxima da ao e, dessa forma,
uma ao considerada moral deve ser considerada como incondicional. Dada esta
incondicionalidade, o IC, ao contrrio do Hipottico pode ser considerado uma lei
prtica. Isto pode ser claramente visto na seguinte passagem da FMC:
... s o imperativo categrico tem o carter de uma // lei prtica, ao passo
que todos os outros se podem chamar em verdade de princpios da vontade,
mas no leis; porque o que somente necessrio para alcanar qualquer
fim pode ser considerado em si como contingente, e podemos a todo o
tempo libertar-nos da prescrio renunciando inteno, ao passo que o
mandamento incondicional no deixa vontade a liberdade de escolha
relativamente ao contrrio do que ordena, s ele tendo portanto em si
aquela necessidade que exigimos na lei (KANT, 2002, BA// 49-50, p. 57).
Estas caractersticas atribudas ao IC conduzem por fim deduo de outra
de suas caractersticas, talvez a mais importante por conduzir formula bsica do
Imperativo Categrico kantiano: o seu carter de universalidade. Kant (2002, BA// 51,
52, p. 58, 59) considera que, como o IC necessrio por si mesmo, tendo contido
em si a mxima da ao e sendo a lei ordenada por esta mxima incondicionada,
logo deve possuir a caracterstica da universalidade.
Dado isto, Kant considera que uma ao para ser considerada como moral,
deve possibilitar-nos que queiramos que a mxima de sua ao seja vlida para os
seres racionais como um todo, que seja universal. Tem-se a a primeira formulao
do IC, da qual todas as outras so derivveis, a saber, Age apenas segundo uma
mxima tal que possas ao mesmo tempo querer que ela se torne lei universal (KANT,
2002, BA// 52, p. 59).
Kant (2002, BA// 52, p. 59) elenca diversos exemplos disso ao discorrer
acerca de deveres perfeitos (que no admitem exceo) e imperfeitos (os quais no
valem universalmente). Dentre estes exemplos, devem-se citar o exemplo acerca do
suicdio e o acerca do desenvolvimento dos dons naturais, dada a relevncia dos
mesmos para uma melhor compreenso da proposta de Kielkopf.


26
Quanto ao primeiro exemplo, Kant (2002, //BA 53, p. 60) lana a hiptese
acerca de uma pessoa que, movida pelo infortnio e pelo desespero, resolve
considerar se ou no contra o dever suicidar-se para evitar maior sofrimento.
Quanto a isto, o autor afirma que, cometer o suicdio por amor prprio para evitar
maiores sofrimentos no pode se tornar uma lei universal da natureza, uma vez que
existe uma contradio em imaginar uma natureza que, movida pelo sentimento de
amor-prprio, o qual objetiva a conservao da vida, tenha como lei a destruio da
vida. Visto isso, o autor (2002, //BA 53, p. 60) considera que atentar contra a prpria
vida trata-se de uma ao contra o dever, uma vez que no pode ser considerada
como lei universal da natureza
10
.
Com referncia ao desenvolvimento dos dons naturais, Kant (2002, //BA 55, p.
61) d o exemplo de uma pessoa que possui talentos naturais, mas prefere dedicar-
se ao prazer, negligenciando o desenvolvimento desses talentos por encontrar-se
em uma situao confortvel. Ele considera que a mxima particular, chamada por
ele (idem) de mxima do desleixo dos seus dons naturais, no passvel de ser
considerada como uma lei universal, ainda que esta pessoa possa tomar esta atitude
para consigo mesma, devido ao fato de o ser humano tratar-se de um ser racional e,
como tal deveria aspirar ao desenvolvimento de suas faculdades naturais, dado que
assim ele pode tirar proveito das mesmas com vistas a vrias finalidades.
Vistos estes exemplos, torna-se necessrio discorrer, agora, acerca das
vrias formulaes do IC kantiano, sendo que sero discutidas de forma detalhada
aquelas que possuem maior relevncia para a compreenso deste trabalho.
2.1.4 As formulaes do Imperativo Categrico
Kant (2002, BA// 80-81 p. 79 - 80) a despeito de outras formulaes, atribui
grande importncia a esta primeira formulao, no sentido de que possvel derivar
todas as outras formulaes do IC com base nesta. A respeito das formulaes do

10
A evidente referncia que Kant faz a uma lei da natureza ser discutida em maiores detalhes na
seo seguinte, acerca das formulaes do IC kantiano.


27
IC, cabe aqui citar a classificao feita no clssico trabalho de Paton (1971), no qual
as formulaes so apresentadas da seguinte maneira
11
:
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).

Deve-se aqui destacar que somente so consideradas relevantes para o
presente trabalho, as frmulas I, Ia e IIIa, as quais sero tratadas com maiores
detalhes, sendo as outras formulaes (II e III) apenas brevemente mencionadas na
medida em que relacionam-se com as frmulas anteriores.
A formulao I estabelece claramente os principais critrios que definem o
imperativo categrico kantiano: a j citada caracterstica de universalidade e tambm
o carter objetivo necessrio de uma lei moral. Isto significa que qualquer norma
considerada como norma moral, sob um ponto de vista particular, deve poder ser
aplicvel a normas passveis de aplicao de forma geral para quaisquer outros
indivduos, no admitindo assim influncias da subjetividade ou da busca por fins
pessoais por parte do indivduo que respeita tal norma. Em outras palavras, estas
normas particulares devem ter um carter objetivo e impessoal (cf. PATON, 1971, p.

11
Nota-se que a mesma difere da classificao kantiana, embora todas as formulaes a seguir
podem ser derivadas de trechos da FMC


28
135), ou seja, devem possuir, quanto ao aspecto formal, uma estrutura tal que possa
ser aplicvel a uma avaliao de normas particulares de qualquer outro ser dotado
de racionalidade.
Paton (1971, p. 135) tambm destaca a necessidade da existncia de uma
reciprocidade da lei moral referente s obrigaes decorrentes da mesma, ou seja,
as obrigaes morais quanto ao comportamento dos indivduos devem ser idnticas,
sendo que um indivduo que possui uma determinada atitude moral quanto ao seu
semelhante pode esperar a mesma atitude em retribuio do mesmo, caso este
tambm adote uma postura moral.
Quanto questo sobre a universalidade da lei moral em Kant, Paton (1971,
p. 133) considera tambm que a mesma possui a aparncia de comando para os
seres humanos o que se deve ao fato da racionalidade humana ser uma
racionalidade imperfeita. Tal aparncia, para o autor, estaria desfeita se observada
do ponto de vista de uma racionalidade perfeita, ou seja, de uma racionalidade que
possusse completo controle sobre os desejos, emoes e impulsos particulares do
ser que a possui.
A frmula referente Lei da Natureza (Ia) tem por base, segundo Paton (1971,
p. 146) realizar uma analogia entre a lei da natureza e a lei da liberdade, sendo,
contudo esta lei da natureza vista no em termos causais, mas sim em termos
teleolgicos, o que pode mesmo ser percebido pela prpria formulao kantiana,
segundo a qual a ao torna-se lei universal da natureza sob influncia da vontade.
Quanto a isso, Paton ressalta o Age como se... de maneira a atentar para o papel
do ser racional em colocar-se na posio de determinar a mxima da ao como
admitindo ser constitutiva de uma lei universal da natureza.
De fato, como comentado anteriormente
12
, Kant considera a natureza como
possuindo uma finalidade e, dessa maneira, tudo, inclusive a natureza humana,
pode ser compreendida de forma similar, uma vez que a prpria natureza humana
estipula fins para si mesma. Com referncia a isto, Paton (1971, p. 149) afirma que
enquanto a natureza considerada por Kant como a totalidade dos fenmenos

12
Ver p. 23.


29
governada por uma lei causal, ele tambm considera conjuntamente com esta lei, a
existncia de outra, de carter teleolgico, a qual torna-se mais necessria para a
compreenso da natureza humana. Dada esta lei teleolgica, a analogia uma lei
natural significa que til pensar na natureza e nos eventos da mesma como se
esta fosse possuidora de uma finalidade, o que, quanto natureza humana, torna
possvel que se pense as mximas das aes do homem enquanto ser racional,
como uma lei natural no sentido de estarem voltadas a um fim e, com isto, criando
nos indivduos e na humanidade como um todo, uma harmonia referente aos
propsitos.
Paton (1971, p. 155 - 156) considera ainda que apenas atravs da
interpretao desta lei natural como tendo um carter teleolgico e estando
relacionada a uma harmonia sistemtica dos propsitos humanos, a doutrina
kantiana quanto razo prtica torna-se inteligvel, o que fica claro se observarmos
que, uma vez que a mxima de uma ao por definio est relacionada a um fim,
isto significa tambm que a razo prtica deve levar em conta um princpio
teleolgico, sob pena de estar impossibilitada de determinar suas mximas.
Quanto ao que se refere s Frmulas II e III, estas constituem-se,
respectivamente, na que considera o homem, enquanto ser racional, como sendo
um fim em si mesmo e a Frmula do Princpio de Autonomia, segundo a qual a
atitude de adotar uma lei moral no pode ser imposta por outrem, mas sim buscada
atravs da prpria vontade do sujeito que, sendo um fim em si (conforme a frmula
II), deve ser livre para atuar como legislador. O Princpio da Autonomia pode ser,
portanto, vislumbrado atravs da idia de uma lei (conforme a Frmula I) e da idia
de um fim em si mesmo (conforme a Frmula II)
13
.
Um ponto importante acerca da Frmula III o fato de a mesma relacionar-se
e conduzir a outra Frmula que, juntamente com a Frmula Ia (Lei da Natureza),
de grande importncia para o presente trabalho, a Frmula IIIa, ou do Reino dos
Fins. Segundo Kant:
O conceito segundo o qual todo o ser racional deve considerar-se como

13
(PATON, 1971, p. 181)


30
legislador universal por todas as mximas de sua vontade para, desse ponto
de vista, se julgar a si mesmo e suas aes, leva a um outro conceito muito
fecundo que lhe anda aderente e que o de um Reino dos Fins (KANT,
2002, BA// 74, p. 75).
A frmula IIIa, ou do Reino dos Fins pode, portanto, ser definida como uma
sistematizao, a qual leva em conta a associao da primeira formulao do IC,
que considera que uma ao moral deva ser julgada como tal em relao a uma
mxima da ao que admite universalidade, com a formulao que pressupe uma
autonomia da vontade no sentido de impor, ela mesma, a determinao da lei moral
de forma universal. Desta associao entre as formulaes, surge ento o Reino dos
Fins: uma ligao sistemtica entre os agentes racionais calcada numa lei moral
comum a todos os membros que, em sua condio de seres racionais, alm de
constiturem-se em fins em si mesmos, so auto-determinados, ou seja, impem a si
mesmos livremente a prpria lei moral. O prprio Kant ressalta a importncia dos
princpios de um fim em si e da autonomia da vontade para a formulao de um
Reino dos Fins:
Seres racionais esto todos submetidos a esta lei que manda que cada um
deles jamais // se trate a si mesmo ou aos outros simplesmente como meios,
mas sempre simultaneamente como fins em si. Daqui resulta porm uma
ligao sistemtica de seres racionais por meio de leis objetivas comuns, i.
. um reino que [...] se pode chamar um reino dos fins (que na verdade
apenas um ideal).
[...] Mas um ser racional pertence ao reino dos fins como seu membro
quando nele em verdade legislador universal, estando porm tambm
submetido a estas leis....
[...] O ser racional tem de considerar-se sempre como legislador num reino
dos fins possvel pela liberdade da vontade, quer seja como membro, quer
seja como chefe (KANT, 2002, BA// 75, 76 , p. 76).
Paton (1971) destaca a utilizao do termo "reino", por Kant, justamente no
intuito de ressaltar esta sistematicidade do conjunto de fins particulares
14
e dos

14
Este conjunto de fins particulares , segundo Kant (BA// 74), uma conjunto de fins prprios
propostos pelos agentes, fins estes que estejam de acordo com uma lei universal (vide Frmula I do
IC).


31
agentes inclusos no Reino dos Fins, como fins em si mesmos, unidos sob a forma de
uma lei moral comum. Ainda quanto ao aspecto sistemtico da frmula do Reino dos
Fins, ressaltado por Paton que a frmula IIIa vista por Kant como a determinao
completa das mximas de uma ao moral, uma vez que ela contm tanto a forma
(vista como a lei universal / frmula I), quanto a matria (fins em si/ frmula II) das
mximas de uma lei moral. Esta estrutura exemplificada por Kant como um
sistema anlogo ao das categorias, sendo que as frmulas I e II identificam-se
respectivamente, com as categorias de unidade (forma / lei universal) e pluralidade
(matria / fins em si), vindo a culminar na totalidade (sistema / Reino dos Fins) que
engloba ambas
15
. Tais analogias, segundo Kant (2002, BA// 79, p. 79), visam a
apresentar o princpio da moralidade como idia da razo, de uma maneira
gradativamente mais prxima da intuio.
Quanto relao existente entre o Reino dos Fins e o Reino da Natureza
(Frmula Ia), a mesma se d devido s condies para uma eventual realizao do
Reino dos Fins. Kant (2002) considera que uma realizao do Reino dos Fins pode
apenas ser ponderada se levada em conta uma analogia ao Reino da Natureza. Este
conjunto de toda a natureza pode, segundo o autor (2002, BA//84, p. 82), ser
chamado de Reino da Natureza apenas se pressuposto um fim ltimo para o mesmo,
sendo este fim (ou fins) o conjunto dos seres racionais a ele relacionados. A
diferena entre o Reino da Natureza e o Reino dos Fins que, enquanto o primeiro
seria como uma mquina governada por leis causais externas, o Reino dos Fins
governado pelos seus prprios membros, atravs de leis auto-impostas. Deve-se
lembrar que Kant, ao considerar a possibilidade de um Reino dos Fins, est
referindo-se ao sentido de que tal reino deve ser concebvel, mesmo que o mesmo
no esteja realizado. Para que o Reino dos Fins se tornasse atual, ou seja, para que
ele fosse realizado tornar-se-iam necessrias duas coisas, a saber, uma observncia
das mximas impostas pelo IC por parte de todos os agentes racionais e a
possibilidade de se conceber a natureza como um Reino da Natureza, ou seja, um

15
Cf. (PATON, 1971, p. 185) e (KANT, 2002, BA// 79, 80 , p. 79 - 80).


32
conjunto regido por leis teleolgicas impostas por um lder comum a ambos os reinos,
voltado para a realizao da lei moral
16
.
Este ponto, o da analogia entre um Reino da Natureza e um Reino dos Fins
vem a representar um fator importante para a avaliao da proposta de traduo
entre lgicas de Charles Kielkopf. possvel considerar que a proposta de uma
traduo da lgica modal dentica em uma lgica temporal fornece um modelo onde
o Reino dos Fins tornar-se-ia atual, uma vez que, no mesmo, todas as obrigaes
estariam cumpridas, pois as modalidades de obrigao e permisso possuiriam
anlogos alticos.
Vistas as concepes acerca da filosofia kantiana relevantes para o presente
trabalho, torna-se necessrio agora discorrer acerca dos possveis obstculos a
proposta de atribuir um status lgico relao entre proposies descritivas e
prescritivas, a saber, o problema das barreiras inferenciais e suas conseqncias.
2.2 Barreiras inferenciais
As barreiras inferenciais podem ser definidas simplesmente como teses que
probem a derivao de sentenas de determinado tipo, de sentenas de tipos
diferentes. Dentro do campo da lgica, a existncia de barreiras inferenciais tem,
como conseqncia principal, a impossibilidade de realizao de determinadas
operaes lgicas que levem a uma concluso a qual esteja formulada com um tipo
diferente do das premissas.
Outra conseqncia da existncia de barreiras inferenciais consiste no
surgimento de obstculos quanto aplicao de formulaes lgicas a determinados
campos da Filosofia, bem como das implicaes resultantes dessa formalizao
frente impossibilidade de realizao de determinados tipos de inferncias.

16
c.f.(PATON, 1971, p. 192).


33
Como exemplo disso, possvel citar a barreira inferencial segundo a qual
torna-se impossvel, por exemplo, derivar sentenas que se encontrem num mbito
normativo, de sentenas em um mbito no normativo: Trata-se da barreira
conhecida como Lei de Hume, a qual originou uma ampla discusso referente
aplicao de um estatuto lgico relativo a campos como o da tica e do Direito e que,
devido a sua grande importncia no contexto do presente trabalho, ser tratada em
detalhes em uma seo posterior.
Deve-se observar, contudo, que a existncia de tais barreiras lgicas no
exclusividade da relao entre o mbito normativo e o no normativo. O artigo de G.
Restall e G. Russel, denominado Barriers to Inference (2003), fornece uma
discusso quanto aplicabilidade das barreiras inferenciais, bem como alguns
exemplos de barreiras que no relacionam-se com o mbito normativo. Alguns
destes exemplos sero vistos a seguir.
2.2.1 Exemplos de barreiras inferenciais
Todos os exemplos a seguir podem ser encontrados no artigo Barriers to
Inference (RESTALL, RUSSELL, 2003) e, exceto a Lei de Hume, sero brevemente
descritos com fins meramente ilustrativos, uma vez que no constituem em partes
vitais para a compreenso do presente trabalho.
O primeiro exemplo de barreira inferencial a ser considerado a Lei de
Russell, segundo a qual vedada a derivao de sentenas de carter geral, de
argumentos que no possuam tais sentenas dentre suas premissas. Derivada
diretamente da obra de Russell (1918), tal barreira inferencial constitui-se num
exemplo de que estas barreiras no esto restritas s inferncias no mbito do dever,
sendo que ela significa, em termos formais, que no possvel construir inferncias
que possuam concluses universais partir de premissas particulares, ou seja, se
no houver nenhuma premissa universal.
Outro exemplo de barreira inferencial que no encontra-se restrita ao dever, a
Segunda Lei de Hume, surgida da interpretao da obra deste autor (2001) e
relacionada lgica temporal. Segundo a mesma, no possvel derivar sentenas


34
referentes ao futuro a partir de sentenas sobre o passado e presente. Tal barreira
inferencial origina-se do problema da induo: a violao desta barreira inferencial
origina-se quando considera-se, por hbito, que determinadas ocorrncias, por
terem se dado no passado ou mesmo perdurarem no presente, devam sempre se
manifestar desta maneira, ou seja, violar a Segunda Lei de Hume consiste em
considerar que algo ser sempre de determinada maneira unicamente porque
assim e/ou sempre foi dessa maneira no passado.
Como terceiro exemplo de barreira inferencial, tem-se a Lei de Kant, segundo
a qual proibida a derivao de sentenas relativas necessidade a partir de
sentenas referentes ao mundo atual. Esta barreira parece assemelhar-se com a Lei
de Russell e significa simplesmente que no se pode derivar, por exemplo, que p, a
partir de p.
Deve-se considerar, por fim, que os exemplos acima citados no so
considerados como controversos, sendo inclusive mencionados por Restall e Russell
(2003, p. 1) como chaves filosficos (Platitudes). Tal coisa no ocorre com a Lei
de Hume, barreira inferencial de grande importncia para o presente trabalho, e que
ser tratada a seguir.
2.2.2 A Lei de Hume
Vistos os exemplos de barreiras inferenciais no relativas ao mbito do dever,
passar-se- a uma descrio acerca da Lei de Hume, a qual consiste numa barreira
inferencial referente ao mbito do dever. Tal barreira inferencial deriva das
observaes de David Hume referentes s relaes entre o mbito do ser e do dever
ser, presentes em seu Tratado da natureza Humana:
Em todo sistema de moral que at hoje encontrei, sempre notei que o autor
segue durante algum tempo o modo comum de raciocinar, estabelecendo a
existncia de Deus, ou fazendo observaes a respeito dos assuntos
humanos, quando, de repente, surpreendo-me ao ver que, em vez das
cpulas proposicionais usuais, como e no , no encontro uma s
proposio que no esteja conectada a outra por um deve ou no deve.
Essa mudana imperceptvel, porm da maior importncia. Pois, como
esse deve ou no deve expressa uma nova relao ou afirmao, esta
precisaria ser notada e explicada; ao mesmo tempo, seria preciso que se


35
desse uma razo para algo que parece inteiramente inconcebvel, ou seja,
como essa nova relao pode ser deduzida de outras inteiramente
diferentes (HUME, 2001, p. 509).
Tal passagem interpretada tradicionalmente como uma barreira inferencial
que interdita uma derivao lgica de sentenas prescritivas (deve ser) de sentenas
descritivas (ser), e foi denominada Lei de Hume. Em outras palavras, a observao
da lei de Hume significa que, no plano lgico, impossvel a obteno de inferncias
vlidas cuja concluso pertena ao mbito normativo, a partir de premissas
puramente no normativas, ou seja, a derivao de sentenas pertencentes ao
domnio do ser a partir de sentenas referentes ao dever ser igualmente vedada
(SAUTTER, 2006, p. 242).
Esta barreira inferencial consiste no equivalente lgico da barreira conceitual
conhecida como Falcia Naturalista. A Falcia Naturalista definida com base nas
teses de G. E. Moore, em sua obra denominada Principia Ethica, na qual o autor
busca responder questes fundamentais para o campo da tica, dentre elas a
definio do termo bom. Segundo Moore (1998, p. 104 - 105), o termo bom
constituir-se-ia como um termo primitivo e, como tal, indefinvel, uma vez que o
mesmo no se compe de partes as quais possamos utilizar em uma definio do
termo. Desta forma, a falcia naturalista consistiria em atribuir propriedades como
partes da definio do que bom e identificar tal conceito em termos de
propriedades naturais. Em outras palavras, cometer a Falcia Naturalista significa
definir conceitos ticos em termos naturais, isto , identificar bondade ou correo (e
tambm, dessa maneira, o dever ser) com propriedades naturais das coisas e,
portanto, com conceitos acerca do que .
Eduardo Rabossi (2002, p. 367) considera que, ainda que o prprio Moore
possusse dvidas quanto legitimidade de sua crtica ao naturalismo, tal
formulao deu origem, no plano lgico, barreira inferencial conhecida como a Lei
de Hume:
[...] A falcia naturalista comeou a ser descrita de uma maneira distinta
(digamos, de uma maneira no mooreana), como o passo inferencial
invlido que vai de premissas descritivas a uma concluso
avaliativa/normativa. A mudana importante porque passar do que ao
que deve ser , efetivamente cometer uma falcia lgica. Como a mudana


36
exigiu apelar a uma autoridade distinta, se fez costume recorrer a um
famoso pargrafo do Tratado de Hume (Livro III, Parte I, Seo I) na qual
denunciaria, de modo paradigmtico, a falcia naturalista (RABOSSI, 2002,
p. 369)
17
.
Deve-se ressaltar, porm, que a Lei de Hume constitui-se em uma barreira
inferencial bastante polmica, podendo-se inclusive argumentar que o prprio Hume
no fala claramente acerca de uma proibio estrita no que refere-se s derivaes
entre proposies normativas e no normativas, mas apenas critica a falta de critrio
existente ao se realizarem tais derivaes. Restall e Russell (2003, p. 2) sugerem
que esta barreira lgica (e tambm outras) possuem uma formulao imprecisa, no
consistindo estritamente em teorias completamente desenvolvidas, sendo que
ambos propem uma restrio deste princpio a determinadas instncias, j que
podem ser encontrados contra-exemplos do mesmo em outras circunstncias, como,
por exemplo, nos argumentos A A B e A B, A B, onde A uma
reivindicao no-moral e B moral: se A B for moral, ento A A B ser um
contra-exemplo Lei de Hume e se for no moral a segunda inferncia ser um
contra-exemplo. Eles propem ento uma verso mais fraca da lei de Hume, a saber:
Voc no pode, em geral, deduzir uma reivindicao da forma p obrigatrio
simplesmente de p
18
.
Contudo, mesmo a formulao clssica da Lei de Hume apresenta
imprecises, pois no se pode deixar de considerar as conseqncias que as
diversas interpretaes da mesma acarretam ao problema de uma formalizao
lgica, se levada em conta a concepo tradicional de lgica e a natureza de
inferncias de contedo normativo.

17
[...] La falacia naturalista comenz a ser descrita de uma manera distinta (digamos, de manera
no mooreana), como el paso inferencial invlido que va de premisas descriptivas a una conclusin
evaluativa/normativa. El cambio es importante porque pasar de lo que es a lo que debe ser es,
efectivamente, cometer una falacia lgica. Como el cambio exigi apelar a una autoridad distinta, se
hizo costumbre recurrir a un famoso parrfo del treatise de Hume (Libro III, Parte I, Seccin I) en que
denunciara, de modo paradigmtico, la falacia naturalista.
18
No original: Humes Second Law (Weakened): You cannot, in general, infer a claim of the form it
is always the case that p from the claim that it has always been the case that p (RESTALL, RUSSELL,
2003, p. 3).


37
2.2.3 Conseqncias da Lei de Hume: O Dilema de Jrgensen
Desta forma, devido assim chamada Lei de Hume, a aplicao dos
princpios da lgica tradicional a imperativos reveste-se de certas dificuldades, as
quais do origem ao que Alf Ross denominou de Dilema de Jrgensen (ROSS,
1941).
O filsofo dans Jrgen Jrgensen, em seu trabalho denominado Imperatives
and Logic (1938), expe uma abordagem do problema referente aplicao dos
princpios da lgica tradicional a imperativos. Esta aplicao encontra problemas no
que se refere natureza de expresses imperativas, uma vez que a concepo
tradicional de lgica repousa fundamentalmente na noo de inferncia vlida, a
qual deve constituir-se por premissas que admitem valorao de verdade.
Dessa maneira, formas de enunciao imperativas estariam impossibilitadas
de constituir inferncias lgicas, uma vez que no admitem atribuio de valores de
verdade. Contudo possvel constatar-se a possibilidade de obteno de inferncias
possuindo um ou mais elementos normativos ao levar em conta reas do
conhecimento s quais, de alguma forma, operam com tais expresses, a exemplo
do Direito e de raciocnios referentes a problemas morais. Dada esta evidncia,
torna-se necessrio encontrar uma maneira de definir a natureza lgica dos
imperativos, ou seja, necessrio um mtodo de tratamento a ser aplicado a
sentenas que possuam a caracterstica de expressar um desejo ou uma norma
tornando-as partes constituintes de inferncias lgicas.
Tal dificuldade foi denominada por Alf Ross de Dilema de Jrgensen, e
constitui-se no ponto de partida para a proposta de Ross referente a uma resoluo
do problema das inferncias com contedo normativo. Tanto a tentativa de resoluo
de Jrgensen, quanto a de Ross, pautam-se por uma tentativa de buscar um recurso
para explicar a existncia de inferncias que recorrem essencialmente a
componentes normativos, sem que para tal seja necessrio abdicar da concepo
usual de inferncia lgica. Esta alternativa consiste basicamente em realizar uma
anlise dos imperativos na qual os mesmos possuam um componente indicativo
imanente, o que possibilitaria a formulao de inferncias com imperativos atravs
do uso do fator indicativo dos mesmos.


38
Jrgensen indica duas formas para realizar a reduo das frases imperativas
a seus fatores indicativos: com o fator indicativo representado por uma sentena
indicativa referente ao que comandado ou desejado, ou ento indicando que a
ao requerida ser realizada. Neste ponto, Ross (1941, p. 6) faz a primeira de duas
objees soluo de Jrgensen, considerando que a mesma obscura, uma vez
que ele no fala acerca do valor de verdade a ser atribudo para as sentenas
construdas.
Quanto segunda objeo feita por Ross, esta se refere ao processo atravs
do qual se estabelece a relao lgica entre dois imperativos. Esta relao
estabelecida por Jrgensen recorrendo ao tratamento lgico usual da sentena
indicativa (S
1
) correspondente a um imperativo (I
1
), para da inferir uma sentena
indicativa (S
2
), a qual corresponderia uma sentena imperativa (I
2
). Dessa forma
possvel dizer que I
2
pode ser inferido de I
1
. Ross contesta que Jrgensen, dessa
forma, apenas estabelece arbitrariamente uma forma de inferir um imperativo de
outro sem, contudo, dizer o que isto realmente significa. Ou seja, ele no define o
elemento lgico segundo ao qual possvel estender o domnio lgico para as
inferncias prticas (inferncias que sejam parcial ou totalmente constitudas por
elementos normativos).
Dadas estas objees, Alf Ross (1941, p. 7) aponta algumas possibilidades
de soluo para o Dilema de Jrgensen, a saber, a realizao de uma nova
delimitao do domnio lgico de forma a incluir as inferncias prticas, soluo
aparentemente adotada por Jrgensen, ou atribuir s inferncias prticas um carter
apenas aparentemente lgico, amparado em um sentimento de evidncia, ou seja,
numa suposio intuitiva de que os processos vlidos para inferncias de carter
descritivo so aplicveis de forma semelhante s inferncias prticas.
Ross parece optar por esta ltima forma de resoluo, e inclusive aponta
vrias formas de realizar a mesma atravs de tradues de frases no mbito do
dever ser frases referentes ao ser e vice-versa. Uma exposio detalhada
destes procedimentos revelar-se-ia desnecessria por caracterizar-se como fora do
escopo do presente trabalho, motivo pela qual ser omitida. Contudo, importante
considerar que, segundo Sautter (2006), os procedimentos utilizados nestes
processos de traduo muitas vezes carecem de clareza devido falta de uma


39
justificativa explcita para sua utilizao, bem como da especificao acerca das
teses sobre barreiras inferenciais envolvidas no processo.
Por fim, ressalta-se que a proposta de Kielkopf tambm visa uma alternativa
que evite o Dilema de Jrgensen, sendo igualmente o recurso s tradues utilizado
para este fim. No obstante, a proposta de Kielkopf aparentemente encontra-se
justificada devido ao fato de o autor considerar o sistema lgico utilizado em seus
procedimentos como moralmente matizado. Tais procedimentos, bem como sua
justificativa, devero ser analisados em detalhes em um captulo posterior.

3 INSTRUMENTOS FORMAIS
Dentre os instrumentos formais utilizados no presente trabalho, destacam-se
como fundamentais os sistemas proposicionais modais. Tais sistemas possuem
como caracterstica que os distinguem da lgica proposicional clssica, o acrscimo
de modalidades tais como necessidade, possibilidade, obrigao, permisso,
etc. aos conhecidos operadores e simbologia da lgica proposicional clssica.
No presente captulo, sero apresentadas as concepes acerca de sistemas
modais normais, bem como um conjunto de noes acerca de procedimentos que
utilizam sistemas modais normais, tanto alticos, quanto denticos, procedimentos
os quais possuem relevncia para o desenvolvimento do presente trabalho. Para
tanto, em uma primeira seo, proceder-se- a uma caracterizao dos sistemas
modais normais quanto a sua sintaxe e semntica, sendo que tal seo ser
subdividida em subsees com uma caracterizao geral de sistemas modais
normais (3.1.1), caracterizao dos sistemas modais normais alticos e alguns
exemplos importantes (3.1.2), sistemas modais normais denticos (3.1.3), a noo
de iterao e reduo entre modalidades (3.1.4) e, finalmente, modalidades
irredutveis (3.1.5). Nas demais sees deste captulo, sero abordadas as
concepes acerca de traduo entre lgicas (3.2), modelos de Dawson (3.3) e, por
fim, as noes de implicao material e estrita (3.4).


41
3.1 Sistemas modais normais
A presente seo tem como objetivo apresentar as caractersticas bsicas
dos sistemas modais conhecidos como sistemas modais normais. Tais sistemas
compreendem tanto sistemas alticos como denticos, dentre outros. Alm das
caractersticas sintticas e semnticas que os distinguem, necessrio discorrer
acerca de noes como iteraes entre modalidades e modalidades irredutveis,
noes que, alm de auxiliarem na distino dos diversos sistemas modais normais,
so de grande utilidade para a compreenso geral das noes de modelos de
Dawson, traduo entre lgicas, dentre outras.
O sistema lgico conhecido como sistema K o menor sistema modal normal,
ou seja, aquele que tem o menor conjunto de teses vlidas entre todos os sistemas
modais normais. Isto quer dizer que todo sistema modal normal distinto de K possui
todas as teses de K e outras teses adicionais (CHELLAS, 1980, p. 113).
3.1.1 Caracterizao sinttica e semntica dos sistemas modais normais
Com referncia ao aspecto sinttico, existe um conjunto de regras e axiomas
os quais definem o sistema K e, portanto, so caractersticos dos sistemas modais
normais como um todo.
Uma caracterstica inicial dos sistemas modais normais , naturalmente, que
todos os teoremas do Clculo Proposicional Clssico (CPC) tambm so teoremas
das lgicas modais normais. Alm desta caracterstica, os sistemas modais normais
podem ser, segundo Hughes e Cresswell (1996, p. 25), definidos a partir dos
seguintes axiomas e regras de inferncia:
O axioma K : (pq) (pq) Distribuio da Necessidade;
A regra de substituio uniforme, segundo a qual a substituio
de p
1
,....., p
n
, em um teorema, por quaisquer frmulas
1
,.....,
n
,
tambm ser um teorema;


42
A regra de Modus ponens ou de Regra de Separao, segundo
a qual de e infere-se, ;
Regra de Necessitao ( ), ou seja, se um
teorema, tambm teorema;
Dualidade (possibilidade () e necessidade () so
interdefinveis): pp
Com base nestes axiomas e regras, podem ser derivados alguns outros,
como por exemplo: (pq) (pq) e, por dualidade, a regra (pq) (pq),
dentre outras.
Quanto ao aspecto semntico, as expresses constitudas por modalidades
como necessidade e possibilidade caracterizam-se por serem expresses que
no so verificveis quanto ao seu valor de verdade da mesma forma que as
expresses do CPC. Hughes e Cresswell (1996, p. 17) afirmam que, enquanto a
determinao dos valores de verdade de uma proposio no modal envolve apenas
a considerao de como as coisas so atualmente, as proposies modais envolvem
uma considerao de como as coisas poderiam ser em um estado de coisas
diferente do atual e, para cada estado de coisas concebvel, existe um escopo de
estados de coisas alternativos referentes ao mesmo.
Neste ponto entra a concepo de modelos de mundos possveis como forma
de testar a validade de frmulas da lgica modal. Desenvolvidos em meados de
1950 por um grupo de lgicos do qual se destaca Saul Kripke, estes modelos partem
da idia de um mundo atual, a partir do qual podem ser definidas vrias realidades
alternativas, representando diferentes estados de coisas. Esta coleo de mundos
pressupe uma relao de acessibilidade entre os mundos, atravs da qual torna-se
possvel verificar a validade de expresses modais de forma que, por exemplo,
quando se tem uma proposio do tipo necessrio que p no mundo atual, implica
que p seja verdadeiro em todos os mundos possveis acessveis ao mundo atual e,
da mesma forma, uma proposio da forma possvel p vlida no mundo atual
quando p verdadeiro em ao menos um dos mundos acessveis ao atual. Em
termos mais formais, possvel definir um modelo standard como um conjunto


43
ordenado <W, R, P>, em que W representa o conjunto de mundos possveis, R a
relao de acessibilidade entre estes mundos e P os conjuntos de proposies tidas
como verdadeiras em cada mundo possvel. Por exemplo, <{w
1
, w
2
}, {<w
1
, w
1
>, <w
1
,
w
2
>}, {<W
1
, {p}>, <w
2
, {p, q}>}>, no modelo h dois mundos possveis, w
1
e w
2
, tais
que w
1
acessvel a si mesmo e w
2
acessvel a w
1
, e tais que p verdadeira em
w
1
e p e q so verdadeiras em w
2
.
No que se refere a uma semntica dos sistemas modais normais de uma
maneira geral, caracterizam-se como sistemas modais normais todos aqueles
sistemas aos quais os modelos standard so aplicveis. Deve-se ressaltar que
diferentes sistemas modais normais podem ser identificados semanticamente por
meio de sucessivas restries s relaes de acessibilidade aceitas em seus
respectivos modelos, como ser visto a seguir.
3.1.2 Sistemas modais normais alticos
Sintaticamente, a caracterstica fundamental dos sistemas modais normais
alticos possuir, alm de todo o conjunto de axiomas e regras de inferncia vistos
em K, tambm o axioma T: pp, do qual pode ser derivado, por dualidade pp.
Deve-se atentar tambm que as recprocas destes dois axiomas, a saber, pp e
pp no so teoremas das lgicas modais normais, em particular, no so
teoremas das lgicas modais normais alticas. Denomina-se KT a esse menor
sistema modal normal altico.
Quanto ao aspecto semntico, a principal mudana reflete-se numa restrio
quanto s condies de acessibilidade entre os mundos nos modelos de mundos
possveis. Enquanto que na lgica K as relaes de acessibilidade no possuem
nenhuma restrio, nas lgicas modais normais alticas a relao entre os mundos
deve ser reflexiva, ou seja, cada mundo w em um modelo W deve ser acessvel a si
mesmo ou, formalmente: tem-se um frame m = <W,R>, em que para todo wW,
wRw.
Dadas estas caractersticas bsicas das lgicas modais normais alticas,
sistemas alticos mais complexos podem ser construdos por meio do acrscimo de


44
axiomas e regras de inferncia sua sintaxe e tambm semanticamente atravs do
acrscimo de novas restries acessibilidade em seus modelos de mundos
possveis. Dois exemplos importantes so os sistemas S4 e S5.
O sistema S4 diferencia-se sintaticamente pelo acrscimo a KT do axioma 4:
pp e, como em tal sistema tambm vlido o axioma T, possvel derivar a
equivalncia pp tambm como teorema de S4, pois de T pode-se derivar a
extenso pp. Semanticamente isto significa que, no sistema S4, teremos como
restrio de acessibilidade entre os mundos possveis, alm da reflexividade,
tambm a relao de transitividade, ou seja, dado um frame m=<W,R>, onde W o
conjunto de mundos de m e R a relao de acessibilidade entre os mundos, com trs
mundos w, w
i
e w
ii
, temos as seguintes relaes de acessibilidade: cada mundo
acessvel a si mesmo e se wRw
i
e w
i
Rw
ii
, ento wRw
ii.
O sistema S5, por sua vez, caracteriza-se por ter como axiomas, alm do
axioma T, o axioma 5: pp e, derivado deste, tambm teorema de S5 pp
e, portanto pp e pp. O acrscimo do axioma 5 naturalmente refletir em
uma maior restrio quanto ao aspecto semntico, sendo que as relaes de
acessibilidade para modelos de mundos possveis em S5 sero reflexivas, transitivas
e simtricas, ou seja, so relaes de equivalncia. Isto significa que, em um frame
m = <W,R>, este frame ser uma partio de um conjunto, na qual todos os mundos
pertencentes a uma partio sero acessveis uns aos outros, no sendo acessveis
a nenhum dos outros mundos fora da partio
19
.
Vistos estes exemplos, devem ser caracterizados ainda dois sistemas normais
alticos, os quais consistem em sistemas intermedirios entre S4 e S5 e tero
grande importncia, uma vez que sero os sistemas utilizados, respectivamente, por
Dawson e Kielkopf. Tais sistemas so os sistemas S4.2 e K1. Ambos os sistemas
consistem em extenses do sistema S4, sendo que, segundo Hughes e Cressvell
(1996, p. 362) o sistema K1 o sistema S4.M denominado de K1 por Sobocinski.

19
freqente encontrar, na literatura, a sugesto de que as modalidades alticas, tal como
ocorrem nos textos de Aristteles, podem ser formalmente caracterizadas como as modalidades dos
sistemas S4 ou do sistema S5.


45
Conforme Hughes e Cresswell (1996, p. 134), o sistema S4.2 caracteriza-se
sintaticamente por ser o sistema S4 acrescido do axioma G1: pp e,
semanticamente sua relao de acessibilidade reflexiva, transitiva e convergente,
ou seja dado um frame m = <W,R> em que W representa o conjunto de mundos em
m e R a relao de acessibilidade, sendo a convergncia definida do seguinte
modo: se W possui trs mundos w, w
i
e w
ii
, e se wRw
i
e wRw
ii
, haver um mundo w
iii

tal que w
i
Rw
iii
e w
ii
Rw
iii.
.
J o sistema K1, segundo Sobociski (1964, p. 77), consiste em uma
extenso do sistema S4, desenvolvida por McKinsey sob a denominao de S4.1, a
qual pode ser caracterizada pela adio aos teoremas de S4, do axioma M:
(pq) (pq)
20
ou, por dualidade (pq) (pq). Nota-se que
tais frmulas fazem uso de implicao estrita, sendo que, portanto, em termos de
implicao material estas frmulas seriam equivalentes a ((pq) (pq)).
Dentre as formulaes alternativas, importante citar tambm p p (a
recproca de G1) como teorema de K1, formulao que ser til para a compreenso
das razes pelas quais Kielkopf escolhe este sistema para o desenvolvimento de
seus modelos de Dawson.
Prior (1964, p. 301) descreve o sistema K1 de um ponto de vista semntico,
como possuindo, alm das relaes de acessibilidade reflexivas e transitivas em
seus modelos, tambm caracteriza-se por um padro em sua seqncia de mundos
possveis no qual, para cada seqncia de mundos w
1
Rw
2
R..... w
n
haver um mundo
w
n
aps o qual no existe mais nenhum mundo na seqncia de acessibilidade, ou
seja, todas as seqncias de mundos possveis nos modelos de K1 so finitas.


20
Nesta e em outras frmulas a seguir, optou-se por utilizar o smbolo como representando a
implicao estrta, para distingui-la da implicao material ().


46
3.1.3 Sistemas modais normais denticos
Os sistemas modais normais denticos podem ser descritos como anlogos
dos sistemas modais alticos, com a substituio das modalidades de necessidade
() e possibilidade () por, respectivamente, modalidades de obrigatrio (O) e
permitido (P). Embora esta possa ser uma descrio muito geral e, portanto,
insuficiente para abranger a totalidade de caractersticas de uma lgica modal
dentica, para os fins deste trabalho, suficiente proceder a uma descrio dos
critrios fundamentais de normalidade dentica, tal como vistos por Kielkopf (1974, p.
403). As caractersticas sintticas apontadas por Kielkopf (1974, p. 403) como
critrios de normalidade dentica so as seguintes: Todos os teoremas do CPC
tambm constituem-se em teoremas da Lgica Modal Normal Dentica; a
substituio de quaisquer variveis p
1
,....., p
n
, em um teorema, por quaisquer
frmulas
1
,.....,
n
, tambm ser um teorema; a verso dentica da dualidade
segundo a qual Op Pp, regra de distribuio P(pq) (PpPq) e, finalmente,
o axioma D=
def
Op Pp. A estes axiomas acrescenta-se que Ppp e pPp
21
no
so teoremas vlidos. Tambm, segundo Kielkopf (Idem), se uma lgica dentica for
uma extenso de um sistema altico o axioma pPp
22
no ser um teorema desta
lgica.
Com referncia s caractersticas semnticas da lgica modal normal
dentica, a relao de acessibilidade entre os mundos serial, ou seja, para todo
xW, existe yW tal que xRy. Observa-se ainda que a propriedade da serialidade
tambm satisfeita naqueles casos em que x=y, como por exemplo, wRw .

21
possivel notar dentre as caractersticas das lgicas modais normais denticas vrias
semelhanas entre teoremas de sua contraparte altica. Este teorema, contudo uma exceo pois
enquanto ele invlido, seu contraparte altico pp vlido para todas as lgicas normais alticas,
uma vez que derivvel do axioma T.
22
Supondo-se que pPp seja teorema, pp teorema tambm e, por silogismo hipottico
pPp seria teorema chegando-se a um absurdo, uma vez que nem tudo o que , permitido.


47
3.1.4 Iterao e reduo entre modalidades
A iterao entre modalidades pode ser caracterizada (cf. HUGHES &
CRESWELL, 1996, p. 51 - 55) por expresses que apresentam uma seqncia de
dois ou mais operadores modais consecutivos, ressaltando-se, contudo, que,
embora a concepo de modalidade possa ser definida como qualquer seqncia de
0 ou mais operadores, incluindo ento a negao (), modalidades como ou
no se constituem em modalidades iteradas, ou seja, estamos levando em conta
apenas seqncias de s e s incluindo a seqncia vazia, ou essas seqncias
antecedidas de uma negao.
Observando-se o conjunto de teoremas de uma determinada lgica modal,
possvel perceber a ocorrncia de vrias modalidades iteradas, muitas das quais so
redutveis a outras modalidades. Hughes e Cresswell (1996, p. 51 - 52) utilizam-se
da modalidade iterada que ocorre no axioma 4 (pp) como exemplo para definir
a reduo entre modalidades: Sendo esta frmula, um axioma do sistema S4 e,
como visto anteriormente, dado que o axioma T tambm teorema de S4, temos
neste sistema a equivalncia pp. Esta equivalncia torna possvel que se
substitua qualquer ocorrncia da modalidade iterada por simplesmente , ou seja,
possvel realizar uma reduo de p a p. Semelhante procedimento pode ser
realizado com qualquer equivalncia entre modalidades que se apresente em um
determinado sistema lgico, sendo ento que o processo de reduo pode ser
definido como a ocorrncia de teoremas de um determinado sistema, os quais
apresentem uma relao de equivalncia a qual permite a substituio entre uma
seqncia de modalidades iteradas por uma seqncia mais curta.
Obviamente, devido s diferenas entre as equivalncias vlidas para os
diferentes sistemas modais, haver diferentes modalidades redutveis para estes
sistemas. Por exemplo, partindo-se das equivalncias vlidas para o sistema S4,
possvel verificar que quaisquer seqncias de modalidades so redutveis s
modalidades _p
23
, p, p, p, p,p, p, bem como suas negaes. J no

23
Na expresso _p, o smbolo _ est sendo utilizado para representar a modalidade vazia.


48
sistema S5, todas as modalidades iteradas podero ser reduzidas a modalidades
no iteradas, como _p, p, p e suas negaes, dadas as equivalncias presentes
como teoremas neste sistema. Estas modalidades vistas nos dois exemplos acima,
configuram-se como modalidades irredutveis em seus respectivos sistemas.
3.1.5 Irredutibilidade de modalidades
Pode-se depreender a partir da definio de reduo entre modalidades, que
uma modalidade irredutvel em um determinado sistema, quando no h a
ocorrncia de modalidades de menor comprimento que sejam equivalentes a mesma.
Como visto acima, as equivalncias em um sistema iro determinar quais
modalidades so modalidades irredutveis no mesmo, sendo que enquanto no
sistema S4 temos 14 modalidades irredutveis, no sistema S5 so apenas seis.
Quanto aos sistemas K1 e S4.2, os quais sero vistos novamente no decorrer
do presente trabalho, apesar de os mesmos caracterizarem-se tanto sinttica quanto
semanticamente de formas distintas, ambos possuem as mesmas modalidades
irredutveis, a saber, , , , , _p e suas respectivas negaes, do que se pode
depreender que os mesmos possuem o mesmo conjunto de equivalncias como
teoremas.
A concepo de modalidades irredutveis trata-se de uma concepo de
grande importncia no contexto do presente trabalho, uma vez que no processo de
reduo plena do dentico ao ntico, constitudo pelos modelos de Dawson, as
modalidades denticas de obrigatrio e permitido sero traduzidas em
modalidades alticas irredutveis.
3.2 Traduo entre lgicas
A traduo entre lgicas constitui-se num processo para a interpretao de
determinadas propriedades de um sistema lgico atravs da utilizao de outro


49
sistema distinto. Uma vez que o processo de reduo do dentico ao ntico
realizado por meio de uma traduo entre lgicas, mais especificamente pela
traduo de uma lgica modal normal dentica em uma lgica modal normal altica
(ntica), torna-se necessria uma breve exposio acerca do assunto.
Existe na literatura sobre o tema uma profuso de noes acerca de
tradues entre lgicas, as quais em alguns casos podem significar coisas muito
distintas. Feitosa (1997) realizou uma sistematizao de algumas dessas
concepes, reunindo-as em uma tipologia e assim obtendo uma teoria de tradues
entre lgicas. Tal tipologia pode ser descrita, basicamente atravs das definies de
aplicao, aplicao conservativa, traduo e traduo conservativa. Sendo L
1
e L
2

duas lgicas e T: L
1
L
2
uma funo de traduo das frmulas de L
1
nas frmulas
de L
2
, e C
i
() o conjunto das conseqncias na lgica i, do conjunto , temos ento:
Aplicao: Uma aplicao de L
1
em L
2
consiste numa funo T: L
1
L
2
tal
que, para todo x L
1
, x C
1
() T(x) C
2
() ou seja, uma aplicao de L
1

em L
2
uma funo T de L
1
em L
2
tal que para todo x pertencente lgica L
1
, se x
pertence s conseqncias do conjunto vazio, ento a traduo de x pertence s
conseqncias do conjunto vazio na lgica. L
2
;
Aplicao conservativa: Uma aplicao conservativa de L
1
em L
2
consiste
numa funo T: L
1
L
2
tal que, para todo x L
1
, x C
1
() T(x) C
2
() - ou
seja, uma aplicao conservativa de L
1
em L
2
uma funo T de L
1
em L
2
tal que
para todo x pertencente lgica L
1
, x pertence s conseqncias da lgica L
1
no
conjunto vazio se, e somente se, a traduo de x pertence s conseqncias na
lgica L
2
do conjunto vazio. Aqui h uma preservao tanto dos teoremas da lgica
L
1
, na lgica L
2
, quanto dos da lgica L
2
, na lgica L
1
;
Traduo: Uma traduo de L
1
em L
2
consiste numa funo T: L
1
L
2
tal
que, para todo L
1
e todo x L
1
, x C
1
() T(x) C
2
(T()), em que T () =
{T(y): y } Traduo de L
1
em L
2
uma funo T de L
1
em L
2
tal que para todo
conjunto de frmulas que subconjunto de L
1
e todo x pertencente a L
1
, se x uma
conseqncia na lgica L
1
, do conjunto , ento a traduo de x pertence s


50
conseqncias na lgica L
2
, das tradues de , onde traduo de o conjunto
das tradues de y tal que y pertence a ;
Traduo Conservativa: A traduo conservativa de L
1
em L
2
consiste numa
funo T: L
1
L
2
tal que, para todo L
1
e todo x L
1
, x C
1
() T(x) C
2
(T
()), onde T() = {T(y) y } - Traduo de L
1
em L
2
uma funo T de L
1
em L
2
tal
que para todo conjunto de frmulas que subconjunto de L
1
e todo x pertencente a
L
1
, x uma conseqncia na lgica L
1
, do conjunto se, e somente se, a traduo
de x pertence s conseqncias na lgica L
2
, das tradues de , onde traduo de
o conjunto das tradues de y tal que y pertence a .
Pode-se perceber por estas definies que, enquanto nos processos de
aplicao e aplicao conservativa h uma funo de traduo que conduz frmulas
de uma lgica a frmulas de outra preservando teoremas, na traduo e na traduo
conservativa alm dos teoremas, tambm preservada a relao de conseqncia.
Assim sendo, os quatro processos possuem em comum a caracterstica de ocorrer a
preservao dos teoremas da lgica que se encontra no domnio da funo de
traduo.
Observa-se que nos processos utilizados por Kielkopf, em seu trabalho, alm
dessas caractersticas bsicas, quando ele exige a preservao dos princpios que
caracterizam a normalidade dentica, a funo de traduo utilizada pelo autor
caracteriza-se por uma preservao tambm da irredutibilidade de modalidades,
sendo que dessa maneira, modalidades irredutveis de uma lgica so traduzidas
em modalidades irredutveis da outra lgica.
3.3 Modelos de Dawson
Os modelos de Dawson foram desenvolvidos por E. E. Dawson (1959) e
constituem-se basicamente em mtodos mais poderosos para o desenvolvimento de
uma lgica modal normal dentica, que satisfaa os requerimentos de normalidade


51
dentica definidos por Anderson
24
, e seja desenvolvida a partir de um sistema modal
normal altico sem a necessidade do acrscimo de nenhuma constante
proposicional. Anderson define operadores denticos em termos de operadores
alticos acrescidos da constante proposicional S, que, segundo Dawson (1959, p.
73), uma forma de sistematizao a qual possui vantagens quanto ao
desenvolvimento de procedimentos referentes a lgicas denticas, bem como de
utilidade na investigao acerca de frmulas nas quais ocorram operadores alticos
e denticos combinados. Contudo, tanto Dawson quanto Kielkopf consideram a
necessidade de uma constante proposicional como problemtica para o
desenvolvimento de uma lgica dentica. Dawson desenvolve seus modelos como
forma de eliminar a necessidade desta constante.
Desta forma, nos modelos de Dawson, as lgicas denticas desenvolvidas
so vistas como ramos das lgicas modais normais alticas utilizadas para tal, e
possvel considerar ento que os sistemas alticos empregados nesses modelos
contm as lgicas denticas desenvolvidas. Nestes modelos, as modalidades
denticas de obrigatrio e permitido so representadas por modalidades alticas
iteradas. Deve-se ressaltar que estas iteraes entre modalidades devem ser
compostas por modalidades irredutveis no sistema altico utilizado.
O modelo especfico desenvolvido por Dawson fundamenta-se no sistema
normal altico S4.2. O autor(1959, p. 73) define ento as modalidades de O como
representadas por e P como . Desta maneira, no sistema dentico
desenvolvido por Dawson, o axioma D: OpPp, assim como todas as frmulas
deste sistema, pode ser interpretado por meio de sua traduo para S4.2: por
exemplo, Op Pp, seria equivalente em S4.2 ao axioma G1: p p,
caracterstico deste sistema lgico.
J Kielkopf, por sua vez, utiliza-se para o desenvolvimento do seu modelo de
Dawson, do sistema K1, no qual a modalidade O traduzida em K1 como e

24
Anderson (cf. DAWSON, 1959, p. 74 e KIELKOPF, 1974, p. 403) estabelece um conjunto de
axiomas que caracterizam lgicas normais alticas e denticas. Tais conjuntos de axiomas so
especficamente aqueles citados na seo anterior, referente aos critrios de normalidade altica e
dentica.


52
P equivalente a . O resultado da utilizao deste sistema lgico especfico
que, por exemplo, a frmula OpPp interpretada alticamente por meio da
substituio das modalidades denticas por suas equivalentes alticas, como
pp.
Dada a exigncia de enquadramento nas condies de normalidade altica
para a construo dos modelos de Dawson, considera-se que podem haver vrios
sistemas alticos por meio dos quais estes modelos podem ser construdos. Kielkopf
(1974, p. 45) contudo, ir justificar sua escolha especificamente do sistema K1 para
a construo de seu modelo, alm da simplicidade do mesmo, tambm por acreditar
que este sistema capture de forma mais adequada as noes kantianas por ele
investigadas, como ser visto no decorrer deste trabalho.
3.4 Implicao estrita e implicao relevante
Na presente seo ser feita uma breve exposio acerca das noes de
implicao estrita e implicao relevante, as quais so de utilidade para melhor
situar o trabalho de Kielkopf, uma vez que estas noes so mencionadas pelo autor,
quando comenta os processos de traduo utilizados por Anderson.
Estas duas concepes surgem como resultado de certos problemas
encontrados com a noo de implicao material, no que se refere a uma
interpretao intuitiva de determinadas sentenas envolvendo implicaes,
dificuldades ocasionadas principalmente pelas condies de verdade das
implicaes materiais.
Considera-se que a implicao material, quando interpretada frente noo
intuitiva de implicao, revela-se como inadequada no sentido de capturar a
totalidade de aspectos envolvidos com esta noo intuitiva. Tal problema torna-se
evidente a partir de paradoxos da implicao material, como por exemplo, a
tautologia p(qp), a qual pode ser interpretada da seguinte maneira: uma verdade
materialmente implicada por qualquer proposio. Isto significa que, por exemplo,


53
sentenas como 2+2=4 materialmente implicada por a Terra um cubo, ou seja
se a Terra um cubo, ento 2+2=4 deve ser considerada como vlida.
Dado este problema, surge a noo de implicao estrita como forma de
resolver alguns desses paradoxos da implicao material. A implicao estrita
consiste em uma forma mais forte de implicao, a qual utiliza-se do operador de
necessidade adicionado a uma condicional material, sendo ento que uma sentena
do tipo se p, ento q pode ser traduzida para a frmula (p q). Disso resulta que
a interpretao desta frmula no depender apenas do valor atribudo a p no
mundo atual. possvel vislumbrar as diferenas entre ambas as implicaes
retomando o exemplo anterior e substituindo nesta proposio os operadores de
implicao material por operadores de implicao estrita: isto resultar na
proposio p (q p), ou seja, (p (q p)), em notao tradicional, a qual
no ser mais uma proposio logicamente vlida. Isto pode ser demonstrado da
seguinte maneira:
Considere-se um modelo para a falsidade de (p(qp)), o qual possui trs
mundos distintos w, w
i
e w
ii
, de modo que em w
ii
so verdadeiros q e p e em w
i

verdadeiro p. Considerando-se que w
ii
acessvel a w
i
, em w
ii
teremos (qp) e,
portanto, em w
i
sero vlidos (qp) e, conseqentemente, (p (qp)).
Considerando que w
i
acessvel a w, teremos, portanto em w (p (qp)).
Apesar de sanar algumas das dificuldades quanto aos paradoxos da
implicao material, a implicao estrita tambm possui alguns paradoxos, como
pode ser exemplificado pela proposio ((pp)q). A validade lgica desta
proposio significa que uma falsidade lgica implica estritamente qualquer
proposio. Tal validade demonstrada se considerarmos que (pp)q
verdadeira em qualquer mundo possvel que possua relaes de acessibilidade
consigo prprio ou com outros mundos e, no caso de um mundo possvel sem
nenhuma relao de acessibilidade, a proposio tambm ser vlida, uma vez que
para este mundo, qualquer proposio da forma verdadeira. Desta forma
teramos como vlidas proposies como 2+2=4 e 2+24 implicam estritamente
que a Terra redonda ou mesmo 2+2=4 e 2+24 implicam estritamente que a
Terra quadrada.


54
Uma soluo para paradoxos deste tipo consiste em considerar as
implicaes quanto relevncia existente entre o antecedente e o conseqente,
sendo que, se o valor de verdade do antecedente no possui relevncia para o
conseqente, a proposio ser falsa. Surgem dessa maneira, as implicaes
relevantes. Um exemplo de lgica relevante a lgica R proposta por Anderson e
utilizada em algumas tradues mencionadas por Kielkopf, a qual pode ser
caracterizada pela seguinte axiomatizao:
Alm do conjunto de smbolos composto pelos parnteses, variveis
proposicionais, conjuno, negao e implicao (relevante)
25
, a lgica R, possui os
conectivos definidos como:
A B =
def
(A B)
A B =
def
(A B) (B A)
Assumem-se tambm os seguintes axiomas e regras de inferncia:
Axiomas:
A A
(A B) ((B C) (A C))
A ((A B) B)
(A (A B)) (A B)
(A B) A,(A B) B
A (AB), B (AB)
((A B) (A B)) (A (B C))
((AB) C)((A B) (A C))
(A (BC)) ((A B) (A C))
(A B) (B A)
A A

Regras de inferncia:
A B, A B Modus Ponens
A, B A B - Adjuno

25
Nesta axiomatizao, o smbolo est sendo empregado para referirmo-nos implicao
relevante.


55

Tendo sido apresentadas todas as concepes as quais constituem-se em
instrumentos conceituais, bem como os instrumentos formais necessrios
compreenso da proposta de Kielkopf, o prximo captulo tratar especificamente de
uma avaliao crtica dessa proposta.

4 A PROPOSTA DE KIELKOPF DE UMA INTERPRETAO DA
LGICA DENTICA STANDARD
O presente captulo apresenta e comenta, da forma mais detalhada possvel,
a proposta de Charles Kielkopf relativa formulao de uma Lgica Dentica
Kantiana. Tal proposta encontra-se definida em dois artigos denominados K1 is a
Dawson modelling of A. R. Andersons Sense of ought

(1974) e Kants Deontic
Logic (1975), os quais apresentam, respectivamente, o desenvolvimento de uma
traduo de uma lgica modal dentica standard numa lgica modal altica, e sua
aplicao filosofia kantiana no que se refere s formulaes do Imperativo
Categrico. Para isto, os artigos sero apresentados em seqncia, levando-se em
considerao uma anlise dos mesmos quanto s barreiras inferenciais e demais
aspectos tcnicos e conceituais, bem como a fidelidade da proposta de Kielkopf, em
geral, filosofia kantiana.
4.1 Panorama geral da proposta de Kielkopf
Em seu primeiro artigo, denominado K1 is a Dawson modelling of A. R.
Andersons Sense of ought (1974), o autor realiza um estudo acerca da interao
entre modalidades denticas e modalidades alticas, buscando, de forma geral, a
sistematizao de um processo de reduo das modalidades denticas s
modalidades alticas. Nesse intuito, ele toma como base o sistema proposto por
Alan Ross Anderson, que define o dever ser com base em uma lgica altica, e o


57
desenvolve recorrendo aos chamados Modelos de Dawson para tradues entre
lgicas denticas e alticas.
Anderson define a lgica dentica, de um ponto de vista formal, simplesmente
como um ramo de uma lgica altica, alegao que Kielkopf no considera como
estritamente correta (KIELKOPF, 1974, p. 402). No entanto, Kielkopf toma como
ponto de partida as investigaes do prprio Anderson, quanto ao desenvolvimento
de uma lgica dentica, para o desenvolvimento de sua prpria proposta. O
desenvolvimento por Anderson do que Kielkopf (1974, p. 402) denomina de senso
do dever ser de Anderson est fundamentado na utilizao de uma lgica modal
altica, a qual contm as definies de necessidade (p) e possibilidade (p),
acrescida de uma constante S, que por sua vez representa uma proposio
indicativa da ocorrncia de uma sano. Tal proposio, representada por S, deve
possuir um carter contingente, de modo que tal lgica deve ter como axiomas
vlidos tanto possvel S (S), quanto possvel no S (S).
Disto, Anderson utiliza os seguintes esquemas de definies para discutir e
defender suas definies de obrigatrio que p (Op) e positivamente permitido
que p (Pp) e investigar formas de desenvolver uma lgica dentica a partir de
diferentes sistemas de lgicas alticas:
Esquema I:
Op =
def
(pS)
p obrigatrio =
def
necessariamente se no p, ento S
p obrigatrio quando, necessariamente se no ocorrer p, ento ocorrer
uma sano.
Pp =
def
Op
p positivamente permitido =
def
no

obrigatrio no p
Esquema II:
Pp =
def
(pS)


58
p positivamente permitido =
def
possivelmente p e no S
p permitido quando possvel que p ocorra, sem a ocorrncia de uma
sano.
Op =
def
Pp
p obrigatrio =
def
No positivamente permitido no p
Deve-se ressaltar que tais noes propostas por Anderson foram criticadas
por vrios autores, principalmente quanto ao uso pelo autor da implicao estrita em
suas definies
26
, sendo que, posteriormente, Anderson modifica suas formulaes
expressando-as em termos da implicao relevante.
Kielkopf (1974, p. 403), contudo, atm-se s formulaes de Anderson em
termos de implicao estrita, por considerar que tal desenvolvimento de uma lgica
dentica pode ser reduzido completamente a termos alticos e permitir vislumbrar
algumas conseqncias da iterao entre estes tipos de lgica.
O passo seguinte no trabalho de Anderson consiste no desenvolvimento de
definies em que a constante S torna-se desnecessria, uma vez que S
substitudo por sua forma no abreviada, na qual figura uma constante proposicional
B sendo que S =
def
BB. Operando com esta constante proposicional possvel
utilizar qualquer verdade contingente. Com isto, ele desenvolve uma lgica dentica
pela adio da constante B a uma lgica altica. Tal desenvolvimento ser tratado
em maiores detalhes em uma seo posterior do presente captulo, uma vez que,
segundo Kielkopf (1974, p. 404), a pretenso de Anderson citada anteriormente, pela
qual a lgica dentica seria uma derivao de um sistema altico no precisa
devido a esta necessidade da constante B, uma vez que a mesma no constitui-se
em parte de uma lgica altica, mas torna-se necessria na obteno de uma lgica
dentica.

26
Tais crticas sero citadas com maiores detalhes no decorrer do trabalho.


59
Kielkopf busca, ento, a construo de um modelo de lgica dentica que
seja independente de qualquer constante (eliminando, portanto a constante B de
Anderson), que seja, portanto, redutvel de forma plena a uma lgica altica.
Para realizar esta eliminao, Kielkopf recorre ao que ir denominar de
Modelos de Dawson para o sentido de dever ser de Anderson (1974), que consiste
numa reduo da definio andersoniana utilizando-se para isto da eliminao da
forma no abreviada de S, atravs do emprego da constante proposicional B. Desta
forma, atravs dos modelos de Dawson, Kielkopf realiza um processo de traduo
entre modalidades irredutveis
27
e desenvolve um sistema dentico fundado na
lgica K1, o sistema DK1. Dessa maneira, as noes de obrigatrio p e permitido
positivamente p em DK1, podem ser definidas de maneira que a frmula de
permitido positivamente p passa a ser representada como Pp =
def
p, ou seja,
permitido positivamente p pode ser traduzido pela frmula altica: possivelmente
necessariamente p e, por sua vez, pode-se tambm obter o obrigatrio p como
sendo necessariamente possivelmente p: Op=
def
p.
Com base nesta traduo entre lgicas, Kiekopf (1974, p. 409) realiza
especulaes acerca das conseqncias filosficas sugeridas pelo processo. Ele
julga que a lgica altica K1 aparenta possuir um senso de necessidade moralmente
matizado. Tais especulaes levam o autor a considerar a possibilidade de uma
formalizao de determinadas concepes kantianas, particularmente no que se
refere ao significado, para Kant, do termo necessidade e, principalmente, acerca
das formulaes do Imperativo Categrico kantiano, originando, com isto, a
formulao de uma lgica dentica aplicvel aos princpios morais kantianos ou,
segundo Kielkopf, uma Lgica Dentica Kantiana.
Kielkopf ir ento desenvolver estas concluses em um segundo artigo, o
qual recebeu exatamente a denominao de Kants Deontic Logic (1975). Em tal
artigo, o autor ir expor de forma mais detalhada os processos formais que, segundo
ele, seriam aplicveis s concepes morais de Kant, e que poderiam fomentar
concluses a respeito no apenas da moral, como tambm da metafsica kantiana.

27
Ver Captulo 3, p. 52 acerca de modalidades irredutveis.


60
Neste artigo, o autor usa novamente como ponto de partida os Modelos de
Dawson para o desenvolvimento de uma lgica dentica. Deve-se ressaltar aqui que,
enquanto Dawson, ao desenvolver seus modelos, visava alcanar apenas resultados
formais, a proposta de Kielkopf, neste segundo artigo, buscava, alm dos objetivos
formais, a possibilidade de, com estes, trabalhar aspectos conceituais da filosofia
kantiana.
Tais objetivos refletem-se na escolha do sistema lgico a ser utilizado nos
modelos: enquanto Dawson utiliza-se do sistema S 4.2, no qual Op =
def
p, para a
construo de seu modelo, Kielkopf (1975, p. 45) novamente faz uso do sistema
K1
28
, j trabalhado em seu artigo anterior, sistema no qual obrigatrio e permitido
so definidos de maneira reversa de S 4.2 (Op=
def
p e Pp=
def
p). Kielkopf (1975,
p. 45) justifica sua escolha pelo fato de, alm de o sistema K1 ser o mais simples a
possuir as condies de normalidade dentica
29
, o mesmo possui como
modalidades irredutveis, apenas as modalidades , , , , _p e suas respectivas
negaes, bem como pelo fato de, neste sistema, todas as modalidades iteradas,
com exceo de , , e suas negaes, serem redutveis s modalidades no
iteradas, sendo este ltimo fator de grande importncia para uma interpretao
kantiana de uma lgica dentica, como ser visto a seguir.
Dada a escolha do sistema pelo qual busca desenvolver uma lgica dentica
aplicada aos princpios morais kantianos, Kielkopf (1975, p. 45) realiza uma
identificao entre o permitido em K1 e a noo kantiana contida na formulao do
Imperativo Categrico referente ao Reino da Natureza
30
. Dessa maneira, a
concepo kantiana de permitido, ou seja, uma mxima que seja possvel de

28
Existem, provavelmente, inmeros sistemas lgicos cujas caractersticas satisfazem os critrios
de normalidade dentica, bem como a irredutibilidade das modalidades denticas. K1 e S4.2 podem
ser considerados apenas como dois exemplos. Tal como ocorre na proposta de Kielkopf, critrios
adicionais, tais como a simplicidade e uma adequao material e no apenas formal, podem ser
definidos como meio de restringir os sistemas aceitveis. Um exemplo de critrio material de
adequao pode ser visto mais adiante na leitura de permisso positiva como possivelmente
necessrio, feita por Kielkopf.
29
Ver para condies de normalidade dentica, o captulo anterior, p. 50
30
Ver formulao no Captulo 2, p. 31.


61
tornar-se uma Lei Universal da Natureza identificada com possivelmente
necessrio em K1.
O autor justificar esta identificao recorrendo aos conhecidos exemplos
citados por Kant na Fundamentao da Metafsica dos Costumes
31
, em particular o
exemplo kantiano acerca do suicdio. Quanto a este exemplo, Kielkopf atenta para a
mxima pressuposta no caso de que se o suicdio fosse permitido pelas formulaes
do IC kantiano, ou seja, algum que quisesse cometer tal ato para escapar de um
futuro sofrimento, s estaria autorizado a tal, se tal ao pudesse ser considerada
universalmente aplicvel, sendo que dessa forma o permitido poderia ser
interpretado como possivelmente necessrio:
Este ato particular de suicdio , ento, permissvel se e somente se
possvel que seja necessrio que o desejo de uma pessoa de evitar dor a
levar a pr fim sua vida quando o futuro promete muito mais dor que no-
dor(KIELKOPF, 1975, p. 45 Grifo nosso)
32
.
Kielkopf (1975, p. 45) deixa claro, contudo, que sua concepo no se refere
ao logicamente possvel, mas sim a uma interpretao causal das modalidades em
sua lgica dentica kantiana. Dessa forma, o possvel seria interpretado como
causalmente possvel, ou seja, algo possvel em um sistema da natureza quando
verdadeiro em alguma alternativa desse sistema.
Fundamentado nesta interpretao causal de modalidades, o autor lana mo
de modelos de mundos possveis, onde trabalha com formalizaes de mximas
para a ao no intuito de investigar suas implicaes. Estes modelos estruturar-se-
iam de maneira que tenham um mundo fixado
33
que figura como um sistema da
natureza e os mundos aos quais ele possui acesso como alternativas causais a este
mundo fixado. possvel especular tambm que um desses mundos alternativos

31
Dois desses exemplos podem ser encontrados no Captulo 2, p. 29 e 30, do presente trabalho.
32
This particular act of suicide is, then, permissible if and only if it is possible that is necessary that
a persons desire to avoid pain shall lead him to terminate his life when the future promises much
more pain than non-pain.
33
O mundo a ser fixado para fins de anlise pode ser qualquer um dos mundos do modelo,
inclusive o mundo atual.


62
figuraria como o Reino dos Fins kantiano, onde todas as obrigaes seriam
cumpridas.
A fim de esclarecer melhor a forma pela qual o sistema por ele proposto se
enquadra nas concepes morais kantianas, bem como para verificar as implicaes
destas por meio deste sistema, Kielkopf recorre s iteraes entre modalidades. O
autor considera (KIELKOPF, 1975, p. 47) que a iterao entre modalidades que se
torna mais esclarecedora quanto moral kantiana a equivalncia entre
obrigatrio e necessariamente permitido. Tal equivalncia deve ser tratada, no
que diz respeito moralidade kantiana, em sua forma negativa, especificamente
para falar do proibido, sendo que o proibido em uma lgica dentica kantiana
figuraria como Op =
def
Pp (Obrigatrio no p=
def
no p necessariamente
permitido). De posse desta definio, Kielkopf utiliza-se dos modelos de mundos
possveis para montar um diagrama
34
no qual possvel verificar de que maneira
operam as concepes acerca das mximas do ponto de vista de uma lgica
dentica kantiana. No caso de uma mxima de ao que no fosse passvel de
generalizao, por exemplo, teramos o seguinte modelo: Uma vez que Pp pode
ser reduzido a p, se tivssemos algo proibido em um mundo atual, teramos
em qualquer alternativa a este mundo ao menos um mundo alternativo onde p
fosse vlido, sendo ento que uma mxima representada por p no seria
universalizvel.
As questes referentes utilizao dos modelos propostos por Kielkopf, os
resultados os quais o autor tinha em mente quanto adequao a uma moral
kantiana, bem como uma aproximao com concepes morais comuns
35
, sero
tratados em detalhes no decorrer deste captulo, sendo que, nesse ponto da
discusso, o exemplo exposto acima suficiente.
Deve-se ressaltar que o uso destes modelos proposto por Kielkopf, aliado
interpretao causal, permite ao autor tambm vislumbrar a forma como se d uma

34
Ver detalhadamente na seo seguinte.
35
Para Kielkopf, uma concepo moral comum pode ser definida como um conjunto de
sentimentos morais aceito pelas pessoas, em sua vida cotidiana.


63
aproximao entre o Reino da Natureza e o Reino dos Fins kantianos, uma vez que,
devido vigncia de uma verso dentica do princpio T: Op p, no Reino dos Fins
as leis morais so indistinguveis das leis da natureza.
Por fim, uma das principais concluses s quais Kielkopf extrai de seu
trabalho, concluso esta que tambm ser tratada em maiores detalhes a seguir, a
de que por serem as modalidades denticas redutveis s modalidades alticas, em
seu sistema, estas modalidades alticas caracterizam-se por serem moralmente
(denticamente) matizadas.
4.2 Reduo plena da lgica dentica lgica altica
Na presente seo, ser tratado em maiores detalhes, o artigo denominado
K1 is a Dawson modelling of A. R. Andersons Sense of ought (1974), o qual, dadas
as especulaes filosficas resultantes das interaes entre lgicas modais alticas
e denticas estudadas pelo autor, pode ser considerado como o ponto de partida de
sua proposta de uma lgica dentica aplicada filosofia kantiana.
4.2.1 Definies de Anderson via modelos de Dawson
Como citado na seo anterior, neste artigo Kielkopf estuda a interao entre
modalidades denticas e modalidades alticas atravs de uma sistematizao de um
processo de traduo entre estas modalidades, fundamentado na proposta de Alan
Ross Anderson. Esta proposta consiste no que Kielkopf (1974, p. 402) denominou de
senso de dever ser de Anderson a qual define obrigatrio e positivamente
permitido utilizando-se de modalidades alticas e com o auxlio de uma proposio
contingente S. Anderson utiliza ento os seguintes esquemas para suas definies
de obrigatrio (Op) e positivamente permitido (Pp):
Esquema I:
Op =
def
(pS)


64
Pp =
def
Op
Esquema II:
Pp =
def
(pS)
Op = =
def
Pp
interessante notar que tais Esquemas so interdefinveis, o que se pode
perceber considerando que:
Op =
def
Pp
(pS)
(pS)
Op =
def
(pS)
Anderson, em seu Esquema I, inicialmente define obrigatrio como Op =
def

(pS), ou seja, uma definio de obrigatrio fundamentada no cumprimento de
determinada ao condicionado pela existncia de uma sano a ser aplicada em
caso de no cumprimento. Em outras palavras, o que Anderson quer dizer que
algum obrigado a determinada ao quando, caso no realize a mesma, algo
ruim (uma sano, representada na frmula acima pela proposio S) acontea.
Kielkopf (1974, p. 403) ressalta, que tais esquemas propostos por Anderson,
em sua forma inicial, foram criticados por vrios autores quanto ao ponto de vista
formal, dentre eles E. J. Lemon e P. H. Nowel-Smith, von Wright e H. Castaeda,
para os quais a utilizao de implicao estrita em sua definio de obrigatrio
resultaria que obrigatrio que p implicaria necessrio obrigatrio p. Tal problema,
bem como uma possvel soluo para o mesmo, ser discutido em maiores detalhes
a seguir, contudo, ainda que exista uma forma de contornar este problema, segundo
Kielkopf (1974, p. 403), Anderson, face a tais crticas, opta por desenvolver suas
definies em termos de implicao relevante, evitando assim comprometer-se com
uma definio de obrigatrio na qual o no cumprimento relaciona-se
necessariamente com a ocorrncia de uma sano. Definindo obrigatrio em
termos de implicao relevante, Anderson substitui a lgica relacionada implicao


65
estrita por uma lgica mais fraca a fim de evitar que seja vlida para sua
lgica dentica.
Kielkopf, contudo, opta por evitar a discusso acima e atm-se s definies
iniciais de Anderson em termos de implicao estrita, a qual ele considera adequada
a seus objetivos no sentido da possibilidade de fornecer o desenvolvimento de uma
lgica dentica plenamente redutvel a termos alticos, bem como de favorecer o
estudo das iteraes entre modalidades denticas e alticas. Tal opo de Kielkopf
parece sugerir a ocorrncia de um colapso de modalidades, uma vez que o axioma T:
vlido universalmente para sistemas modais alticos e, com a definio de
obrigatrio utilizando-se de implicao estrita, teramos tambm Op Op e,
sendo assim e as modalidades colapsariam, pois se tornariam indistintas.
Contudo, deve-se ressaltar que o autor evita este problema j que vlido
para lgicas alticas e, em particular, nos modelos propostos por Kielkopf, tambm
vlido O O. No caso da frmula resultante da aceitao das definies em
termos de implicao estrita ( ), a mesma seria vlida apenas quando a
traduo altica de uma frmula dentica do tipo O. Desta forma, a sada
encontrada por Kielkopf encontra-se na questo da reduo entre modalidades: a
aceitao por parte de Kielkopf da frmula para representaes de
obrigatrio tem como conseqncia a aceitao da frmula O O como
vlida para seus modelos, sendo ento que O no se trata de uma modalidade
irredutvel, uma vez que pode ser reduzido a O
36
.
A noo de modalidades irredutveis de grande importncia para a
compreenso da proposta de Kielkopf, uma vez que o autor utiliza-se de vrias
iteraes entre modalidades para a construo de seus modelos e para o
estabelecimento de um processo de traduo entre modalidades alticas e denticas.
Kielkopf (1974, p. 404) define modalidades irredutveis como modalidades que, em
um determinado sistema, no possuem outras modalidades equivalentes s mesmas,
definio aparentemente incompleta, j que mesmo modalidades irredutveis em um

36
Ver, com referncia aos critrios para a reduo de modalidades e a questo acerca da
irredutibilidade, a Seo 3.1.5, p. 52 do Captulo 3 do presente trabalho.


66
determinado sistema, possuem modalidades com maior nmero de operadores
unrios (operadores como ,, etc...) que se revelam equivalentes a estas primeiras.
Embora tal problema no apresente grandes conseqncias para o conjunto do
trabalho de Kielkopf, uma definio mais adequada de modalidades irredutveis seria
a de que uma modalidade irredutvel em determinado sistema quando no existem
outras modalidades de comprimento menor que a mesma, que sejam equivalentes
a esta modalidade dentro do mesmo sistema.
Retomando a explanao acerca da proposta de Anderson utilizada por
Kielkopf como ponto de partida para seu trabalho, para o desenvolvimento de uma
lgica proposicional dentica partir de uma lgica altica, alm do acrscimo da
constante proposicional S a esta lgica, segundo Anderson, outra condio deve ser
observada, a saber, a lgica proposicional altica em questo deve necessariamente
cumprir as condies de normalidade altica estipuladas pelo autor, sendo que a
lgica dentica resultante tambm deve possuir as condies de normalidade
definidas para lgicas denticas
37
. Quanto lgica dentica desenvolvida, segundo
Kielkopf (1974, p. 403), Anderson requer que S conste como teorema da mesma,
de maneira que a adio deste teorema como axioma em uma lgica altica normal
possibilite a obteno de uma lgica modal normal na qual Op e Pp possam ser
definidos segundo os Esquemas I e II propostos por Anderson. Anderson ento
desenvolve suas definies no sentido de tornar desnecessria a constante S,
substiuindo-a por sua forma no abreviada S =
def
BB. A adio desta constante
B significa que uma sano ocorreu e torna desnecessria a adio do teorema S,
pois segundo Kielkopf (1974, p.404), Anderson realiza uma prova na qual tem por
resultado a frmula (pp) como teorema de qualquer lgica normal altica, o
que permite afirmar tambm que (BB) deve ser um teorema neste sistema
lgico. Disto, Anderson chega a uma definio da constante S como BB o que,
aliado ao teorema acima exposto, permite concluir que S tambm um teorema
deste sistema lgico, uma vez que S =
def
(BB).

37
Quanto s condies de normalidade altica e dentica, ver as Subsees 3.1.2 e 3.1.3,
respectivamente, do Captulo 3 do presente trabalho


67
Com base nesses resultados, Anderson chega concluso anteriormente
citada, segundo a qual a lgica dentica seria um ramo da lgica altica. Kielkopf
(1974, p. 404) considera que os resultados alcanados por Anderson no permitem
chegar a esta concluso, uma vez que para se conseguir um sistema de lgica
modal dentica, segundo Anderson, necessrio um sistema de lgica modal
normal altico acrescido de uma constante B, com o que a constante B figuraria
como parte de uma lgica modal normal dentica, mas no constaria em uma lgica
altica, ou seja, a reduo proposta por Anderson no uma reduo plena.
Dada esta constatao, Kielkopf busca uma forma de realizar uma reduo
plena de uma lgica modal dentica em uma lgica altica, tendo como base o
trabalho proposto por Anderson. Para tal, ele recorre aos modelos propostos por E.
E. Dawson, em seu artigo A Model for Deontic Logic (1959), em que Dawson tem por
objetivo a construo de um modelo de traduo entre lgicas denticas e alticas
que satisfaa os requerimentos de Anderson quanto normalidade dentica e
altica e elimine a necessidade de uma constante B.
Neste trabalho, Dawson obtm sucesso na criao de um modelo de lgica
dentica a partir de uma lgica altica, ao obter uma reduo plena entre ambas as
lgicas pela eliminao da constante B de Anderson. Ele utiliza-se do sistema lgico
S4.2 o qual, segundo o autor, cumpre as condies de normalidade altica, bem
como as condies de normalidade dentica o que, segundo Dawson (1959, p. 74),
implica em possuir os seguintes teoremas para S4.2:
pp, ou seja, OpPp
(pq) (pq), ou seja, P(p q) (Pp Pq)
pp, ou seja: OpPp.
Contudo as seguintes frmulas no podem ser teoremas em S4.2:
pp, ou seja: Ppp
pp, ou seja: pPp.


68
pp, ou seja: pPp
Desta forma, Dawson obtm atravs do sistema S4.2, um sistema de lgica
modal normal dentica no qual obrigatrio pode ser definido como Op=
def
p e
positivamente permitido como Pp=
def
p. Com isso, torna-se claro que os
modelos de Dawson conseguem a eliminao da constante B de Anderson, uma vez
que os nicos operadores no sistema em questo so operadores alticos, e Op e
Pp so vistos como abreviaes para p e p, respectivamente, observando-se
que tais modalidades so, em S4.2, modalidades irredutveis.
Kielkopf, contudo, opta pela utilizao de um sistema diverso do utilizado por
Dawson, o sistema K1. Tal escolha justificada primeiramente pelo processo
utilizado pelo autor para a eliminao da constante B utilizada por Anderson. Como
visto anteriormente, Anderson elimina a necessidade da utilizao da constante S
substituindo-a por sua forma no abreviada BB sendo que, utilizando o esquema
II, obtm-se a definio de Pp =
def
(p(BB)). Kielkopf (1974, p. 405) ento
sugere que, se Anderson prescindisse da constante B, sua formulao para Pp seria
(p(qq)), o que traria uma conseqncia indesejvel, a saber, que por haver
duas variveis distintas na frmula (p e q), uma definio de Pp no seria possvel
apenas com a simples atribuio de um valor varivel p. A soluo para contornar
este problema consiste em substituir q por p na frmula. O resultado disso a
definio Pp=
def
(p(pp)), a qual pode ser simplificada da seguinte maneira:
1) (p(pp)) (p(pp)) AA
2) (pp)) pp (AB) AB
3) (p(pp)) (p(pp)) Subst. 2,1
4) p p Dualidade
5) (p(pp)) (p(p p)) Subst. 4,3
6) p(p p) ((pp) (pp)) Distribuio
7) (p(pp)) ((pp) (pp)) Subst. 6,5
8) ((pp) (pp)) (pp) A(pp) A
9) (p(pp)) (pp) Subst. 8,7
10) (pp) p Princpio T


69
11) (p(pp)) p Subst. 10,9
Com isto obtm-se Pp =
def
p e, manipulando esta definio atravs da
regra de dualidade contida nas condies de normalidade altica, obtm-se tambm
Op=
def
p. Uma vez que o sistema K1 caracteriza-se por ser o sistema S4
acrescido do axioma pp (KIELKOPF, 1974, p. 406) e, considerando que um
dos axiomas de uma lgica modal dentica consiste em OpPp, Kielkopf
desenvolve o sistema de lgica modal dentica DK1, que consiste em um sistema
K1 em que as modalidades irredutveis e podem ser abreviadas
respectivamente como O e P.Alm disso, so tambm modalidades irredutveis
em DK1. Este sistema , segundo o autor (1974, p. 405), um Modelo de Dawson
para o sentido de dever ser de Anderson
38
.
Kielkopf (1974, p. 406 - 407) lista uma srie de equivalncias entre
modalidades de DK1 e suas verses no abreviadas (em K1), de modo que se torna
possvel verificar determinadas iteraes entre modalidades alticas e denticas
presentes em DK1:
Para obrigatrio:
DK1) OpOOpOPpOpPpOpOp
K1) ppppppp
Para positivamente permitido:
DK1) PpPOpPPpOpPpPpPp
K1) ppppppp
A aceitao destas iteraes entre modalidades (bem como a formalizao de
concepes morais em geral) dependente, segundo Kielkopf (1974. p. 407), das
intuies filosficas que algum que porventura realize tal tipo de investigao

38
Tal denominao, segundo Kielkopf (1974. p. 405), utilizada unicamente pelo fato de a
definio de Pp e, conseqentemente de Op alcanadas pelo autor, serem resultantes de uma
manipulao da definio de Anderson de Pp, via modelos de Dawson.


70
possua. Contudo o autor considera que formalizaes desse tipo podem consistir em
ferramentas que auxiliem na investigao quanto s implicaes decorrentes da
aceitao de determinadas concepes morais. Um exemplo citado pelo autor
refere-se equivalncia em DK1 representada pela frmula OpOp:
Se eu penso que algo obrigatrio, eu no posso pensar em como seria
para isso no ser obrigatrio. Por exemplo, se eu penso realmente que o
controle artificial de natalidade errado, eu no posso pensar que ele pode
ser tornado permissvel unicamente por um decreto do Papa dizendo que
permissvel (KIELKOPF, 1974, p. 407)
39
.
4.2.2 Lies filosficas resultantes do processo de reduo plena
Aps discutir em detalhes o funcionamento do sistema por ele proposto,
Kielkopf tece algumas consideraes quanto ao aspecto da adequao do mesmo
s teses filosficas, detendo-se especialmente na questo da adequao frente aos
problemas suscitados pela aplicao de uma lgica a questes morais. Em particular,
o autor (1974, p. 408) cita a crtica feita por Castaeda proposta de Anderson no
sentido de que uma reduo de proposies morais a verdades lgicas, com o uso
de implicao estrita, teria por resultado a reduo de reivindicaes morais a algo
no moral, violando a Lei de Hume e, conseqentemente, incorrendo em uma
Falcia Naturalista. Tendo em considerao a natureza de sua proposta, a qual
Kielkopf (1974, p. 408) considera em linhas gerais, semelhante proposta de
Anderson, o autor fornece trs argumentos no sentido de contornar o problema da
Falcia Naturalista.
Quanto primeira defesa, o autor parte do pressuposto de que Op,
representado em K1 por p, no , portanto equivalente a p, visto que uma
modalidade irredutvel neste sistema. Desta forma, mesmo que Op contenha a
modalidade , ele no equivale mesma, no sendo, portanto, uma reduo de
proposies morais a proposies relativas necessidade lgica. Aqui o autor

39
If I think that something is obligatory, I cannot think of what it would be like for it not to be
obligatory. For instance, if I really think that artificial birth control is wrong, I cannot think that it can be
made permissible simply by the Pope saying that is permitted.


71
parece identificar a reduo de moralidade lgica com a reduo de O a .
Deve-se ressaltar que se trata de uma noo um tanto restritiva, pois a reduo no
necessariamente deve ser de operador a operador
40
, podendo, por exemplo, reduzir-
se sentenas a sentenas ou mesmo sentenas a conjunto de sentenas. Isto torna-
se mais claro se fizermos uma analogia ao processo de traduo entre diferentes
idiomas, no qual por vezes uma traduo literal torna-se impossvel devido falta de
termos correspondentes entre dois determinados idiomas, tornando assim
necessria, por vezes, a traduo de um termo em uma expresso complexa da
outra lngua.
Neste primeiro ponto Kielkopf (1974, p. 408) vai mais alm, ao considerar que
sua definio de Op coincide com as prprias exigncias feitas por Moore em
Principia Ethica. Moore (1998, p. 104) ressalta que o problema da definio da
concepo de bom reside na questo das propriedades, de maneira que tal
conceito indefinvel pelo fato de bom ser uma propriedade simples, ou seja, que
no pode ser analisada em termos mais simples ou ter seu significado explicitado
atravs de outras propriedades inerentes a ela (se trata de uma noo primitiva). O
que Kielkopf faz ento uma analogia entre a indefinibilidade do conceito de bom
de Moore e a irredutibilidade nas operaes lgicas: quando Op traduzido de DK1
para K1, consiste na modalidade irredutvel , logo num sistema lgico, dever
ser tambm indefinvel e, portanto, pode ser visto tambm como simples,
evitando-se, assim, a Falcia Naturalista.
Tal linha de defesa possui determinados problemas no sentido de que a
noo de simplicidade/irredutibilidade que Kielkopf parece adotar trata-se de uma
noo absoluta e, portanto, identificar a irredutibilidade de em K1 com
simplicidade pode ser prematuro, uma vez que s uma modalidade irredutvel
no sistema K1 utilizado por Kielkopf: em um sistema lgico como S5, por exemplo,
pode ser reduzida a . Outro ponto a ser considerado em relao a isto remete
prpria afirmao de Moore (1998, p. 105) no sentido de que bom uma noo
arbitrria e, de certa forma, a concepo de irredutibilidade em lgica tambm se

40
Nota-se que o prprio autor no realiza uma reduo entre operadores, uma vez que, segundo
seus modelos Op reduzido em K1 a p.


72
trata de uma concepo arbitrria, j que depende, dentre outros fatores, da escolha
do sistema lgico utilizado nas tradues. Por este mesmo motivo, o termo
primitivo ou simples utilizado em lgica da maneira como sugere Kielkopf,
tambm ser arbitrrio, uma vez que quem desenvolve o sistema, de certa forma,
tambm determina qual ser a noo primitiva da qual as outras sero derivadas.
A segunda linha de defesa de Kielkopf (1974, p. 408) baseia-se no fato de
que Op, que em K1 p, no se trata de um teorema neste sistema. Segundo ele,
tal fato mostra que nem todas as sentenas morais so verdades lgicas no sentido
de serem frmulas provveis. Neste ponto deve-se ressaltar que no h porque
exigir que sentenas cujo operador principal seja O se tratem de verdades lgicas
j que, por exemplo, existem sentenas deste tipo que sequer so verdades
normativas, tais como O().
Quanto ao terceiro ponto de sua defesa, Kielkopf (1974, p. 409) afirma que
no h uma reduo de concepes morais a termos lgicos pelo fato de que o
teorema pq(pq) faz parte da lgica K1, no sendo equivalente Falcia
Modal pq(pq) e, portanto, resultando na no ocorrncia de uma Falcia
Naturalista. Tal afirmao parece encontrar alguns problemas no sentido de que
Kielkopf com ela, compara Op (), com possvel (), enquanto que seria mais
natural ao se falar em uma reduo de dentico a altico, realizar uma comparao
entre obrigatrio (O) e necessrio () e entre permitido positivamente (P) e
possvel (). Vista dessa maneira, a equivalncia seria entre pq(pq) e
pq(pq), ambas frmulas vlidas no sistema proposto pelo autor. De fato, as
duas frmulas comparadas por Kielkopf no so equivalentes em K1. Ambas as
frmulas s seriam equivalentes em sistemas mais fortes como, por exemplo, S5.
Contudo, a nica coisa que isto parece provar que deve ser uma modalidade
irredutvel quando interpretada como o O da lgica dentica, sendo que este fato
descarta a escolha de sistemas como S5, onde no uma modalidade
irredutvel, para a execuo da proposta de Kielkopf.
Talvez a mais importante especulao filosfica feita por Kielkopf em
decorrncia de seu desenvolvimento dos Modelos de Dawson para o sentido de
dever ser em Anderson relacione-se com a filosofia de Kant. Para Kielkopf (1974, p.


73
409), os sistemas lgicos K1 e DK1 podem possuir grande utilidade na elucidao
de determinadas concepes kantianas, dentre elas a forma como Kant utiliza o
termo necessidade, a qual relaciona-se com suas formulaes do Imperativo
Categrico. Segundo Kielkopf (1974) a formulao do IC Age de tal maneira que a
vontade pela sua mxima se possa considerar a si mesma ao mesmo tempo como
legisladora universal sugere que uma determinada ao particular permissvel
quando a mxima que a norteia encontra-se de acordo com determinada condio, a
qual ele identifica em sua Lgica dentica kantiana como sendo representada pelo
positivamente permitido (p) em que p=
def
possvel que tal mxima seja uma
verdade necessria no sentido de ser uma lei da natureza. Estas concluses quanto
a uma formalizao de princpios morais kantianos so aprofundadas pelo autor no
artigo que ser tratado a seguir. Deve-se ressaltar que o objeto da Lgica dentica
kantiana proposta por Kielkopf, como se pode ver, no consiste em proposies
acerca de aes morais particulares, mas sim em mximas, em classes gerais de
aes.
4.3 Lgica dentica Kantiana
Partindo dos Modelos de Dawson para o sentido de Dever ser de Anderson,
Kielkopf (1975) busca, neste segundo artigo, investigar os aspectos conceituais
decorrentes da utilizao desses modelos em uma tentativa de formalizao de
elementos da filosofia kantiana, em particular no que se refere utilizao do termo
necessidade na filosofia de Kant e as formulaes do Imperativo Categrico, em
especial as formulaes em que se mencionam o Reino da Natureza e Reino dos
Fins.
Para realizar tal tarefa, o autor utiliza-se dos modelos de Dawson para a
lgica K1, desenvolvidos em seu artigo de 1974, em que a escolha da lgica K1
deve-se, alm do fato de a mesma ser, segundo Kielkopf (1975, p. 45), a lgica
altica mais simples que possui todas as caractersticas necessrias construo
de um modelo de Dawson, tambm ser um sistema altico em que a identificao de


74
noes denticas com combinaes de noes alticas permite a construo de um
modelo para as noes morais kantianas, o que permite uma melhor compreenso
da noo de necessidade causal, presente na obra de Kant. Considerando que as
iteraes entre os operadores alticos (K1) e os operadores denticos da lgica DK1,
derivada desta lgica altica, so de grande auxlio, segundo Kielkopf (1975, p. 45),
para a verificao de algumas implicaes quanto posio moral de Kant e a
comparao destas posies com sentimentos morais comuns.
Devido ao fato desse desenvolvimento j ter sido realizado no primeiro artigo
analisado, o qual foi comentado na seo anterior, considera-se que seria
redundante entrar em detalhes referentes construo dos modelos de Dawson
para o sentido do dever ser em Anderson via lgicas K1 e DK1. Assim, passar-se-
a uma avaliao quanto aos resultados alcanados atravs da identificao,
realizada pelo autor, de modalidades da lgica K1 com concepes kantianas, e do
estudo das iteraes entre modalidades denticas e alticas das lgicas K1 e DK1,
relacionados formalizao de aspectos da moral kantiana.
Dada a escolha de K1 para a construo de seu Modelo de Dawson para uma
Lgica Dentica Kantiana, Kielkopf (1975, p. 45) passa a uma identificao entre a
concepo kantiana de permitido com a modalidade possivelmente necessrio
em K1 (). O permitido kantiano entendido pelo autor como podendo expressar
uma lei da natureza. Neste ponto deve-se atentar para uma estreita ligao entre a
formalizao do permitido na proposta de Kielkopf e a formulao Ia do IC
kantiano
41
referente a um Reino da Natureza. Uma vez que esta formulao do IC
refere-se a uma mxima de uma ao que pode tornar-se lei universal da Natureza,
infere-se que, ao construir seus modelos para uma lgica kantiana, o autor faz
referncia a generalizaes de mximas e no s mximas em si ou a casos
particulares de aplicao das mesmas. Dessa forma, Pp =
def
p poderia ser
interpretado de forma que representaria poder expressar, uma lei universal
da natureza (uma vez que universalidade pode ser identificada com necessidade) e
a varivel p como a generalizao de uma mxima. Dessa maneira, possvel

41
Ver referente a esta formulao, Captulo 2, p. 31 do presente trabalho.


75
afirmar que, para Kielkopf (1975, p. 45), as mximas generalizadas caracterizam-se
por serem permissveis.
Para fundamentar esta identificao, Kielkopf (1975) recorre, como
comentado anteriormente, ao exemplo kantiano acerca do suicdio, presente na
Fundamentao da Metafsica dos Costumes (FMC)
42
, quando um ato de suicdio
seria permissvel somente se tal ato pudesse ser universalmente aplicvel ou, visto
formalmente, pudesse ser uma ao possivelmente necessria. Esta, contudo, no
se trata de uma interpretao no sentido de uma possibilidade lgica, mas refere-se
a uma interpretao causal para a modalidade
43
, ou seja, quando Kielkopf
refere-se, por exemplo, possibilidade, ele est tratando de uma possibilidade
referente a alternativas causais a um sistema da natureza, sendo que o mesmo se
d com a necessidade:
Se p causalmente possvel, i.e. p, verdadeiro em um sistema da
natureza, ento p verdadeiro em uma alternativa causal a este sistema.
Um sistema da natureza Na
i
uma alternativa causal ao sistema Na para p
apenas se p verdadeiro em Na
i,
as causas referidas em p so as mesmas
em ambos Na

e Na
i
, e qualquer coisa que seja causalmente necessria em

Na

verdadeira em

Na
i
(KIELKOPF, 1975, p. 45)
44
.
Pode-se perceber aqui que o autor se utiliza de modelos de mundos possveis
interpretados como sistemas da natureza
45
, de maneira que as relaes de
acessibilidade entre estes mundos determinam as alternativas causais entre estes
sistemas. Desta maneira, Kielkopf busca, por estes modelos, um estudo acerca das
implicaes das generalizaes de mximas sob um ponto de vista das concepes
kantianas, podendo-se inclusive (como j citado anteriormente), ter um dos mundos

42
Seria redundante detalhar novamente a forma pela qual o autor justifica e interpreta tal exemplo,
uma vez que tal discusso pode ser vista na p. 65 do presente trabalho.
43
A interpretao de todas as modalidades e iteraes entre modalidades na lgica desenvolvida
por Kielkopf trata-se de uma interpretao causal.
44
If p is causally possible, i.e. Mp, is true in a system of nature, then p is true in a causal
alternative to that system. A system of nature Na
i
is a causal alternative to system Na for p only if p is
true in Na
i
, the causes referred to in p are the same in both Na and Na
i
, and whatever is causally
necessary in Na is true in Na
i
.
45
Systems of nature


76
alternativos ao mundo fixado como sistema da natureza, como sendo a alternativa
que represente um Reino dos Fins, no qual todas as obrigaes so cumpridas.
Atravs desses modelos de mundos possveis, interpretados como sistemas
da natureza, Kielkopf busca por meio de determinadas iteraes entre modalidades
da lgica K1 e de sua derivada dentica DK1, uma forma de enquadrar o sistema
proposto s concepes morais kantianas e, assim, verificar as implicaes
filosficas sugeridas pela aplicao de seus modelos de Dawson a estas
concepes morais. Para tanto, o autor estabelece trs grficos de iteraes entre
modalidades:
Grfico 1:
OOpOp
OPpOp
OpPp
POpPp
PPpPp
Grfico 2:
OpOp
PpOp
OpPp
OpPp
PpPp
Grfico 3:
OpOp
OpOp
OpPp
PpPp
PpPp
Nota-se que todas estas iteraes podem ser verificadas como vlidas em K1,
substituindo-se Op por p e Pp por p.
Dentre os resultados alcanados por estes grficos de iteraes entre
modalidades, o autor cita inicialmente os resultados alcanados atravs das
iteraes presentes no Grfico 1, os quais consistem apenas de modalidades
denticas. Kielkopf (1975, p. 47) considera que tais iteraes e redues entre
modalidades denticas vm a favorecer qualquer teoria tica por mostrar de que
forma expresses complicadas, geralmente utilizadas no dia-a-dia, podem ter suas
implicaes melhor compreendidas atravs do processo de reduo entre
modalidades. Neste ponto, o autor cita crticas feitas por L. F. Goble, no sentido de
que redues tais como, por exemplo, de OOp a Op, no corresponderiam a nada
utilizado pelas pessoas em sua vida diria, ao que Kielkopf (1975, p. 47) responde
que, ao realizar redues tais como ele faz em seus trs grficos, um lgico no
busca determinar de que maneira certas expresses devam ser utilizadas
empiricamente, mas busca determinar as implicaes lgicas presentes em tais
expresses.


77
Neste ponto, interessante observar que existem casos tais como no direito,
como compreendido por Bobbio
46
, em que distines entre normas de
comportamento e normas de competncia forneceriam exemplos, se formalizados,
os quais inviabilizariam o uso dos modelos propostos por Kielkopf, uma vez que
embora os operadores alticos pudessem ser reduzidos, expresses como OOp
no poderiam ser reduzidas a Op, uma vez que as modalidades de obrigatrio
repetidas significariam normas em diferentes nveis de competncia. Dessa forma,
OOp seria interpretado como uma norma de competncia, ou seja, uma norma que
institui ou define quem est apto a instaurar outra norma, a qual por sua vez seria
Op, uma norma de comportamento, ou seja, uma norma sobre um contedo que
prescreve um comportamento. Embora em casos semelhantes a este, as crticas de
Goble teriam procedncia, deve-se ressaltar que quanto moral, especialmente na
concepo moral kantiana, no existe uma hierarquizao entre diferentes nveis de
normas (Kant refere-se apenas a mximas universalizveis, no mencionando
nenhuma hierarquia entre estas) e, desta forma, os argumentos dados por Goble
no seriam aplicveis ao trabalho de Kielkopf.
Com referncia s iteraes entre modalidades alticas e denticas
misturadas, tais como vistas nos Grficos 2 e 3, Kielkopf (idem, p. 47) considera que,
embora as mesmas sejam raramente utilizadas na vida cotidiana, tais expresses
tambm se mostram teis para a determinao de implicaes lgicas, em especial,
quanto ao problema proposto em seu artigo, a saber, o desenvolvimento de uma
lgica dentica aplicvel s concepes morais em Kant. Neste sentido, o autor
concentra-se principalmente na equivalncia Pp Op, encontrada no Grfico 2,
que segundo ele (idem, p. 47) poderia ser aceita numa formalizao das concepes
kantianas sob sua forma negativa Pp Op, a qual teria obrigatrio que no
p como uma representao do proibido no sentido kantiano. Neste ponto, Kielkopf
recorre a dois diagramas de modelos de mundos possveis para demonstrar de que
forma operariam as concepes kantianas quanto a mximas em sua lgica dentica
kantiana:

46
Segundo Bobbio (2007, p. 186), existem, num ordenamento jurdico, alm das normas de
conduta, as normas de estrutura ou de competncia, as quais definem os procedimentos e condies
para a criao de normas de conduta vlidas (e, desta maneira, tambm quem est apto a criar leis).


78
Diagrama I:
Na
q
Na
Na
Na
q
q
q
l
i
m
Na q
il
Na q
in
Na q
mk
Na q
ij
Na q
mkj
Na q
ij k

Fonte: KIELKOPF( 1975, p. 48)
Diagrama II:
Na
q
Na
q
j
Na q
jl
Na
jm
q

Fonte: KIELKOPF( 1975, p. 48)
No primeiro diagrama, Kielkopf (1975, p. 48) pressupe que proibido q
seja verdadeiro, ou seja Oq, o que equivalente segundo o Grfico 2 a Pq e,
em sua forma no abreviada, equivalente a q em K1. Ele interpreta tal
diagrama como um sistema da natureza e do ponto de vista de uma busca por um
Reino dos Fins: Na representar o sistema da natureza atual e as relaes de
acessibilidade entre os mundos, dadas pelas flechas, representaro relaes
assimtricas e transitivas, que designam os outros mundos acessveis a Na como
alternativas causais a este mundo
Tendo q como verdadeiro em Na, possvel vislumbrar que em qualquer
alternativa a este sistema da natureza atual, ser verdadeiro q e assim nas
alternativas a estes mundos haver ao menos uma alternativa na qual q ser
verdadeiro ou, como Kielkopf (1975, p. 48) interpreta q como uma necessidade
natural. Dessa forma, tem-se, devido s relaes de acessibilidade, que em
qualquer alternativa a Na haver ao menos uma alternativa na qual q verdadeiro,
o que impossibilita que se tenha q como uma necessidade natural (q como


79
verdadeiro para Na). Em termos do exemplo kantiano utilizado por Kielkopf isto
significa que, uma vez que q representa proibido cometer suicdio para,
devido ao amor prprio evitar grande excesso de dor, segundo Kielkopf (1975, p.
48), o Diagrama I mostra que em qualquer alterao de nosso presente sistema da
natureza existe uma alternativa em que no verdadeiro que o amor prprio de uma
pessoa a leve ao suicdio para evitar o sofrimento, com o que tal ao no passvel
de ter sua mxima como uma lei universal da natureza.
Quanto ao Diagrama II, o autor exemplifica uma situao na qual a mxima
de uma ao q pudesse ser tida como uma lei universal da natureza. Como visto no
Diagrama II, para que tal ocorresse, deveria-se ter um mundo Na
j
em que q figuraria
como uma necessidade natural e, portanto em todas as alternativas a Na
j ,
q seria
verdadeiro. Kielkopf (1975, p. 48) d como exemplo, novamente, o caso acerca do
suicdio: se o suicdio motivado pelo amor prprio com fins de evitar grande excesso
de dor pudesse ter sua mxima como se fosse uma lei natural, deveria haver ao
menos uma alternativa ao nosso sistema atual da natureza, na qual
necessariamente as pessoas cometeriam suicdio para evitar o sofrimento.
Kielkopf (1975, p. 49) tem um claro objetivo ao mostrar estes dois exemplos
demonstrados em seus diagramas: ele intenta com isto comprovar que sua
interpretao de proibido que q como q trata-se de uma interpretao
adequada para representar a posio moral Kantiana. Isto se d porque, partindo do
exemplo acerca do suicdio e dos dois diagramas com os quais o autor o ilustra,
tornaria-se incompatvel representar o ato de suicdio como permissvel em uma
lgica kantiana: o Diagrama I mostra que qualquer alternativa ao sistema da
natureza Na possui ao menos uma alternativa em que q verdadeiro, o que
tornaria impossvel se ter uma alternativa Na
j
onde seria vlido q. Kielkopf (1975, p.
49) tambm considera quanto ao exemplo do suicdio, que agir conforme a mxima
representada por q no seria uma ao autnoma, pois segundo seu Diagrama I
uma ao autnoma seria aquela passvel de se tornar uma lei causal em alguma
alternativa ao sistema atual da natureza.
Embora os esquemas e o uso da iterao entre modalidades cumpram seu
papel de justificar a lgica dentica kantiana proposta pelo autor, deve-se ressaltar


80
que Kielkopf, uma vez que admite um carter dentico a seus esquemas, parece
omitir dentre as relaes de acessibilidade entre os mundos, a relao de serialidade,
a qual seria uma condio dentica padro. Tal omisso aparentemente visa a evitar
um exemplo em que existiria um mundo w ao qual no houvesse nenhum outro
mundo acessvel, sendo que ento poderia-se ter q em w e, pelo princpio de
vacuidade da verdade, poderia-se tambm ter q e q. Tal aparente problema
pode ser, contudo, contornado levando-se em conta que Kielkopf trabalha com a
noo de relaes causais e, sendo a causalidade uma relao aberta (cada efeito
que surge passa a ser causa de um novo efeito), poder-se-ia dizer que cada mundo
possuiria pelo menos uma alternativa causal ao mesmo.
Tendo exemplificado o seu sistema por meio dos dois esquemas vistos acima,
o autor busca ento fazer uma comparao das noes morais kantianas tais como
apresentadas em seu trabalho, com aquilo que ele chama de concepes morais
comuns, ou seja, aqueles sentimentos e convices morais que se apresentam na
vida cotidiana. Neste ponto, Kielkopf (1974, p. 49) retoma o exemplo kantiano acerca
do suicdio e busca mostrar que, admitindo-se que obrigatrio possa ser visto como
necessariamente permitido em sua forma negativa, seu sistema coincidiria com a
concepo de que, se proibido (necessariamente permitido no) moralmente
cometer suicdio, deve-se ento sempre manter aberta a possibilidade de que
determinada pessoa no venha a suicidar-se, o que torna, por outro lado, invivel
considerar tambm o ato de suicdio permissvel (ou em seu sistema, possivelmente
necessrio), uma vez que se chegaria a um ponto onde no haveria escolha quanto
a no tirar a prpria vida. Isto pode ser vislumbrado atravs do Diagrama II onde, se
assumido que q verdadeiro para Na, em determinado ponto das alternativas
causais a este mundo verdadeiro q e, portanto, no pode haver mais nenhuma
alternativa a este mundo na qual q seja verdadeiro. O autor refora esta afirmao
atravs do uso do terceiro exemplo citado por Kant na Fundamentao da Metafsica
dos Costumes
47
referente necessidade de garantir que o homem desenvolva seus
talentos:

47
Citado no Captulo 2, p. 30 do presente trabalho


81
Se ns aceitamos isto, ns no podemos permitir que um homem deixe
seus talentos no desenvolvidos at um ponto em que ele no possa mais
desenvolv-los. Quando ele atinge este ponto sem retorno quanto ao
desenvolvimento de seus talentos, ele perde a permisso para desenvolver
seus talentos porque ele perde a habilidade de desenvolv-los (KIELKOPF,
1975, p. 49)
48
.
Ainda com referncia a uma aproximao da moralidade comum, Kielkopf
(1975, p. 49) considera que a moralidade cotidiana, vista de maneira objetiva, no
difere grandemente da moralidade kantiana. Dada esta semelhana, pode-se
verificar que, se as equivalncias OpOp e POpPp, bem como o teorema
pq(pq), presentes na lgica K1, forem aceitveis em termos cotidianos,
eles oferecem outra indicao da adequao de seu sistema uma moral kantiana.
No que se refere implicao POpPp, derivada de POpPp, o autor considera
natural que algo que permitido que seja obrigatrio se trate obviamente de algo
que deve ser permissvel. A outra implicao derivada desta equivalncia por sua
vez, pode ser justificada com base na afirmao de que se algo moralmente
permitido, deve ser possvel que se torne uma regra, o que se pode considerar o
anlogo na concepo moral comum das teses morais kantianas que afirmam que
deve ser possvel que a mxima desta ao seja lei natural. Visto na interpretao
que Kielkopf d para o sistema lgico K1, esta afirmao poder-se-ia formalizar da
seguinte maneira: PpPOp, onde Op =
def
. p.
J quanto equivalncia OpOp, Kielkopf (1975, p. 50) encontra certas
dificuldades referentes a uma aceitao de seu possvel significado em termos
empricos e todas as instncias. Ele d um exemplo desta dificuldade com a
hiptese referente a um homem solteiro ao qual obrigatrio que seja possvel que
se case. Tal exemplo no encontra problemas quando se trata de um caso particular,
pois um homem pode ser solteiro e ainda assim alterar seu estado civil em
determinado momento de sua vida, contudo quando se fala em proposies gerais,
as quais segundo o autor (1975, p. 50) aproximam-se mais das mximas
generalizadas kantianas, encontram-se algumas dificuldades, uma vez que se um

48
If we grant this, we cannot permit a man to leave his talents undeveloped up to the point where
he can no longer develop them. When he reached the point of no return in regard to development of
this talents, he would have lost the permission to develop them because he has lost the ability to
develop them.


82
homem passa toda a sua vida solteiro j no mais possvel afirmar que seja
verdadeira a proposio de que obrigatrio que seja possvel a todos os homens
casarem-se.
Kielkopf (1975, p. 50) busca uma alternativa a esta dificuldade ao afirmar que
quando utilizamos a expresso Op aceita-se que o significado desta possa ser
simplesmente que p permitido, sendo que, como pode-se ver, porm, em seu
Grfico 3, mais natural que se represente o p permitido em seu sistema, como
Pp. Kielkopf, contudo, evita entrar em maiores detalhes quanto a este ponto. Esta
alternativa, aparentemente, parece ser insuficiente para justificar seu sistema frente
s concepes cotidianas, dada a falta de uma base mais slida para uma
justificao do argumento referente a uma interpretao natural.
Ao finalizar seu artigo, o autor refere-se importncia de se possuir em K1 a
expresso (OpOq) O(pq), sob a forma (pq) (pq): primeiramente
Kielkopf (1975, p. 50) lembra que Op =
def
p consiste em um critrio de
normalidade dentica e, em segundo lugar e mais importante, que o teorema
(pq) (pq) serve para eliminar as suspeitas quanto ao modelo de Dawson
por ele proposto incorrer em uma Falcia Naturalista. Ele afirma que, embora
aparentemente uma reduo de Op e Pp a, respectivamente, p e p seja
uma reduo de expresses morais a expresses no morais e o teorema (pq)
(pq) possua certa semelhana com a falcia altica (pq) (pq), tal
teorema vlido devido modalidade tratar-se de uma modalidade irredutvel
em seu sistema, no sendo (pq) (pq), portanto, redutvel a (pq)
(pq). Kielkopf considera a existncia deste teorema como uma prova de que o
sistema K1 possui modalidades de necessidade e possibilidade moralmente
matizadas e, sendo assim, no ocorre realmente uma reduo de expresses morais
a no morais em seu sistema. Por fim, ele tambm conclui que o fato de seu sistema
fornecer uma representao de Pp como p fornece uma indicao de que o
sentido de necessidade causal em Kant tambm moralmente matizado.
Neste ponto deve-se acrescentar que o uso dos Modelos de Dawson para o
sentido de dever ser em Anderson na construo de um modelo para uma lgica
dentica Kantiana tambm parecem fornecer uma indicao quanto a uma


83
aproximao entre o Reino da Natureza e o Reino dos Fins, presente na obra de
Kant
49
: possvel inferir que, devido vigncia no sistema de Kielkopf, de uma
verso dentica do princpio T: Opp, existe uma indicao de, em um Reino dos
Fins, uma coincidncia entre as leis morais e um sistema da natureza. Deve-se
contudo quanto a este ponto, tomar o cuidado de verificar que aqui no h a
ocorrncia de uma falcia naturalista nos termos propostos por Moore, pois pode-se
dizer que, para Kant, as proposies morais identificadas com o Reino da Natureza
significam uma orientao no sentido de agir como se as mximas contidas nessas
proposies pudessem ser tidas como Leis da Natureza e, sendo assim, as Leis
da Natureza e Leis Morais num Reino dos Fins seriam indistinguveis, mas nunca se
tratariam das mesmas leis.


49
Ver sobre esta aproximao, a Seo 2.1.3, p. 35, do segundo Captulo do presente trabalho.

5 CONSIDERAES FINAIS
O objetivo principal do presente trabalho consistiu em uma apresentao e
avaliao crtica acerca da proposta de Charles Kielkopf quanto a uma reduo
plena do dentico ao ntico, voltada para uma formalizao de aspectos da filosofia
kantiana, a qual o autor denominou de Lgica dentica kantiana. Kielkopf toma como
base de seu trabalho, a proposta de Alan R. Anderson, a qual consiste na criao de
um modelo para uma lgica dentica e seu desenvolvimento realizado por E. E.
Dawson, no intuito de tornar este modelo uma reduo completa, sem a
necessidade de adio de constantes proposicionais. Kielkopf no se restringe
apenas ao aspecto formal em seu trabalho e, sobretudo no segundo artigo
apresentado nesta dissertao, aponta para a utilidade de sua proposta no sentido
de utilizar os resultados tcnicos como ferramenta na investigao de questes de
importncia filosfica, vantagem esta que apenas comentada de forma breve no
trabalho de Dawson (1959, p. 78).
Quanto ao desenvolvimento desta dissertao, optou-se inicialmente por
apresentar de forma seqencial os principais elementos em que conduzem s
formulaes do imperativo categrico, de maneira a proporcionar uma compreenso
mais ampla acerca das concepes que Kielkopf busca formalizar como resultado de
seu trabalho. Quanto s formulaes do Imperativo Categrico Kantiano
propriamente ditas, procedeu-se a uma descrio mais detalhada apenas daquelas
mais relevantes ao tema desta dissertao. A discusso acerca das noes
kantianas teve como base, principalmente a Fundamentao da Metafsica dos
Costumes, de Kant e o trabalho de H. J. Paton (1975). Considerando que estas


85
noes se configuram como introdutrias ao tema central, no foi desenvolvido um
aprofundamento maior deste quesito.
A seguir, procedeu-se um comentrio acerca das barreiras inferenciais,
particularmente quanto Lei de Hume e sua principal conseqncia, o Dilema de
Jrgensen. Esta explanao teve como objetivo avaliar o carter problemtico de
uma atribuio de um status lgico a inferncias de carter dentico, assunto
bastante polmico e que foi abordado por vrios autores, tanto na rea da lgica,
quanto na filosofia do direito. Contudo, evitou-se tratar tal assunto de forma mais
detalhada uma vez que isto configurar-se-ia como um desvio do problema central da
presente dissertao. Decidiu-se, dessa forma, apresentar unicamente os modelos
propostos inicialmente por E. E. Dawson, os quais constituem-se em apenas uma
das vrias abordagens resoluo da questo da formalizao de proposies
denticas. Esta apresentao realizou-se no Captulo 3, no qual tambm foram
tratados, em termos gerais, outros aspectos formais que se configuram como
instrumentos fundamentais para a compreenso dos Modelos de Dawson e, dessa
maneira, tambm da proposta de Kielkopf.
O ncleo do trabalho pode ser considerado o captulo quatro, no qual so
expostos, de maneira crtica, o que Kielkopf denominou de Modelos de Dawson para
o sentido de dever ser de Anderson e seus resultados, a saber, a Lgica dentica
Kantiana. Quanto aos aspectos formais, Kielkopf considera as lgicas denticas, ou
ao menos os modelos gerados via Modelos de Dawson, como ramos das lgicas
normais alticas. Tal viso da lgica dentica como uma particularizao de
sistemas modais normais alticos j havia sido adotada, inicialmente, por Anderson,
que no entanto, na opinio de Kielkopf, no havia alcanado sucesso completo em
configurar tal relao, posto que seu sistema era dependente do acrscimo de
constantes proposicionais lgica altica bsica, diferentemente do que ocorre com
os modelos de Dawson, nos quais a reduo do dentico ao ntico completa e
exclusivamente altico-modal.
Com relao s barreiras inferenciais, principalmente quanto Lei de Hume,
a proposta de Kielkopf parece apontar que justamente a interpretao de
modalidades denticas como abreviaes de modalidades alticas irredutveis tem


86
como resultado contornar as dificuldades com as barreiras inferenciais. Ainda que as
justificativas dadas pelo autor possam ser consideradas como insuficientes sob
alguns aspectos, tal abordagem revela-se vantajosa ao oferecer uma alternativa
para um tratamento formal de princpios denticos.
Alm da alternativa supracitada, a principal contribuio do trabalho de
Kielkopf reside em sua interpretao dos princpios morais kantianos, interpretao
essa que se revela inovadora no sentido de apontar para uma utilizao dos
instrumentos formais da lgica como forma de aclarar questes de cunho filosfico.
Tal pretenso parece ser reforada pelo autor quando ele afirma que a adequao
de seus modelos est relacionada s intuies filosficas e quando sugere uma
aproximao de sua Lgica dentica kantiana com concepes morais cotidianas.
Com relao especificamente a uma formalizao das concepes kantianas,
apesar de as justificativas apresentadas pelo autor encontrarem algumas
dificuldades, como por exemplo quando Kielkopf parece ignorar em seus modelos
semnticos a relao de serialidade para lgicas modais normais denticas ou
tambm quanto falta de clareza com relao ao significado de uma interpretao
natural de algumas das modalidades iteradas. Contudo consideramos que sua
proposta, como um todo, parece cumprir os objetivos propostos visto que as
dificuldades expostas so, em sua maioria, de fcil resoluo. Mesmo assim, frente
a estas dificuldades, talvez seja necessrio um estudo mais aprofundado quanto a
aplicabilidade destes modelos. Estes desenvolvimentos esto para alm dos limites
dessa Dissertao.
Tal aprofundamento justificar-se-ia, tambm, pelo fato de que a proposta de
Kielkopf aborda especificamente a filosofia kantiana e, como foi ressaltado
anteriormente, a aplicao da proposta de Kielkopf, tal como se apresenta, parece
restringir-se a uma aplicabilidade concepes morais, mas encontra problemas em
outras reas onde surgem proposies denticas, a exemplo do Direito. Tal
aplicao a outras formas de proposies denticas, bem como suas possveis
conseqncias filosficas, poderia ser buscada pela investigao de modelos de
Dawson a partir de diferentes sistemas lgicos, com modalidades irredutveis e
relaes de acessibilidade distintas. Um benefcio extra na realizao de tal


87
investigao poderia ser a verificao acerca da existncia de um sistema mais fraco
do que K1, em que o procedimento de Kielkopf possa ser aplicado.
Alm das questes acima, surge tambm a questo de classificar as
tradues realizadas por Kielkopf em alguns dos tipos de traduo constantes da
tipologia de Feitosa. Entendemos que estes questionamentos se colocam como
tema para investigaes futuras.

6 REFERNCIAS BIBLIOGRFICAS
BOBBIO, N. Teoria geral do Direito. So Paulo: Martins Fontes, 2007.
CHELLAS, B. F. Modal Logic. An Introduction. Cambridge: Cambridge University
Press, 1980.
DAWSON, E. E. A model for deontic logic, Analysis, v. 19 (1959), p. 73-78.
FEITOSA, H. A. Tradues Conservativas. 1997. 161f. Tese (Doutorado em
Filosofia) Universidade Estadual de Campinas, Campinas, 1997.
FITTING, M., MENDELSOHN, R. L. Firstorder Modal Logic. Dordrecht: Kluwer
Academic Publishers, 1998.
GIRLE, R. Modal Logics and Philosophy. Londres: McGill-Queen's University
Press, 2000.
HUGHES, G. E., CRESSWELL, M. J. A new Introduction to Modal Logic. Londres:
Routledge, 1996.
HUME, D. Tratado da natureza humana: uma tentativa de introduzir o mtodo
experimental de raciocnio nos assuntos morais. Traduo: Dborah Danowski. So
Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001.
JRGENSEN, J. Imperatives and logic. Erkenntnis, v. VII, p. 288-296, 1938.


89
KANT, I. Crtica da Razo Pura. Traduo de Valrio Rohden e Udo Baldur
Moosburger. Coleo Os Pensadores. So Paulo: Abril Cultural, 1983.
KANT, I. Fundamentao da Metafsica dos Costumes. Traduo de Paulo
Quintela. Coleo: Textos Filosficos. Lisboa: Edies 70, Lda., 2002.
KIELKOPF, C. K1 is a Dawson modelling of A. R. Andersons Sense of ought.
Notre Dame Journal of Formal Logic, v. XV, n. 3, July 1974, p. 402-410.
KIELKOPF, C. Kants Deontic Logic. Reports On Mathematical Logic, n. 5, 1975, p.
43-51.
LEIBNIZ, G. The Methods of Law (Modalia et elementa Juris). In: Leibniz
Translations.com. 2003. Disponvel em: <http://www.leibniz-
translations.com/translation31.php/>. Acesso em: 02 de setembro de 2005.
MOORE, G. E. Principia Ethica. Traduo: Mrcio Pugliesi e Divaldo Roque de
Meira. So Paulo: cone, 1998.
PATON, H., J. The Categorial Imperative. A study in Kants Moral Philosophy.
Philadelphia: University of Pennsilvania Press, 1971.
PRIOR, A. N. K1, K2 and Related Modal systems. Notre Dame Journal of Logic, v.
V, n. 4, october 1964, p. 299-304.
RABOSSI, E. Dialogo, falacias y retorica. El caso de la falacia naturalista.
Manuscrito, v. XXV, n. 2, 2002, p. 353-380.
Verbete: Relevance logic. In: Stanford Encyclopedia of Philosophy. Stanford, 2006.
Disponvel em :<http://plato.stanford.edu/archives/spr2006/entries/logic-relevance/>
Acesso em: 25 jan. 2007.


90
RESTALL, G., RUSSELL, G. Barriers to Inference. Publicado em 23 de Setembro
de 2003. Disponvel em: <http://consequently.org>. Acesso em: 10 de setembro de
2005.
RUSSELL, B. The Philosophy of Logical Atomism. London: George Allen and
Unwin, 1918.
SAUTTER, F. T. Leibniz, Gottfried Wilhelm, 1646-1716. In: BARRETTO, V. P.
(Coord.). Dicionrio de Filosofia do Direito. So Leopoldo: Ed. Unisinos, 2006.
SAUTTER, F. T. , FREITAS, A. N. Imperativos e Lgica. (No publicada). Traduo
de: ROSS, A. Imperatives and logic. Theoria, v. 7, 1941, p. 53-71.
SAUTTER, F. T. Um breve estudo histrico-analtico da Lei de Hume.
Trans/Form/Ao, v. 29, n. 2, 2006, p.241-248.
SOBOCISKI, B. Remarks About Axiomatizations of Certain Modal Systems. Notre
Dame Journal of Formal Logic, v. V, n. 1, January 1974, p. 71-80.