Argomenti di logica. Nuova ediz. - 9788867417131

Argomenti di logica. Nuova ediz.: Fin dalla sua nascita con Aristotele la logica si è occupata di "linguaggi", delle "argomentazioni" costruibili entro tali linguaggi, e delle "strutture" che questi linguaggi sono intesi descrivere e nelle quali premesse e conclusione delle argomentazioni possono risultare vere o false. Successivamente, già con Leibniz, ma poi definitivamente con Frege, si fece strada l'idea che i linguaggi in questione debbano essere linguaggi formalmente definiti attraverso esplicite regole di formazione e trasformazione. È a questo punto che il problema delle interrelazioni fra linguaggio e "realtà" poté essere studiato matematicamente, mettendo a fuoco le due questioni di base: quella delle asserzioni vere "struttura per struttura" e quella delle asserzioni vere "in tutte le strutture". Muovendosi fra le sollecitazioni e le metodologie fornite via via da filosofia, matematica e informatica, la logica ha sempre mantenuto omogenea la sua struttura, qualificandosi come una teoria, cioè come un corpo ben caratterizzato e organico di conoscenze, capace però di significativi contatti e applicazioni in vari ambiti dell'indagine scientifica. Ed è della logica così intesa che questo volume intende fornire una esauriente e originale presentazione, prestando particolare attenzione a varie tecniche dimostrative e di costruzione di modelli e proponendosi come un testo utilizzabile in corsi di varia natura su questi argomenti.
Since its inception with Aristotle's logic has worked on "languages", "arguments" buildable within those languages, and "structures" that these languages are intended to describe and which premises and conclusion of the arguments can be true or false. Later, already with Leibniz, but eventually with Frege, took hold of the idea that the languages in question are to be formally defined languages through explicit rules of formation and transformation. It is at this point that the problem of the interrelations between language and reality could be studied mathematically, by focusing on the two basic questions: that of true assertions "structure by structure" and the real "assertions in all facilities" . Moving between the stresses and the methods provided by philosophy, mathematics and computer science, logic has always maintained homogeneous structure, qualifying as a theory, namely as a body well featured and staff of knowledge, capable though significant contacts and applications in various fields of scientific inquiry. And is the logic thus understood that this volume is intended to provide a comprehensive and original presentation, paying particular attention to demonstration and modelling techniques and serving as a text that can be used in various kinds of courses on These arguments.