Abstract
According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \(x^{2}=x\). We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
Similar content being viewed by others
References
Anellis, I.H.: Van Heijenoort: Logic and its History in the Work and Writings of Jean van Heijenoort. Modern Logic Publishing, Ames (1994)
Anellis, I.H. (ed.): Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary, Special Issue of Logica Universalis for the Centenary of Jean van Heijenoort, vol. 6, issue 3–4 (2012)
Badesa, C.: The Birth of Model Theory: Löwenheim’s Theorem in the Frame of the Theory of Relatives. Princeton University Press, Princeton (2004)
Badiou, A.: L’être et l’événement (English translation: Being and event, Continuum, London, 2005). Seuil, Paris (1988)
Bar-Am, N.: Extensionalism: The Revolution in Logic. Springer, Dordrecht (2008)
Batens, D., Mortensen, C., Priest, G., van Bendegem, J.P. (eds.): Frontiers of Paraconsistent Logic. Research Studies Press, Baldock (2000)
Bellin, G., Carrara, M., Chiffi, D., Menti, A.: Pragmatic and dialogic interpretations of bi-intuitionism, part I. Log. Log. Philos. 23, 449–480 (2014)
Beziau, J.-Y.: Identity, logic and structure. Bull. Sect. Log. 25, 89–94 (1996)
Beziau, J.-Y.: Logic may be simple. Log. Log. Philos. 5, 129–147 (1997)
Beziau, J.-Y.: The mathematical structure of logical syntax. In: Carnielli, W.A., D’Ottaviano, I.M.L. (eds.) Advances in Contemporary Logic and Computer Science, pp. 1–17. American Mathematical Society, Providence (1999)
Beziau, J.-Y.: What is paraconsistent logic? In: Batens, D. (ed.) Frontiers of Paraconsistent Logic, pp. 95–111. Research Studies Press, Baldock (2000)
Beziau, J.-Y.: What is classical propositional logic? Log. Investig. 8, 266–277 (2001)
Beziau, J.-Y.: The philosophical import of Polish logic. In: Talasiewicz, M. (ed.) Methodology and Philosophy of Science at Warsaw University, pp. 109–124. Semper, Warsaw (2002)
Beziau, J.-Y.: Le château de la quantification et ses fantômes démasqués. In: Joray, P. (ed.) La quantification dans la logique moderne, pp. 211–260. L’Harmattan, Paris (2005)
Beziau, J.-Y.: Les axiomes de Tarski. In: Pouivet, R., Rebuschi, M. (eds.) La Philosophie en Pologne 1918–1939, pp. 135–149. Vrin, Paris (2006)
Béziau, J.-Y.: Logic is not logic. Abstracta 6, 73–102 (2010)
Beziau, J.-Y.: History of truth-values. In: Gabbay, D.M., Pelletier, J., Woods, J. (eds.) Handbook of the History of Logic, Vol. 11—Logic: A History of its Central Concepts, pp. 233–305. Elsevier, Amsterdam (2012)
Beziau, J.Y. (ed.): Universal Logic : An Anthology. Birkhäuser, Basel (2012)
Beziau, J.-Y.: The power of the hexagon. Log. Univers. 6, 1–43 (2012)
Beziau, J.-Y.: Round squares are no contradictions. In: New Directions in Paraconsistent Logic. Springer, New Delhi, pp. 39–55 (2015)
Beziau, J.-Y.: Disentangling contradiction from contrariety via incompatibility. Log. Univers. 10, 157–170 (2016)
Beziau, J.-Y.: Two genuine 3-valued paraconsistent logics. In: Akama, S. (ed.) Towards Paraconsistent Engineering, pp. 35–47. Springer, Cham (2016)
Beziau, J.-Y.: An analogical hexagon. Int. J. Approx. Reason. 94, 1–17 (2018)
Beziau, J.-Y., Carnielli, W.A., Gabbay, D.M. (eds.): Handbook of Paraconsistency. College Publication, London (2007)
Beziau, J.-Y., Chakraborty, M., Dutta, S. (eds.): New Directions in Paraconsistent Logic. Springer, New Delhi (2015)
Beziau, J.-Y., Silvestre, R. (eds.) Logic and Religion. Logica Universalis 11, 1–12 (2017)
Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433–454 (1935)
Blanché, R.: Sur la structuration du tableau des connectifs interpropositionnels binaires. J. Symb. Log. 22, 17–18 (1957)
Bloom, L.S., Suszko, R.: Investigations into the sentential calculus with identity. Notre Dame J. Form. Log. 13, 289–308 (1972)
Bocheński, J.M.: Soviet logic. In: Bochenski, Blakeley, pp. 29–38 (1961)
Bocheński, J.M., Blakeley, T.J. (eds.): Studies in Soviet Thought. Springer, Dodrecht (1961)
Boole, G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. MacMillan, London (1854)
Boole, M.E.: Philosophy and Fun of Algebra. C.W. Daniel, London (1909)
Bourbaki, N.: L’architecture des mathématiques—La mathématique ou les mathématiques. In: le Lionnais, F. (ed.) Les grands courants de la pensée mathématique, Cahier du Sud, (pp. 35–47) (Translated as “The architecture of mathematics”. American Mathematical Monthly 57, 221–232) (1950)
Burris, S.: The laws of Boole’s thought (2000). Unpublished, available on the webpage of the author. https://www.math.uwaterloo.ca/~snburris/
Carnielli, W.A., Coniglio, M., D’Ottaviano, I.M. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, New York (2002)
Chang, C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)
Corry, L.: Modern Algebra and the Rise of Mathematical Structures. Birkhäuser, Basel (2004)
Corcoran, J.: “George Boole”, Encyclopedia of Philosophy, 2nd edn. Macmillan, Detroit (2006)
Corcoran, J., Miguel Sagüillob, J.M.: The absence of multiple universes of discourse in the 1936, Tarski consequence-definition paper. Hist. Philos. Log. 32, 359–374 (2011)
da Costa, N.C.A., Béziau, J.-Y., Bueno, O.A.S.: Paraconsistent logic in a historical perspective. Log. Anal. 38(150—-152), 111–125 (1995)
Couturat, L.: L’algèbre de la logique, Gauthier Villars, Paris, 1905 The algebra of logic, authorized English translation by Lydia Gillingham Robinson with a preface by Philip E.B. Jourdain, Open Court, London and Chicago (1914)
Couturat, L.: La logique de Leibniz, d’après des documents inédits. Felix Alcan, Paris (1904)
Curry, H.: Leçons de logique algébrique, Nauwelaerts, Louvain and Gauthiers-Villars, Paris 1952, Translation and presentation by J. Seldin of the two first chapters in Beziau (ed) 2012
Dershowitz, N., Plaisted, D.: Chapter 9: Rewriting. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning. MIT Press, Cambridge (2001)
Ducasse, C.J., Curry, H.B.: Early history of the association for symbolic logic. J. Symb. Log. 27, 255–258 (1962)
Durand-Richard, M.-J.: George Peacock (1791–1858): La Synthèse Algébrique comme Loi Symbolique dans l’Angleterre des Réformes, these de docrorat. EHEES, Paris (1985)
Durand-Richard, M.-J.: Opération, fonction et signification de Boole à Frege. Cahiers Critiques de Philosophie 3, 99–128 (2007)
Durand-Richard, M.-J.: Autour de George Peacock: comment fonder une conception symbolique des opérations. In: Sinègre, L. (ed.) Histoire du calcul de la géométrie à l’algèbre, pp. 229–246. Vuibert, Paris (2009)
Durand-Richard, M.-J.: De l’algèbre symbolique à la théorie des modèles : structuration de l’analogie comme méthode démonstrative. In: Durand-Richard, M.-J. (ed.) Le statut de l’analogie dans la démarche scientifique, Perspective historique, pp. 131–169. L’Harmattan, Paris (2007)
Feferman, A.B.: Politics, Logic and Love: The life of Jean van Heijenoort. A.K. Peters, Wellesey (1993)
Feferman, A.B.: Jean van Heijenoort: Kaleidoscope. Log. Univers. 6, 277–291 (2012)
Frege, G.: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebertm Halle (1879)
Friend, M.: Boole: from calculating numbers to calculating thoughts. In: Ferreira, F. (ed.) Programs, Proofs, Processes. Lectures Notes in Computer Science, pp. 172–179. Springer, Heidelberg (2010)
Gillings, R.J.: The so-called Euler-Diderot incident. Am. Math. Mon. 61, 77–80 (1954)
Glivenko, V.: Théorie générale des structures. Hermann, Paris (1938)
Grattan-Guiness, I.: The Search for Mathematical Roots 1870–1940 (Logics, Set Theories and the Foundations of Mathematics from Carnot through Russell to Gödel). Princeton University Press, Princeton (2000)
Hailpern, T.: Boole’s algebra isn’t Boolean algebra. Math. Mag. 54, 172–184 (1981)
Halmos, P.R.: How to write mathematics. L’Enseignement Math. 16, 123–152 (1970)
Hernández-Tello, A., Ramírez, A., Galindo, M.Osorio: The pursuit of an implication for the logics L3A and L3B. Log. Univers. 11, 507–524 (2017)
Hilbert, D., Ackermann, W.: Grundzüge der Theoretischen Logik. Springer, Berlin (1928)
Hodges, W.: Truth in a structure. Proc. Aristot. Soc. 86, 135–151 (1985–1986)
Jacquette, D.: Boole’s logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, Vol. 4—British Logic in the Nineteenth Century, pp. 331–379. Elsevier, Amsterdam (2008)
Küng, G.: Mathematical logic in the Soviet Union (1917–1947 and 1947–1957). In: Bocheński, Blakeley, pp. 39–43 (1961)
Lobkowicz, N.: The principle of contradiction in recent Soviet philosophy. In: Bocheński, Blakeley, pp. 44–51 (1961)
Łukasiewicz, J.: O zasadzie sprzecznosci u Arystotelesa, p. 1910. Studium krytyczne, Kraków (1910)
Peckhaus, V.: The mathematical origins of nineteenth-century algebra of logic. In: Haaparanta, L. (ed.) The Development of Modern Logic. Oxford University Press, Oxford (2009)
Prade, H., Richard, G.: From analogical proportion to logical proportions. Log. Univers. 7, 441–505 (2013)
Scott, D.: Completeness and axiomatizability in many-valued logic. In: Henkin, L. (ed.) Proceedings of the Tarski Symposium, pp. 188–197. American Mathematical Society, Providence (1974)
Shramko, Y.: Dual Intuitionistic logic and a variety of negations: the logic of scientific research. Stud. Log. 80, 347–367 (2005)
Serfati, M.: La revolution symbolique. La constitution de l’écriture symbolique mathématique. Pétra, Paris (2005)
Smith, N.J.: Frege’s judgement stroke and the conception of logic as the study of inference not consequence. Philos. Compass 4, 639–665 (2009)
Smuyllan, R.: The Magic, Music and Mathematics. World Scientific, Singapore (2015)
Stone, M.: Subsomption of the theory of Boolean algebras under the theory of rings. Proc. Natl. Acad. Sci. 21, 103–105 (1935)
Stone, M.: The theory of representation for Boolean algebra. Trans. Am. Math. Soc. 40, 37–111 (1936)
Surma, S.J.: On the origin and subsequent applications of the concept of Lindenbaum algebra. In: Cohen, L.J., Los, J., Pfeiffer, H., Podewski, K.-D. (eds.) Logic, Methodology and Philosophy of Science VI. North-Holland, Amsterdam (1982)
Tanaka, K., Berto, F., Mares, E., Paoli, F.: Paraconsistency: Logic and Applications. Springer, Dordrecht (2013)
Tarski, A.: Grundzüge des Systemankalküls, Erster Teil. Fundam. Math. 25, 503–526 (1935)
Tarski, A.: O pojciu wynikania logicznego. Przeglad Folozoficzny 39, 58–68 (1936)
Tarski, A.: Logic, Semantics, Metamathematics, 2nd edn. Hackett, Indianapolis (1983). (First edition, Oxford, 1956)
Tarski, A.: Collected Papers, 4 Volumes, ed. by S. Givant and R. McKenzie. Birkhäuser, Basel (1986)
Tarski, A.: Contributions to the theory of models: I, II, III. In: Indigationes Mathematicae vol. 16 (1954) (pp. 572–581, pp. 582–588, vol. 17 (1955), pp. 56–64)
Tarski, A.: Drei Briefe an Otto Neurath. Grazer Philos. Stud. 43, 1–32 (1992)
van Heijenoort, J. (ed.): From Frege to Gödel, A Source Book of Mathematical Logic, pp. 1879–1931. Harvard University Press, Cambridge (1967)
van Heijenoort, J.: Friedrich Engels and mathematics (1948). In: Selected Essays, pp. 123–151. Bibliopolis, Naples (1985)
van Heijenoort, J.: Historical development of modern logic. Log. Univers. 6, 327–337 (2012)
Venn, J.: Symbolic Logic. MacMillan, London (1881)
Whitehead, A.N.: A Treatise on Universal Algebra. Cambridge University Press, Cambridge (1898)
Whitehead, A.N., Russell, B.: Principia Mathematica. Cambridge University Press, Cambridge (1910–1913)
Wybraniec-Skardowska, U.: Logical squares for classical Logic sentences. Log. Univers. 10, 293–312 (2016)
Zygmunt, J., Purdy, R.: Adolf Lindenbaum: Notes on his life, with bibliography and selected references. Log. Univers. 8, 285–320 (2014)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Beziau, JY. Is the Principle of Contradiction a Consequence of \(x^{2}=x\)?. Log. Univers. 12, 55–81 (2018). https://doi.org/10.1007/s11787-018-0188-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-018-0188-5