Salta gli elementi di navigazione
banner
logo ridotto
logo-salomone
DILEF Dipartimento di Lettere e Filosofia

Anno 2014

 

17 Gennaio 2014

 

Beatrice Donati
(Dip.to Ing. Inf., Firenze; Inria, Grenoble; CNRS, Lyon)

La logica applicata alle scienze della vita: modelli matematici per problemi biologici

 

============================================================================

 

24 Gennaio 2014

 

Lorenzo Rossi
(University of Oxford)

Un nuovo condizionale (semplice) per la teoria di Kripke

 

============================================================================

 

21 Febbraio 2014

 

Andrea Sereni
(UniSR, Milano) 

Frege, Indispensability and the Compatibilist Heresy

 

=============================================================================

 

7 Marzo 2014

 

Vincenzo Crupi
(Università di Torino)

The logic and psychology of evidential support

 

=============================================================================

 

14 Marzo 2014

 

Matteo Morganti
(Università Roma3)

Scienza e metafisica: quale naturalismo?

 

============================================================================

 

4 aprile 2014

 

ore 10-11

Daniel Isaacson
(University of Oxford)

What do second-order categoricity theorems tell us?

 

ore 11.30-12.30

Volker Halbach
(University of Oxford)

Modal Predicates

 

=============================================================================

 

11 aprile 2014

 

Paolo Mancosu
(University of California, Berkeley)

In good company? On Hume's principle and the assignment of numbers to infinite concepts

 

=============================================================================

 

9 maggio 2014

 


Stephan Hartmann
(Ludwig Maximilians-Universität - München)

The No Alternatives Argument

 

=============================================================================

 

16 maggio 2014

 

Rossella Marrano
(Scuola Normale Superiore, Pisa)

Una fondazione ordinale per i gradi di verità

 

============================================================================

 

30 maggio 2014

 

Juha Saatsi
(University of Leeds)

On Mathematics’ ‘Indispensable Explanatory Role’

 

=============================================================================

 

15-16 settembre 2014

Sezione di Filosofia
Via Bolognese 52, Sala Conferenze

 

Workshop on "Foundations of dualities"


Dettagli

 

Contatti: elena.castellani@unifi.it

 

=============================================================================

 

17 ottobre 2014

 

Francesco Berto
(University of Amsterdam)

 

Negazione e pluralismo logico

 

Abstract:
Presento una semplice semantica a mondi, in cui la negazione è interpretata come un operatore modale: un quantificatore su mondi, ristretto da una relazione di accessibilità. La relazione in questione codifica il concetto di /(in)compatibilità/ che, sostengo, cattura il significato essenziale della negazione. La semantica in questione fonda un certo tipo di pluralismo logico, sulla linea di quello proposto da JC Beall e Greg Restall in alcuni noti lavori.
Certi operatori proposti in varie logiche non-classiche (in particolare, quelli che violano la Contrapposizione Minimale e l'Introduzione della Doppia Negazione) sono esclusi come "pseudo-negazioni", perché non conformi a quel significato essenziale.
Tuttavia, sostengo che più di un operatore proposto in letteratura ha le carte in regola per chiamarsi "negazione". La negazione classica e quella intuizionistica, in particolare, passano entrambe il mio test (e dunque, soddisfare Terzo Escluso o Eliminazione della Doppia Negazione non è necessario per avere le carte in regola).

 

=================================================================================

 

28 novembre 2014

 

Beatrice Donati
(Università di Firenze - INRIA, France)

La logica del DNA: modellare problemi di sequenziamento del genoma attraverso la teoria dei grafi

 
ultimo aggiornamento: 07-Ott-2016
Unifi Home Page

Inizio pagina