Berto, Francesco, Logica da zero a Gödel, Laterza, Bari 2008.11

[i][b][c][1.0.42][r][a]
Berto, Francesco
Logica da zero a Gödel
Laterza
[Economica Laterza 472]
Bari 2008.11
ISBN: 9788842086345

#filosofia #logica
ig01#filosofia ig01#logica
ig02#filosofia ig02#logica

[i][b][c] INDICE:

VI		Prefazione
3		Introduzione
	1.	Che cos'è la logica?
	2.	Enunciati dichiarativi e altri pezzi di linguaggio
	3.	Essere corretti, essere veridici
	4.	Induzione e deduzione
	5.	Il tabernacolo: la nozione di forma logica
	6.	Logica e scienze particolari
	7.	Parole logiche
		Esercizi
22	1.	Connettivi logici e tavole di verità
	1.1	Simbolizzare è chiarificare
	1.2	Determinatezza, bivalenza, vero-funzionalità
	1.3	I connettivi logici
	1.3.1	Congiunzione
	1.3.2	Disgiunzione
	1.3.3	Negazione
	1.3.4	Condizionale materiale
	1.3.5	Bicondizionale
	1.3.6	Non equivochiamo
	1.4	Regole per mettere in campo una buona formazione
	1.4.1	Simboli
	1.4.2	Formule ben formate
	1.4.3	Come catturare un infinito in modo finito
	1.4.4	Metavariabili e regole di formazione
	1.4.5	Campo, subordinazione di conettivi, e tutto il resto al'occorrenza
	1.5	Prepariamo la tavola di verità
	1.5.1	Valutare iragionmenti con le tavole di verità
	1.5.2	«Leggi del pensiero», tautologie, incoerenze, contingenze
	1.5.3	La forma condizionale corrispondente
		Esercizi
67	2.	Predicazione e quantificazione
	2.1	Dal linguaggio enunciativo a quello predicativo
	2.2	Enunciati singolari
	2.2.1	Chi predica bene, razzola bene
	2.2.2	Descrizioni definite ed espressioni funtoriali
	2.3	Parliamo in generale
	2.3.1	Funzioni enunciative
	2.3.2	I quantificatori
	2.4	L'identità
	2.5	Altre regole per mettere in campo una buona formazione
	2.5.1	I simboli
	2.5.2	Termini e formule
	2.6	Variabili in libertà, variabili vincolate, sostituzioni
		Esercizi
95	3.	Deduzioni... naturali
	3.1	La nozione di dimostrazione formale
	3.1.1	L'assiomatica
	3.2	Il calcolo enunciativo
	3.2.1	Assunzioni a tempo indeterminato
	3.2.2	«Modus ponens», o eliminazione del condizionale
	3.2.3	Introduzione del condizionale e assunzioni a tempo determinato
	3.2.4	Eliminazione della congiunzione
	3.2.5	Introduzione della congiunzione
	3.2.6	Eliminazione della disgiunzione
	3.2.7	Introduzione della disgiunzione
	3.2.8	Eliminazione della negazione, «ex falso quodlibet»
	3.2.9	Introduzione della negazione, «reductio ad absurdum»
	3.2.10	«Due negazioni fanno un'affermazione
	3.2.11	L'introduzione di teorema
	3.3	Il calcolo elementare , o dei predicati
	3.3.1	Eliminazione dell'universale
	3.3.2	Introduzione dell'universale
	3.3.3	Eliminazione dell'esistenziale
	3.3.4	Introduzione dell'esistenziale
	3.3.5	Proprietà dei quantificatori
	3.4	Il calcolo dei predicati con identità, o quasielementare
	3.4.1	Eliminazione dell'identità
	3.4.2	Introduzione del'identità
	3.5	Considerazioni conclusive sulla deduzione naturale
		Esercizi
