Logics of Formal Inconsistency

PhD thesis, summa cum laude, defended in partial fulfillment of the requirements for the Degree in Philosophy by IFCH / Unicamp and the Degree in Mathematics by IST / UTL, under a cooperation agreement between the two universities.

Author:
João Marcos 

Supervisors:
Carlos Caleiro (CLC and Dept. of Mathematics, IST, Portugal)
Walter Carnielli (CLE and Dept. of Philosophy, IFCH, Unicamp, Brazil)


COMPLETE FINAL VERSION (03 Mar 2005)

Chapters:

Zero - Opening
Covers: Main, IST and Unicamp
Resumo / Abstract
Introdução
Prolegomena to any future paraconsistency

One - Map of the Territory
Intro
10 - "A taxonomy of C-systems"
Errata

Two - Possible-translations Semantics for Logics of Formal Inconsistency
Intro
21 - "Possible-translations semantics (extended abstract)"
22 - "Possible-translations semantics for some weak classically-based paraconsistent logics"

Three - Modal Semantics for Logics of Formal Inconsistency
Intro
31 - "Logics of essence and accident"
32 - "Modality and paraconsistency"
33 - "Nearly every normal modal logic is paranormal"

Four - An Abstract Perspective on Negation
Intro
41 - "On negation: pure local rules"
42 - "Ineffable inconsistencies"

Omega - Coda
Conclusão
The end


Important dates:

Wed 25 Aug 04, 14h, CLE/Unicamp: FINAL ORAL EXAMINATION (QUALIFICAÇÃO).
Referees:
Walter Carnielli (CLE and Dept. of Philosophy, IFCH, Unicamp, Brazil)
Marcelo Finger (Dept. of Computer Science, IME, USP, Brazil)
(Dept. of Mathematics, IGCE, Unesp-Rio Claro, Brazil)
Marcelo E. Coniglio (CLE and Dept. of Philosophy, IFCH, Unicamp, Brazil)

Wed 16 Feb 05, 10h, IFCH/Unicamp: DEFENCE.
Referees:
Carlos Caleiro (CLC and Dept. of Mathematics, IST, Portugal)
Walter Carnielli (CLE and Dept. of Philosophy, IFCH, Unicamp, Brazil)
Décio Krause (NEL and Dept. of Philosophy, UFSC, Brazil)
(CCSH, Dept. of Philosophy, UFSM, Brazil)
João F. Rasga (CLC and Dept. of Mathematics, IST, Portugal)
Marcelo E. Coniglio (CLE and Dept. of Philosophy, IFCH, Unicamp, Brazil)
Marcelo Finger (Dept. of Computer Science, IME, USP, Brazil)


Aqui e acolá:  Sobre as su[b]tis diferenças entre português e português.

Clicando / Carregando aqui você pode conferir um curioso anúncio imaginário de defesa da minha tese, tal como poderia ter sido veiculado em língua lusitana, seguido por uma versão em língua brasileira.


This final version of the thesis is dedicated to all of you who cared to write and wish me TUDO DE BOM.


Comments, corrections, complaints and congratulations are still, and always, welcome!


Last update: 03 Mar 05       eXTReMe Tracker