معرفی
Sebastian Enqvist serves as a Senior Lecturer and docent at the Department of Philosophy, Stockholm University. His academic work bridges philosophical, computational, and mathematical dimensions of logic.
His primary research interests include:
- Logics of fixpoints, inductive and co-inductive definitions
- Computational content of proofs
- Non-wellfounded proof systems
- Co-algebras and Automata theory
- Modal logic and Game theory
- Philosophy of logic and mathematics
Enqvist currently leads the research project "Circular reasoning: exploring the power of non-wellfounded proofs," which challenges traditional proof theory by investigating systems where conclusions can be assumed as premises within never-ending inference chains. His work reexamines circular reasoning not as fallacious but as potentially legitimate within specific logical frameworks.
Contact information:
- Email: sebastian.enqvist@philosophy.su.se
- Workplace: Department of Philosophy, Universitetsvägen 10 D, plan 7, 106 91 Stockholm
۰مقاله منتشرشده
