[i][b][c][r][a]
[i][b][c] INDICE:
| Premessa | |||
| Introduzione | |||
| 1. | Che cosa è e a che cosa serve la logica | ||
| 1.1. | Ragionare e pensare | ||
| 1.2. | Ragionamenti | ||
| 1.3. | Verità, validità, forma logica | ||
| 1.4. | Logica formale, simbolica, matematica | ||
| 1.5. | Logica tradizionale e logica moderna | ||
| 1.6. | Logica degli enunciati e dei predicati | ||
| In breve | |||
| 2. | Enunciati | ||
| 2.1. | Tipi di enunciati | ||
| 2.2. | Il nome degli enunciati e la forma logica | ||
| 2.3. | Parole logiche | ||
| 2.4. | Dal linguaggio naturale al linguaggio logico | ||
| In breve | |||
| Esercizi | |||
| 3. | Logica degli enunciati: il linguaggio | ||
| 3.1. | Congiunzione | ||
| 3.2. | La congiunzione in logica e nel linguaggio naturale | ||
| 3.3. | Negazione | ||
| 3.4. | Disgiunzioni | ||
| 3.5. | Il primato della disgiunzione inclusiva | ||
| 3.6. | Condizionale e doppio condizionale | ||
| 3.7. | I molti ‘se’ del linguaggio naturale | ||
| 3.8. | Enunciati speciali | ||
| In breve | |||
| Sintesi delle traduzioni | |||
| Esercizi | |||
| 4. | Logica degli enunciati: le regole | ||
| 4.1. | Assiomi e regole di inferenza | ||
| 4.2. | Regole della congiunzione e della negazione | ||
| 4.3. | Regole di disgiunzione | ||
| 4.4. | Regole di De Morgan | ||
| 4.5. | Regole dell'implicazione materiale e del bicondizionale | ||
| 4.6. | Tre errori | ||
| 4.7. | Le prove | ||
| In breve | |||
| Sintesi delle regole | |||
| Esercizi | |||
| 5. | Logica dei predicati: il linguaggio | ||
| 5.1. | Nomi e predicati | ||
| 5.2. | Quantificatori | ||
| 5.3. | La negazione e i quantificatori | ||
| 5.4. | Errori e casi speciali | ||
| In breve | |||
| Sintesi delle traduzioni | |||
| Esercizi | |||
| 6. | Logica dei predicati: le regole | ||
| 6.1. | Regole del quantificatore universale | ||
| 6.2. | Regole del quantificatore esistenziale | ||
| 6.3. | Errori ed esempi | ||
| 6.4. | Ragionamenti con identità | ||
| 6.5. | Da ∀ a ∃ e ritorno | ||
| In breve | |||
| Esercizi | |||
| 7. | I confini della logica classica | ||
| 7.1. | Estensioni della logica classica | ||
| 7.2. | Le logiche alternative | ||
| 7.3. | I confini della logica | ||
| 7.4. | Conclusiioni | ||
| 8. | Da Aristotele a Frege | ||
| 8.1. | Aristotele | ||
| 8.2. | I megarici e gli stoici | ||
| 8.3. | Il Medioevo | ||
| 8.4. | L'età moderna | ||
| 8.5. | La nascita della logica matematica | ||
| 8.6. | Logica, matematica, filosofia | ||
| Esercizi di ricapitolazione | |||
| Manuali di logica: una bibliografia ragionata | |||
| Soluzioni deglli esercizi dei capitoli | |||
| Soluzioni degli esercizi di ricapitolazione | |||
| 202 | _ |
[i][b][c] BIBLIOGRAFIA: (47 opere)| Autore | Rif. | Titolo | Editore | Città | Anno |
|---|---|---|---|---|---|
| Hurley, P. J. | [1982] | A Concise Introduction to Logic | 1982 | ||
| Copi(lovich), I. M.
Cohen, C. | [2009] | Introduzione alla logica | Il Mulino | Bologna | 2009.11 |
| Varzi, A. C.
Nolt, J. Rohatyn, D. A. | [2007] | Logica | McGraw-Hill Italia | Milano | 2007 |
| Smith, P. | [2003] | An Introduction of Formal Logic | Cambridge University Press | Cambridge | 2003 |
| Lemmon, E. J. | [1975] | Elementi di logica | Laterza | Bari | 1975 |
| Berto, F. | [2007] | Logica da zero a Gödel | Laterza | Bari | 2008.11 |
| Palladino, D. | [2002] | Corso di logica. Introduzione elementare al calcolo dei predicati | Carocci | Roma | 2002 |
| Van Orman Quine, W. | [1968] | Logica elementare | Casa Editrice Astrolabio - Ubaldini Editore | Roma | 1968 |
| Mendelson, E. | [1972] | Introduzione alla logica matematica | Boringhieri | Torino | 1972 |
| Casari, E. | [1997] | Introduzione alla logica | UTET Libreria | Torino | 1997.04 |
| Negri, M. | [1994] | Logica. La Teoria Classica dell'Inferenza | Edizioni Universitarie di Lettere Economia e Diritto | Milano | 2001 |
| Lepore, E. &. | [2000] | Meaning and Argument: An Introduction to Logic Through Language | Basil Blackwell | Oxford | 2000 |
| Lepore, E. &. | [2009] | Meaning and Argument: An Introduction to Logic Through Language | Basil Blackwell | Oxford | 2009 |
| Guttenplan, S. | [1986] | The Languages of Logic. An Introduction to Formal Logic | Basil Blackwell | Oxford | 1986 |
| Guttenplan, S. | [1997] | The Languages of Logic. An Introduction to Formal Logic | Basil Blackwell | Oxford | 1997 |
| Pine, R. C. | [1996] | Essential Logic: Basic Reasoning Skills for the Twenty-First Century | Oxford University Press | Oxford | 1996 |
| Tomassi, P. | [1999] | Logic | Routledge | London | 1999 |
| Hodges, W. A. | [1986] | Logica | Aldo Garzanti Editore | Milano | 1986 |
| Gilardoni, A. | [2008] | Logica e argomentazione. Un prontuario | Mimesis Edizioni | Milano | 2008 |
| Bencivenga, E. | [1984] | Il primo libro di logica. Introduzione ai metodi della logica contemporanea | Boringhieri | Torino | 1986 |
| Restall, G. | [2006] | Logic: An Introduction | Routledge | London | 2006 |
| Beall, J. C. | [2010] | Logic: The Basics | Routledge | New York | 2010 |
| Henle, J. M.
Garfield, J. L. Tymoczko, T. | [2011] | Sweet Reason: A Field Guide to Modern Logic | Wiley-Blackwell | Oxford | 2011 |
| Priest, G. | [2000] | Logic: A Very Short Introduction | Oxford University Press | Oxford | 2000 |
| Priest, G. | [2012] | Logica | Codice Edizioni | Torino | 2012 |
| Mondadori, M.
D'Agostino, M. | [1997] | Logica | Bruno Mondadori | Milano | 1997 |
| D'Agostini, F. | [2012] | I mondi comunque possibili. Logica per la filosofia e il ragionamento comune | Bollati Boringhieri | Torino | 2012.02 |
| D'Agostini, F. | [2013] | Logica in pratica. Esercizi per la filosofia e il ragionamento comune | Carocci | Roma | 2014 |
| Galvan, S. | [2012] | Logica | Editrice La Scuola | Brescia | 2012 |
| Oberschelp, A. | [1992] | Logik für Philosophen | Wissenschaftsverlag | Berlin | 1992 |
| Sider, T. &. | [2010] | Logic for Philosophy | Oxford University Press | Oxford | 2010 |
| Papineau, D. | [2012] | Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets | Oxford University Press | Oxford | 2012 |
| Steinhart, E. C. | [2009] | More Precisely. The Math You Need To Do Philosophy | Broadview Press | Peterborough | 2009 |
| Bucher, T. G. | [1996] | Introduzione alla logica | CLUEB | Bologna | 1996 |
| Bucher, T. G. | [1996] | Introduzione alla logica | CLUEB | Bologna | 1996 |
| Timossi, R. G. | [2011] | Imparare a ragionare. Un manuale di logica | Marietti 1820 | Genova | 2011 |
| Boniolo, G. | [2002] | Strumenti per ragionare. Logica e teoria dell'argomentazione | Bruno Mondadori | Milano | 2002 |
| Gabbay, D. M. (ed.)
Pelletier, F. J. (ed.) Woods, J. H. (ed.) | [2012] | Logic: A History of Its Central Concepts | Elsevier Science Publishers | Amsterdam | 2012 |
| Campitelli, M.
Blasone, P. Galante, A. | [2004] | Segnali di fumo. Logica matematica, logica scientifica, logica filosofica | Società Editrice Dante Alighieri | Roma | 2004 |
| Odifreddi, P. | [2003] | Il diavolo in Cattedra. La logica da Aristotele a Gödel | Einaudi | Torino | 2003 |
| Prawitz, D. | [1965] | Natural Deduction. A Proof-Theoretical Study | Dover | New York | 1965 |
| Bendall, K. | [2006] | Natural Deduction, Separation and the Meaning of Logical Operators | 1978 | ||
| Smullyan, R. M. | [1968] | First Order Logic | Springer-Verlag | Berlin | 1968 |
| Borga, M. | [1995] | Fondamenti di logica. Introduzione alla teoria della dimostrazione | FrancoAngeli | Milano | 1995 |
| Cavagnetto, S. | [2008] | Esercizi di logica | Carocci | Roma | 2008 |
| Priest, G. | [2001] | An Introduction to Non-Classical Logic. From If to Is | Cambridge University Press | Cambridge | 2001 |
| Priest, G. | [2010] | An Introduction to Non-Classical Logic. From If to Is | Cambridge University Press | Cambridge | 2010 |
[i][b][c] CRONOLOGIA: