-
Ostatnie wpisy
Najnowsze komentarze
- Maja A - Zaufanie do systemów sztucznej inteligencji.
Rola wyjaśniania. - Maja A - Jakie cechy sztucznej inteligencji miałyby świadczyć o jej inteligencji?
- Aleh Iotchanka - Jakie cechy sztucznej inteligencji miałyby świadczyć o jej inteligencji?
- Aleh Iotchanka - O życzliwości w życiu, etyce i rozmyślaniach nad sztuczną inteligencją
- Maja A - Zaufanie do systemów sztucznej inteligencji.
Kategorie
Archiwa
Meta
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 concept-forming, decidability, problem-solving
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 interdyscyplinarność, język naturalny, rachunek predykatów
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 computability, computer science, informatics, information processing
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 oracle, relativised computability
7 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 agregat, automat, dusza, monada, programowanie obiektowe, substancja, złożoność
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 oczywistość, racjonalność, zasada niesprzeczności
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
Czy Alan Turing jest maszyną Turinga?
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 abstrakcja, analiza, empiryzm, liczby podstawowe, obserwacja zmysłowa, pragmatyzm
Dodaj komentarz