Logica modale quantificata e designatori non rigidi - 9788866331766

Logica modale quantificata e designatori non rigidi: Le logiche modali quantificate sono estensioni delle logiche modali proposizionali ottenute attraverso l'aggiunta dei quantificatori del primo ordine. Ne risulta un linguaggio in cui sono ammessi enunciati che connettono quantificatori e modalità: è necessario che tutti gli uomini siano mortali; sette è necessariamente maggiore di cinque; qualcuno sa che Espero è Fosforo. I problemi che tali logiche affrontano sono da sempre al centro del dibattito logico-filosofico: gli enunciati di identità sono necessari? I designatori sono rigidi? Gli oggetti possono esistere in più di un mondo possibile? Quale semantica in presenza di designatori non rigidi? Il presente volume affronta la maggior parte di tali problemi presentando tre approcci alle logiche modali quantificate con designatori non rigidi di crescente generalità. Ciascun approccio viene introdotto sia semanticamente, tramite una semantica relazionale, che sintatticamente, tramite calcoli assiomatici. Largo spazio è dedicato alla dimostrazione di risultati di completezza che connettono la presentazione semantica e quella sintattica.
Quantified modal logics are extensions of propositional modal logics obtained through the addition of first-order quantifiers. The result is a language in which statements connecting quantifiers and modalities are allowed: it is necessary that all men be mortal; seven is necessarily greater than five; some people know that Espero is Phosphorus. The problems that these logics face have always been at the center of the logical-philosophical debate: are the statements of identity necessary? Are the designaters rigid? Can objects exist in more than one possible world? What semantics in the presence of non-rigid designateors? This volume addresses most of these problems by presenting three approaches to quantified modal logics with non-rigid designations of increasing generality. Each approach is introduced both semantically, through relational semantics, and syntactically, through axiomatic calculations. Wide space is dedicated to demonstrating completeness results that connect semantic and syntactic presentation.