Dr Marcin Łyczak
Dr Marcin Łyczak
Adiunkt, marcin.lyczak@uwm.edu.pl
Studia magisterskie (2015) i doktoranckie (2020) ukończył na Uniwersytecie Kardynała Stefana Wyszyńskiego w Warszawie, pod kierunkiem Pani prof. Korduli Świętorzeckiej. Do jego zainteresowań badawczych należą: logiki modalne (w szczególności: temporalne i epistemiczne), ontologia formalna i zastosowania logiki do filozofii. Aktualnie pracuje w Instytucie Filozofii UWM i prowadzi zajęcia z logiki formalnej, metodologii nauk i semiotyki logicznej.
Doktorat: Teorie modalności epistemicznych i ontycznych z pierwotnym pojęciem zmiany. Rozszerzenia logiki zmiany LC, (12.2020, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie), promotor: K. Świętorzecka, recenzenci: Marek Nasieniewski, Marcin Tkaczyk,
Projekty badawcze:
Kierownik projektu badawczego Preludium 13, finansowanego przez Narodowe Centrum Nauki, realizowanego na UKSW, pt. “Teorie modalności epistemicznych i ontycznych z pierwotnym pojęciem zmiany. Rozszerzenia logiki zmiany LC”, (2017/25/N/HS1/02779), kwota finansowania: 58 800 zł (https://projekty.ncn.gov.pl/index.php?projekt_id=371796)
Publikacje:
(2022) “Branching Time Axiomatized With Use of Change Operators'', Logic Journal of the IGPL, (DOI: 10.1093/jigpal/ jzac051)
(2022) “A Leibnizian Logic of Possible Laws. A Formal Framework Motivated by Hintikka That Blocks Lovejoy’s Principle of Plenitude'', Logic and Logical Philosophy, współautorstwo z K. Świętorzecką (https://apcz.umk.pl/LLP/article/view/36112/32191)
(2021) “The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language”, Logic and Logical Philosophy, 30: 39–59, (https://apcz.umk.pl/LLP/article/view/LLP.2020.012/26125)
(2021) “Belief Changes and Cognitive Development: Doxastic Logic LCB”, Axiomathes, 31: 157–171, (https://link.springer.com/content/pdf/10.1007/s10516-020-09486-8.pdf)
(2020) “The Logic of Modal Changes LMC”, Journal of Applied Non-Classical Logics, 30(1): 50-67, (DOI: 10.1080/11663081.2020.1717267)
(2020) “Mereology with Super-supplementation Axioms. A Reconstruction of the Unpublished Manuscript of Jan F. Drewnowski”, Logic and Logical Philosophy, 29: 189–211, współautorstwo z K. Świętorzecką,
(https://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2019.034/18412)
(2018) “On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-like Theories”, Bulletin of the Section of Logic, 47, 4: 233-263, współautorstwo z A. Pietruszczakiem, (https://czasopisma.uni.lodz.pl/bulletin/article/view/4776/4564)
(2018) “An Even More Leibnizian Version of Gödel’s Ontological Argument”, Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Vol. 5, 7, współautorstwo z K. Świętorzecką, (http://www.collegepublications.co.uk/downloads/ifcolog00027.pdf)
Referaty na konferencjach:
(2022) “Temporal Structures With Cyclic Branching Time”, “Formal Methods and Science in Philosophy III”, Chorwacja, Dubrownik
(2022) “Possible Laws Contra Principle of Plenitude”, “Non-Classical Logics. Theory and Applications (NCL. T& A), Łódź
(2020) “Towards Leibnizian modalities” (referat razem z K. Swietorzecka), “2nd World Logic Day”, Hiszpania, Salamanca,
(2019) “A Bimodal Logic of Change with Leibnizian Hypothetical Necessity” (referat razem z K. Swietorzecka) “16th International Congress on Logic, Methodology and Philosophy of Science and Technology”, Czechy, Praga,
(2019) “Logic of Modal Changes”, “Formal Methods and Science in Philosophy III”, Chorwacja, Dubrownik,
(2018) ”The Logic of Change LC Enriched by Leibnizian Modalities”, “6th World Congress and School on Universal, Francja, Vichy
(2018) “On Some Extension of the Logic of Change LC by Epistemic and Temporal Modalities”, ”The 2nd Context, Cognition and Communication Conference”, Warszawa
(2017) ”On Some Modal Weakening of Gödel’s ‘Ontologisher Beweis’. Version with S4 Modalities and Positive Predication”, (razem z K. Świętorzecką), “World Congress on Logic and Religion”,
(2017) ”LCG&B Logic of Changing Beliefs”, ”Formal Methods and Science in Philosophy II”, Chorwacja, Dubrownik,