Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Logics of Formal Inconsistency

Joao MarcosDIMAp / UFRN

Notice:  hosted by Richard Waldinger

Date:  Thursday, July 9th 2009 at 4:00pm

Location:  EJ228 (SRI E building)  (Directions)


According to the classical consistency presupposition, contradictions have an explosive disposition: 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. So, for instance, while typical classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-A) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-A) as an extra hypothesis of the rule).

Our talk will provide an introduction to the class of LFIs, as well as an illustration of how rich this class is, in that it naturally subsumes most logics originating from both the Brazilian and the Polish schools of paraconsistency and is characterized by the same kind of derivability adjustment theorem that gives foundation to the logics originating from the Belgian school of paraconsistency.

   Bio for Joao Marcos

JOÃO MARCOS is a logician and holds a PhD in Mathematics from the TU-Lisbon (Portugal) and a PhD in Philosophy from the State University of Campinas (Brazil). He is currently a member of the Group for Logic, Language, Information, Theory and Applications (LoLITA), an Associate Professor at the Department of Informatics and Applied Mathematics (DIMAp) of UFRN (Brazil), and collaborates with the Security and Quantum Information Group (SQIG) / IT (Portugal). His main topics of investigation center around non-classical logics (paraconsistent, many-valued, modal, intuitionistic), formal semantics (possible-translations semantics, possible-worlds semantics, society semantics), abstract logic, and the philosophy of logic.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E (or call Wilma Lenz at 650 859 4904, or Eunice Tseng at 650 859 2799). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Building E entrance signage.

SRI International
©2018 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy