The principle of duality in lo gic and philosophy

Authors

  • Yaroslav Shramko State Pedagogical University of Kryvyi Rih

Keywords:

duality principle, classical logic, modal logic, intuitionistic logic, dual-intuitionistic logic, modal translation

Abstract

The paper examines the specificity of the implementation of the duality principle in some important logical systems. We give an exact definition of the logical duality based on the notions of truth and falsity, which play a central role in the understanding of the subjectmatter of logic. We construct the consequence systems for the classical, modal, intuitionistic and dual-intuitionistic logic, and demonstrate that both classical and modal logics are self-dual, whereas intuitionistic logic needs a special dual-intuitionistic logic for its dualization. We propose a function of a modal translation for the dual-intuitionistic propositions which consists in prefixing the possibility operator to every proposition of the dualintuitionistic logic. We also sketch some prospects of an applicability of the duality principles to analysis of philosophical problems, the problem of the subject-matter of philosophy among them.

Author Biography

Yaroslav Shramko, State Pedagogical University of Kryvyi Rih

D-r of sciences in philosophy, professor at the Department of Philosophy

References

Atiyah, M. (2008). Duality in mathematics and physics. Conferències FME. Vol. V, Curs Riemann (2007–2008). Barcelona: Facultat de Matemàtiques i Estadística, 69-91.

Franklin, J. (2009). Aristotelian realism. The Philosophy of Mathematics, ed. A. Irvine (Handbook of the Philosophy of Science series), North-Holland Elsevier. https://doi.org/10.1016/B978-0-444-51555-1.50007-9

Frege, G. (1990). Schriften zur Logik und Sprachphilosophie. Hamburg: Felix Meiner Verlag.

Frege, G. (1993). Logische Untersuchungen. Göttingen: Vandenhoeck & Ruprecht.

Gödel, K. (1933). Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums, 4, 39–40. [Reprinted, with English translation, in Gödel, K. (1986). Collected Works. I: Publications 1929–1936, S. Feferman et al., editors. Oxford: Oxford University Press, 300-303.]

Hegel, G.W.F. (1972). Grundlinien der Philosophie des Rechts. Naturrecht und Staatswissenschaft, herausgegeben und eingeleitet von Helmut Reichelt. Frankfurt am Main; Ullstein.

Heyting, A. (1958). Intuitionism in mathematics. In R. Klibansky (ed.), Philosophy in the Mid-Century: A Survey. Vol. 1: Logic and Philosophy of Science. Florence: La Nuova Italia Editrice, 101-115.

Kleene, S.C. (1967). Mathematical Logic. New York: Wiley.

Kripke, S. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83-94.

Łukasiewicz, J. (1970). Two-valued logic. Selected Works, L. Borkowski (ed.), Amsterdam: North-Holland, 89-109.

Plato. The Sophist.

Shramko, Y. (2005). Dual intuitionistic logic and a variety of negations: the logic of scientific research. Studia Logica, 80, 347-367. https://doi.org/10.1007/s11225-005-8474-7.

Shramko, Y. (2015). The nature of philosophy and its subject-matter. [In Ukrainian] Actual Problems of Mind, 15, 1-15.

Shramko, Y. (2016). A modal translation for dual-intuitionistic logic. The Review of Symbolic Logic, 9, 251-265. https://doi.org/10.1017/S1755020316000022.

Shramko, Y., Wansing, H. (2011). Truth and Falsehood. An Inquiry into Generalized Logical Values. Dordrecht: Springer.

Spinoza, B. (2012). Ethica: Ordine Geometrico Demonstrata... (Latin Edition), Nabu Press.

Stigt, W. van (1990). Brouwer’s Intuitionism. Amsterdam: North-Holland.

Urbas, I. (1996). Dual-intuitionistic logic. Notre Dame Journal of Formal Logic, 37, 440-451. https://doi.org/10.1305/ndjfl/1039886520.

Windelband, W. (1915). Präludien: Aufsätze und Reden zur Philosophie und ihrer Geschichte (Band 1). Tübingen: Verlag von J.C.B. Mohr (Paul Siebeck).

Downloads

Abstract views: 242

Published

2017-04-11

How to Cite

Shramko, Y. (2017). The principle of duality in lo gic and philosophy. Filosofska Dumka, (3), 47–63. Retrieved from https://dumka.philosophy.ua/index.php/fd/article/view/19

Metrics

Downloads

Download data is not yet available.

Most read articles by the same author(s)