Redução plena do deôntico ao ôntico
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Manancial - Repositório Digital da UFSM |
Texto Completo: | http://repositorio.ufsm.br/handle/1/9046 |
Resumo: | 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. |
id |
UFSM_4210a5f0e2fe69c318f2687e06b466aa |
---|---|
oai_identifier_str |
oai:repositorio.ufsm.br:1/9046 |
network_acronym_str |
UFSM |
network_name_str |
Manancial - Repositório Digital da UFSM |
repository_id_str |
|
spelling |
Redução plena do deôntico ao ônticoDeontic to ontic full reductionLógica deônticaAnálise filosóficaReino dos finsTradução entre lógicasKantKielkopfDeontic logicPhilosophical analysisKingdom of endsTranslations between logicsKantKielkopfCNPQ::CIENCIAS HUMANAS::FILOSOFIAThe 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.Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorA 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.Universidade Federal de Santa MariaBRFilosofiaUFSMPrograma de Pós-Graduação em FilosofiaSautter, Frank Thomashttp://lattes.cnpq.br/2804652028967760Casanave, Abel Lassallehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784808Z9Feitosa, Hércules de Araujohttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707665E5Lindner, Diogo2008-04-292008-04-292008-03-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfLINDNER, Diogo. DEONTIC TO ONTIC FULL REDUCTION. 2008. 90 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Maria, Santa Maria, 2008.http://repositorio.ufsm.br/handle/1/9046porinfo:eu-repo/semantics/openAccessreponame:Manancial - Repositório Digital da UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSM2021-09-22T14:39:42Zoai:repositorio.ufsm.br:1/9046Biblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufsm.br/ONGhttps://repositorio.ufsm.br/oai/requestatendimento.sib@ufsm.br||tedebc@gmail.comopendoar:2021-09-22T14:39:42Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)false |
dc.title.none.fl_str_mv |
Redução plena do deôntico ao ôntico Deontic to ontic full reduction |
title |
Redução plena do deôntico ao ôntico |
spellingShingle |
Redução plena do deôntico ao ôntico Lindner, Diogo Lógica deôntica Análise filosófica Reino dos fins Tradução entre lógicas Kant Kielkopf Deontic logic Philosophical analysis Kingdom of ends Translations between logics Kant Kielkopf CNPQ::CIENCIAS HUMANAS::FILOSOFIA |
title_short |
Redução plena do deôntico ao ôntico |
title_full |
Redução plena do deôntico ao ôntico |
title_fullStr |
Redução plena do deôntico ao ôntico |
title_full_unstemmed |
Redução plena do deôntico ao ôntico |
title_sort |
Redução plena do deôntico ao ôntico |
author |
Lindner, Diogo |
author_facet |
Lindner, Diogo |
author_role |
author |
dc.contributor.none.fl_str_mv |
Sautter, Frank Thomas http://lattes.cnpq.br/2804652028967760 Casanave, Abel Lassalle http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784808Z9 Feitosa, Hércules de Araujo http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707665E5 |
dc.contributor.author.fl_str_mv |
Lindner, Diogo |
dc.subject.por.fl_str_mv |
Lógica deôntica Análise filosófica Reino dos fins Tradução entre lógicas Kant Kielkopf Deontic logic Philosophical analysis Kingdom of ends Translations between logics Kant Kielkopf CNPQ::CIENCIAS HUMANAS::FILOSOFIA |
topic |
Lógica deôntica Análise filosófica Reino dos fins Tradução entre lógicas Kant Kielkopf Deontic logic Philosophical analysis Kingdom of ends Translations between logics Kant Kielkopf CNPQ::CIENCIAS HUMANAS::FILOSOFIA |
description |
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. |
publishDate |
2008 |
dc.date.none.fl_str_mv |
2008-04-29 2008-04-29 2008-03-06 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
LINDNER, Diogo. DEONTIC TO ONTIC FULL REDUCTION. 2008. 90 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Maria, Santa Maria, 2008. http://repositorio.ufsm.br/handle/1/9046 |
identifier_str_mv |
LINDNER, Diogo. DEONTIC TO ONTIC FULL REDUCTION. 2008. 90 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Santa Maria, Santa Maria, 2008. |
url |
http://repositorio.ufsm.br/handle/1/9046 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Santa Maria BR Filosofia UFSM Programa de Pós-Graduação em Filosofia |
publisher.none.fl_str_mv |
Universidade Federal de Santa Maria BR Filosofia UFSM Programa de Pós-Graduação em Filosofia |
dc.source.none.fl_str_mv |
reponame:Manancial - Repositório Digital da UFSM instname:Universidade Federal de Santa Maria (UFSM) instacron:UFSM |
instname_str |
Universidade Federal de Santa Maria (UFSM) |
instacron_str |
UFSM |
institution |
UFSM |
reponame_str |
Manancial - Repositório Digital da UFSM |
collection |
Manancial - Repositório Digital da UFSM |
repository.name.fl_str_mv |
Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM) |
repository.mail.fl_str_mv |
atendimento.sib@ufsm.br||tedebc@gmail.com |
_version_ |
1805922135254761472 |