-
Ostatnie wpisy
Najnowsze komentarze
Kategorie
Archiwa
Meta
Archiwum kategorii: Epistemologia i ontologia
Computing, obliczenia i liczby
Uczestniczyłem ostatnio w kilku konferencjach i seminariach, które miały w swoich tytułach termin computing — tłumaczony najczęściej jako obliczanie. Słuchając różnych referatów i dyskusji, uświadomiłem sobie, że nawet w tak wąskim kontekście jak informatyka i jej komputerowe zastosowania, różne osoby … Czytaj dalej
Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Epistemologia i ontologia, Filozofia informatyki, Światopogląd informatyczny
25 komentarzy
Zaufanie do systemów sztucznej inteligencji.
Rola wyjaśniania.
W tym tygodniu ukazała się współredagowana przeze mnie książka pt. „Zaufanie do systemów sztucznej inteligencji”: http://www.wydawnictwopw.pl/index.php?s=karta&id=3800. W jej drugim rozdziale stawiam pewne tezy, które chciałbym niniejszym poddać pod dyskusję. Dotyczą one funkcji wyjaśniających systemów SI oraz ich roli w kształtowaniu … Czytaj dalej
Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Epistemologia i ontologia, Etyka, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny
24 komentarze
Wprowadzenie do semantyki prawa. Dyskusja nad książką Andrzeja Malca.
Z prawdziwą przyjemnością chciałbym zaprosić czytelników bloga do dyskusji nad książką Andrzeja Malca pt. „Wprowadzenie do semantyki prawa”. Choć tytuł nie sugeruje tego wprost, jej treść jest mocno filozoficzna, a dokładniej rzecz biorąc, nawiązuje do pewnych rozstrzygnięć filozoficznych Tadeusza Kotarbińskiego … Czytaj dalej
Zaszufladkowano do kategorii Dialogi wokół recenzji, Dydaktyka logiki i filozofii, Epistemologia i ontologia, Logika i metodologia, Światopogląd racjonalistyczny
14 komentarzy
Analogicity in Computer Science
I would like to invite everyone to discuss another text that has been submitted to the international workshop „Computational Modeling II” (organized in Cracow, on 11.03.2019, at the UPJPII University). The whole text is available HERE. The text, enriched with … Czytaj dalej
Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny
4 komentarze
Invention, Intension and the Extension of the Computational Analogy
The current entry is part of the Research Workshop titled „Computational Modelling„, which will be held on 11.03.2019 in Cracow, at John Paul II University. It concerns the text by Professor Hajo Greif on the possibility of computational realization of … Czytaj dalej
Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny
5 komentarzy
Czy AlanTuring miał rację… gdy pisał o myśleniu maszyn i ludzi?
Czy Alan Turing miał rację, gdy: a) utożsamił kryterium myślenia maszyn z nieodróżnialnością wypowiedzi językowych maszyn i ludzi, b) utrzymywał i przekonywał, że nie jest dobrze uzasadniony pogląd jakoby „maszyny (cyfrowe) nie mogły myśleć„? Pytania te – odnoszące do historycznego … Czytaj dalej
Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny
17 komentarzy
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
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 arytmetyka, czas, filozofia informatyki, istnienie liczb, liczba naturalna, liczba rzeczywista, maszyna Turinga. czas
12 komentarzy
O teoretycznej (nie)zbędności kategorii liczby w informatyce i jej metodologii
Obecny wpis ma charakter nietypowy, ponieważ przedstawiam w nim urywki dyskusji, która wynikła przy okazji analizy pewnego mojego tekstu nt. granic kodowania w informatyce (samego tekstu nie linkuję, ponieważ przygotowuję go do publikacji). Dyskusja była prowadzona drogą e-mailową, ale wspólnie … Czytaj dalej
Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Logika i metodologia, Światopogląd informatyczny, Światopogląd racjonalistyczny
Otagowano informatyka, kategoria liczby
35 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