Skip to main content

2015 | OriginalPaper | Buchkapitel

2. Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)

verfasst von : Jean-Yves Beziau

Erschienen in: New Directions in Paraconsistent Logic

Verlag: Springer India

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We investigate the notion of contradiction taking as a central point the idea of a round square. After discussing the question of images of contradiction, related to the contest Picturing Contradiction, we explain why from the point of view of the theory of opposition, a round square is not a contradiction. We then draw a parallel between different kinds of oppositions and different kinds of negations. We explain why from this perspective, when we have a paraconsistent negation \(\lnot \), the formulas p and \(\lnot p\) cannot be considered as forming a contradiction. We finally introduce the notions of paranormal negation and opposition which may catch the concept of a round square.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The logic of imagination is still a quite new and open field. A starting point was a paper by Ilkka Niiniluoto in 1985 [44]; for a critical account of this paper see [30].
 
2
The president of the jury was Kuntal Ghosh, from the Indian Statistical Institute in Kolkata where the event was taking place.
 
3
I had the opportunity at this time to meet and discuss with David Bohm in London. After that I wrote a dissertation on Plato’s cave [4] and later on I developed the paraconsistent logic Z inspired by Bohm’s ideas. About this logic, see [9], and about how it was conceived, see [10].
 
4
Larry Horn has, however, pointed out that even if we do not have a picture of the square of opposition by Aristotle, the Stagyrite suggested such a picture—see [39].
 
5
The work of Blanché has been published in [2325], about the hexagon see [12].
 
6
Since 2007 we are organizing a world congress on the square of opposition. The first edition happened in Montreux, the second in Corsica in 2010, the third in Beirut in 2013, the fourth in the Vatican in 2014, the next one is projected to happen in Easter Island in 2016—see http://​www.​square-of-opposition.​org. Related publications are [11, 14, 1822].
 
7
These are the three primitive colors. The theory of opposition can also be applied to the theory of colors, see in particular the hexagon of colors of Dany Jaspers [40].
 
8
This context is important, not only to rule out other geometries—one may claim that a point is both a straight and a curved line, so that a curved line is not a contradiction, but in standard geometry a point is not a line—but also objects out of the scope of geometry, like an abstract concept such as beauty. It is possible to say that beauty is neither a square nor a circle, but this is not necessarily a convincing example to sustain that square and circle are not contradictory.
 
9
André Breton promoted as a key feature of surrealist writing the idea of “carambolage sémantique” [29]. But this is not the same as a “dérapage sémantique.” The idea is to create a poetic effect by putting together opposed notions, leading to a sense of absurdity. Flaubert used systematically in his masterpiece Bouvard et Pécuchet [35] a process qualified as “antithetic juxtaposition” consisting of putting side by side two different opinions or theories. This was to show that human knowledge is not really coherent.
 
10
For more discussion about the variety of symbolism, see [17].
 
11
This was reported to me by Newton da Costa. He faced this phenomenon when visiting the Australopithecus in his own country in the 1970s.
 
12
As explained in [11], not satisfied with this octagon, I split it in three stars that I put together in a three-dimensional polyhedron of opposition which also perfectly reflects the duality and symmetry between these two negations. The multidimensional theory of opposition has been further developed by Moretti [42], Smessaert [49] and Pélissier [45].
 
13
For a detailed discussion about how to define a paraconsistent negation, see [5, 6].
 
14
At the metalevel, tautology and antilogy form a contrary pair, see the metalogical hexagon presented in [16].
 
15
The expression “paranormal logic” was used in the paper [32] where a paranormal logic different from De Morgan logic was introduced. De Morgan logic is derived from De Morgan algebra, for details about this, see [15].
 
