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

Jarosław Strzelecki

doi:10.31648/hip.5040

Published: 2021-03-10

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

Jan Wadowski, Philosophy as Co-Thinking , Humanities and Natural Sciences: No. 16 (2010)
Adam Bastek, Between the Ways of Creating the Means of Appreciation of Beauty in Art and Extracting the Essence of Beauty , Humanities and Natural Sciences: No. 5 (1999)
Anna Wojciechowska, Liberal Philosophy and Emancipation Beginings and Developement of British Feminism , Humanities and Natural Sciences: No. 11 (2005)
Pavlo Snopkov, The Philosophy of the Heart by Pamfil Yurkevich. Analysis, Interpretation, Reflection , Humanities and Natural Sciences: No. 23 (2017)
Ireneusz Ziemiński, Metaphors and Aporias – about the Necessity and Impossibility of Philosophy. Leszek Kołakowski’s Position , Humanities and Natural Sciences: No. 29 (2023)
Maciej Przemysław Świerczyński, Same Remarks Wittgenstein’s Concept of Philosophy , Humanities and Natural Sciences: No. 11 (2005)
Grażyna Żurkowska, On ontic truth, radical realism, radical metaphysics, and the real sources of philosophical crisis , Humanities and Natural Sciences: No. 17 (2011)
Krzysztof Kościuszko, Kantian Motifs in Witkacy’s Philosophy , Humanities and Natural Sciences: No. 31 (2025)
Piotr Wasyluk, Erich Fromm's Utopism , Humanities and Natural Sciences: No. 14 (2008)
Łukasz Kamiński, Kino i filozofia : 5. Filozofia filmowo (Olsztyn, 24-25 września 2014) , Humanities and Natural Sciences: No. 20 (2014)

1 2 3 4 5 6 7 8 9 > >>

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