144	4.	La semantica logica
	4.1	Pillole di teoria degli insiemi
	4.1.1	Se stiamo insieme ci sarà un perchè
	4.1.2	Relazioni e operazioni insiemistiche
	4.1.3	Come fare ontologia con gli insiemi
	4.1.4	Il paradosso di Russell
	4.2	«Tractatus logico-philosophicus»: una teoria del significato basata sulla verità
	4.3	Semantica tarskiana
	4.3.1	«Quid est veritas?» (La convenzione V)
	4.3.2	Interpretazioni, assegnazioni
	4.3.3	La definizione ricorsiva
	4.3.4	Verità logica, conseguenza logica
	4.3.5	La verità è inesprimibile (o quasi)
		Esercizi
174	5.	Cenni di metalogica
	5.1	Che cos'è la metalogica?
	5.2	Coerenza e completezza, o le virtù di una logica
	5.2.1	La proprietà di coerenza dei sistemi formali
	5.2.2	La proprietà di completeza dei sistemi formali
	5.3	Teoremi limitativi
	5.3.1	L'incompletezza dell'aritmetica
	5.3.2	Incompletezza e prove di coerenza
	5.3.3	«La logica è trascendentale»
		Esercizi
187		Bibliografia
197		Soluzioni degli esercizi
218		_

[i][b][c] BIBLIOGRAFIA: (155 opere)

