Archiwum kategorii: Filozofia informatyki

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 , | 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 , , , , , , | 9 komentarzy

Cyfrowy idealizm?

Z wielką przyjemnością chciałbym poddać pod dyskusję pewien arcyciekawy materiał, który był prezentowany na ostatnim seminarium w PW przez dr Jakuba Jernajczyka z Wrocławia. Dotyczy on istotnych  podobieństw, jakie zachodzą między Platońskim (i nie tylko!) idealizmem a paradygmatem programowania obiektowego. … Czytaj dalej

Zaszufladkowano do kategorii Bez kategorii, Dydaktyka logiki i filozofii, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny | 11 komentarzy

Czy technologie informatyczne mogą zagrozić naszej cywilizacji?

W tytule obecnego wpisu zadaję pytanie, które z jednej strony wydaje się dość absurdalne (bo komputery i  technologie informatyczne wydźwignęły naszą cywilizację na nowy jakościowo poziom), z drugiej strony jednak, stanowi coś w rodzaju sygnału ostrzegawczego (wysyłanego zresztą przez tak … Czytaj dalej

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia informatyki, Światopogląd informatyczny | 12 komentarzy

O związkach filozofii ze sztuczną inteligencją na Festiwalu Myśli Abstrakcyjnej

W dniach 19-22 października 2017 roku odbył się w Warszawie kameralny Festiwal  Myśli Abstrakcyjnej, obfitujący m.in w inspirujące spotkania z naukowcami. Na Festiwalu tym miałem przyjemność poprowadzić spotkanie wykładowo-dyskusyjne pt. Czy sztuczna inteligencja potrzebuje filozofii?. Odbyło się ono w niedzielę … Czytaj dalej

Zaszufladkowano do kategorii Bez kategorii, Dydaktyka logiki i filozofii, Filozofia informatyki, Światopogląd informatyczny, Światopogląd racjonalistyczny | Dodaj komentarz

Nieskończoność potencjalna w informatyce

Być może znajdą się wśród czytelników bloga osoby chętne do (kolejnej już) dyskusji o nieskończoności w informatyce. Dobrą okazją po temu jest tekst, który przygotowuję obecnie do tomu podsumowującego prace V Konferencji pt.  Filozofia Matematyki i Informatyki. W tekście podejmuję … Czytaj dalej

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny | Otagowano , | Dodaj komentarz

Informacja jako współczesne arché

Z prawdziwą przyjemnością chciałbym zaprosić do dyskusji nad tekstem Pana Pawła Ciniewskiego z Uniwersytetu im. Adama Mickiewicza w Poznaniu (Zakład Filozofii Techniki i Rozwoju Cywilizacji). Autor przekonująco argumentuje, że we współczesnym obrazie świata pojęcie informacji pełni podobną funkcję do tej, … Czytaj dalej

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia informatyki, Światopogląd informatyczny | Otagowano , , | 2 komentarze

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 , , , , , | Dodaj komentarz

Racjonalizm jako realistyczna filozofia nauki

Wprowadzenie Jest to tekst dość długi, jak na obyczaje w  blogu. Toteż Czytelnik na tyle cierpliwy, żeby doczytać do końca, zasługuje na wyjaśnienie intencji autorskich: co autor pragnie osiągnąć  łącząc w jednym wpisie tyle zagadnień? Jedna z intencji wiąże się … Czytaj dalej

Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Logika i metodologia, Światopogląd informatyczny, Światopogląd racjonalistyczny | 11 komentarzy

Obliczenia naturalne i quasi-naturalne

Niniejszym wpisem chciałbym wywołać dyskusję nad zagadnieniem obliczeń naturalnych. Zagadnienie to sytuuje się na pograniczu informatyki (badającej różne modele i/lub implementacje obliczeń) oraz nauk przyrodniczych (badających naturę, w obrębie której zachodzą pewne procesy obliczeniowe). Nie jest to oczywiście zagadnienie sztuczne … Czytaj dalej

Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki, Światopogląd informatyczny, Światopogląd racjonalistyczny | Otagowano , , | 8 komentarzy