Etyka Spinozy sposobem informatycznym udowodniona  – szkice z filozofii in silico.

Jarosław Strzelecki

doi:10.31648/hip.5040

Published: 2021-03-101

No. 25 (2019)

Etyka Spinozy sposobem informatycznym udowodniona – szkice z filozofii in silico.

Jarosław Strzelecki

Humanities and Natural Sciences

Section: Articles

https://doi.org/10.31648/hip.5040

Abstract

The article presents a concept of philosophy in silico with an implementation of this idea to fragments of the Ethics of Baruch Spinoza. A declarative model was built in the Prolog language. The compatibility of the model with a given fragment of Spinoza's metaphysics was checked. Further development of declarative modeling in philosophy in didactic or theoretical direction was proposed.

Similar Articles

Janis Kusis, Changes in Political Environment in Latvia after Regaining Independence , Humanities and Natural Sciences: No. 6 (2000)
Jowita Pierechod, Transformation of Social and Economic System in Olsztyn Voivodship (till 1998): Inhabitants, the Local Government and a Problem of Unemployment , Humanities and Natural Sciences: No. 6 (2000)
Wojciech Słomski, Ethical Dilemmas in XX Century : Cloning , Humanities and Natural Sciences: No. 9 (2003)
Alfred Skorupka, Simple-mindedness as a Basis of the Teraphy , Humanities and Natural Sciences: No. 11 (2005)
Witold Tulibacki, On Fragility of the Idea of Moral Progress , Humanities and Natural Sciences: No. 11 (2005)
Marzena Kotyczka, Ludzkie, inne, roślinne. Fototropizm sztuki współczesnej w kilku odsłonach , Humanities and Natural Sciences: No. 25 (2019)
Marek Marks, Humanistic Aspects of Bee-Keeping in Human Life , Humanities and Natural Sciences: No. 3 (1997)
Małgorzata Dereniowska, Jason P. Matzke, On Compromise in Radical Environmental Activism , Humanities and Natural Sciences: No. 24 (2018)
Jadwiga Błahut-Prusik, Is the “War against Terrorism” a War against Globalization? , Humanities and Natural Sciences: No. 17 (2011)

You may also start an advanced similarity search for this article.

Download files

pdf (Język Polski)

Citation rules

Strzelecki, J. (2021). Etyka Spinozy sposobem informatycznym udowodniona – szkice z filozofii in silico. Humanities and Natural Sciences, (25). https://doi.org/10.31648/hip.5040

Cited by / Share

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

References

