prof. dr hab. Marcin Tkaczyk
Wydział Filozofii - Instytut FilozofiiKatedra Logiki
Stanowisko: Profesor
Wypromowane prace dyplomowe
2021
Prace licencjackie
- Dowód aksjomatu M4 elementarnej mereologii Andrzeja Grzegorczyka na gruncie Algebry Boole'a
2018
Prace licencjackie
- Twierdzenie o dedukcji i lemat Tarskiego dla logiki pierwszego rzędu w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego
- Dowód niezależności aksjomatyki systemu logiki pierwszego rzędu Davida Hilberta w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego
- Dowód niesprzeczności aksjomatycznego systemu logiki pierwszego rzędu Davida Hilberta w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego.
2017
Prace magisterskie
- Simona Kramera metoda rozszerzenia logiki kwantowej do logiki klasycznej
2016
Rozprawy doktorskie
- Problem<
>. Czy teoria hiperzbiorów stanowi rozwiazanie problemów regresu nieskończonego?
2012
Prace magisterskie
- Metody konstruowania logik niemonotonicznych w ujęciu Davida Makinsona
2010
Prace licencjackie
- Problem wartości poznawczej logik modalnych w ujęciu Susan Haack
- Kryterium racjonalności dla logiki decyzji w ujęciu Klemensa Szaniawskiego
- Logiczna analiza wnioskowania Johna Stuarta Milla o czwartym wyjątku od zasady liberalizmu
- Logika trójwartościowa Jana Łukasiewicza a pojęcie prawdy w ujęciu Arthura N. Priora
- Paradoksy logiki deontycznej w ujęciu Kazimierza Świrydowicza