Grant Narodowego Programu Rozwoju Humanistyki dla ks. prof. Marcina Tkaczyka
Grant Narodowego Programu Rozwoju Humanistyki dla o. prof. Marcina Tkaczyka OFMConv
Kwota dofinansowania: 137 520 zł.
Ministerstwo Nauki i Szkolnictwa Wyższego ogłosiło wyniki konkursu w ramach NPRH w module Dziedzictwo Narodowe. Wśród laureatów znalazł się o. prof. Marcin Tkaczyk, kierownik Katedry Logiki KUL, z zespołem: ks. prof. Stanisławem Janeczkiem i dr Anną Starościc. Projekt zakłada szczegółową inwentaryzację, krytyczną edycję, tłumaczenie na język polski oraz publikację nowego źródła do dziejów logiki i epistemologii w szkolnictwie Komisji Edukacji Narodowej, a mianowicie Triplex cogitandi ratio cum methodo[Trojaki sposób myślenia wraz z metodą] (Biblioteka Narodowa Ukrainy im. Władimira Wiernadskiego), Jana Śniadeckiego. Stanowi ono zapis zajęć logiki przeprowadzonych przez Jana Śniadeckiego w roku szkolnym 1777/1778 w tzw. Kolegium Nowodworskiego, prowadzonym przez Akademię Krakowską. O kontekście ukazania się tego źródła sygnalizuje artykuł opublikowany w „Studiach z Historii Filozofii”.
Serdecznie gratulujemy!
Czytaj dalej...Grant Narodowego Centrum Nauki w konkursie MINIARURA 9 dla dr Marcina Czakona
Grant Narodowego Centrum Nauki w konkursie MINIARURA 9 dla dr Marcina Czakona
Kwota dofinansowania: 12 100 zł.
Głównym celem projektu pt. „Wstępne badania i optymalizacja algorytmu dla superkomputera (HPC) poszukującego matrycy niezależności potencjalnych aksjomatów rachunku E oraz C Syntetyczny opis działania naukowego planowanego do realizacji” jest przygotowanie algorytmu, który znajdzie rozwiązanie wciąż otwartych pytań w obrębie dwóch rachunków logicznych: rachunku E oraz rachunku C. Pytania te dotyczą złożoności dowodowej twierdzeń, potencjalnych najkrótszych aksjomatów oraz dopuszczalnych reguł procedury dowodowej.
Serdecznie gratulujemy!
