Courses

Course 1

Paraconsistent Reasoning in Historical and Epistemological Perspectives

Evandro Luís Gomes
CLE/State University of Maringá – UEM, Brazil
(with the assistance of Itala D’Ottaviano – CLE/Unicamp)

Course 2

Non-Classical Negations and the Classical Recapture: A Tour of the Land of Formal Inconsistency and its Neighborhood.

João Marcos
Federal University of Rio Grande do Norte – UFRN, Brazil
(with the assistance of Walter Carnielli – CLE/Unicamp)

Course 3

Unifying Defeasible Reasoning: Adaptive Logics

Diderik Batens
University of Ghent, Belgium

Course 4

Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems

Daniele Mundici
CLE/University of Florence, Italy

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa
CLE/São Paulo State University – Unesp, Brazil
(with the assistance of Marcelo E. Coniglio, CLE/Unicamp)

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli
Academic College of Tel-Aviv, Israel

Course 7

Big Data, Information and Ethical Issues on Artificial Reasoning

Maria Eunice Quilici Gonzalez
CLE/São Paulo State University – Unesp, Brazil

Course 8

A Short Introduction to Main and Alternative Perspectives on the Philosophy of Mathematics – Part II

Fernando Zalamea
National University of Colombia, Colombia

Course 9

Reasoning about Knowledge

Joe Halpern
Cornell University, USA