Contingency logics and propositional quantification

Detalhes bibliográficos
Autor(a) principal: Pizzi, Claudio
Data de Publicação: 1999
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500
Resumo: The problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call "Existence Postulate", an axiom which is formulated in the framwork of a modal language with propositional quantifiers. It is shown  that the minimal contingency logic K Δ extended with the contingential counterpart of Existence Postulate is definitionally equivalent to the deontic logic KD extended with propositional quantifiers.
id UNICAMP-17_f63d09f4047f5148b3376217c5097870
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8666500
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling Contingency logics and propositional quantificationContigênciaLógica ExistênciaThe problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call "Existence Postulate", an axiom which is formulated in the framwork of a modal language with propositional quantifiers. It is shown  that the minimal contingency logic K Δ extended with the contingential counterpart of Existence Postulate is definitionally equivalent to the deontic logic KD extended with propositional quantifiers.Universidade Estadual de Campinas1999-10-31info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionTextoapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500Manuscrito: Revista Internacional de Filosofia; v. 22 n. 2 (1999): out.; 283-303Manuscrito: International Journal of Philosophy; Vol. 22 No. 2 (1999): Oct.; 283-303Manuscrito: Revista Internacional de Filosofía; Vol. 22 Núm. 2 (1999): out.; 283-3032317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500/28504Global; ContemporâneoCopyright (c) 1999 Manuscrito: Revista Internacional de Filosofiahttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessPizzi, Claudio2022-05-23T13:29:21Zoai:ojs.periodicos.sbu.unicamp.br:article/8666500Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2022-05-23T13:29:21Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Contingency logics and propositional quantification
title Contingency logics and propositional quantification
spellingShingle Contingency logics and propositional quantification
Pizzi, Claudio
Contigência
Lógica
Existência
title_short Contingency logics and propositional quantification
title_full Contingency logics and propositional quantification
title_fullStr Contingency logics and propositional quantification
title_full_unstemmed Contingency logics and propositional quantification
title_sort Contingency logics and propositional quantification
author Pizzi, Claudio
author_facet Pizzi, Claudio
author_role author
dc.contributor.author.fl_str_mv Pizzi, Claudio
dc.subject.por.fl_str_mv Contigência
Lógica
Existência
topic Contigência
Lógica
Existência
description The problem of defining modal operators using contingency as a primitive is discussed by assuming what Lewis and Langford call "Existence Postulate", an axiom which is formulated in the framwork of a modal language with propositional quantifiers. It is shown  that the minimal contingency logic K Δ extended with the contingential counterpart of Existence Postulate is definitionally equivalent to the deontic logic KD extended with propositional quantifiers.
publishDate 1999
dc.date.none.fl_str_mv 1999-10-31
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Texto
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666500/28504
dc.rights.driver.fl_str_mv Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
https://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
https://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv Global; Contemporâneo
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 22 n. 2 (1999): out.; 283-303
Manuscrito: International Journal of Philosophy; Vol. 22 No. 2 (1999): Oct.; 283-303
Manuscrito: Revista Internacional de Filosofía; Vol. 22 Núm. 2 (1999): out.; 283-303
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216568007753728

Registros relacionados