Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

203652

From (paraconsistent) topos logic to universal (topos) logic

Luis Estrada-González

pp. 263-295

Abstract

In this chapter, I describe how complement toposes, with their paraconsistent internal logic, lead to a more abstract theory of topos logic. Béziau's work in Universal Logic – including his ideas on logical structures, axiomatic emptiness and on logical many-valuedness – is central in this shift and therefore it is with great pleasure that I wrote this chapter for the present commemorative volume.

Publication details

Published in:

Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic II: Festschrift for the 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.

Pages: 263-295

DOI: 10.1007/978-3-319-15368-1_12

Full citation:

Estrada-González Luis (2015) „From (paraconsistent) topos logic to universal (topos) logic“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, 263–295.