Skip to main content
Erschienen in: Logica Universalis 1/2020

07.02.2020

A Cube of Opposition for Predicate Logic

verfasst von: Jørgen Fischer Nilsson

Erschienen in: Logica Universalis | Ausgabe 1/2020

Einloggen

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

search-config
loading …

Abstract

The traditional square of opposition is generalized and extended to a cube of opposition covering and conveniently visualizing inter-sentential oppositions in relational syllogistic logic with the usual syllogistic logic sentences obtained as special cases. The cube comes about by considering Frege–Russell’s quantifier predicate logic with one relation comprising categorical syllogistic sentence forms. The relationships to Buridan’s octagon, to Aristotelian modal logic, and to Klein’s 4-group are discussed.

Graphic Abstract

The photo shows a prototype sculpture for the cube.

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!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Zurück zum Zitat Béziau, J.-Y.: There is no cube of opposition. In: Béziau, J.-Y., Basti, G. (eds.) The Square of Opposition: A Cornerstone of Thought, pp. 179–193. Studies in Universal Logic, Birkhäuser (2017)CrossRef Béziau, J.-Y.: There is no cube of opposition. In: Béziau, J.-Y., Basti, G. (eds.) The Square of Opposition: A Cornerstone of Thought, pp. 179–193. Studies in Universal Logic, Birkhäuser (2017)CrossRef
2.
Zurück zum Zitat Buridan, J.: Summulae de Dialectica, G. Klima (Eng. Trans.), Yale University Press, New Haven (2001) Buridan, J.: Summulae de Dialectica, G. Klima (Eng. Trans.), Yale University Press, New Haven (2001)
3.
Zurück zum Zitat Buridan, J.: Treatise on Consequences, Translated and with an Introduction by Stephen Read, Fordham University Press, New York (2015) Buridan, J.: Treatise on Consequences, Translated and with an Introduction by Stephen Read, Fordham University Press, New York (2015)
4.
Zurück zum Zitat Campos Benítez, J.M.: The medieval octagon of opposition for sentences with quantified predicates. Hist. Philos. Logic 35(4), 354–368 (2014)MathSciNetCrossRef Campos Benítez, J.M.: The medieval octagon of opposition for sentences with quantified predicates. Hist. Philos. Logic 35(4), 354–368 (2014)MathSciNetCrossRef
5.
Zurück zum Zitat Campos Benítez, J.M.: Is there a formula to express the disparatae medieval sentences? A positive answer. South Am. J. Logic 3(2), 327–339 (2017)MathSciNet Campos Benítez, J.M.: Is there a formula to express the disparatae medieval sentences? A positive answer. South Am. J. Logic 3(2), 327–339 (2017)MathSciNet
6.
Zurück zum Zitat Cherkashina, O. : Figure of Opposition for Propositions about Relations. In: Béziau, J.-Y., Buchsbaum, A., Vandoulakis, I. (eds.) Handbook of Abstracts, 6th World Congress on The Square of Opposition, Orthodox Academy of Crete, November 1–5 ( 2018) Cherkashina, O. : Figure of Opposition for Propositions about Relations. In: Béziau, J.-Y., Buchsbaum, A., Vandoulakis, I. (eds.) Handbook of Abstracts, 6th World Congress on The Square of Opposition, Orthodox Academy of Crete, November 1–5 ( 2018)
7.
Zurück zum Zitat Demey, L., Smessaert, H.: Aristotelian and duality relations beyond the square of opposition. In: Chapman, P. et al. (eds.) Diagrammatic Representation and Inference, 10th International Conference, Diagrams 2018, pp. 640–656. Springer LNAI 10871 (2018) Demey, L., Smessaert, H.: Aristotelian and duality relations beyond the square of opposition. In: Chapman, P. et al. (eds.) Diagrammatic Representation and Inference, 10th International Conference, Diagrams 2018, pp. 640–656. Springer LNAI 10871 (2018)
8.
Zurück zum Zitat Dubois, D., Prade, H.: From Blanché’s hexagonal organisation of concepts to formal concept analysis and possibility theory. Log. Univers. 6, 149–169 (2012)MathSciNetCrossRef Dubois, D., Prade, H.: From Blanché’s hexagonal organisation of concepts to formal concept analysis and possibility theory. Log. Univers. 6, 149–169 (2012)MathSciNetCrossRef
9.
Zurück zum Zitat Dubois, D., Prade, H., Rico, A.: The cube of opposition: a structure underlying many knowledge representation formalisms. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). pp. 2933–2939 Dubois, D., Prade, H., Rico, A.: The cube of opposition: a structure underlying many knowledge representation formalisms. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). pp. 2933–2939
10.
11.
Zurück zum Zitat Klima, G.: Natural logic, medieval logic and formal semantics. Magyar Filosófiai Szemle 54(4), 58–75 (2010)MathSciNet Klima, G.: Natural logic, medieval logic and formal semantics. Magyar Filosófiai Szemle 54(4), 58–75 (2010)MathSciNet
13.
Zurück zum Zitat Malink, M.: Aristotle’s Modal Syllogistic. Harvard University Press, Cambridge (2013)CrossRef Malink, M.: Aristotle’s Modal Syllogistic. Harvard University Press, Cambridge (2013)CrossRef
14.
Zurück zum Zitat Moretti, A.: The Geometry of Logical Opposition. Ph.D. thesis, University of Neuchâtel (2009) Moretti, A.: The Geometry of Logical Opposition. Ph.D. thesis, University of Neuchâtel (2009)
16.
Zurück zum Zitat Nilsson, J.F.: Diagrammatic reasoning with classes and relationships. In: Amirouche, M., Shin, S.-J. (eds.) Visual Reasoning with Diagrams, Studies in Universal Logic, Birkhäuser, Springer (2013) Nilsson, J.F.: Diagrammatic reasoning with classes and relationships. In: Amirouche, M., Shin, S.-J. (eds.) Visual Reasoning with Diagrams, Studies in Universal Logic, Birkhäuser, Springer (2013)
17.
Zurück zum Zitat Nilsson, J.F.: In pursuit of natural logics for ontology-structured knowledge bases. In: Proceedings of the 7th international conference on advanced cognitive technologies and applications (COGNITIVE 2015), IARIA, pp. 42–46 (2015) Nilsson, J.F.: In pursuit of natural logics for ontology-structured knowledge bases. In: Proceedings of the 7th international conference on advanced cognitive technologies and applications (COGNITIVE 2015), IARIA, pp. 42–46 (2015)
19.
20.
21.
Zurück zum Zitat Reichenbach, H.: The syllogism revised. Philos. Sci. 19(1), 1–16 (1952)CrossRef Reichenbach, H.: The syllogism revised. Philos. Sci. 19(1), 1–16 (1952)CrossRef
22.
Zurück zum Zitat Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. Assoc. Comput. Mach. 12, 23–41 (1965)MathSciNetCrossRef Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. Assoc. Comput. Mach. 12, 23–41 (1965)MathSciNetCrossRef
23.
Zurück zum Zitat Robinson, J.A.: Logic: Form and Function, The Mechanization of Deductive Reasoning. Edinburgh University Press, Edinburgh (1979)MATH Robinson, J.A.: Logic: Form and Function, The Mechanization of Deductive Reasoning. Edinburgh University Press, Edinburgh (1979)MATH
Metadaten
Titel
A Cube of Opposition for Predicate Logic
verfasst von
Jørgen Fischer Nilsson
Publikationsdatum
07.02.2020
Verlag
Springer International Publishing
Erschienen in
Logica Universalis / Ausgabe 1/2020
Print ISSN: 1661-8297
Elektronische ISSN: 1661-8300
DOI
https://doi.org/10.1007/s11787-020-00244-3

Weitere Artikel der Ausgabe 1/2020

Logica Universalis 1/2020 Zur Ausgabe

OriginalPaper

The Cretan Square