Archiwum kategorii: Epistemologia i ontologia

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

Opublikowano 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

Opublikowano 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

Opublikowano 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

Opublikowano Dydaktyka logiki i filozofii, Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny | 14 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

Opublikowano Bez kategorii, Epistemologia i ontologia | Otagowano , | 7 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

Opublikowano Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Logika i metodologia, Światopogląd informatyczny, Światopogląd racjonalistyczny | Otagowano , | 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

Opublikowano Epistemologia i ontologia, Filozofia informatyki, Światopogląd informatyczny | Otagowano , , , , , , | 9 komentarzy

O matematyczności świata raz jeszcze…

Obecnym wpisem, widocznym w głównym panelu naszego bloga, chciałbym zwrócić uwagę czytelników i dyskutantów, że w ostatnich dniach odżyła pewna historyczna dyskusja o matematyczności świata. Bardzo zachęcam, aby ją na nowo podjąć. Podaję link do anonsowanej dyskusji: Matematyka – Człowiek … Czytaj dalej

Opublikowano Dydaktyka logiki i filozofii, Epistemologia i ontologia, Filozofia nauki, Światopogląd racjonalistyczny | Skomentuj

#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

Opublikowano Epistemologia i ontologia, Logika i metodologia | Otagowano , , | 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

Opublikowano Epistemologia i ontologia, Filozofia informatyki, Logika i metodologia | Otagowano , , , , , | Skomentuj