Seminario di Logica e Filosofia della Scienza

Organizzazione Unità di ricerca LOG-LAB



Venerdì 26 maggio 2023 ore 11:00
Dipartimento di Lettere e Filosofia
via della Pergola 60 - Firenze
sala "Altana"


Matteo Plebani (University of Turin)

Truthmakers, Incompatibility, and Modality
(joint work with Giuliano Rossella e Vita Saitta)


Abstract: We present a new version of truthmaker semantics, where the relation of incompatibility between states is taken as a primitive. We discuss the advantages of the new  framework over traditional truthmaker semantics, its relations with other accounts, and conclude by showing some interesting applications.


→ locandina

Venerdì 19 maggio 2023 ore 11:00
Dipartimento di Lettere e Filosofia
via della Pergola 60 - Firenze
sala "Altana"


Orly Shenker (Hebrew University of Jerusalem)

The Emperor's New Clothes: Functionalism is Dualism


Abstract: During the second half of the 20th century it appeared as if we no longer need to face the dilemma between materialism and dualism: varieties of so-called Non-Reductive Physicalism (NRP) promised a third option, and became the dominant view in the philosophy of mind, as well as in understanding the role and nature of the special sciences. Most popular among the varieties of NRP are varieties of functionalism, and among those the most popular view is computational functionalism, which is the basis for scientific research programs like computational neuroscience. However, this whole line of thinking is misguided: two major problems lurk at the foundations of NRP, and their analysis shows that the availability of a third option was an illusion, since it is an incoherent view: to remain coherent we need to decide between reductive physicalism (such as the recently developed theory called Flat Physicalism) and (any form of) non-reductive dualism (I don’t discuss idealism and varieties of double-aspect theories). In this talk, I will discuss mainly one of the two major problems with NRP, namely, that of multiple realizability, and if time permits will comment also on the second major problem, that of multiple computations.



Venerdì 12 maggio 2023 ore 11:00
Dipartimento di Lettere e Filosofia
via della Pergola 60 - Firenze
sala "Altana"


Giorgio Venturi (Università di Pisa)

The modal logic of generic absoluteness


Abstract: In this talk we will investigate two modal logics of forcing: the logic of forceability and truth and the logic of forcing persistency. Following the interpretation that Hamkins and Löwe gave of the normal modality  in terms of forcing ( is read as  is valid in all set-generic extensions), we will investigate two modal logics that capture the generic invariance of a formula. In order to do so, we will introduce a class of modal logics called Reflexive Insensitive (RI-logics) and we will provide an extension of the validity of the Boxdot-Conjecture.


→ Locandina

Lunedì 3 aprile 2023, ore 11:00
Dipartimento di Lettere e Filosofia
via della Pergola 60 - Firenze
sala "Altana"


Luca San Mauro (TU, Wien)

Learning mathematical structures


Abstract: Algorithmic Learning Theory (ALT), initiated by Gold and Putnam in the 1960s, comprehends several formal frameworks for the inductive inference. Broadly construed, ALT models the ways in which a learner may achieve systematic knowledge about a given environment, by accessing more and more data about it. In classical paradigms, the objects to be inferred are either formal languages or computable functions. In this talk, we present the following framework: An agent receives larger and larger pieces of an arbitrary copy of a countable structure and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. The learning is successful if the conjectures eventually stabilize to a correct guess. We offer a complete model theoretic characterization of which families of structures are learnable. Finally, we describe how to apply our framework to develop an innovative response to a widely debated question in the philosophy of mathematics, i.e., how does one single out the standard model of the natural numbers from nonstandard ones?




Anni precedenti



Ultimo aggiornamento



I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni