Maurizio Negri Università degli Studi di Torino

Logica
La Teoria Classica dell’Inferenza

Collana: «I Manuali» – 17 x 24 cm – pagg. 234 – 2001 – ISBN 88-7916-148-2

€ 32,00


Mappa cliccabile
Scarica file pdf Scarica file Get Acrobat Reader

SOMMARIO: 1. Introduzione: Insiemi e funzioni - Successioni - Funzioni e relazioni n-arie - Relazioni d’ordine e di equivalenza - Numeri naturali e induzione - Il teorema di Cantor – 2. Strutture: Strutture e tipi - Iso e monomorfismi - Omomorfismi - Reticoli e algebre di Boole - Definizioni induttive - Definizioni per recursione - Il lemma di Zorn – 3. Logica enunciativa: Linguaggio enunciativo - Induzione e recursione sulle formule - Semantica enunciativa - Significato finitario - Sostituzione - Conseguenza logica - Calcoli di sequenti - Saturazione - Completezza - Calcoli hilbertiani - Compattezza – 4. Logica predicativa: Linguaggi del primo ordine - Recursione su termini e formule - Significato dei termini - Significato delle formule - Sostituzione - Formule logicamente valide - Conseguenza logica - Teorie - Identità - Saturazione - Calcoli di sequenti - Completezza - Estensioni definitorie - Calcoli hilbertiani - Morfismi e diagrammi - Compattezza - Funzioni di Skolem - Teoremi di Loewenheim-Skolem.

La logica tradizionalmente è lo studio delle inferenze e dei metodi per produrre inferenze corrette. Dalla metà dell’Ottocento questo ambito di ricerca ha subito un processo di matematizzazione, come del resto era accaduto alla fisica due secoli prima, perciò la logica moderna si presenta come logica matematica. I primi due capitoli presentano concetti matematici essenziali per il discorso successivo: le nozioni insiemistiche di base, le strutture e i morfismi fra strutture. Un’attenzione particolare è dedicata ai concetti di definizione induttiva e definizione per recursione che sono presentati da un punto di vista algebrico. Il terzo capitolo comprende la logica enunciativa: il linguaggio formale, la semantica del linguaggio, il concetto fondamentale di conseguenza logica e infine un calcolo di sequenti per il quale si dimostra il teorema di completezza. Il quarto capitolo presenta la logica predicativa seguendo un percorso analogo. Concludono il discorso i teoremi di compattezza e di Loewenheim-Skolem sulle limitazioni del potere espressivo dei linguaggi predicativi del primo ordine. Tutti i paragrafi sono corredati da esercizi che permettono al lettore di verificare il suo livello di comprensione. La chiave degli esercizi è disponibile in un file che può essere scaricato cliccando sul pulsante che porta il simbolo del dischetto.

Acquista il libro Acquisto il Volume - Buy the book


—————————————————————————

Catalogo per Collane

I Manuali | Metodo | Materiali | Studi e ricerche | Esedra - Collana di letture | Strumenti | Colloquium | Le Antologie | LED Bibliotheca | Lingue e Culture | Lingue di oggi | Lingue e contesti | Traduzione - Testi e strumenti | Archeologia e Arte antica | Quaderni di Erga-Logoi | Biblioteca classica | Materiali per una Palingenesi delle Costituzioni Tardo-imperiali | Collana della Rivista di Diritto Romano | BFLR - Biblioteca di filologia e linguistica romanze | Palinsesti - Studi e Testi di Letteratura Italiana | Biblioteca Insubrica | Nomologica | Parerga Nomologica | Humanity by Design. Laboratorio di Antropologia Sociologia e Design della Comunicazione | Laboratorio teoretico | Etica e Vita Comune | Irene. Interdisciplinary Researches on Ethics and the Natural Environment | Psicologicamente. Collana dei Dipartimenti di Psicologia. Sapienza Università di Roma | Psychologica | ECPS - The Series | Strumenti e metodi per le scienze sociali | Quaderni di Storia del Pensiero Sociologico | Scienze Sociali | Comunicazione Mente Tecnologia | Languages Cultures Mediation. The Series | Il segno e le lettere. Collana del Dipartimento di Lingue, Letterature e Culture moderne dell’Università degli Studi G. d’Annunzio | Costellazioni | Le forme del sentire | Il Filarete. Pubblicazioni della Facoltà di Lettere e Filosofia dell’Università degli Studi di Milano | Cantar Sottile | Studi sull’istruzione superiore. Collana del CIRSIS. Università di Pavia | Istituto Lombardo. Accademia di Scienze e Lettere | Spazio Tesi | Piccoli Giganti Edizioni | Quaderni TaLTaC | Mots Palabras Words - Saggi | Problemata

—————————————————————————

Catalogo per Argomenti

Letteratura. Studi e testi | Storia delle arti e dello spettacolo | Scienze dell’antichità | Scienze della storia | Storia del pensiero politico e sociologico | Diritto - Storia e filosofia del diritto | Criminologia - Psicologia giuridica | Psicologia - Neuropsicologia | Storia del pensiero filosofico e scientifico | Estetica | Logica | Filosofia teoretica - Ermeneutica | Etica | Informatica umanistica | Scienze della comunicazione - Linguistica| Scienze della formazione | Strumenti per la didattica e per l’autoapprendimento | Lingue e Culture | Cultura - Società - Ambiente | Economia | Matematica - Statistica - Metodologia della ricerca sociale | Scienza e Tecnologia

—————————————————————————

Autori e Curatori

A - B - C - D - E - F - G - H - I - J - K - L- M - N - O - P - Q - R - S - T - U - V - W - Z