ocscience.org

Logica modale quantificata e designatori non rigidi - Eurgenio Orlandelli

DATA DI RILASCIO 07/12/2019
DIMENSIONE DEL FILE 3,69
ISBN 9788866331766
LINGUAGGIO ITALIANO
AUTRICE/AUTORE Eurgenio Orlandelli
FORMATO: PDF EPUB MOBI
PREZZO: GRATUITA

Divertiti a leggere Logica modale quantificata e designatori non rigidi Eurgenio Orlandelli libri epub gratuitamente

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.

...uel mondo la descrizione potrebbe riferirsi ad una persona diversa ma possedere lo ... Corso di logica modale proposizionale - Eugenio Orlandelli ... ... ... Il testo spazia su: logica modale proposizionale, logica deontica, logica temporale, logiche condizionali e controfattuali, logica modale quantificata. Si occupa poi di Quine e la sua critica agli operatori intensionali, di metafisica e semantica dei mondi possibili e, in Appendice, di paradossi epistemici e di teorema di completezza per la logica modale proposizionale. La Logica Modale Quantificata e l'Ontologia degli Oggetti Fisici Francesco Belard ... Logica modale - Wikipedia ... . La Logica Modale Quantificata e l'Ontologia degli Oggetti Fisici Francesco Belardinelli Scuola Normale Superiore - 9 Luglio 2005 L'interazione tra logica e ontologia La logica temporale quantificata e l'ontologia degli oggetti fisici condividono: uno stesso dominio di enti (gli oggetti fisici), i problemi legati alla persistenza nel tempo. Logica modale quantificata e designatori non rigidi. Archetipo Libri, 2019. testo in italiano € 18.00 -5% € 17.10 . spedito in 2/3 sett. aggiungi al carrello top. Lavorare alla Pirelli-Bicocca. Antropologia delle memorie operaie. Luca Rimoldi ... LOGICA MODALE DEI PREDICATI CON IDENTITA™ E PREDICATO D™ESISTENZA Sistema ontologico PIES5 1. SINTASSI di PIES5 1. Estensione del linguaggio a) ¨ aggiunto all™alfabeto di PI il predicato d™esistenza E e ... Anche i predicati sono intesi quali designatori rigidi. designatori rigidi (espressioni che denotano lo stesso oggetto in tutti i mondi possibili); designatori fortemente rigidi (quando l'oggetto in questione esiste necessariamente), e, ovviamente, designatori non-rigidi. I nomi sono designatori rigidi. In qualche modo, quando io uso un nome per riferirmi a un...