Archiwum kategorii: Epistemologia i ontologia

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 | 4 komentarze

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

Czym jest intuicja intelektualna
według racjonalistycznej filozofii nauki?

§1. Wprowadzenie metodologiczne Jest to tekst wprowadzający w zagadnienie “Racjonalizm jako realistyczna filozofia nauki” dyskutowane na seminarium z filozofii nauki (Pol.~Warsz., 24.01.2017). Racjonalista, w odróżnieniu od empirysty, twierdzi, że na poznawanie składają się, oprócz spostrzeżeń zmysłowych,  spostrzeżenia intelektualne, a zawdzięczamy … Czytaj dalej

Opublikowano Bez kategorii, Epistemologia i ontologia, Filozofia nauki, Światopogląd racjonalistyczny | 1 komentarz