Dotychczas dr hab Ryszard Miszczyński zajmował się filozofią mediów, historią filozofii matematyki i logiki (Łukasiewicz, Leśniewski); w najbliższym czasie w dalszym ciągu chce skoncentrować się kilku szczegółowych rozwiązaniach Leśniewskiego, pragnie nieco dokładniej przeanalizować jego współpracę z Tarskim, chce porównać formalizację Leśniewskiego z innymi ówczesnymi projektami.
Temat pracy:
"Intuicyjny formalizm Stanisława Leśniewskiego"
W pracy omówiono podstawy filozofii matematyki Stanisława Leśniewskiego, jednego z najciekawszych filozofów Szkoły Lwowsko-Warszawskiej. Leśniewski oparł swój system podstaw na intuicyjnie uzasadnionych aksjomatach następujących dyscyplin: prototetyka, ontologia, mereologia. Autor pracy przedstawia sposób formalizacji filozofa. Projekt wykonania go określa podejście, które można uznać za jedno z najbardziej precyzyjnych w początkach XX w. Zwraca uwagę na rolę współpracy uczonego z Alfredem Tarskim.
Odwiedź repozytorium UŁ i przeczytaj tę pracę.
Motto:
W życiu bliska jest mi myśl Leśniewskiego: "mogę (...) odpowiadać tylko za swoje czyny, nie za uczucia", w pracy naukowej: "Jeżeli nie potrafisz czegoś prosto wyjaśnić – to znaczy, że niewystarczająco to rozumiesz." (Albert Einstein).