Jorge Petrucio Viana
Dpt of Mathematics, Federal Fluminense University, Niteroi, Brazil
Recycling Proofs
Slides
6:30-7:00 pm Rio de Janeiro Time

Jean-Yves Beziau
Brazilian Academy of Philosophy, CNPq and University of Brazil, Rio de Janeiro
Are dogs logical animals?
Slides
Full Paper
7:00-7:30 pm Rio de Janeiro Time

Eduardo Ochs
Federal Fluminense University, Rio das Ostras
The Logic for Children Project (is trying to translate its categorical diagrams to Type Theory)
Slides
7:30- 8:00 pm Rio de Janeiro Time

María del Rosario Martínez-Ordaz
Graduate Porgram in Philosophy PPGF-UFRJ, Federal University of Rio de Janeiro, Brazil
From ignorance to understanding: An inferentialist approach
Slides
8:00 - 8:30 pm Rio de Janeiro Time

Cassiano Terra Rodrigues
Aeronautics Institute of Technology (ITA), São José do Campos, Brazil
Inquiry and scientific method in Peirce's Philosophy
Slides
8:30 - 9:00 pm Rio de Janeiro Time

Ricardo Silvestre
Department of Philosophy, Federal University of Campina Grande and
Graduate Porgram in Philosophy PPGF-UFRJ, Federal University of Rio de Janeiro, Brazil
Logic and Concepts
9:00 - 9:30 pm Rio de Janeiro Time