جست‌وجوی استاد و پژوهشگر

Thomas Fergusonمشاهده پروفایل

دانشیار

• Philosophical Logic
• Mathematical Logic
• Computational Logic
• +۷ مورد دیگر

Thomas Ferguson is an Associate Professor in the Department of Cognitive Science at Rensselaer Polytechnic Institute (RPI), where he contributes to interdisciplinary research at the intersection of philosophy, logic, and cognitive science. He holds a PhD in Philosophy from the City University of New York Graduate Center and a Dr. Habil. from Ruhr-Universität Bochum, with postdoctoral experience at the University of Amsterdam, University of St. Andrews, and the Czech Academy of Sciences. Education: Dr.Habil., Philosophy, Ruhr-Universität Bochum Ph.D., Philosophy, City University of New York Graduate Center His research focuses on philosophical, mathematical, and computational logic , with specializations in non-classical logics, formal epistemology, and the philosophy of mathematics. He investigates foundational issues in reasoning, language, and truth, particularly through truthmaker semantics, relevance logic, and variable-sharing principles. His work bridges abstract logical theory with applications in artificial intelligence and cognitive modeling. His recent publications (2024–2025) reflect a strong trend in topic theory, relevance logic, modal logic, and non-classical systems , often exploring the interplay between logical structure, information content, and subject-matter. These works appear in leading journals such as Review of Symbolic Logic , Erkenntnis , and Journal of Logic and Computation , demonstrating sustained scholarly impact across logic, philosophy, and computer science. Scientific Awards: Springer Prize for Best Paper at Artificial General Intelligence 2024 for "A Universal Intelligence Measure for Arithmetical Uncomputable Environments" (with James Oswald and Selmer Bringsjord) Thomas Ferguson teaches advanced courses such as Philosophy of Mathematics and Non-Classical Logic , indicating an active role in mentoring graduate and advanced undergraduate students. Although no specific advisees are listed, his teaching and research leadership suggest involvement in student supervision and academic advising. There is no mention of external grants, but his publication record and award suggest competitive research activity. He has no listed labs or research teams in the provided text, but his work is highly collaborative, as seen in co-authored publications.

Shay Loganمشاهده پروفایل

استاد

• Relevance Logic
• Logic and Philosophy of Logic
• Substructural Logic
• +۵ مورد دیگر

Shay Logan is a Professor in the Department of Philosophy at Kansas State University, specializing in logic and philosophy of mathematics. He received his PhD in Philosophy from the University of Minnesota in 2015, along with an MS in Mathematics from the same institution. His academic profile demonstrates significant contributions to the field of nonclassical logics, particularly relevance logic and its variants. Logan's educational background includes: PhD in Philosophy, University of Minnesota (2015) MS in Mathematics, University of Minnesota (2013) MA in Philosophy, University of Minnesota (2013) BS in Mathematics, Gonzaga University (2008) BA in Philosophy, Gonzaga University (2008) His research interests center on relevance logic, substructural logic, paraconsistent logic, nonclassical logics, and category theory. Logan approaches these areas with both technical rigor and philosophical depth, exploring foundational questions about logical systems and their applications. His work often bridges mathematical logic with philosophical inquiry, examining how different logical frameworks handle concepts like implication, negation, and subject-matter. Logan's recent publications show a clear trajectory toward increasingly sophisticated analyses of relevance logics, with particular attention to variable sharing properties, topic transparency, and computational semantics. His research demonstrates a commitment to clarifying misunderstood aspects of relevance logics while developing novel formal frameworks for understanding their structure and applications. The 2024 publication of his book Relevance Logic represents a significant contribution to making this complex field more accessible. As an educator, Logan teaches broadly across the analytic philosophy spectrum, including ethics, applied ethics, epistemology, metaphysics, and logic. He describes this diversity as intentional, reflecting his genuine interest in multiple philosophical domains, though he acknowledges being consistently drawn back to logical questions for his research. Logan maintains active scholarly engagement through conference presentations, including recent appearances at the Abstractionism 2 conference at the University of Connecticut (2023) and the Workshop On Philosophical Logic of the Buenos Aires Logic Group (2020). His professional activities reflect a commitment to advancing both the technical and philosophical dimensions of logical inquiry.

• Artificial Intelligence Ethics
• Legal Responsibility
• Conditionals in Normative Discourse
• +۵ مورد دیگر

