02-Set-2008   Stampa la pagina corrente   Mostra la posizione di questa pagina nella mappa

IF 08

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

 

 
Marsilius - Motore di ricerca dell'Ateneo Fiorentino - logo
 
- progetto e idea grafica CSIAF - contenuti e gestione a cura del Dipartimento - Responsabile Tecnico del sito