The Logic of Contradiction
Keywords:
Contradiction, Classical logic, Nothingness, Foundation, OntologyAbstract
This essay investigates the implicit foundation of classical logical principles — identity, non-contradiction, and the excluded middle — showing how they presuppose the original distinction between being and nothingness. The analysis of intuitionistic, fuzzy, and paraconsistent logics reveals that, despite their attempt to go beyond such principles, they structurally depend on them. The inquiry revolves around the fundamental question: «why being rather than nothing?», and extends to the meaning of self-referential paradoxes and cosmogonic myths that express the primordial indistinct. In this perspective, contradiction is not an anomaly to be avoided, but the original structure from which all determination emerges. The essay thus proposes a first step toward a logic grounded in contradiction, understood as a speculative and ontological principle.
References
Aristotle, Metaphysics, ed. Giovanni Reale, Milan, Bompiani, 2019.
Brouwer, L.E.J., ‘Intuitionism and Formalism’, in Bulletin of the American Mathematical Society, vol. 20, no. 2, 1913, pp. 81–96.
Copi, Irving M., and Cohen, Carl, Introduzione alla logica, trans. P. Kobau, Milan, Apogeo, 2004.
Da Costa, Newton C.A., The Logic of Inconsistency, Oxford, Oxford University Press, 2014.
Enuma Elish, in Myths from Mesopotamia: Creation, the Flood, Gilgamesh, and Others, ed. and trans. Stephanie Dalley, Oxford, Oxford University Press, 2000.
Frege, Gottlob, Begriffsschrift, Halle, Nebert, 1879.
Gorgias, ‘On Not-Being or On Nature’, in The Presocratic Philosophers, ed. G.S. Kirk and J.E. Raven, Cambridge, Cambridge University Press, 1957.
Gödel, Kurt, ‘Sui teoremi di incompletezza’, in Opere, vol. I, ed. G. Oliveri, Milan, Bollati Boringhieri, 2006.
Hegel, Georg Wilhelm Friedrich, Science of Logic, trans. A.V. Miller, London, George Allen & Unwin, 1969.
Heidegger, Martin, ‘What Is Metaphysics?’, trans. David Farrell Krell, in Pathmarks, Cambridge, Cambridge University Press, 1998.
Heidegger, Martin, Introduction to Metaphysics, trans. Gregory Fried and Richard Polt, New Haven, Yale University Press, 2000.
Heyting, Arend, Intuitionism: An Introduction, Amsterdam, North-Holland, 1956.
Genesis, The Holy Bible, New Revised Standard Version, New York, HarperOne, 2006.
Melissus, ‘Fragments’, in The Presocratic Philosophers, ed. G.S. Kirk and J.E. Raven, Cambridge, Cambridge University Press, 1957.
Orwell, George, 1984, trans. G. Cattaneo, Milan, Mondadori, 2021.
Plato, Protagoras, ed. Mario Vegetti, Milan, BUR, 2001.
Plato, Sophist, ed. Giovanni Reale, Milan, Bompiani, 2005.
Priest, Graham, Doubt Truth to Be a Liar, Oxford, Oxford University Press, 2006.
Priest, Graham, In Contradiction: A Study of the Transconsistent, 2nd ed., Oxford, Oxford University Press, 2006.
Rig Veda, ‘Book X, Hymn 129’, in The Rig Veda: An Anthology, trans. Wendy Doniger, London, Penguin Classics, 1981.
Russell, Bertrand, ‘On Denoting’, Mind, vol. 14, no. 56, 1905, pp. 479–493.
Schelling, F.W.J., Philosophical Investigations into the Essence of Human Freedom, ed. and trans. by Jeff Love and Johannes Schmidt, Albany, SUNY Press, 2006.
Severino, Emanuele, La struttura originaria, Milan, Adelphi, 2017.
Tarski, Alfred, Introduction to Logic and to the Methodology of Deductive Sciences, New York, Dover, 1995.
Theogony of Hesiod, in Theogony and Works and Days, trans. M.L. West, Oxford, Oxford University Press, 2008.
Texts of Norse Mythology, in The Poetic Edda, trans. Carolyne Larrington, Oxford, Oxford University Press, 2014.
Vernant, Jean-Pierre, Myth and Thought among the Greeks, London, Routledge & Kegan Paul, 1983.
Wittgenstein, Ludwig, Tractatus Logico-Philosophicus, trans. D.F. Pears and B.F. McGuinness, London, Routledge & Kegan Paul, 1961.
Zadeh, Lotfi A., ‘Fuzzy Sets’, Information and Control, vol. 8, no. 3, 1965, pp. 338–353.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Massimiliano Sarti
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
