Seminario di Logica e Filosofia della Scienza
Sezione di Filosofia
venerdì 22 novembre 2019, ore 11:00
DILEF-via della Pergola 60, Firenze
Sala Altana
Lavinia Picollo
(University College, London)
A Theory of Untyped Structured Propositions
Abstract:
I put forward a semantic theory of untyped propositions satisfying the equivalence schema. Propositions are well-founded (in a sense to be specified) but are also allowed to exhibit a non-vicious kind of self-reference. Moreover, they satisfy a fine-grained identity criterion closed under certain (but not all) logical transformations that preserves many shared intuitions.