Studi Superiori Libri
Libri pubblicati nella collana Studi Superiori con argomento Logica
Prossime uscite della collana Studi Superiori
Libri previsti in uscita su Unilibro.it:
- 9788843084814 Metodi quantitativi della ricerca sociale
- 9788843070190 Paleantropologia. Un'introduzione
- 9788843055258 Lineamenti di contabilità economica nazionale
- 9788829037865 L'America Latina contemporanea
- 9788829037490 Macroeconomia
- 9788829037483 Handbook of technical and scie
- 9788829037476 Introduzione all'ebraico bibli
- 9788829037469 Ricerca empirica in psicoterapia
- 9788829037452 Questioni filosofiche contemporanee
- 9788829037445 Le donne nell'Antica Grecia
Corso di logica modale proposizionale Orlandelli Eugenio Corsi Giovanna - Carocci, 2019 - Studi Superiori
Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni filosofiche, matematiche e informatiche risultano tra gli strumenti formali più importanti. Il volume tratta gli aspetti fondamentali sia a livello sintattico che semantico delle logiche modali proposizionali e ne presenta vari teoremi di completezza attraverso la tecnica dei modelli canonici, quella dei diagrammi e quella dei calcoli di sequenti con etichette. Vengono inoltre discusse diverse proprietà metateoriche quali canonicità, decidibilità, proprietà del modello finito, finita assiomatizzabilità, esprimibilità modale di proprietà del primo o del secondo ordine. Il testo, senza presupporre conoscenze specifiche se non quella della logica proposizionale classica, fornisce agli studenti di filosofia, matematica e informatica gli strumenti essenziali per un corso introduttivo alle logiche modali e alla loro metateoria.
Discorso e significato. Introduzione alla logica contemporanea Moriconi Enrico - Carocci, 1994 - Studi Superiori
Gli ultimi decenni hanno visto un impetuoso sviluppo nello studio dei sistemi di logica. Questi - nati tra la fine dell'Ottocento e l'inizio del Novecento come strumento per l'indagine sui fondamenti della matematica - sono diventati uno dei luoghi privilegiati per una rinnovata discussione di tradizionali temi filosofici: si pensi, ad esempio, alle nozioni di 'necessità', di 'analiticità', di 'verità', di 'infinito', di 'causa'. Muovendo dai problemi posti dalla reinterpretazione della logica classica, i nuovi sistemi logici non hanno solo arricchito la speculazione filosofica contemporanea. Essi, infatti, definiscono un ambito di questioni che interessa logici e matematici, ma anche quei linguisti, psicologi e informatici che indagano le relazioni fra linguaggi formali e linguaggi naturali e le modalità logiche delle argomentazioni umane. Il volume si propone di introdurre, in modo chiaro e progressivo, allo studio di questa vicenda, delineando in primo luogo i caratteri fondamentali della logica classica - connettivi, analisi della quantificazione, regole inferenziali, deduzione naturale, logica modale, logica rilevante - per poi tracciare una mappa dei suoi più importanti sviluppi (induzione e teoria della ricorsione, semantica e teoria dei modelli, sistemi di deduzione e teoria della dimostrazione). Vengono così forniti i basilari strumenti per affrontare direttamente questa complessa materia, svolgendo anche argomenti di solito poco o nulla trattati. È caratteristica di questo volume la presentazione analitica del teorema di completezza semantica.