Back to the IF main page Back to the IF '06 web page Back to the IF '07 web page
3rd IRVINE - FLORENCE (and extensions) COLLOQUIUM
September 18 - 19, 2008 Dept. of Philosophy University of Florence via Bolognese 52 - Florence, IT PROGRAM: Thursday – September 18 Session I (9.30 am -12.30 pm)
9.30 JEFFREY BARRETT, Descriptive faithfulness and the incommensurability of evolved languages
10.30 MARIA LUISA DALLA CHIARA, Approximation in quantum computational logics 11.30 RICCARDO BRUNI, A language and axioms for quasi-inductive definitions 12. 00 FRANCESCA POGGIOLESI, Tree-Hypersequent Calculi For Propositional Dynamic Logic 12.30 Lunch break Thursday - September 18 Session II (3.00 pm -19.00 pm) 15.00 GERHARD JAEGER (IAM BERN), Logic of proofs; remarks and questions 16.00 LAURA CROSILLA, Elementary operational set theory 17.00 ELAINE LANDRY (UC Davis), Reconstructing Hilbert to construct category-theoretic algebraic structuralism 18.00 PIERLUIGI MINARI, How to avoid a certain "metabasis eis allo genos" Friday – September 19 Session III (9 am -12 pm) 9.00 KAI F. WEHMEIER, Subjunctivity and cross-world predication 10.00 ELENA CASTELLANI, Curie's principle, determinism and invariance 11.00 ALDO ANTONELLI (UC Davis), First-order arithmetic
Top Back to the IF main page Back to the IF '06 web page Back to the IF '07 web page |