[i][b][c][r][a]
[i][b][c] INDICE:
| 7 | Introduzione | ||
| 9 | 1. | Principio di non-contraddizione | |
| 9 | 1.1. | Uno strano cliente | |
| 10 | 1.2. | Una definizione | |
| 13 | 1.3. | Principio sintattico, logico, ontologico e psicologico | |
| 17 | 1.4. | Le sfide del Principio | |
| 17 | 1.4.1. | Che c'è di male nelle contraddizioni? | |
| 22 | 1.4.2. | Paradossi logici | |
| 26 | 1.4.3. | Mentire senza dire bugie | |
| 27 | Mentitori | ||
| 29 | Tentativi risolutivi | ||
| 36 | L'essenza del mentitore | ||
| 40 | 1.4.4. | Il paradosso di Russell | |
| 42 | Circolo vizioso e tipi logici | ||
| 45 | La soluzione di Zermelo | ||
| 50 | 2. | Sulla detonazione | |
| 50 | 2.1. | Ex contradictione quodlibet | |
| 56 | 2.2. | “Cambio di logica, cambio di argomento” | |
| 60 | 2.3. | Classical recapture | |
| 62 | 2.4. | Paraconsistenza e dialeteismo | |
| 65 | 3. | Approcci non aggiuntivi | |
| 65 | 3.1. | La logica discussiva | |
| 70 | 3.2. | La logica dell'inconsistenza di Rescher e Brandom | |
| 73 | 3.3. | Problemi degli approcci non aggiuntivi | |
| 75 | 3.4. | La strategia a frammentazione di David Lewis | |
| 77 | 4. | Sistemi positive-plus | |
| 77 | 4.1. | Logiche dell'inconsistenza formale | |
| 81 | 4.2. | La negazione dacostiana e i suoi problemi | |
| 84 | 4.3. | Logiche adattive | |
| 86 | 5. | La logica del paradosso | |
| 86 | 5.1. | Introduzione alla logica del paradosso | |
| 87 | 5.2. | Vero, falso, vero e falso | |
| 93 | 5.3. | LPQ e i multi-criterial terms | |
| 94 | 5.4. | La classical recapture in Priest | |
| 98 | 6. | La logica della rilevanza | |
| 98 | 6.1. | Introduzione | |
| 99 | 6.2. | Implicazione rilevante | |
| 100 | 6.3. | Semantiche rilevanti | |
| 101 | 6.3.1. | L'American Plan | |
| 102 | 6.3.2. | L'Australian Plan e i suoi mondi impossibili | |
| 103 | 6.3.3. | La stella di Routley | |
| 104 | 6.4. | Ultralogica | |
| 105 | 6.5. | Problemi rilevanti | |
| 109 | 7. | Problemi delle logiche paraconsistenti | |
| 109 | 7.1. | Ipercontraddizioni | |
| 111 | 7.1.1. | Il supermentitore | |
| 114 | 7.2. | Il problema dell'esclusione | |
| 117 | 7.2.1. | La nozione di incompatibilità materiale | |
| 121 | Bibliografia | ||
| 123 | _ |
[i][b][c] BIBLIOGRAFIA: (54 opere)| Autore | Rif. | Titolo | Editore | Città | Anno |
|---|---|---|---|---|---|
| Anderson, A. R.
Belnap, N. D. | [1975] | Entailment. The Logic of Relevance (Vol. I) | Princeton University Press | Princeton | 1975 |
| Anderson, A. R.
Belnap, N. D. Dunn, J. M. | [1982] | Entailment. The Logic of Relevance (Vol. II) | Princeton University Press | Princeton | 1982 |
| Aristotele di Stagira, .
Reale, G. (ed.) | [1993] | Metafisica | Rusconi | Milano | 1993 |
| Aristotele di Stagira, .
Colli, G. (ed.) | [1955] | Organon | Einaudi | Torino | 1955 |
| Batens, D. | [1990] | Against Global Paraconsinstency | 1990 | ||
| Belnap, N. D. | [1990] | A Useful Four-Valued Logic | 1977 | ||
| Benthem, J. F. A. K. | [1979] | What is Dialectical Logical? | 1979 | ||
| Bremer, M. | [2005] | An Introduction to Paraconsistent Logics | Peter Lang | Frankfurt am Main | 2005 |
| Bromand, J. | [2002] | Why Paraconsistent Logic can Only Tell Half the Truth | 2002 | ||
| Casari, E. | [1972] | Questioni di filosofia della matematica | Feltrinelli | Milano | 1964.06 |
| Copeland, B. J. | [1979] | On When a semantics Is Not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic | 1979 | ||
| Da Costa, N. C. A. | [1979] | Sulla teoria dei sistemi formali contraddittori | 1974 | ||
| Dunn, J. M. | [1976] | Intuitive Semantics for First-Degree Entailment and “Coupled Trees” | 1976 | ||
| Dunn, J. M. | [1986] | Relevance Logic and Entailment | 1986 | ||
| Everett, A. | [1993] | A Note on Priest's “Hypercontradictions” | 1993 | ||
| Gödel, K. | [1967] | Che cos'è il problema del continuo di Cantor? | 1967 | ||
| Grim, P. | [2004] | What Is a Contradiction | 2004 | ||
| Haack, S. | [1978] | Filosofia delle logiche | FrancoAngeli | Milano | 1983 |
| Hegel, G. W. F. | [1994] | Scienza della logica | Laterza | Bari | 1994 |
| Jaśkowski, S. | [1979] | Calcolo delle proposizioni per sistemi deduttivi contraddittori | 1948 | ||
| Kirkham, R. L. | [1992] | Theories of Truth. A Critical Introduction | MIT Press | Cambridge | 1992 |
| Kripke, S. A. | [1975] | Outline of a Theory of Truth | 1975 | ||
| Lewis, D. K. | [1982] | Logic for Equivocators | 1982 | ||
| Littmann, G.
Simmons, K. | [2004] | A Critique of Dialetheism | 2004 | ||
| Łukasiewicz, J. | [2003] | Del principio di contraddizione in Aristotele | Quodlibet | Macerata | 2003 |
| Meyer, R. K. B.
Martin, E. P. | [1986] | Logic on the Australian Plan | 1986 | ||
| Price, H. | [1990] | Why “Not”? | 1990 | ||
| Priest, G. | [1979] | The Logic of Paradox | 1979 | ||
| Priest, G. | [1984] | Hyper-contradictions | 1984 | ||
| Priest, G. | [1987] | In Contradiction: A Study of the Transconsistent | Martinus Nijhoff | Dordrecht | 1987 |
| Priest, G. | [1987] | Reductio ad Absurdum et Modus Tollendo Ponens | 1989 | ||
| Priest, G. | [1995] | Beyond the Limits of Thought | Cambridge University Press | Cambridge | 1995 |
| Priest, G. | [1998] | What Is so Bad about Contradictions? | 1998 | ||
| Priest, G. (ed.)
Beall, J. C. (ed.) Armour-Garb, B. B. (ed.) | [2004] | The Law of Non-Contradiction. New Philosophical Essays | Clarendon Press | Oxford | 2004 |
| Priest, G.
Routley "Sylvan", F. R. | [1989] | Applications of Paraconsistent Logics | 1989 | ||
| Priest, G. (ed.)
Routley "Sylvan", F. R. (ed.) Norman, J. (ed.) | [1989] | Paraconsistent Logic. Essays on the Inconsistent | Philosophia Verlag | München | 1989 |
| Priest, G.
Tanaka, K. Weber, Z. | [2013] | Paraconsistent Logic | 2013 | ||
| Ramsey, F. P. | [1964] | I fondamenti della matematica e altri scritti di logica | Feltrinelli | Milano | 1964 |
| Rescher, N.
Brandom, R. B. | [1980] | The Logic of Inconsistency: a study in Non standard Possible Worlds Semantics and Ontology | Basil Blackwell | Oxford | 1980 |
| Priest, G. | [1979] | Exploring Meinong's Jungle and Beyond. And Investigation of Noneism and the Theory of Items | Australian National University | Canberra | 1979 |
| Priest, G.
Meyer, R. K. B. | [1973] | The Semantic of Entailment I | 1973 | ||
| Routley "Sylvan", F. R.
Meyer, R. K. B. | [1979] | Logica dialettica, logica classica e non contraddittorietà del mondo | 1976 | ||
| Russell, B. A. W. (. R. | [1908] | Mathematical Logic as Based on the Theory of Types | 1908 | ||
| Russell, F. (. R.
Whitehead, A. N. | [1910-3] | Principia Mathematica | Cambridge University Press | Cambridge | 1910 |
| Sainsbury, R. M. | [1995] | Paradoxes | Cambridge University Press | Cambridge | 1995 |
| Schlick, M. | [1969] | Positivismo e realismo | 1932 | ||
| Smiley, T. | [1993] | Can Contradictions Be True? I | 1997 | ||
| Sorensen, R. | [2001] | Vagueness and Contradiction | Oxford University Press | Oxford | 2001 |
| Tarski, A. | [1956] | Logic, Semantics, Metamathematics. Papers from 1923 to 1938 | Oxford University Press | Oxford | 1956 |
| Tarski, A. | [1973] | La fondazione della semantica scientifica | 1973 | ||
| Weber, Z. | [2010] | Paraconsistent Logic | 2010 | ||
| Wittgenstein, L. J. J. | [1998] | Tractatus logico-philosophicus e Quaderni (1914-1916) | Einaudi | Torino | |
| Zermelo, E. F. F. | [1967] | Investigations on the Foundations of Set Theory I | 1967 | ||
| _ | __ |
[i][b][c] CRONOLOGIA: