Принцип дуальності в логіці і філософії
Ключові слова:
duality principle, classical logic, modal logic, intuitionistic logic, dual-intuitionistic logic, modal translationАнотація
***Посилання
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).
##submission.downloads##
-
PDF
Завантажень: 174
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Автори, які публікуються у цьому журналі, згодні з наступними умовами:
- Автори зберігають авторське право і надають журналу право першої публікації.
- Автори можуть укладати окремі, додаткові договірні угоди з неексклюзивного поширення опублікованої журналом версії статті (наприклад, розмістити її в інститутському репозиторії або опублікувати її в книзі), з визнанням її первісної публікації в цьому журналі.
- Авторам дозволяється і рекомендується розміщувати їхню роботу в Інтернеті (наприклад, в інституційних сховищах або на їхньому сайті) до і під час процесу подачі, так як це може привести до продуктивних обмінів, а також скорішого і ширшого цитування опублікованих робіт (див. вплив відкритого доступу).
