Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/86633
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.contributor.authorunicampCarnielli, Walter Alexandrept_BR
dc.contributor.authorunicampTesta, Rafael Rodriguespt_BR
dc.contributor.authorunicampConiglio, Marcelo Estebanpt_BR
dc.typeArtigopt_BR
dc.titleOn the way to a wider model theory: completeness theorems for first-order logics of formal inconsistencypt_BR
dc.contributor.authorRodrigues, T.pt_BR
dc.contributor.authorPodiacki, R.pt_BR
dc.contributor.authorConiglio, M.E.pt_BR
dc.contributor.authorCarnielli, W..pt_BR
dc.subjectLogica paraconsistentept_BR
dc.subject.otherlanguageParaconsistent logic.pt_BR
dc.description.abstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerfulparaconsistent logics that encode classical logic and permit a finer distinction be-tween contradictions and inconsistencies, with a deep involvement in philosophicaland foundational questions. Although focused on just one particular case, namely,the quantified logicQmbC, the method proposed here is completely general forthis kind of logics, and can be easily extended to a large family of quantifiedparaconsistent logics, supplying a sound and complete semantical interpretationfor such logics. However, certain subtleties involving term substitution and re-placement, that are hidden in classical structures, have to be taken into accountwhen one ventures into the realm of non-classical reasoning. This paper showshow such difficulties can be overcome, and offers detailed proofs showing that asmooth treatement of semantical characterization can be given to all such logics.Although the paper is well-endowed in technical details and results, it has a sig-nificant philosophical aside: it shows how slight extensions of classical methodscan be used to construct the basic model theory of logics that are weaker than tra-ditional logic due to the absence of certain rules present in classical logic. Severalsuch logics, however, as in the case of theLFIs treated here, are notorious fortheir wealth of models precisely because they do not make indiscriminate use ofcertain rules; these models thus require new methods. In the case of this paper, byjust appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus,some new constructions and crafty solutions to certain non-obvious subtleties areproposed. The result is that a richer extension of model theory can be inaugurated,with interest not only for paraconsistency, but hopefully to other enlargements oftraditional logic.pt_BR
dc.relation.ispartofReview of symbolic logicpt_BR
dc.publisher.cityCambridgept_BR
dc.publisher.countryInglaterrapt_BR
dc.publisherCambridge University Presspt_BR
dc.date.issued2014pt_BR
dc.identifier.citationReview Of Symbolic Logic. Cambridge University Press, v. 7, n. 3, p. 548 - 578, 2014.pt_BR
dc.language.isoengpt_BR
dc.description.volume7pt_BR
dc.description.issuenumber3pt_BR
dc.description.firstpage548pt_BR
dc.description.lastpage578pt_BR
dc.rightsfechadopt_BR
dc.sourceScopuspt_BR
dc.identifier.issn1755-0203pt_BR
dc.identifier.eissn1755-0211pt_BR
dc.identifier.doi10.1017/S1755020314000148pt_BR
dc.identifier.urlhttps://www.cambridge.org/core/journals/review-of-symbolic-logic/article/on-the-way-to-a-wider-model-theory-completeness-theorems-for-firstorder-logics-of-formal-inconsistency/0F4254A31E1E6916F61FDD37452F74DBpt_BR
dc.description.sponsorshipsem informaçãopt_BR
dc.description.sponsorship1sem informaçãopt_BR
dc.date.available2015-06-25T17:54:13Z-
dc.date.available2015-11-26T14:31:01Z-
dc.date.accessioned2015-06-25T17:54:13Z-
dc.date.accessioned2015-11-26T14:31:01Z-
dc.description.provenanceMade available in DSpace on 2015-06-25T17:54:13Z (GMT). No. of bitstreams: 1 2-s2.0-84916226649.pdf: 216980 bytes, checksum: 5ca985bed4a0af3549c329395fe27748 (MD5) Previous issue date: 2014 Bitstreams deleted on 2020-10-13T14:37:34Z: 2-s2.0-84916226649.pdf,. Added 1 bitstream(s) on 2020-10-13T14:40:42Z : No. of bitstreams: 2 2-s2.0-84916226649.pdf: 349326 bytes, checksum: f966d166b266390372652db2615c9cf0 (MD5) 2-s2.0-84916226649.pdf.txt: 90711 bytes, checksum: 0f8eee82bdde69f86a3da615e6cda7fc (MD5)en
dc.description.provenanceMade available in DSpace on 2015-11-26T14:31:01Z (GMT). No. of bitstreams: 2 2-s2.0-84916226649.pdf: 216980 bytes, checksum: 5ca985bed4a0af3549c329395fe27748 (MD5) 2-s2.0-84916226649.pdf.txt: 90711 bytes, checksum: 0f8eee82bdde69f86a3da615e6cda7fc (MD5) Previous issue date: 2014en
dc.identifier.urihttp://www.repositorio.unicamp.br/handle/REPOSIP/86633-
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/86633-
dc.contributor.departmentDepartamento de Filosofiapt_BR
dc.contributor.departmentsem informaçãopt_BR
dc.contributor.departmentDepartamento de Filosofiapt_BR
dc.contributor.unidadeInstituto de Filosofia e Ciências Humanaspt_BR
dc.identifier.source2-s2.0-84916226649pt_BR
dc.creator.orcid0000-0003-0524-2917pt_BR
dc.creator.orcidsem informaçãopt_BR
dc.creator.orcid0000-0002-1807-0520pt_BR
dc.type.formArtigo original-
Appears in Collections:IFCH - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-84916226649.pdf341.14 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.