Abstract
Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: to review the basic concepts involved in the definition of logical negation; to account for a variety of epistemological obstacles against the introduction of non-classical negations within diagrammatic logic. It will be mainly argued that non-classical logics don’t challenge dichotomy as such but merely show that a logical operator may be a negation without operating as a dichotomy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brady, R.T.: On the formalization of the Law of non-Contradiction. In: Priest, G., Beall, J.C., Armour-Garb, B. (eds.) The Law of Non-Contradiction (New Philosophical Essays), pp. 41–48. Clarendon Press, Oxford (2004)
Euler, L.: Lettres à une Princesse d’Allemagne, vol. 2. Academie Imperiale des Sciences, Saint Petersburg (1768)
Kleene, S.: Introduction to Metamathematics. Van Nostrand, New York (1952)
Łukasiewicz, J.: On three-valued logic. Ruch Filozoficzny 5, 170–171 (1920)
Parsons, T.: Assertion, Denial, and the Liar Paradox. Journal of Philosophical Logic 13, 137–152 (1984)
Priest, G.: The Logic of Paradox. Journal of Philosophical Logic 8, 219–241 (1979)
Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Philosophical Magazine 10, 1–18 (1880)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schang, F., Moktefi, A. (2008). Depicting Negation in Diagrammatic Logic: Legacy and Prospects. In: Stapleton, G., Howse, J., Lee, J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science(), vol 5223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87730-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87729-5
Online ISBN: 978-3-540-87730-1
eBook Packages: Computer ScienceComputer Science (R0)