UnB
Departamento de Filosofia
Filosofia da Lógica (137898)
2012/02
Prof. Alexandre Costa-Leite

PROGRAMA

Sugestões de textos

Sobre lógica universal:

1) Béziau, J-Y. (2007). From consequence operator to universal logic: a survey of general
abstract logic
. In Logica Universalis, Springer, Birkhauser: Verlag Basel, Switzerland.

Sobre as relações entre lógica modal e lógica paraconsistente:

2)
Béziau, J-Y. (2002). S5 is a paraconsistent logic and so is first-order classical logic, Logical Investigations, 9.

3)
Béziau, J-Y. (2003). New light on the square of oppositions and its nameless corner, Logical Investigations, 10.

Sobre negação e lógica paraconsistente:

4) Béziau, J-Y. (2000). What is paraconsistent logic?, in Frontiers of paraconsistent logic, D.Batens et al. (eds), Research Studies Press, Baldock.

Verbetes da SEP


Fitch's paradox of knowability (Joe Salerno)

Justification logic (Sergei Artemov)

Combining logics (Carnielli & Coniglio)

Contradiction (Laurence Horn)

The traditional Square of Oppositions (Terence Parsons)