SESSION PHILOSOPHY

KEYNOTE SPEAKER
André Fuhrmann
Dpt of Philosophy, Goethe University, Frankfurt, Germany
"Unfichting Knowability: Possible vs. Potential Knowledge "


Sama Agahi
Dpt of Philosophy, Stockholm University, Sweden
"Keeping Metatheory in check - on the Self-sufficiency of cCore logic"

Bruno Bentzen Aguiar
Dpt of Philosophy, Federal University of Pernambuco, Brazil
"What is not Frege’s Julius Caesar Problem?"

Patrick Allo
Centre for Logic and Philosophy of Science Brussels Free University, Belgium
"Synonymy and Intra-Theoretical Pluralism"

Rainhard Z. Bengez
TUM, Muncih, Germany
"Can we omit Cantor's diagonalization argument in Gödel's incompleteness theorem?"

Yvon Gauthier
Dpt of Philosophy, University of Montréal, Canada
"What is the Internal Logic of Constructive Mathematics ?"

Raffaela Giovagnoli
Pontifical Lateran University, Vatican
"Representation: Analytic Pragmatism and AI "

Ricardo Mendes Grande
University of São Paulo, Brazil
"On the Feynman’s quantum art of solving difficult mathematical problems by drawing simple pictures"


 

 

 

Raja Natarajan
Tata Institute of Fundamental Research, India
"Computer-Assisted Mathematics"

 


Fabrice Pataut
IHPST, Paris, France
"Radical Interpretation, the Logical Constants and Gödel's Critique"

Donald V.Poochigian
Dpt of Philosophy and Religion, University of North Dakota, USA
"On the Ontology of Logic"

Lucas Rosenblatt
University of Buenos Aires and CONICET, Argentina
"The Truth is Pathological"

Luca Struble
Dpt of Philosophy, University of California, Los Angeles, USA
"Anti-Individualism And Epistemic Transparency"

Giorgio Venturi
Scuola Normale Superiore di Pisa, Italy
"Set Theoretical Foundation of Mathematics as Unity of Mathematical Practice"