7 - 9 December, 2022
2nd Workshop
on the Interpretations of Paraconsistent Logics
Federal University of Santa Catarina
Florianópolis
ATENÇÃO: MUDANÇA DO LOCAL DO EVENTO PARA O Hotel Quinta da Bica D’Água
ATENÇÃO: MUDANÇA DO LOCAL DO EVENTO PARA O Hotel Quinta da Bica D’Água
Rua Capitão Romualdo de Barros, 641 – Carvoeira – Florianópolis/SC
Local: Sala Azaléia.
Rua Capitão Romualdo de Barros, 641 – Carvoeira – Florianópolis/SC
Local: Sala Azaléia.
About
A consequence relation is paraconsistent if it is not explosive, i.e, from a contradictory pair of premises, not every formula follows. Newton da Costa, one of pioneers of paraconsistent logic, created a whole style of developing paraconsistent logics, and today Brazil is widely known for research on paraconsistent systems in this tradition, specially focusing on logics of formal inconsistency (which are generalizations of da Costa's original systems). Despite this fact, one frequently finds claims that the so-called 'Brazilian School of (Paraconsistent) Logic' does not have a properly developed philosophy of paraconsistency. The Workshop on the Interpretations of Paraconsistent Logics aims at bringing to the center of the stage precisely the philosophy of paraconsistency in general, focusing on the variety of understandings of paraconsistency. In the II Workshop on The Interpretations of Paraconsistent Logics, that will be held in Florianópolis, the discussions focus in general on the philosophy of paraconsistency in the light of the contributions of da Costa to that theme, but are not confined to this. Other themes that will also be addressed are: the meaning of negation and contradiction; dialetheism; epistemic interpretation of paraconsistency; semantic paradoxes and history of paraconsistency.
A consequence relation is paraconsistent if it is not explosive, i.e, from a contradictory pair of premises, not every formula follows. Newton da Costa, one of pioneers of paraconsistent logic, created a whole style of developing paraconsistent logics, and today Brazil is widely known for research on paraconsistent systems in this tradition, specially focusing on logics of formal inconsistency (which are generalizations of da Costa's original systems). Despite this fact, one frequently finds claims that the so-called 'Brazilian School of (Paraconsistent) Logic' does not have a properly developed philosophy of paraconsistency. The Workshop on the Interpretations of Paraconsistent Logics aims at bringing to the center of the stage precisely the philosophy of paraconsistency in general, focusing on the variety of understandings of paraconsistency. In the II Workshop on The Interpretations of Paraconsistent Logics, that will be held in Florianópolis, the discussions focus in general on the philosophy of paraconsistency in the light of the contributions of da Costa to that theme, but are not confined to this. Other themes that will also be addressed are: the meaning of negation and contradiction; dialetheism; epistemic interpretation of paraconsistency; semantic paradoxes and history of paraconsistency.
Prof. Newton da Costa.
Speakers
Speakers
Newton da Costa
Newton da Costa
Federal University of Santa Catarina,
Brazil
Hitoshi Omori
Hitoshi Omori
Ruhr University
of Bochum,
Germany
Otávio Bueno
Otávio Bueno
University of Miami, USA
Eduardo Barrio
Eduardo Barrio
University of
Buenos Aires, Argentina
Itala D'Ottaviano
Itala D'Ottaviano
State University of Campinas,
Brazil I
Walter Carnielli
Walter Carnielli
State University of Campinas,
Brazil I
Abílio Rodrigues
Abílio Rodrigues
Federal University of Minas Gerais,
Brazil
Guilherme Cardoso
Guilherme Cardoso
Federal University of Ouro Preto,
Brazil
Henrique Antunes
Henrique Antunes
Federal University
of Bahia,
Brazil
Raoni Arroyo
Raoni Arroyo
State University of Campinas,
Brazil
Jonas Arenhart
Jonas Arenhart
Federal University of Santa Catarina,
Brazil
Ederson Melo
Ederson Melo
Federal University of Maranhão,
Brazil