Archiwum kategorii: Logika i metodologia

W jaki sposób logika predykatów może być pomocna w badaniu języka naturalnego?

Przeczytałem z ciekawością streszczenie odczytu prof. Andrzeja Włodarczyka na seminarium 30 maja 2019. Z ciekawością, bo interesuje mnie żywo zjawisko interdyscyplinarności, a tekst tego odczytu pozwala dostrzec fakt, że interdyscyplinarność czy transdyscyplinarność (czy jest tu jakaś różnica?) nie jedno ma … Czytaj dalej

Opublikowano Filozofia nauki, Logika i metodologia | Otagowano , , | 6 komentarzy

O nieistnieniu liczb w informatyce

Trurl i Klapaucjusz byli uczniami wielkiego Kerebrona Emtadraty, który w Wyższej Szkole Neantycznej wykładał przez czterdzieści siedem lat Ogólną Teorię Smoków. Jak wiadomo, smoków nie ma. Prymitywna ta konstatacja wystarczy może umysłowi prostackiemu, ale nie nauce, ponieważ Wyższa Szkoła Neantyczna … Czytaj dalej

Opublikowano Filozofia informatyki, Logika i metodologia | 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

#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