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

Jarosław Strzelecki

doi:10.31648/hip.5040

Opublikowane: 2021-03-101

Nr 25 (2019)

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

Jarosław Strzelecki

Humanistyka i Przyrodoznawstwo

Dział: Artykuły

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

Abstrakt

W artykule przedstawiono koncepcję filozofii in silico wraz z implementacją tej idei do fragmentów Etyki Barucha Spinozy. Zbudowano model deklaratywny w języku Prolog. Sprawdzono jego zgodność z danym fragmentem metafizyki Spinozy. Zaproponowano dalszy rozwój deklaratywnego modelowania w filozofii w kierunku dydaktycznym lub teoretycznym.

Słowa kluczowe:

filozofia, logika, Prolog, in silico, metafizyka

Inne teksty tego samego autora

Jarosław Strzelecki, Jakościowa teoria informacji a koncepcje prawdy , Humanistyka i Przyrodoznawstwo: Nr 20 (2014)
Jarosław Strzelecki, Prawdokrzew (Truth Tree) – logika dla humanistów , Humanistyka i Przyrodoznawstwo: Nr 17 (2011)
Jarosław Strzelecki, O prawdę bać się nie musimy? , Humanistyka i Przyrodoznawstwo: Nr 16 (2010)
Jarosław Strzelecki, „Cyber -co”, czyli kilka uwag krytycznych do książki Jana Trąbki „Cyberkultura” , Humanistyka i Przyrodoznawstwo: Nr 11 (2005)
Jarosław Strzelecki, Historia i filozofia – zrozumieć siebie i świat , Humanistyka i Przyrodoznawstwo: Nr 11 (2005)
Jarosław Strzelecki, Sprawozdanie z konferencji "Język poza granicami języka II", Tumiany 24-25 czerwca 2010 , Humanistyka i Przyrodoznawstwo: Nr 16 (2010)

Podobne artykuły

Jadwiga Błahut-Prusik, "Wojna z terroryzmem" wojną z globalizacją? , Humanistyka i Przyrodoznawstwo: Nr 17 (2011)
Janis Kusis, Zmiany w środowisku politycznym Łotwy po odzyskaniu niepodległości , Humanistyka i Przyrodoznawstwo: Nr 6 (2000)
Jowita Pierechod, Transformacja społeczno-gospodarcza w województwie olsztyńskim (do 1998 roku): mieszkańcy, władza a problem bezrobocia , Humanistyka i Przyrodoznawstwo: Nr 6 (2000)
Wojciech Słomski, Dylematy etyczne XX wieku : klonowanie , Humanistyka i Przyrodoznawstwo: Nr 9 (2003)
Alfred Skorupka, Prostomyślność jakopodstawa terapii , Humanistyka i Przyrodoznawstwo: Nr 11 (2005)
Witold Tulibacki, O kruchości idei postępu moralnego , Humanistyka i Przyrodoznawstwo: Nr 11 (2005)
Marzena Kotyczka, Ludzkie, inne, roślinne. Fototropizm sztuki współczesnej w kilku odsłonach , Humanistyka i Przyrodoznawstwo: Nr 25 (2019)
Marek Marks, Humanistyczne aspekty hodowli pszczół w życiu człowieka , Humanistyka i Przyrodoznawstwo: Nr 3 (1997)
Małgorzata Dereniowska, Jason P. Matzke, O kompromisie w radykalnym aktywizmie środowiskowym , Humanistyka i Przyrodoznawstwo: Nr 24 (2018)

Możesz również Rozpocznij zaawansowane wyszukiwanie podobieństw dla tego artykułu.

Pobierz pliki

pdf

Zasady cytowania

Strzelecki, J. (2021). Etyka Spinozy sposobem informatycznym udowodniona – szkice z filozofii in silico. Humanistyka I Przyrodoznawstwo, (25). https://doi.org/10.31648/hip.5040

Cited by / Share

Licencja

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne 4.0 Międzynarodowe.

Bibliografia

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