UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

10:00-11:45

"Classical recapture via conflation"
David Ripley (University of Connecticut)
Modera: Claudia Lucía Tanús-Pimentel

12:00-13:45

"Truth in a Logic of Formal Inconsistency: Do consistency operators live up to their promises?"
Lavinia Picollo (Munich Center for Mathematical Philosophy)
Modera: Axel Arturo Barceló-Aspeitia

14:00-15:45

Comida
 

16:00-17:45

"What is a paraconsistent logic?"
Eduardo Barrio (Universidad de Buenos Aires-CONICET)
Modera: Alejandro Javier Solares-Rojas

18:00-19:45

"A substructural logic for inconsistent mathematics"
Guillermo Badía (Johannes Kepler University)
Modera: Jesús Raymundo Morado-Estrada

10:00-11:45

"Self-reference and semantic information"
Thomas Macaulay Ferguson (Cycorp)
Modera: Elisángela Ramírez-Cámara

12:00-13:45

"When Curry met Abel"
Manuel Eduardo Tapia-Navarro (IIF-UNAM)
Modera: José David García-Cruz

14:00-15:45
 

Comida
 

16:00-17:45

"Gluts in a field of gaps: arguments for gluts when logic itself doesn't force them"
Jc Beall (University of Connecticut)
Modera: María del Rosario Martínez-Ordaz