Alama J., Oppenheimer P. E., Zalta E. N. (2015), Automating Leibniz’s Theory of Concepts, [in:] A. P. Felty, A. Middeldorp (ed.), Proceedings of the 25th Internationa l Conference on Automated Deduction, Springer, Dordrecht: 73-97.
Błądek I., Komosinski M., i Miazga K. (2019), Mappism: Formalizing classical and artificial life views on mind and consciousness, „Foundations of Computing and Decision Sciences”, 44. 55-99, DOI: 10.2478/fcds-2019-0005.
Bramer M. (2013), Logic Programming with Prolog, Springer, London.
Clocksin W., Mellish C. (2003). Programming in Prolog, Springer, London.
Fitelson B., Zalta E. N. (2007), Steps Toward a Computational Metaphysics, „Journal of Philosophical Logic”, 36(2): 227-247.
Floridi L. (2002), What is the philosophy of information, „Metaphilosophy”, 33:123–145.
Floridi L. (2012), The philosophy of information, Oxford University Press, Oxford.
Fulmański P. (2009), Programowanie w logice. Prolog, URL = http://fulmanski.pl/zajecia/prolog/wyklad.pdf [dostęp z dnia 04.02.2019].
Garbacz P. (2016), Digitalizacja filozofii formalnej, „Filozofia Nauki”, 4(96): 27-47.
Janusz R. (2002), Program dla Wszechświata. Filozoficzne aspekty języków obiektowych. Ignatianum, Kraków.
Jernajczyk J. (2016a), Obraz wyczerpujący, URL = http://www.grapik.pl/grapik-pl/prace-artystyczne/obraz-wyczerpujacy/ [dostęp 02.02.2019].
Jernajczyk K. (2016b), Wizualizacja zagadnień naukowych, URL = http://www.grapik.pl/grapik-pl/projekty-badawcze/wizualizacja-zagadnien-naukowych/ [dostęp z dnia 02.02.2019].
Lipovac̆a M. (2017), Learn You a Haskell for Great Good! URL = http://learnyouahaskell.com [dostęp z dnia: 01.03.2018].
Marshall T. (2019), Differences between in vitro, in vivo, and in silico studies, URL = https://mpkb.org/home/ patients/assessing literature/in vitro studies [dostęp z dnia 10.12.2019].
Niederliński A. (2014), Programowanie w logice z ograniczeniami, http://www.pwlzo.pl [dostęp z dnia: 09.09.2017].
Moczurad A., Moczurad W. (2006), Paradygmaty programowa, URL = http://wazniak.mimuw.edu.pl/index.php?title=Paradygmaty programowania [dostęp z dnia 11.11.2017].
O’Sullivan B., Goerzen J., Stewart D. B. (2008), Real world haskell. code you can believe in, Ebook ISBN: 978-0-5965-5430-9, 9780596554309.
Płoski Z. (1999), Słownik encyklopedyczny, Europa, Wrocław.
Pfaffenberg B. (1999), Słownik terminów komputerowych, Prószyński i Spółka, Warszawa.
Przegalińska A. K. (2014) Fenomenologia istot wirtualnych, URL = https://depotuw.ceon.pl/handle/item/463 [dostęp z dnia 06.10.2018].
Rayside D., Campbell G. T. (2000), An aristotelian understanding of object-oriented programming, [in:] Proceedings of the conference on Objectoriented programming, systems, languages, and applications: 337–353, ACM Press, 2000.
Rayside D., Kontogiannis K. (2001), On the syllogistic structure of object-oriented programming, doi: 10.1109/ICSE.2001.919086.
Sebesta R. (2016), Concepts of programming languages, URL = https://vulms.vu.edu.pk/Courses/CS508/Downloads/Concepts%20of%20Programming%20Languages%2011th%20Ed.pdf[dostęp z dnia 09.12.2019].
Spinoza B. (1888), Etyka sposobem geometrycznym wyłożona, przeł. A. Paskal, Skład Główny w Księgarni E. Wendego i S-KI, Warszawa.
Spinoza B. (1927), Etyka w porządku geometrycznym dowiedziona, przeł. I. Myślicki, URL = https://wolnelektury.pl/katalog/lektura/spinoza-etyka.html [dostęp z dnia 04.10.2019].
Spinoza B. (1993), L’ÉTHIQUE DÉMONTRÉE SELON LA MÉTHODE GÉOMÉTRIQUE ET DIVISÉE EN CINQ PARTIES, przeł. A. Guérinot, URL = http://classiques.uqac.ca/classiques/spinoza/ethique/ethique.html [dostęp z dnia 06.12.2019].
Spinoza B. (2009), The Ethics (Ethica Ordine Geometrico Demonstrata), przeł. R. H. M. Elwes, URL = https://www.gutenberg.org/files/3800/3800-h/3800-h.htm [dostęp z dnia 05.11.2019].
Strzelecki J. (2017), monada = Monada() – interpretacja obiektowa, [w:] Filozofia i
technika, Wyd. IF UWM, Olsztyn.
Triska M. (2020), The power of Prolog, URL = https://www.metalevel.at/prolog [dostęp z dnia 01.02.2020).
Winsberg. E. (2015), Computer simulations in science, URL = https://plato.stanford.edu/archives/sum2015/entries/simulations-science/, Summer Edition 2015. Edward N. Zalta (redaktor) [dostęp z dnia 03.04.2018]. Google Scholar

Etyka Spinozy sposobem informatycznym udowodniona – szkice z filozofii in silico.

Abstract

Most read articles by the same author(s)

Similar Articles

Jarosław Strzelecki