English

TítuloLógicas da Inconsistência Formal
Título (Inglês) Logics of Formal Inconsistency
AutorAlmeida, João Marcos de , 1974
Classificação e Indexação (ACM: F.4) - LÓGICA MATEMÁTICA E LINGUAGENS FORMAIS
Classificação e Indexação (CDU: 16) - Lógica. Epistemologia. Teoria do conhecimento. Metodologia da lógica
OrientadorCaleiro, Carlos Manuel Costa Lourenço, , 1970
Co-OrientadorCarnielli, Walter Alexandre
InstituiçãoDepartamento de Matemática -- Instituto Superior Técnico -- Universidade Técnica de Lisboa
InstituiçãoDepartamento de Filosofia -- Instituto de Filosofia e Ciências Humanas -- Universidade Estadual de Campinas
GéneroTese de Doutoramento
LínguaInglês
Data4 / 3 / 2005
Resumo (Inglês) According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems in the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is made into the logical principles and the positive and negative properties of negation.
NotasFri Mar 04 15:38:53 WET 2005 - System: New Object Created - Tese estava integralmente disponível no site do autor, em http://geocities.com/jm_logica/Publications/Theses.htm
Cópia Local CompletaLógicas da Inconsistência Formal (Tese de Doutoramento) 1. Lógica - Filosofia. 2. Lógica matemática não-clássica. 3. Semântica (Filosofia). 4. Modalidade (Lógica). 5. Inferência (Lógica).
Ficheiros:
PhD_JMarcos.pdf (4923 KB) -
Descrição: Lógicas da Inconsistência Formal (Tese de Doutoramento)

Metadados
FicheiroTipoDataModoName Space
deptalv1.xmlDescritivoGeradohttp://deptal.bn.pt/xsd/deptal/1.0/
oai_dc.xmlDescritivoGeradohttp://www.openarchives.org/OAI/2.0/oai_dc/
marc.xmlDescritivoGeradohttp://www.bn.pt/standards/metadata/marcxml/1.0/
tel.xmlDescritivoGeradohttp://krait.kb.nl/coop/tel/handbook/telterms.html
iso2709.isoDescritivoGeradoiso2709
mets.xmlEstruturalGeradohttp://www.loc.gov/METS/

Identificador DiTeD29635
Data de Registo
Validado pela Administração
Data da Última Modificação
printImprimirEnglish