معرفی
Fredrik Engström is a Senior Lecturer and Associate Professor in Logic at the Department of Philosophy and Logic, Faculty of Humanities, University of Gothenburg. He also serves as Vice-Dean for Postgraduate Education and Facilities within the Faculty of Humanities. He has been affiliated with the University of Gothenburg since 2006, progressing from research assistant to senior lecturer in 2018.
- PhD in Mathematics (2004), Chalmers University of Technology
- Doctoral studies partially completed at the University of Birmingham under Richard Kaye
- Former Senior Lecturer in Mathematics, Mid Sweden University
- Head of Department (2016–2021), Department of Philosophy, Linguistics and Theory of Science
His research lies at the intersection of mathematical logic, philosophical logic, and cognitive modeling. Key areas include dependence logic, generalized quantifiers, definability, logicality, and the foundations of team semantics. He leads the VR-funded project The Foundations of Team Semantics: Meaning in an Enriched Framework, which explores the expressive power and philosophical implications of modern logical systems.
The 15 most recent publications reflect a sustained focus on formal systems with team semantics, particularly dependence logic extended with generalized quantifiers. His work combines deep technical results in model theory and proof theory with cognitive and philosophical considerations, especially in reasoning under bounded resources and the nature of logical constants. Collaborations with prominent logicians such as Juha Kontinen, Jouko Väänänen, and Claes Strannegård highlight the interdisciplinary nature of his research.
Scientific Awards:
- No awards listed in the provided text.
Fredrik Engström has supervised or co-supervised several students, though specific names are not listed. He has led significant institutional roles, including departmental leadership and vice-dean responsibilities. His grants include funding from the Swedish Research Council (VR) for foundational research in logic. He is active in multiple research communities, presenting at international logic and philosophy workshops.
He is involved in research teams focused on logic and cognition, particularly in projects combining formal logic with cognitive modeling. His future work likely continues to explore the foundations of semantics, the limits of expressiveness in logical systems, and the cognitive plausibility of formal reasoning frameworks.
