Abstract
I try to explain the difference between three kinds of negation: external negation, negation of the predicate and privation. Further I use polygons of opposition as heuristic devices to show that a logic which contains all three mentioned kinds of negation must be a fragment of a Łukasiewicz-four-valued predicate logic. I show, further, that, this analysis can be elaborated so as to comprise additional kinds of privation. This would increase the truth-values in question and bring fragments of (more generally speaking) Łukasiewicz-n-valued predicate logics into the scene.
For discussions concerning privation and amendments in the first drafts of this paper, I would like to thank Prof. Dr. Hans Burkhardt, Georgios Karageorgoudis (both Munich) and, last but not least, two anonymous referees.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Some contemporary authors like Blau [5, p. 49] and Horn [10, pp. 122–132], call the negation of the predicate: ‘presupposing’ negation, because, unlike the external negation it presupposes the existence of the entity expressed in the subject. Especially Blau (loc. cit.) calls it ‘strong negation’ because it entails the external negation but is not entailed by it. Since in Blau’s three-valued logic there are exactly two negations: (a) a formal construction, which formalizes the negation of the predicate/by transposition, and (b) a weak negation which formalizes the external negation of the natural language, the former is the only strong negation in Blau’s three-valued logic. But, if I am allowed to anticipate one of my results, the negation of the predicate is not the strongest kind of negation in the logic of privation.
- 2.
Gottwald [8, pp. 55–57] gives a brief exposition of the construction of the Łukasiewicz-four-valued predicate logic; he [8, pp. 45–47] also gives the axioms and the deduction rules of the Łukasiewicz-four-valued propositional logic. For a brief but full account of the semantics of the Łukasiewicz-four-valued propositional logic cf. [13, pp. 29–32].
References
Alexander: In Priora Analytica. Wallies, M. (ed.). Reimer, Berlin (1883)
Ammonius: In Aristotelis De interpretatione commentarius. Busse, A. (ed.). Reimer, Berlin (1895)
Aristotle: De interpretatione. Cooke, H.P. (ed.). Harvard University Press, Cambridge (1938)
Aristotle: Metaphysica. Jaeger, W. (ed.). Clarendon, Oxford (1957)
Blau, U.: Die dreiwertige Logik der Sprache. de Gruyter, Berlin (1977)
Boethius: Commentarius in librum Aristotelis Peri hermeneias. Meiser, C. (ed.). Teubner, Leipzig (1877)
Gassendi, P.: Exercitationes paradoxicae adversus Aristoteleos. Amsterdam (1649)
Gottwald, S., et al.: Nichtklassische Logik. Eine Einführung. Akademie Verlag, Berlin (1988)
Hamilton, W.: Lectures on Metaphysics and Logic, vol. 2. Gould and Lincoln, Boston (1860)
Horn, L.R.: A Natural History of Negation. CSLI, Palo Alto (2001)
Italos, J.: Quaestiones quodlibetales. Joannou, P. (ed.). Studia Patristica et Byzantina, vol. 4. Buch-Kunstverlag, Ettal (1956)
Kant, I.: Kritik der reinen Vernunft. Suhrkamp, Frankfurt a. M. (1974)
Sinowjew, A.A.: Über mehrwertige Logik. Ein Abriss. VEB, Berlin (1968)
Valla, L.: Retractatio totius dialectice cum fundamentis universe philosophie (=Repastinatio dialectice et philosophie, vol. 1). Zippel, G. (ed.). Antenore, Padua (1982)
Wolff, Ch.: Philosophia rationalis sive logica, 2nd edn. Frankfurt a. M. and Leipzig (1732)
Wolfson, H.A.: Infinite and privative judgments in Aristotle, Averroes and Kant. Philos. Phenomenol. Res. 8, 173–187 (1947)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Basel
About this chapter
Cite this chapter
Gerogiorgakis, S. (2012). Privations, Negations and the Square: Basic Elements of a Logic of Privations. In: Béziau, JY., Jacquette, D. (eds) Around and Beyond the Square of Opposition. Studies in Universal Logic. Springer, Basel. https://doi.org/10.1007/978-3-0348-0379-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0379-3_16
Publisher Name: Springer, Basel
Print ISBN: 978-3-0348-0378-6
Online ISBN: 978-3-0348-0379-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)