Daniela Vacek is a researcher at the Department of Logic and the Methodology of Sciences, Faculty of Arts, Comenius University in Bratislava. Her work bridges philosophy, law, and computer science, focusing on ethical and legal challenges in artificial intelligence. She earned her PhD in Philosophy from Comenius University in 2020, following Master's and Bachelor's degrees in Philosophy from the same institution, with a visiting period at the University of York during her doctoral studies. Her research interests include: Artificial Intelligence Ethics and Legal Responsibility Conditionals in Normative Discourse Analytic Aesthetics (Philosophy of Fiction and Poetry) Hyperintensionality and Transparent Intensional Logic Recent publications (2021-2022) address vicarious liability in AI and the semantics of poetry, reflecting an interdisciplinary methodology. She is currently contributing to the APVV research project on conditionals semantics. Daniela is actively involved in research projects but has no listed scientific awards or formal advisees.

• Philosophical Logic
• Formal Semantics
• Type Theory
• +۳ مورد دیگر

Jiří Raclavský serves as a Professor in the Department of Philosophy at Masaryk University's Faculty of Arts, specializing in philosophical logic and formal semantics. His academic career at Masaryk University spans from Lecturer (1999-2002) through Assistant Professor (2003-2010), Associate Professor (2010-2016), to Full Professor (2016-present), with ongoing teaching assignments through Spring 2026 including courses like Formal Logic, Logic for Everyone, and Doctoral Seminars. His educational background includes a Ph.D. (2003) and M.Sc. (1999) in Logic from Masaryk University, alongside a B.Sc. in Music from Janáček Academy. Research interests focus on philosophical logic, formal semantics, type theory, and logical paradoxes , particularly examining propositional attitudes, modal knowledge, and description theory through Transparent Intensional Logic frameworks. Recent publications demonstrate consistent focus on partial type theory and hyperintensionality, with 2024 works addressing completeness proofs and non-referring descriptions. His research bridges theoretical logic with computational applications, as evidenced by projects like Logic and Computation and Practical application of logic software in teaching . FF MU Dean Prize for Important Scientific Contribution 2016 (for Transparent intensional logic as characteristica universalis) Raclavský supervises graduate theses on topics including Transparent Intensional Logic and logical atomism, while leading multiple institutional projects such as Rational Reasoning (2024-2025) and Philosophy for a Resilient Society II (2025). His grant activities include national and international funding through Masaryk University's Specific Research program and Faculty Innovation initiatives. Professional engagements encompass conference organization, journal refereeing, and membership on national grant evaluation committees.

Ivo Pezlarمشاهده پروفایل

پژوهشگر

• Philosophical Logic
• Type Theory
• Proof Theory
• +۳ مورد دیگر

Ivo Pezlar is a researcher at the Institute of Philosophy, Academy of Sciences of the Czech Republic in Prague, and serves as the editor-in-chief of the journal Teorie vědy / Theory of Science . His work spans philosophical logic, type theory, and proof theory with applications to natural language. His research interests focus on philosophical logic , particularly type theory (including Martin-Löf's constructive type theory and Tichý's partial type theory), and general proof theory (especially proof-theoretic semantics). His work explores the intersection of formal logic systems with natural language semantics and computational aspects of meaning. Analysis of his recent publications reveals a consistent trajectory in logical theory development, with increasing attention to applications in information-based semantics, computational linguistics, and the philosophical foundations of logical systems. His work demonstrates strong connections between theoretical developments in logic and practical applications in language processing. Among his notable scholarly contributions are two books in Czech: Epistemic Logic: An Introduction for Students of Humanities (2015) and Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (2015), as well as co-editing Logic, Methodology and Philosophy of Science and Technology, Proceedings of the Sixteenth International Congress (2022). Pezlar earned his Master's degree and doctorate in Philosophy from the Faculty of Arts of Masaryk University in Brno. His research has been supported by grants including GA ČR(CZ) GA19-12420S and AV ČR(CZ) LQ300092101, reflecting the significance of his work within the Czech academic community.

Bjørn Jespersenمشاهده پروفایل

مدرس

• Philosophical Logic
• Analytic Philosophy of Language
• Epistemology
• +۷ مورد دیگر

