O Instituto de Filosofia e Ciências Humanas da Unicamp (IFCH) sedia o evento "Speaking the Unspeakable: Paradoxes between Truth and Proof" [Em português: Falando o indizível: paradoxos entre verdade e prova], dias 9 e 10 de dezembro, na Sala Multiuso.
O evento contará com mesas com Eduardo Barrio (Universidade de Buenos Aires, Argentina), Neil Barton (Universidade de Constança, Alemanha), Guilherme Araújo Cardoso (Universidade Federal de Ouro Preto), Rodrigo Freire (Universidade de Brasília), Samuel Gomes da Silva (Universidade Federal da Bahia), Leon Horsten (Universidade de Constança, Alemanha), Paolo Pistone (Universidade de Bologna, Itália), Lucas Rosenblatt (Universidade de Buenos Aires, Argentina), Paula Teijeiro (Universidade de Buenos Aires, Argentina) e Luca Tranchini (Universidade de Tubinga, Alemanha).
Outras informações podem ser obtidas no site do evento.
Programação:
09 de dezembro
09:15 – Opening
09:30 – L. Horsten, On Reflection
10:30 – R. Freire, Avoiding paradoxes of unlimited set-formation and the foundations of set theory
11:30 – P. Teijeiro, Vague Connectives
12:30 – Lunch break
14:00 – S. Gomes, On striking, counterintuitive partitions — or: The Axiom of Choice is not be blamed of anything
15:00 – P. Pistone, From Frege to Haskell: impredicativity and paradox in logical systems and programming languages
16:00 – Coffee break
16:30 – L. Ronsenblatt, Paradoxes and Hypodoxes
17:30 – G. A. Cardoso, Counterpossibles and Curry
10 de dezembro
09:30 – E. Barrio, Paradoxes, Contradictions and Circularity
10:30 – N. Barton, Systems of Set Theory in which every Set is Countable
11:30 – L. Tranchini, Proof, paradox and the semantic role of hypothetical reasoning
12:30 – Closing
