Archiwum autora: Witold Marciszewski

Racjonalistyczny optymizm Hilberta, Gödla, Turinga

Obecny wpis jest moim głosem w dyskusji na międzyuczelnianym (IFiS PAN, IF UW, środowisko filozoficzne PW) posiedzeniu seminarium pt. “Ku filozofii informatycznej”, 17.XI.2020.  Dwa główne na tym posiedzeniu odczyty, profesorów Pawła Polaka (“Filozofia informatyki, o jakiej nie śniło się  informatykom”)  … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki | 20 komentarzy

On analogy between the role of conceptualization in computational and in empirical hypothesizing

In the Abstract of Prof. Primiero’s lecture “Computational Hypotheses and Computational experiments” (at Warsaw University of Technology, November 19, 2019) I found the following, much thought-provoking claim; let it be called PC (Primiero’s Claim). PC: The analogy between the scientific … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki | Otagowano , , | 4 komentarze

W jaki sposób logika predykatów może być pomocna w badaniu języka naturalnego?

Przeczytałem z ciekawością streszczenie odczytu prof. Andrzeja Włodarczyka na seminarium 30 maja 2019. Z ciekawością, bo interesuje mnie żywo zjawisko interdyscyplinarności, a tekst tego odczytu pozwala dostrzec fakt, że interdyscyplinarność czy transdyscyplinarność (czy jest tu jakaś różnica?) nie jedno ma … Czytaj dalej

Zaszufladkowano do kategorii Filozofia nauki, Logika i metodologia | Otagowano , , | 6 komentarzy

“Informatics” or “Computer Science”?

As for rendering the Polish phrase “Filozofia w Informatyce” in English,  I think that the translation “Philosophy of Informatics” is obvious (if it is expected to cover the real field of interests at our conferences). Perhaps, the issue is worth … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki | Otagowano , , , | Jeden komentarz

What does “computing” mean?
A rejoinder to Dr. Paula Quinon

§1.  Dr. Paula Quinon has kindly shared with me the abstract of her recent work, titled  “What “computing” means?”  (see item 6 in References), and added some comments to more accurately explain her key ideas. Among the comments there was … Czytaj dalej

Zaszufladkowano do kategorii Bez kategorii, Epistemologia i ontologia | Otagowano , | 7 komentarzy

O różnych sposobach istnienia i nieistnienia liczb
Rozmyślanie noworoczne

Pomysł, żeby w filozofii matematyki i filozofii informatyki dyskutować o nieistnieniu liczb jest  inspirujący. Pojawił się on we wpisie  25.XII.2018 pt. “O nieistnieniu liczb w informatyce” podpisanym “Jarek”:  http://marciszewski.eu/?p=10032 Myślowym punktem wyjścia jest  dla Jarka słynne zdanie Leopolda Kroneckera (1823-1891):  … Czytaj dalej

Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki | Otagowano , , , , , , | 12 komentarzy

Monadologia Leibniza w porównaniu
z obiektowym paradygmatem programowania

Niniejszy wpis powstał dzięki abstraktowi do odczytu dra inż. Jarosława Strzeleckiego pt. “Czy monada może być szczegółowym przypadkiem obiektu OOP?” przewidzianego na seminarium w PW 25.X.2018.  Zob. link do abstraktu w zawiadomieniu o referacie: http://marciszewski.eu/?page_id=8381 Zadaniem tych uwag jest konfrontacja … Czytaj dalej

Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Światopogląd informatyczny | Otagowano , , , , , , | 9 komentarzy

Anons książki “Różne oblicza informacji”

Książka, pod redakcją  naukową dra Pawła Stacewicza ukazała się nakładem Politechniki Warszawskiej w grudniu 2017.   Pod kątem własnych zainteresowań,  wybieram  z niej i sygnalizuję  kilka tematów, które wydają mi się  inspirujące i warte kontynuacji dyskusyjnej w blogu. Czy uznać … Czytaj dalej

Zaszufladkowano do kategorii Bez kategorii | Dodaj komentarz

#1. Kluczowa rola Zasady Niesprzeczności

[…]  Awersja logiki do absurdu wyraża się w jej podstawowej maksymie: logicznej Zasadzie Niesprzeczności.  Jest ona tak kluczowa, że od niej zaczynamy  rozmowę o społecznych zastosowaniach wybranych elementów logiki. Wciąż doświadczamy tego, że aby skutecznie działać trzeba opierać decyzje na … Czytaj dalej

Zaszufladkowano do kategorii Epistemologia i ontologia, Logika i metodologia | Otagowano , , | 6 komentarzy

Dwa szkice o platonizmie pragmatycznym
w Szkole Lwowsko-Warszawskiej

Przekonałem się w rozmowach,  że termin pragmatyczny platonizm budzi nieraz    zdziwienie.  To  zdziwienie  nie musi dziwić, gdy ma się na uwadze, że wielu osobom platonizm kojarzy się z jakąś wybujałą  metafizyczną  spekulacją, nawet z mistycyzmem, podczas gdy pragmatyzm, to  … Czytaj dalej

Zaszufladkowano do kategorii Bez kategorii | 6 komentarzy