Spelling suggestions: "subject:"tradução entre lógica"" "subject:"gradução entre lógica""
1 |
REDUÇÃO PLENA DO DEÔNTICO AO ÔNTICO / DEONTIC TO ONTIC FULL REDUCTIONLindner, Diogo 06 March 2008 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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., Jörgensen'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. / A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seus
resultados quanto à construção de um sistema de lógica deôntica que capture conceitos e princípios kantianos como necessidade causal e as formulações do Imperativo Categórico
acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma
apresentação em linhas gerais destas concepções e, tendo em vista as dificuldades referentes a aplicabilidade de um processo de tradução entre princípios deônticos e ônticos,
fez-se necessária também uma exposição acerca do problema das barreiras inferenciais, bem como de sua conseqüência mais imediata, a saber, o Dilema de Jörgensen. Num
segundo momento, também foi feita uma caracterização dos sistemas modais normais, tanto deônticos quanto aléticos, bem como da noção de tradução entre lógicas e dos modelos de Dawson. O capítulo final consiste justamente num exame crítico da proposta de Kielkopf, o qual faz uso dos modelos de Dawson para desenvolver uma lógica deôntica a partir do
sistema lógico K1. Tais modelos de Dawson permitem a definição de uma lógica deôntica em termos de modalidades aléticas 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 atribuição de um status lógico a concepções deônticas não constitui, contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na utilização por Kielkopf, de seu modelo formal como uma ferramenta para a investigação de concepções filosóficas, no caso, as concepções kantianas já citadas.
|
Page generated in 0.0774 seconds