Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.
Autor(a) principal: | |
---|---|
Data de Publicação: | 1996 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFRN |
Texto Completo: | https://repositorio.ufrn.br/jspui/handle/1/6169 |
Resumo: | Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996. |
id |
UFRN_2d815a92643a11603450eb3007600cd0 |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:1/6169 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Cruz, Ângela Maria Paiva,2012-04-23T14:26:28Z2012-04-23T14:26:28Z19960104-8694https://repositorio.ufrn.br/jspui/handle/1/6169Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.Normative fragmento natural language makeup sentences that expressacts and describe norms. In this fragmentthere are criteriao flogic thuth and relation of consequence between sentences which constitute a natural d.eontic logic. This paper adopta translation function fromt hese tof sentence sof the normative fragmento natural language intot hese tof formulae intheformal language and claims that such function translates logically true sentences of the natural language into provable formulae of the formal calculus. With Von Wright's deontic calculus (1951), it does not fit and generates paradoxes, whichareknown as Prior's paradoxes. Cruz's paraconsistent d.eontic propositional calculus, D1 (1993) avoids some paradoxes, except that generated by the formula OB ~ O(A ~ B). One buildsa relevant deontic propositional calculusthat aims toavoidtheseparadoxesand keepsintact all other fundamental features of d.eontic operators, since the formulaB ~ (A ~ B) is improable'in somere lavant calculi.porUFRN: CCHLALógica Deôntica.Lógica Relevante.Axiomática de Eo.Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALangela 2.pdfangela 2.pdfapplication/pdf649766https://repositorio.ufrn.br/bitstream/1/6169/1/angela%202.pdfa0fe4d61e1dfcfa67350fc2589688cb4MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufrn.br/bitstream/1/6169/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTangela 2.pdf.txtangela 2.pdf.txtExtracted texttext/plain20110https://repositorio.ufrn.br/bitstream/1/6169/7/angela%202.pdf.txtc9eeea5fbc5251b35816a44f2e10709dMD57THUMBNAILangela 2.pdf.jpgangela 2.pdf.jpgIM Thumbnailimage/jpeg3611https://repositorio.ufrn.br/bitstream/1/6169/8/angela%202.pdf.jpg4f4e3cda7f170a41f90b3d5a2d43fce3MD581/61692017-11-02 15:12:39.503oai:https://repositorio.ufrn.br:1/6169Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-02T18:12:39Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.pt_BR.fl_str_mv |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
title |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
spellingShingle |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. Cruz, Ângela Maria Paiva, Lógica Deôntica. Lógica Relevante. Axiomática de Eo. |
title_short |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
title_full |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
title_fullStr |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
title_full_unstemmed |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
title_sort |
Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹. |
author |
Cruz, Ângela Maria Paiva, |
author_facet |
Cruz, Ângela Maria Paiva, |
author_role |
author |
dc.contributor.author.fl_str_mv |
Cruz, Ângela Maria Paiva, |
dc.subject.por.fl_str_mv |
Lógica Deôntica. Lógica Relevante. Axiomática de Eo. |
topic |
Lógica Deôntica. Lógica Relevante. Axiomática de Eo. |
description |
Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996. |
publishDate |
1996 |
dc.date.issued.fl_str_mv |
1996 |
dc.date.accessioned.fl_str_mv |
2012-04-23T14:26:28Z |
dc.date.available.fl_str_mv |
2012-04-23T14:26:28Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/jspui/handle/1/6169 |
dc.identifier.issn.none.fl_str_mv |
0104-8694 |
identifier_str_mv |
0104-8694 |
url |
https://repositorio.ufrn.br/jspui/handle/1/6169 |
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.publisher.none.fl_str_mv |
UFRN: CCHLA |
publisher.none.fl_str_mv |
UFRN: CCHLA |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/1/6169/1/angela%202.pdf https://repositorio.ufrn.br/bitstream/1/6169/2/license.txt https://repositorio.ufrn.br/bitstream/1/6169/7/angela%202.pdf.txt https://repositorio.ufrn.br/bitstream/1/6169/8/angela%202.pdf.jpg |
bitstream.checksum.fl_str_mv |
a0fe4d61e1dfcfa67350fc2589688cb4 8a4605be74aa9ea9d79846c1fba20a33 c9eeea5fbc5251b35816a44f2e10709d 4f4e3cda7f170a41f90b3d5a2d43fce3 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802117717890695168 |