Literatur
1.
Zurück zum Zitat Anton, J.P.: Aristotle’s Theory of Contrariety. Routledge, London (1957) Anton, J.P.: Aristotle’s Theory of Contrariety. Routledge, London (1957)
2.
Zurück zum Zitat Bergson, H.: La pensée et le mouvant. Alcan, Paris (1934). English Translation: the Creative Mind. Philosophical Library, New York (1946) Bergson, H.: La pensée et le mouvant. Alcan, Paris (1934). English Translation: the Creative Mind. Philosophical Library, New York (1946)
3.
Zurück zum Zitat Beziau, J.-Y.: L’holomouvement selon David Bohm. Maîtrise of Philosophy, Université Paris 1 - Panthéon Sorbonne, Paris (1987) Beziau, J.-Y.: L’holomouvement selon David Bohm. Maîtrise of Philosophy, Université Paris 1 - Panthéon Sorbonne, Paris (1987)
4.
Zurück zum Zitat Beziau, J.-Y.: D’une caverne à l’autre. Master thesis, Université Paris 1 - Panthéon Sorbonne, Paris (1988) Beziau, J.-Y.: D’une caverne à l’autre. Master thesis, Université Paris 1 - Panthéon Sorbonne, Paris (1988)
5.
Zurück zum Zitat Beziau, J.-Y.: What is paraconsistent logic? in Frontiers of paraconsistent logic. In: Batens, D. et al. (eds.), pp. 95–111. Research Studies Press, Baldock (2000) Beziau, J.-Y.: What is paraconsistent logic? in Frontiers of paraconsistent logic. In: Batens, D. et al. (eds.), pp. 95–111. Research Studies Press, Baldock (2000)
6.
Zurück zum Zitat Beziau, J.-Y.: Are paraconsistent negations negations ? in Paraconsistency: the logical way to the inconsistent. In: Carnielli, W. et al. (eds.), pp. 465–486. Marcel Dekker, New-York (2002) Beziau, J.-Y.: Are paraconsistent negations negations ? in Paraconsistency: the logical way to the inconsistent. In: Carnielli, W. et al. (eds.), pp. 465–486. Marcel Dekker, New-York (2002)
7.
Zurück zum Zitat Beziau, J.-Y.: New light on the square of oppositions and its nameless corner. Log. Inv. 10, 218–232 (2003)MathSciNet Beziau, J.-Y.: New light on the square of oppositions and its nameless corner. Log. Inv. 10, 218–232 (2003)MathSciNet
9.
Zurück zum Zitat Beziau, J.-Y.: The paraconsistent logic Z-A possible solution to Jaśkowski’s problem. Log. Log. Philos. 10, 99–111 (2006)MathSciNet Beziau, J.-Y.: The paraconsistent logic Z-A possible solution to Jaśkowski’s problem. Log. Log. Philos. 10, 99–111 (2006)MathSciNet
10.
Zurück zum Zitat Beziau, J.-Y.: Adventures in the paraconsistent jungle. In: Handbook of Paraconsistency, pp. 63–80. College Publication, London (2007) Beziau, J.-Y.: Adventures in the paraconsistent jungle. In: Handbook of Paraconsistency, pp. 63–80. College Publication, London (2007)
11.
Zurück zum Zitat Beziau, J.-Y.: The new rising of the square. In: Beziau, J.-Y., Jacquette, D. (eds.) Around And Beyond the Square of Opposition, pp. 6–24. Birkhäuser, Basel (2012) Beziau, J.-Y.: The new rising of the square. In: Beziau, J.-Y., Jacquette, D. (eds.) Around And Beyond the Square of Opposition, pp. 6–24. Birkhäuser, Basel (2012)
13.
Zurück zum Zitat Beziau, J.-Y.: Paranormal logics and the theory of bivaluations. In: Universal Logic: an Anthology, pp. 361–372. Bikhäuser, Basel (2012) Beziau, J.-Y.: Paranormal logics and the theory of bivaluations. In: Universal Logic: an Anthology, pp. 361–372. Bikhäuser, Basel (2012)
14.
Zurück zum Zitat Beziau, J.-Y. (ed.): Special issue on the hexagon of opposition. Logica Universalis 6(1–2) (2012) Beziau, J.-Y. (ed.): Special issue on the hexagon of opposition. Logica Universalis 6(1–2) (2012)
15.
Zurück zum Zitat Beziau, J.-Y.: History of the concept of truth-value. In: Gabbay, D.M., Pelletier, F., Woods, J. (eds.) Handbook of the History of Logic, vol. 11. Elsevier, Amsterdam (2012) Beziau, J.-Y.: History of the concept of truth-value. In: Gabbay, D.M., Pelletier, F., Woods, J. (eds.) Handbook of the History of Logic, vol. 11. Elsevier, Amsterdam (2012)
16.
Zurück zum Zitat Beziau, J.-Y.: The metalogical hexagon of opposition. Argumentos 10, 111–122 (2013) Beziau, J.-Y.: The metalogical hexagon of opposition. Argumentos 10, 111–122 (2013)
17.
Zurück zum Zitat Beziau, J.-Y. (ed.): La pointure du symbole. Editions Pétra, Paris (2014) Beziau, J.-Y. (ed.): La pointure du symbole. Editions Pétra, Paris (2014)
18.
Zurück zum Zitat Beziau, J.-Y., Jacquette, D. (eds.): Around and Beyond the Square of Opposition. Birkhäuser, Basel (2012)MATH Beziau, J.-Y., Jacquette, D. (eds.): Around and Beyond the Square of Opposition. Birkhäuser, Basel (2012)MATH
19.
Zurück zum Zitat Beziau, J.-Y., Payette, G. (eds.): Special issue on the square of opposition. Logica Universalis 2(1) (2008) Beziau, J.-Y., Payette, G. (eds.): Special issue on the square of opposition. Logica Universalis 2(1) (2008)
20.
Zurück zum Zitat Beziau, J.-Y., Payette, G. (eds.): The Square of Opposition-a General Framework for Cognition. Peter Lang, Bern (2012) Beziau, J.-Y., Payette, G. (eds.): The Square of Opposition-a General Framework for Cognition. Peter Lang, Bern (2012)
21.
Zurück zum Zitat Beziau, J.-Y., Read, S. (eds.): Special issue of history and philosophy of logic, square of opposition: a diagram and a theory in historical perspective. 35(4) (2014) Beziau, J.-Y., Read, S. (eds.): Special issue of history and philosophy of logic, square of opposition: a diagram and a theory in historical perspective. 35(4) (2014)
22.
Zurück zum Zitat Beziau, J.-Y., Gan-Krzywoszynska, K. (eds.): New Dimensions of the Square of Opposition. Philosophia Verlag, Munich (2015) Beziau, J.-Y., Gan-Krzywoszynska, K. (eds.): New Dimensions of the Square of Opposition. Philosophia Verlag, Munich (2015)
23.
Zurück zum Zitat Blanché, R.: Sur l’opposition des concepts. Theoria 19, 89–130 (1953) Blanché, R.: Sur l’opposition des concepts. Theoria 19, 89–130 (1953)
24.
Zurück zum Zitat Blanché, R.: Opposition et négation. Revue Philosophique 167, 187–216 (1957) Blanché, R.: Opposition et négation. Revue Philosophique 167, 187–216 (1957)
25.
Zurück zum Zitat Blanché, R.: Structures intellectuelles. Essai sur lorganisation systématique des concepts, Vrin, Paris (1966) Blanché, R.: Structures intellectuelles. Essai sur lorganisation systématique des concepts, Vrin, Paris (1966)
26.
Zurück zum Zitat Bohm, D.: Wholeness and the Implicate Order. Routledge, London (1980) Bohm, D.: Wholeness and the Implicate Order. Routledge, London (1980)
27.
Zurück zum Zitat Bohr, N.,Wirkungsquantum und Naturbesreibung. Die Naturwissenschaften 17 483–486 (1929). English translation: The quantum of action and the description of nature. Atomic Theory and the Description of Nature, pp. 92–101 University Press, Cambridge (1934) Bohr, N.,Wirkungsquantum und Naturbesreibung. Die Naturwissenschaften 17 483–486 (1929). English translation: The quantum of action and the description of nature. Atomic Theory and the Description of Nature, pp. 92–101 University Press, Cambridge (1934)
28.
Zurück zum Zitat Bréal, M.: Essai de sémantique : science des significations. Hachette, Paris (1897) Bréal, M.: Essai de sémantique : science des significations. Hachette, Paris (1897)
29.
Zurück zum Zitat Breton, A.: Manifeste du surréalisme. Editions du Sagittaire, Paris (1924) Breton, A.: Manifeste du surréalisme. Editions du Sagittaire, Paris (1924)
30.
Zurück zum Zitat Costa-Leite, A.: Logical properties of imagination. Theoria 6, 103–116 (2010) Costa-Leite, A.: Logical properties of imagination. Theoria 6, 103–116 (2010)
31.
Zurück zum Zitat da Costa, N.C.A.: Calculs propositionnels pour les systèmes formels inconsistants. Cr. R. Acad Sc. Paris 257, 3790–3793 (1963)MATH da Costa, N.C.A.: Calculs propositionnels pour les systèmes formels inconsistants. Cr. R. Acad Sc. Paris 257, 3790–3793 (1963)MATH
32.
Zurück zum Zitat da Costa, N.C.A.: Ensaio sobre os fundamentos da lógica. Hucitec, São Paulo, 1980. French translation: Logiques classiques et non classiques. Masson, Paris (1997) da Costa, N.C.A.: Ensaio sobre os fundamentos da lógica. Hucitec, São Paulo, 1980. French translation: Logiques classiques et non classiques. Masson, Paris (1997)
33.
Zurück zum Zitat da Costa, N.C.A., Beziau, J.Y.: Overclassical logic. Logique et Analyse, 157 31–44 (1997) da Costa, N.C.A., Beziau, J.Y.: Overclassical logic. Logique et Analyse, 157 31–44 (1997)
34.
Zurück zum Zitat d’Espagnat, B.: Le réel voilé, analyse des concepts quantiques. Fayard, Paris (1994): English translation: Veiled reality: an analysis of quantum mechanical concepts, 2003. Westview Press, Boulder, Colorado (2013) d’Espagnat, B.: Le réel voilé, analyse des concepts quantiques. Fayard, Paris (1994): English translation: Veiled reality: an analysis of quantum mechanical concepts, 2003. Westview Press, Boulder, Colorado (2013)
35.
Zurück zum Zitat Flaubert, G.: Bouvard et Pécuchet. Editions du Sagittaire, Paris (1881) Flaubert, G.: Bouvard et Pécuchet. Editions du Sagittaire, Paris (1881)
36.
Zurück zum Zitat Frege, G.: Uber die wissenschaftlische Berechtigung einer Begriffsschrift. Zeitschrift für Philosophie und philosophische Kritik 81, 48–56 (1892) Frege, G.: Uber die wissenschaftlische Berechtigung einer Begriffsschrift. Zeitschrift für Philosophie und philosophische Kritik 81, 48–56 (1892)
37.
Zurück zum Zitat Gödel, K.: Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 4, 39–40 (1933) Gödel, K.: Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 4, 39–40 (1933)
38.
Zurück zum Zitat Horn, L.R.: A Natural History of Negation. University Chicago Press, Chicago (1989) Horn, L.R.: A Natural History of Negation. University Chicago Press, Chicago (1989)
39.
Zurück zum Zitat Horn, L.R.: On the contrary: disjunctive syllogism and pragmatic strengthening. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, Festschrift for 50th Birthday of Jean-Yves Béziau, vol. I, pp. 241–265. Birkhäuser, Basel (2015) Horn, L.R.: On the contrary: disjunctive syllogism and pragmatic strengthening. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, Festschrift for 50th Birthday of Jean-Yves Béziau, vol. I, pp. 241–265. Birkhäuser, Basel (2015)
41.
Zurück zum Zitat Loparic, A., da Costa, N.C.A.: Paraconsistency, paracompleteness, and valuations. Logique et Analyse 106, 119–131 (1984) Loparic, A., da Costa, N.C.A.: Paraconsistency, paracompleteness, and valuations. Logique et Analyse 106, 119–131 (1984)
42.
Zurück zum Zitat Moretti, A.: The geometry of logical opposition. PhD thesis, University of Neuchâtel, Neuchâtel (2009) Moretti, A.: The geometry of logical opposition. PhD thesis, University of Neuchâtel, Neuchâtel (2009)
43.
Zurück zum Zitat Tse-tung, M.: On contradiction (1937) Tse-tung, M.: On contradiction (1937)
44.
Zurück zum Zitat Niiniluoto, I.: Imagination and fiction. J. Semant. 4, 209–222 (1985)CrossRef Niiniluoto, I.: Imagination and fiction. J. Semant. 4, 209–222 (1985)CrossRef
47.
Zurück zum Zitat Priest, G., Routley, R.: Systems of paraconsistent logic. In: Paraconsistent logic: essays on the Inconsistent, pp. 151–186. Philosophia, Munich (1989) Priest, G., Routley, R.: Systems of paraconsistent logic. In: Paraconsistent logic: essays on the Inconsistent, pp. 151–186. Philosophia, Munich (1989)
50.
Zurück zum Zitat Tarski, A.: Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III(23), 22–29 (1930) Tarski, A.: Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III(23), 22–29 (1930)
52.
Zurück zum Zitat Wittgenstein, L.: “Logisch-philosophische Abhandlung”, Annalen der Naturphilosophie 14 185–262 (1921). Translated as Tractatus Logico-Philosophicus. Kegan Paul, London (1922) Wittgenstein, L.: “Logisch-philosophische Abhandlung”, Annalen der Naturphilosophie 14 185–262 (1921). Translated as Tractatus Logico-Philosophicus. Kegan Paul, London (1922)
Metadaten
Titel
Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)
verfasst von
Jean-Yves Beziau
Copyright-Jahr
2015
Verlag
Springer India
DOI
https://doi.org/10.1007/978-81-322-2719-9_2

Premium Partner