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"
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
23.03.2023