Introduzione alla logica. Linguaggio, significato, argomentazione - 9788800860987

Introduzione alla logica. Linguaggio, significato, argomentazione: 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. 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.
The text provides an introduction to the fundamental concepts of logic. In the first part, moving from a concrete analysis of the logical form of declarative speech leads gradually to the construction of logical languages enunciativi and elementary. The second part presents a mechanical procedure-counterexample-method with which you face the problems of correctness of inferences and consistency of sets of statements, first at the level of enunciation and then to that grade. The third part opens with a chapter on syllogistics, followed by a broad introduction to the intuitive theory of sets and the classic problems of abstraction, of infinity and paradoxes. The last chapter is the intuitive concept of actual procedure and its clarification by Turing machines, and ends with the illustration of the theorem on the undecidability of the elementary logic. The volume is accompanied by a rich selection of exercises.