- Logic
- Proof Theory
- Erotetic Logic
- +۴ مورد دیگر
Dr. Dorota Leszczyńska-Jasion serves as Associate Professor at Adam Mickiewicz University in Poznań, Poland, within the Faculty of Cognitive Science and Department of Logic and Cognitive Science. Her academic profile centers on foundational logic research with significant interdisciplinary applications. Her educational trajectory features: Habilitation (post-doctoral degree) in Social Science (2019) from Adam Mickiewicz University based on From Questions to Proofs. Between the Logic of Questions and Proof Theory Ph.D. in Philosophy (2006) from University of Zielona Góra with dissertation The Method of Socratic Proofs for Normal Modal Propositional Logics M.A. in Philosophy (2003) from University of Zielona Góra Her research pioneers Proof Theory through the Method of Socratic Proofs —a question-based deduction framework enabling loop-free decision procedures for modal logics. She extends this work to Erotetic Logic (logic of questions), developing Erotetic Search Scenarios that model human inquiry processes. Current innovations include Distributive Deductive Systems for classical/non-classical logics and Synthetic Tableaux with unrestricted cut rules, bridging theoretical logic with computational applications. Over the past decade, her publication pattern reveals escalating focus on unifying proof-theoretic and semantic approaches. Recent work integrates correspondence analysis with Socratic proofs and develops distributive frameworks for first-order logic, demonstrating consistent advancement from modal logics toward comprehensive deductive systems with computational relevance. Her scholarly recognition includes: Foundation for Polish Science Scholarship START (2013) Foundation for Polish Science Scholarship under Prof. Wiśniewski's FPS Award (2002-2004) She currently directs the National Science Centre-funded project Distributive Deductive Systems (2017-2023) and previously contributed to major grants including Erotetic Logic in Question Processing (2013-2017) and Inferential Erotetic Logic and Problem-solving (Foundation for Polish Science). Her research program consistently secures competitive funding for exploring the intersection of formal logic, cognitive modeling, and computational methods. As core member of the Reasoning Research Group, she advances theoretical foundations of deductive systems while fostering collaborations across logic, computer science, and cognitive studies. The group's work on erotetic frameworks provides formal tools for modeling scientific inquiry and human reasoning processes.