Autore	Rif.	Titolo	Editore	Città	Anno
Abrusci, M. V.	[1992]	Logica matematica. Corso introduttivo	Fratelli Laterza	Bari	1992.02
Agazzi, E.	[1961]	Introduzione ai problemi dell'assiomatica	Editrice Vita e Pensiero	Milano	1961
Agazzi, E.	[1990]	La logica simbolica	Editrice La Scuola	Brescia	1964
Anderson, A. R. Belnap, N. D. J.	[1975]	Entailment. The Logic of Relevance (Vol. I)	Princeton University Press	Princeton	1975
Anderson, A. R. Belnap, N. D. J. Dunn, J. M.	[1982]	Entailment. The Logic of Relevance (Vol. II)	Princeton University Press	Princeton	1982
Anderson, A. R.	[1984]	General Intensional Logic			1984
Aristotele di Stagira, . Colli, G. (ed.)	Organon	Organon	Einaudi	Torino	1955
Aristotele di Stagira, . Reale, G. (ed.)	Metafisica	Metafisica	Rusconi	Milano	1993
Committee on Logic and Education, .	[1995]	Guidelines for Logic Education	Association for Symbolic Logic		1995
Barwise, K. J.	[1977]	Handbook of Mathematical Logic	North-Holland Publishing Company	Amsterdam	1977
Bellissima, F. Pagli, P.	[1993]	La verità trasmessa. La logica attraverso le dimostrazioni matematiche	Sansoni	Firenze	1993
Bellotti, L. Moriconi, E. Tesconi, L.	[2001]	Computabilità, Lambda-definibiltà, ricorsività, indecidibilità	Carocci	Roma	2001
Benacerraf, P. J. S. P. Putnam, H. W.	[1964]	Philosophy of Mathematics. Selected Readings	Prentice-Hall	Englewood Cliffs	1964
Bencivenga, E.	[1976]	Le logiche libere	Boringhieri	Torino	1976
Bencivenga, E.	[1984]	Free Logics			1984
Bencivenga, E.	[1986]	Il primo libro di logica. Introduzione ai metodi della logica contemporanea	Boringhieri	Torino	1986
Benthem, J. F. A. K. Doets, K.	[1983]	High Order Logic			1983
Bernays, P. Fraenkel, A. A. H.	[1958]	Axiomatic Set Theory	North-Holland Publishing Company	Amsterdam	1958
Berto, F.	[2006]	Teorie dell'assurdo. I rivali del principio di Non-Contraddizione	Carocci	Roma	2006
Beth, E. W.	[1965]	Mathematical Thought	D. Reidel	Dordrecht	1965
Boniolo, G. Vidali, P.	[1999]	Filosofia della scienza	Bruno Mondadori	Milano	1999.09
Boniolo, G. Vidali, P.	[2002]	Strumenti per ragionare. Logica e teoria dell'argomentazione	Bruno Mondadori	Milano	2011.05
Bonomi, A.	[1973]	La struttura logica del linguaggio	Bompiani	Milano	1973
Boolos, G. S. Jeffrey, R. C.	[1974]	Computability and Logic	Cambridge University Press	Cambridge	1974
Borga, M.	[1995]	Fondamenti di logica. Introduzione alla teoria della dimostrazione	FrancoAngeli	Milano	1995
Bottani, A. C. M. (ed.) Penco, C. (ed.)	[1991]	Significato e teorie del linguaggio	FrancoAngeli	Milano	1991
Bremer, M.	[2005]	An Introduction to Paraconsistent Logics	Peter Lang	Frankfurt am Main	2005
Brouwer, L. E. J. &. Heyting, A. (ed.)	[2005]	Collected Works	North-Holland Publishing Company	Amsterdam	1975
Bull, R. A. Segerberg, K.	[1984]	Basic Modal Logic			1984
Burgess, J. P.	[1984]	Basic Tense Logic			1984
Cagnoni, D. (ed.)	[1981]	Teoria della dimostrazione	Feltrinelli	Milano	1981.04
Carnap, R.	[1937]	The Logical Syntax of Language	Routledge	London	1937
Carnap, R.	[1947]	Meaning and Necessity		Chicago	1947
Casalegno, P. S.	[1997]	Filosofia del linguaggio. Un'introduzione	Carocci	Roma	1997
Casalegno, P. S. Mariani, M.	[2004]	Teoria degli insiemi. Un'introduzione	Carocci	Roma	2004
Casari, E.	[1972]	Questioni di filosofia della matematica	Feltrinelli	Milano	1972
Casari, E. (ed.)	[1979]	Dalla logica alla metalogica. Scritti fondamentali di logica matematica	Sansoni	Firenze	1979
Casari, E.	[1997]	Introduzione alla logica	UTET Libreria	Torino	1997.04
Cecchetto, C.	[1996]	Grammatica e sintassi della forma logica	Tipolito Unipress	Padova	1996
Cellucci, C. (ed.)	[1967]	La filosofia della matematica	Laterza	Bari	1967
Cellucci, C.	[1978]	Teoria della dimostrazione	Boringhieri	Torino	1978
Cellucci, C.	[1998]	Le ragioni della logica	Laterza	Bari	1998
Celluprica, V.	[1978]	La logica antica	Loescher	Torino	1978
Chellas, B. F.	[1980]	Modal Logic: An Introduction	Cambridge University Press	Cambridge	1980
Chierchia, G. McConnell-Ginet, S.	[1993]	Significato e grammatica	Franco Muzzio Editore	Padova	1993
Mendelson, E.	[1964]	Introduction to Mathematical Logic			1964
Mendelson, E.	[1964]	Introduction to Mathematical Logic			1964
Cohen, P. J.	[1966]	Set Theory and the Continuum Hypothesis	Benjamin	New York	1966
Copi(lovich), I. M. Cohen, C.	[1994]	Introduction to Logic	Prentice-Hall	Englewood Cliffs	1998
Cozzo, C.	[1994]	Teoria del significato e filosofia della logica	CLUEB	Bologna::Palazzo Marescalchi	1994
Dalén, N. G.	[1986]	Intuitionistic Logic			1986
Davis, M. D. (ed.)	[1965]	The Undecidable	The Raven Press	New York	1965
Dummett, M. A. E.	[1977]	Elements of Intuitionism	Clarendon Press	Oxford	1977
Dunn, J. M.	[1986]	Relevance Logic and Entailment			1986
Fitch, F.	[1974]	Elements of Combinatory Logic	Yale University Press	New Haven	1974
Forbes, G.	[1994]	Modern Logic. A Text in Elementary Symbolic Logic	Oxford University Press USA	New York	1994
van Fraassen, B. C. &.	[1971]	Formal Semantics and Logic	The MacMillan Company	New York	1971
Fraenkel, A. A. H. Bar-Hillel, Y. Levy, A.	[1973]	Foundations of Set Theory	North-Holland Publishing Company	Amsterdam	1973
Frascolla, P.	[2000]	Il «Tractatus logico-philosophicus» di Wittgenstein. Introduzione alla lettura	Carocci	Roma	2000
Frege, F. L. G.	[1879]	Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens	Nebert	Halle an Der Saale	1879
Frege, F. L. G.	[1892]	Über Sinn und Bedeutung			1892
Frege, F. L. G.	[1903]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet	Pohle	Jena	1903
Frixione, M. Palladino, D.	[2004]	Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità	Carocci	Roma	2004
Gabbay, D. M. Guenthner, F.	[1983]	Handbook of Philosophical Logic 01 (Vol. I)	D. Reidel	Dordrecht	1983
Gabbay, D. M. Guenthner, F.	[1983-1989]	Handbook of Philosophical Logic 02 (Vol. II)	D. Reidel	Dordrecht
Gabbay, D. M. Guenthner, F.	[1983-1989]	Handbook of Philosophical Logic 03 (Vol. III)	D. Reidel	Dordrecht
Gabbay, D. M. Guenthner, F.	[1989]	Handbook of Philosophical Logic 04 (Vol. IV)	D. Reidel	Dordrecht	1989
Verdi, G.	[1986]	I masnadieri
Galvan, S.	1991	Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica	FrancoAngeli	Milano	1991
Galvan, S.	[1997]	Non contraddizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale	FrancoAngeli	Milano	1997
Gamut, L. . T. F.	[1991]	Logic, Language and Meaning (Vol. I): Introduction to Logic	University of Chicago Press	Chicago	1991
Garson, J. W.	[1984]	Quantification in Modal Logic			1984
Gödel, K.	[1930]	Die Vollsständigkeit der Axiome des logischen Funktionenkalküls			1930
Gödel, K.	[1931]	Über formal unentscheidbare Sätze der «Principia mathematica» und verwandter Systeme I			1931
Guttenplan, S.	[1997]	The Languages of Logic. An Introduction to Formal Logic	Basil Blackwell	Oxford	1997
Haack, S.	[1978]	Philosophy of Logics	Cambridge University Press	Cambridge	1978
Halmos, P. R.	[1960]	Naïve Set Theorie	Van Nostrand Reinhold	Princeton	1960
Heijenoort, J. (ed.)	[1967]	From Frege to Gödel. A Source Book in Mathematical Logic	Harvard University Press	Cambridge	1967
Heyting, A.	[1956]	Intuitionism	North-Holland Publishing Company	Amsterdam	1956
Hilbert, D. Ackermann, W. F.	[1928]	Grundzüge der theoretischen Logik		Berlin	1928
Hintikka, K. J. J.	[1969]	The Philosophy of Mathematics	Oxford University Press	Oxford	1969
Hodges, W. A.	[1977]	Logic	Penguin Books	New York	1977
Hodges, W. A.	[1983]	Elementary Predicate Logic			1983
Hughes, G. E. Cresswell, M. J.	[1968]	An Introduction to Modal Logic			1968
Hughes, G. E. Cresswell, M. J.	[1984]	A Companion to Modal Logic			1984
Hughes, G. E. Cresswell, M. J.	[1996]	A New Introduction to Modal Logic	Routledge	London	1996
Iacona, A.	[2005]	L'argomentazione	Einaudi	Torino	2005
Jeffrey, R. C.	[1967]	Formal Logic. Its Scope and Limits	McGraw-Hill Book Company	New York	1967
Kalish, D. Montague, R. M.	[1964]	Logic: Techniques of Formal Reasoning	Harcourt, Inc.	New York	1964
Kirkham, R. L.	[1992]	Theories of Truth. A Critical Introduction	MIT Press	Cambridge	1992
Kleene, S. C.	[1952]	Introduction to Metamathematics	North-Holland Publishing Company	Amsterdam	1952
Kleene, S. C.	[1967]	Mathematical Logic	John Wiley and Sons	Vercelli	1967
Kleene, S. C.	[1976]	The work of Kurt Gödel			1976
Kneale, W. C. Hurst Kneale, M.	[1962]	The Development of Logic	Oxford University Press	Oxford	1962
Kripke, S. A.	[1971]	Identity and Necessity			1971
Kripke, S. A.	[1972]	Naming and Necessity			1972
Lemmon, E. J.	[1965]	Beginning Logic	Thomas Nelson Publisher	Edinburgh	1965
Lolli, G.	[1974]	Teoria assiomatica degli insiemi	Boringhieri	Torino	1974
Lolli, G.	[1991]	Introduzione alla logica formale	Il Mulino	Bologna	1991
Ricœur, J. P. G. &.	[1994]	Il male. Una sfida alla filosofia e alla teologia	Editrice Morcelliana
Mangione, C. Bozzi, S.	[1993	Storia della logica. Da Boole ai nostri giorni	Aldo Garzanti Editore	Milano	1993.0212
Marconi, D.	[1987]	L'eredità di Wittgenstein	Laterza	Bari	1987
Marconi, D.	[1999]	La filosofia del linguaggio. Da Frege ai giorni nostri	UTET Libreria	Torino	1999
Mariani, M.	[1994]	Introduzione a Frege	Laterza	Bari	1994
Marsonet, M.	[1976]	Introduzione alle logiche polivalenti	Abete	Roma	1976
Mendelson, E.	[1964]	Introduction to Mathematical Logic			1964
Mondadori, M. D'Agostino, M.	[1997]	Logica	Bruno Mondadori	Milano	1997
Montague, R. M.	1974	Formal Philosophy	Yale University Press	New Haven	1974
Moriconi, E.	[1993]	Dimostrazioni e significato	FrancoAngeli	Milano	1993
Mounce, H. O.	[2000]	Introduzione al «Tractatus» di Witgenstein	Marietti 1820	Genova	2000
Nagel, E.	[1958]	Gödel's Proof	New York University Press	New York	1958
Lemmon, E. J.	[1994]	Elementi di logica	Laterza	Bari	1975
Noto, A.	[1975]	Le logiche non classiche	Bulzoni	Roma	1975
Palladino, D.	[2002]	Corso di logica. Introduzione elementare al calcolo dei predicati	Carocci	Roma	2002
Palladino, D. Palladino, C.	[2005]	Breve dizionario di logica	Carocci	Roma	2005
Perissinotto, L.	[1997]	Wittgenstein. Una guida	Feltrinelli	Milano	1997
Picardi, E.	[1992]	Linguaggio e analisi filosofica	Pàtron Editore	Bologna	1992
Pizzi, C. E. A.	[1974]	La logica del tempo	Boringhieri	Bologna	1974
Pizzi, C. E. A.	[1987]	Dalla logica della rilevanza alla logica condizionale	Euroma La Goliardica	Roma	1987
Potter, M.	[2004]	Set Theory and Its Philosophy	Oxford University Press	Oxford	2004
Prawitz, D.	[1965]	Natural Deduction. A Proof-Theoretical Study	Dover	New York	1965
Priest, G.	[2001]	An Introduction to Non-Classical Logic. From If to Is	Cambridge University Press	Cambridge	2001
Prior, A. N.	[1962]	Formal Logic	Oxford University Press	Oxford	1962
Van Orman Quine, W.	[1953]	From a Logical Point of View	Harvard University Press	Cambridge	1953
Van Orman Quine, W.	[1960]	Word and Object			1960
Van Orman Quine, W.	[1961]	Mathematical Logic	Harvard University Press	Cambridge	1961
Van Orman Quine, W.	[1963]	Set Theory and its Logic	Harvard University Press	Cambridge	1963
Van Orman Quine, W.	[1970]	Philosophy of Logic	Prentice-Hall	Englewood Cliffs	1970
Read, S.	[1988]	Relevant Logic	Basil Blackwell	Oxford	1988
Rigamonti, G.	[1992]	La formazione della teoria degli insiemi. Saggi di Georg Cantor 1872-1883 con note di Ernst Zermelo	Sansoni	Firenze	1992
Robbin, J. W.	[1969]	Mathematical Logic, a First Course	Benjamin	New York	1969
Russell, F. (. R.	[1903]	The Principles of Mathematics	Cambridge University Press	Cambridge	1903
Russell, F. (. R.	[1905]	On Denoting			1905
Russell, F. (. R.	[1919]	Introduction to Mathematical Philosophy			1919
Russell, F. (. R. Whitehead, A. N.	[1910-1913]	Principia Mathematica	Cambridge University Press	Cambridge	1910
Sainsbury, R. M.	[1995]	Paradoxes	Cambridge University Press	Cambridge	1995
Santambrogio, M.	[1992]	Introduzione alla filosofia analitica del linguaggio	Laterza	Bari	1992
Shanker, S. G.	[1988]	Gödel Theorem in Focus	Croom Helm	London	1988
Smullyan, R. M.	[1968]	First Order Logic	Springer-Verlag	Berlin	1968
Smullyan, R. M.	[1988]	Forever undecided. A puzzle guide to Gödel	Oxford University Press	Oxford	1988
Smullyan, R. M.	[1992]	Gödel Incompleteness Theorems	Oxford University Press	Oxford	1992
Smullyan, R. M.	[1993]	Recursion Theory for Metamathematics	Oxford University Press	Oxford	1993
Soleri, S.	[2003]	Note al «Tractatus logico-philosophicus» di Wittgenstein	Bibliopolis	Napoli	2003
Sundholm, G.	[1983]	Systems of Deduction
Suppes, P.	[1960]	Axiomatic Set Theory	Van Nostrand Reinhold	Princeton	1960
Verdi, G.	[1969]	La traviata
Tarca, L. V.	[1993]	Élenchos. Ragione e paradosso nella filosofia contemporane	Marietti 1820	Genova	1993
Tarski, A.	1956	Logic, Semantics, Metamathematics. Papers from 1923 to 1938	Oxford University Press	Oxford	1956
Thomason, R. H.	[1984]]	Combinations of Tense and Modality			1984
Troelstra, A. S. Dalén, N. G.	[1988]	Constructivism in Mathematics: An Introduction	North-Holland Publishing Company	Amsterdam	1988
Urquhart, A. J. F.	[1986]	Many-Valued Logic			1986
Usberti, G.	[1980]	Logica, verità e paradosso	Feltrinelli	Milano	1980
Valent, I.	[1989]	Invito al pensiero di Wittgenstein	Ugo Mursia Editore	Milano	1989
Wittgenstein, L. J. J.	[1921]	Tractatus logico-philosophicus			1921
Wittgenstein, L. J. J.	[1953]	Philosophische Untersuchungen	Basil Blackwell	Oxford	1953

[i][b][c] CRONOLOGIA:

Generato il giorno: 2019-09-06T17:47:03+02:00 (Unix Time: 1567784823)
Precedente aggiornamento il giorno: 2017.1220
Prima registrazione il giorno: 2017,0124
Aggiornato 11 volte
Dimensione approssimata della pagina: 57658 caratteri (body: 56182)
Versione: 1.0.42

Privacy Policy