calculemus


Cafe Aleph

Witamy w Lectorium Cafe Aleph:

tekstowej bazie danych
na temat filozofii nauki, światopoglądu informatycznego etc.

pod redakcją Witolda Marciszewskiego i Pawła Stacewicza

WPROWADZENIE (kontynuacja Wprowadzenia z pliku index.html)

W naszej Czytelni, czyli Lectorium, objęte jego KATALOGIEM teksty są dobierane pod kątem dyskusji toczonych w blogu Polemiki i Rozmówki w Cafe Aleph, powiązanym z Lectorium poprzez identyczną strukturę tematów oraz sieć linków. Razem z zamieszczanymi w tym blogu wpisami i komentarzami teksty w Lectorium stanowią bazę tekstową dla każdego, kto interesuje się takimi zagadnieniami, jak następujące (wymieniam przykładowo):

  • filozofia nauki, w szczególności informatyki i matematyki, oraz ich podstawy w teorii poznania i ontologii.
  • uprawiana informatycznie filozofia umysłu i poznania (kognitywistyka, sztuczna inteligencja itp.),
  • uprawiana informatycznie retoryka i problemy argumentacji,
  • uprawiana informatycznie filozofia polityczna i gospodarcza,
  • światopogląd zorientowany informatycznie, racjonalny i liberalny.

Uprawiać informatycznie jakieś pole wiedzy to znaczy wyjaśniać i przewidywać zachodzące na tym polu zjawiska w kategoriach informatyki oraz, ewentualnie, za pomocą formalnych modeli informatycznych (ich kanonicznym przykładem jest maszyna Turinga). Podstawowe kategorie informatyczne to pojęcia: przetwarzanie informacji oraz obliczanie, tak cyfrowe jak analogowe. Z nich się wywodzą: algorytm (program obliczania), złożoność algorytmiczna, obliczalność teoretyczna (rozstrzygalność), obliczalność praktyczna, moc obliczeniowa etc.

Zachodzą obustronne zależności między dziedzinami takimi jak 1-4 i światopoglądem informatycznym, czyli nowoczesną wersją światopoglądu racjonalistycznego. Racjonalizm informatyczny owocuje liberalizmem w sferze polityczno-gospodarczej; np. tezą, że moc obliczeniowa wolnego rynku (nawet bez użycia komputerów) przewyższa moc obliczeniową centralnego planowania socjalistycznego (nawet gdyby je wyposażać w superkomputery najnowszej generacji).

Oprócz terminu ,,światopogląd informatyczny'', stosowanego np. przez Hectora Zenila (informational worldview) pojawia się w literaturze zwrot ,,filozofia informatyczna'', np. w tytule kompendium Handbook of Elementary Informational Philosophy. Mimo bliskości znaczeniowej, treści tych pojęć różnią się niuansami, które w obecnym kontekście nie są bagatelne. Pojęcie swiatopogladu jest zorientowane bardziej, swiatopogląd ma być przewodnikiem życia praktycznego a nie tylko wynikiem dociekań teoretycznych. Takim jest światopoglad informatyczny np. jako racjonalna motywacja (obecna w Austriackiej Szkole Ekonomicznej i in.) wolnego rynku. Ponadto, światopogląd bardziej niż akademicka filozofia jest kwestią wyboru, w większym więc stopniu sprawą jakby wiary. Ale wiary racjonalnej, która nie jest dogmatyczna lecz świadoma swej hipotetyczności oraz motywowana pragmatycznie np. tym , że dana hipoteza dostarcza owocniejszej strategii badawczej w dyscyplinach m.in. takich jak wymienione w punktach 1-4.

Oto kilka przykładów, jak funkcjonuje światopogląd informatyczny.

(1) Dostaniemy inne wyjaśnienia, jak powstała zorganizowana złożoność kosmosu, gdy założymy w naszym światopoglądzie, że świat jest cyfrowy, a inne przy założeniu, że analogowy -- argumentuje Hector Zenil w studium The World is Either Algorithmic or Mostly Random.

