SPLogiC

splogic-site-534x164-1
Menu
Call for Applications

Courses

Course 1

Paraconsistent Reasoning in Historical and Epistemological Perspectives

Evandro Luís Gomes 
CLE/State University of Maringá – UEM, Brazil
and
Itala M. Loffredo 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
and
Walter Carnielli
CLE/Unicamp

Course 3

Unifying Defeasible Reasoning: Adaptive Logics

Diderik Batens 
University of Ghent, Belgium

Course 4

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

Fernando Zalamea
National University of Colombia

Course 5

Translating and Combining Logics

Hércules de Araújo Feitosa
CLE/São Paulo State University – Unesp, Brazil
and
Marcelo E. Coniglio
CLE/Unicamp

Course 6

Argumentation-based Approaches to Paraconsistency

Ofer Arieli
Academic College of Tel-Aviv, Israel

Course 7

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

Daniele Mundici
CLE/University of Florence, Italy

Course 8

Big Data, Information, and Ethical Issues in Artificial Reasoning

Maria Eunice Quilici Gonzalez
CLE/São Paulo State University – Unesp, Brazil
and
Marcelo Finger
CLE/University of São Paulo – USP, Brazil