[.Scaricare.] INTRODUZIONE ALLA LOGICA PDF Gratis (Andrea Cantini & Pieluigi)

Scaricare o Leggere Online INTRODUZIONE ALLA LOGICA ebook Gratis (PDF ePub Mobi) – Andrea Cantini & Pieluigi Minari

Download or Read INTRODUZIONE ALLA LOGICA by Andrea Cantini & Pieluigi Minari in PDF or EPUB. Easy access for online or offline reading on any device. Visit the WEBSITE LINK for details!

Ready to get started? Access the book instantly via the links below:

LINK ⏩https://tiinyurl.cc/1e4f4490⏪

SUMMARY
Il testo
Il testo offre un’introduzione ai concetti fondamentali della logica. Nella prima parte, muovendo da un’analisi concreta della forma logica del discorso dichiarativo, si giunge gradualmente alla costruzione dei linguaggi logici enunciativi ed elementari. Parallelamente, e in modo informale, si presentano le nozioni centrali della semantica estensionale classica. La seconda parte presenta una procedura meccanica – il metodo del controesempio – con la quale si affrontano i problemi della correttezza delle inferenze e della consistenza di insiemi di enunciati, prima al livello enunciativo e poi a quello elementare. La terza parte si apre con un capitolo sulla sillogistica, cui segue un’ampia introduzione alla teoria intuitiva degli insiemi e alle classiche problematiche dell’astrazione, dell’infinito e dei paradossi. L’ultimo capitolo tratta del concetto intuitivo di procedura effettiva e della sua precisazione mediante le macchine di Turing, e si conclude con l’illustrazione del teorema d’indecidibilità della logica elementare. Il volume è corredato da una ricca selezione di esercizi.