Archiwum autora: Witold Marciszewski

Postęp wiedzy z informatycznego punktu widzenia

Program Hilberta (PH), dotyczący algorytmizacji matematyki, jakby jako część wielkiego projektu Leibniza, algorytmizacji całej wiedzy, wyrażonego hasłem  ,Calculemus” .Nierealność PH ujawniły wyniki Turinga etc. Z tychże odkryć wynika możliwy kierunek realizacji, w skromniejszej postaci, racjonalistycznego optymizmu PH. Nie może istnieć … Czytaj dalej

Opublikowano Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki, Logika i metodologia, Światopogląd informatyczny | Skomentuj

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

Opublikowano Bez kategorii | 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

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

Opublikowano 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

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

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

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

Racjonalizm i pragmatyzm Kazimierza Ajdukiewicza

 Refleksje nad odznaczeniem  „Bene Meritis de Philosophia” Życie akademickie obfituje w rytuały. Jedne są odwieczne i bardzo czcigodne, inne dopiero co wymyślone w zacnych intencjach. Zacna intencja przyświecała uczestnikom X  Ogólnopolskiego Zjazdu Filozoficznego w Poznaniu, 2015, gdy uchwalili ustanowienie medalu … Czytaj dalej

Opublikowano Epistemologia i ontologia, Światopogląd racjonalistyczny | Otagowano , , | 1 komentarz

Turing jako maszyna z wyrocznią
lecz bez daru nieomylności

Głos na konferencji „Filozofia w Informatyce”, Kraków 2016 Odczyt jest skomponowany jako sekwencja pytań,  przy których są skrótowo naszkicowane dane do odpowiedzi. Poniżej znajdują się te kwestie jako ułatwienie w pisaniu komentarza: autor komentarza proszony jest o wska  pzanie numeru … Czytaj dalej

Opublikowano Bez kategorii | Otagowano , | 1 komentarz

O kolonizacji kosmosu przez sztuczną inteligencję

P. Jacek Gładysz w dyskusji zainicjowanej wpisem *Sztuczna inteligencja: Wyzwanie czy zagrożenie” porusza b.ciekawy temat: „czy jesteśmy gotowi na kolonizację kosmosu? W moim odczuciu taki będzie główny długofalowy skutek zaistnienia prawdziwej sztucznej inteligencji.” Jest to trafna obserwacja warta podjęcia. Żeby … Czytaj dalej

Opublikowano Filozofia informatyki, Światopogląd informatyczny | Otagowano | Skomentuj