Archiwum autora: Witold Marciszewski

Racjonalistyczny optymizm Hilberta, Gödla, Turinga

Opublikowano 16 listopada 2020, autor: Witold Marciszewski

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

Opublikowano 20 listopada 2019, autor: Witold Marciszewski

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?

Opublikowano 28 maja 2019, autor: Witold Marciszewski

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”?

Opublikowano 23 maja 2019, autor: Witold Marciszewski

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

Opublikowano 14 maja 2019, autor: Witold Marciszewski

§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

Monadologia Leibniza w porównaniu
z obiektowym paradygmatem programowania

Opublikowano 17 października 2018, autor: Witold Marciszewski

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”

Opublikowano 22 listopada 2017, autor: Witold Marciszewski

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

Opublikowano 9 sierpnia 2017, autor: Witold Marciszewski

[…]  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

Opublikowano 31 maja 2017, autor: Witold Marciszewski

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

Czy Alan Turing jest maszyną Turinga?

Opublikowano 1 marca 2017, autor: Witold Marciszewski

Zmysły, analiza i abstrakcja w twórczości matematycznej Drugi wiersz tytułu wymienia akty umysłu niezbędne w tworzeniu pojęć matematycznych przez ludzkich badaczy. Pierwszy zaś pyta, czy do takich aktów byłby zdolny robot skonstruowany wedle przepisu na maszynę Turinga. Jeśli tak, to … Czytaj dalej →

Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Logika i metodologia | Otagowano , , , , , | Dodaj komentarz