Archiwum kategorii: Logika i metodologia

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

#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

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

Debata o nieskończoności

Z wielką przyjemnością informuję, że 21 czerwca o godz. 16.30 w sali 206 Gmachu Głównego Politechniki Warszawskiej odbędzie się debata na temat: ◊  Czy zbiory nieskończone istnieją? Referat i koreferat wygłoszą: prof. dr hab. Marek Kuś (Centrum Fizyki Teoretycznej PAN) … Czytaj dalej

Opublikowano Dydaktyka logiki i filozofii, Filozofia nauki, Logika i metodologia | Skomentuj

Konferencja „Filozofia w logice i informatyce”

Gwoli kronikarskiej ścisłości chciałbym odnotować, że 6 listopada 2015 roku odbyła się w Politechnice Warszawskiej I. Ogólnopolska Konferencja naukowa pod nazwą Filozofia w logice i informatyce. W konferencji  wzięło udział co najmniej kilka osób, które dyskutują aktywnie w naszym blogu. … Czytaj dalej

Opublikowano Bez kategorii, Dydaktyka logiki i filozofii, Filozofia informatyki, Filozofia nauki, Logika i metodologia, Światopogląd informatyczny | Skomentuj

Siła algorytmów?

Obecny wpis utworzyłem z intencją wywołania dyskusji wśród studentów PW (głównie informatyków i elektroników) na temat siły i ograniczeń algorytmów. Do rozmowy zapraszam oczywiście inne osoby, również stałych bywalców blogu. Zachęcam wstępnie do przeczytania krótkiego tekstu o algorytmach, który oświetli … Czytaj dalej

Opublikowano Bez kategorii, Dydaktyka logiki i filozofii, Filozofia informatyki, Logika i metodologia, Światopogląd informatyczny | 4 komentarze

Odejście Profesora Mariana Przełęckiego
9 sierpnia 2013

Intencją tego wpisu jest utworzenie jakby notatnika, w którym można by – w formie komentarzy – dzielić się wspomnieniami czy refleksjami na temat postaci i dorobku Mariana Przełęckiego.  Zacznijmy od następującego komunikatu PTLiFN. Z głębokim smutkiem żegnamy Mariana Przełęckiego – … Czytaj dalej

Opublikowano Etyka, Filozofia nauki, Logika i metodologia | 1 komentarz

Prawdziwość a niesprzeczność

W dyskusji nad referatem p. Tomasza Jordana „O nieporozumieniach związanych z twierdzeniem Gödla”  (Seminarium logiczne w UKSW, 20.IV.2012) — której uczestnicy byli zgodni co do tego, że przekonanie o niesprzeczności arytmetyki pierwszego rzędu jest dobrze umotywowane faktem nie pojawienia się … Czytaj dalej

Opublikowano Logika i metodologia | Skomentuj