Katolicki duchowny, doktor habilitowany, profesor UPJP2; p.o. kierownika Katedry Filozofii Logiki; autor artykułów na tematy z filozofii logiki, filozofii matematyki, tezy Churcha i innych.

 


Wykłady

logika_w_teologii_adam_olszewski

Co jest istotą kłamstwa? Adam Olszewski

Artykuły o osobie

25.09.2016
Relacje między logiką a teologią nie są raczej czymś oczywistym i widocznym na pierwszy rzut oka.

Artykuły

25.09.2016
Relacje między logiką a teologią nie są raczej czymś oczywistym i widocznym na pierwszy rzut oka.
21.08.2016
Tytułowe pytanie jest nawiązaniem do tytułu artykułu Marka Burgina "The Rise and Fall of Church-Turing Thesis", w którym autor kwestionuje wartość tezy Churcha dla informatyki na obecnym (i...
21.08.2016
Skąd bierze się obiegowe przekonanie, ze pomiędzy matematyką klasyczną i matematyką intuicjonistyczną zachodzi sprzeczność?
21.08.2016
W eseju "Przeciw fundacjonizmowi" Michał Heller wysuwa propozycję zbudowania „logiki zapętleń” czy też „logiki nieliniowej”.
01.07.2015
Jak się zdaje po okresie dominacji syntaktyki i semantyki w badaniach nad językiem, szczególnie językami formalnymi, przyszedł czas rozwijania pragmatyki.
01.07.2015
Niniejszy artykuł ma zrealizować dwa cele. Pierwszym jest wskazanie na ważną (często niezauważaną) inspirację powstania programu Hilberta, zaś drugi ma ukazać pewne związki między...
12.10.2012
Bez niej świat byłby inny, bo nie byłoby komputerów, przynajmniej takich, jakimi obecnie dysponujemy. Przez lata wierzono, że wyjaśnia funkcjonowanie umysłu. Maszyna Turinga – najważniejsza...