Dr. Bjørn Jespersen is a Lecturer in Theoretical Philosophy at the Department of Philosophy and Religious Studies, Faculty of Humanities, Utrecht University. He specializes in philosophical logic and analytic philosophy of language, with competencies spanning epistemology, metaphysics, logic, philosophy of science, technology, and mind. His research focuses on attitudes, modalities, theory of meaning, propositions, predication, modifiers, and hyperintensionality, primarily grounded in Transparent Intensional Logic (TIL). He held a Marie Curie Fellowship (2014–2016) at the University of Barcelona, researching the unity of propositions. Currently, he co-edits a special Inquiry issue on impossibility and serves as an Evaluator (Remote Reviewer) for the Czech Academy of Sciences’ 2025 Humanities and Arts Panel evaluation. In 2024, he delivered tutorials on impossibility at the University of Padova under an Erasmus exchange program, and in 2025 will present work on Vulcan’s procedural semantics at institutions including the University of Lodz and Università della Svizzera Italiana. Research Contributions: Co-authored/co-edited influential works like Procedural Semantics for Hyperintensional Logic (2010, awarded 2011) and Transparent Intensional Logic. Selected Recent Essays (2023). Editorships: Special issues of Synthese on structured propositions (2019, 2015), Inquiry on impossibility (forthcoming), and Festschrifts like Logically Speaking (2022). His teaching includes courses on Mind and World and Knowledge and Science . Jespersen’s work emphasizes interdisciplinary connections between formal logic, semantics, and philosophy, particularly through TIL’s framework. He actively collaborates on projects addressing technical malfunction, de re puzzles, and procedural isomorphism, blending theoretical rigor with applied logic challenges.

Lukáš Bielikمشاهده پروفایل

دانشیار

• Philosophy of Science
• Logic
• Confirmation Theory
• +۵ مورد دیگر

Assoc. Prof. Lukáš Bielik, PhD. is an Associate Professor and Head of the Department of Logic and Methodology of Sciences at the Faculty of Arts, Comenius University in Bratislava. His academic career spans over 15 years, including prior roles as Assistant Professor (2009-2020) and researcher at the Institute of Philosophy of the Slovak Academy of Sciences (2012-2017). Education: Master's in Philosophy-History (2006), Doctoral in Systematic Philosophy (2009), and Associate Professor title (2020) all from Comenius University. Research Interests focus on philosophy of science , methodology , argumentation theory , and semantic models . He has led the VEGA project "Idealization and Abstraction in Normative and Empirical Sciences" (2023-2025) and co-investigated APVV's "Semantics of Conditionals" (2022-2026). His work bridges formal logic with epistemological questions in scientific reasoning. Publications include over 51 works, with 28 indexed in WoS/Scopus. Recent contributions analyze defeasible reasoning, semantic conditionals, and abduction's role in scientific discovery. Awards & Grants: VEGA Grant (2023-2025), project leader APVV Grant (2022-2026), co-investigator Multiple prior VEGA/APVV grants (2007-2022) Academic Service includes being an Executive Editor of Organon F (2012-2017), reviewer for journals like Erkenntnis and Organon F , and grant evaluator for VEGA and KEGA. He also organized the East European Network for Philosophy of Science (2015-2020).

João Leiteمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Neuro-symbolic Artificial Intelligence
• +۳ مورد دیگر

João Leite is a Professor of Computer Science at the Department of Computer Science, NOVA School of Science and Technology, NOVA University Lisbon. His career spans roles as Head of Department, Vice President of APPIA, Principal Investigator of the Intelligent Systems Group at NOVA LINCS, and Senior Visiting Fellow at CSE, UNSW, Sydney, Australia. He is an International Partner of Potassco Solutions and a member of IFIP TC-12 Artificial Intelligence. João's research focuses on Artificial Intelligence , Knowledge Representation and Reasoning , Neuro-symbolic AI , Answer-Set Programming , Argumentation Theory , and Multi-Agent Systems . 2002 : PhD in Computer Science, NOVA University Lisbon 1997 : MSc in Computer Science, NOVA University Lisbon 1994 : BSc in Electronic Engineering, University of Coimbra João's articles demonstrate a consistent focus on Answer-Set Programming (ASP), with applications in Knowledge Forgetting , Modular Reasoning , and Hybrid Knowledge Bases . His work bridges ASP with Ontologies , Multi-Context Systems , and Neural Networks , emphasizing Explainable AI and Dynamic Knowledge Evolution . Recent papers explore Provenance in Heterogeneous Systems , Efficient Reasoning with Intensional Concepts , and Stream Reasoning using neural architectures. Scientific Awards : Senior Visiting Fellow at CSE, UNSW, Sydney Award-winning collaborative project: The Politics of constraints: Discursive strategies in a three-level game João has led significant research projects such as FORGET (2018-2022) on information forgetting and RIVER (2018-2022) on knowledge-stream integration. He contributed to NEURASPACE (2022-2025) and Knowledge-Aware Cyber-Physical Systems (2015-2019). His software developments include NoHR (Hybrid Reasoning), EVOLP (Evolving Logic Programs), and SWARG (Social Abstract Argumentation Tool).