Archiwum kategorii: Logika i metodologia

Wprowadzenie do semantyki prawa. Dyskusja nad książką Andrzeja Malca.

Z prawdziwą przyjemnością chciałbym zaprosić czytelników bloga do dyskusji nad książką Andrzeja Malca pt. “Wprowadzenie do semantyki prawa”. Choć tytuł nie sugeruje tego wprost, jej treść jest mocno filozoficzna, a dokładniej rzecz biorąc, nawiązuje do pewnych rozstrzygnięć filozoficznych Tadeusza Kotarbińskiego … Czytaj dalej

Zaszufladkowano do kategorii Dialogi wokół recenzji, Dydaktyka logiki i filozofii, Epistemologia i ontologia, Logika i metodologia, Światopogląd racjonalistyczny | 14 komentarzy

Czy falsyfikacjonizm hipotetyczno-dedukcyjny w wersji Karla Poppera jest nadal aktualny?

Obecny wpis umieszczam w imieniu Doktora Michała Stelmacha, który chciałby wywołać nim dyskusję ze studentami Politechniki Warszawskiej… Oczywiście zapraszamy do niej wszystkich czytelników bloga! Pytanie tytułowe dotyczy aktualności pewnej dobrze znanej z historii filozofii nauki myśli – myśli Karla Rajmunda … Czytaj dalej

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia nauki, Logika i metodologia, Światopogląd racjonalistyczny | 25 komentarzy

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

Zaszufladkowano do kategorii 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

Zaszufladkowano do kategorii 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

Zaszufladkowano do kategorii 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

Zaszufladkowano do kategorii 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

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

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

Zaszufladkowano do kategorii Dydaktyka logiki i filozofii, Filozofia nauki, Logika i metodologia | Dodaj komentarz

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

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