(2) Ten sam problem, czy preferować obliczanie cyfrowe czy analogowe pojawia się w próbach wyjaśnienia natury życia, np. w pracach Freemana Dysona jak ta pt. Is Life Analog or Digital?

(3) Gdy idzie o strategię rozwijania matematyki, jak i strategię tworzenia sztucznej inteligencji, będą one inne na gruncie Gödlowskiego poglądu, że umysł przewyższa swą mocą twórczą moc obliczeniową maszyny Turinga, a inną przy założeniu redukującym umysł do maszyny. To zas, które stanowisko się zajmie jest kwestią wyboru światopogladowego, bo nie mamy tu (jak dotąd) dostatecznych danych empirycznych ani wyników matematycznych.

Jak widać już z tych przykładów, nie mamy do czynienia z jednym, lecz z całą klasą światopoglądów. Ich tytuł do wspólnej przydawki "informatyczny" bierze się nie stąd, iżby dawały one te same rozwiązania, lecz stąd, że różne rozwiązania są proponowane zawsze w tych samych kategoriach informatycznych: obliczenia cyfrowe, obliczenia analogowe, złożoność obliczeniowa, maszyna Turinga etc. I że kategorie te okazują się uniwersalne, podobnie jak kategorie Arystotelesa, Kanta etc. Tradycyjną zatem ontologię i tradycyjną epistemologię możemy zastąpić ontologią i epistemologią informatyczną.

*

Po tym merytorycznym wprowadzeniu w ideę światopoglądu informatycznego oraz związane z nią kategorie, pora na kilka uwag natury technicznej. Mianowicie, w sprawie sposobu funkcjonowia Cafe Aleph jako interaktywnej bazy danych tekstowych, utworzonej z pary: blog+lectorium.

Interaktywność naszej bazy tekstowej niech odda następujący obrazek. Z Lectorium prowadzą drzwi -- symbol powiązań przez linki -- wprost do kawiarni, a w niej bawią autorzy tekstów dyskutowanych w blogu, bardzo chętni podejmować na ich temat rozmowy z czytelnikami. W kawiarnianym blogu omawia się też tematy, które nie mają odpowiednika w Lectorium, lecz są na żywo, wprost w blogu, inicjowane np. przez badaczy lub nauczycieli. Badacz, pracując nad jakąś kwestią, rad by dostawał uwagi od zainteresowanych nią rozmówców. Nauczyciel może zachęcać słuchaczy do komentowania w blogu dostarczonych im do Lectorium wykładów. Zagajenie dyskusji nazywa się w blogowym dialekcie wpisem (post), a reakcja na nie -- komentarzem (comment).

Na zawartość Lectorium składa się kilkanaście działow, z których każdy ma odpowiednik w jednym z pojęć kategoryzujących wpisy do blogu; np. "Filozofia Nauki" jest w Blogu nazwą kategorii tematycznej, a w Lectorium nazwą działu grupującego teksty z tej dyscypliny. To wzajemnie jednoznaczne odwzorowanie czyni z Cafe Aleph spójną bazę danych. Wśród kilkunastu działów tematycznych wyróżniamy jeden, który ogniskuje wokół siebie pozostałe, mianowicie Światopogląd Informatyczny. Jak mają się doń te pozostałe, wyjaśniamy we wprowadzeniu do Lectorium. Dlaczego za logo całej problematyki i nazwę naszej wirtualnej kawiarni, bierzemy symbol ? Zob. szkic Czemu Aleph?

LINKI do witryn powiazanych tematycznie z następującym dalej katalogiem, obejmującym: A. Wybrane działy filozofii, B. Światopoglądy filozoficzne.

  • Polemiki i Rozmówki w "Cafe Aleph"
    Blog Akademicki powiązany z Lectorium

  • "Our Pub" -- The Rationalist Core of European Dream.
    An academic blog on Rational Discourse as a Benchmark of European Identity.

    Edited by Witold Marciszewski

  • The Catalog of Virtual Library for "Our Pub"
    calculemus.org/pub-libr