Dipartimento di Filosofia

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

IF 08