Federal University of Rio de Janeiro, 9 August 2012
PPGLM / IFCS
Paradoxes and Restricted Quantification
Hartry Field
11:00 a.m. - 12:15
Frege’s Performative Argument Against Truth Relativism
Dirk Greimann
Pause
02:00 p.m. – 3:20 p.m.
The Unsolvability of Mathematical Problems and Turing's Legacy
Ruy Queiroz
3.30 p.m. - 4.50 p.m.
A Paraconsistent Theory for Arithmetical Truth
Abílio Rodrigues
5.00 p.m. - 6.20 p.m.
Logic as a theory of logical properties
Oswaldo Chateaubriand
Organization
Prof. Guido Imaguire
PPGLM
CNPq
http://ppglm.wordpress.com/
