Kim Solin
Associate professor at Department of Philosophy; Theoretical Philosophy; Emeriti and Otherwise Active
- E-mail:
- Kim.Solin@filosofi.uu.se
- Visiting address:
- Engelska parken, Thunbergsvägen 3 H
- Postal address:
- Box 627
751 26 UPPSALA
Visiting researcher at Department of History of Science and Ideas
- E-mail:
- kim.solin@filosofi.uu.se
- Visiting address:
- Engelska parken, Thunbergsvägen 3P
- Postal address:
- Box 629
751 26 UPPSALA
Download contact information for Kim Solin at Department of History of Science and Ideas
- Academic merits:
- PhD, docent
Short presentation
I am an Associate Professor of Computer Science and Head of Department at the University of Gävle and an affiliated researcher at the Department of Philosophy. As a philosopher, my primary focus today is on existential philosophy in a broad sense and on Wittgenstein studies.
Biography
I am also an Honorary Research Fellow in Philosophy at The University of Queensland, Australia, and Chair of the Swedish Arts Council's committee for support of non-fiction literature.
I have previously held positions such as Head of Section in the Government Offices of Sweden, Senior Faculty Administrator at the Office for Humanities and Social Sciences at Uppsala University, and Senior Lecturer in Computer Science at Åbo Akademi University. Part of my doctoral studies I spent at the University of Augsburg and the University of Göttingen in Germany.
I hold a Ph.D. in Theoretical Philosophy from Uppsala University, a Ph.D. in Computer Science from Åbo Akademi University, and I am a titular Associate Professor (docent) of Philosophy at the University of Helsinki.

Publications
Selection of publications
-
On Irigaray's and Wittgenstein's Critiques of Formal Logic
Part of Feminist Philosophy — Language, Knowledge, and Politics, p. 587-597, 2025
-
Rädd för döden? Lev som en katt!
Part of Svenska Dagbladet, Under strecket, 2025
-
Nietzsche the Afflicted: On Ritchie Robertson’s “Friedrich Nietzsche”
Part of Los Angeles Review of Books, 2023
-
The Revision of Wittgenstein's Remarks on the Foundations of Mathematics
Part of The Creation of Wittgenstein, p. 105-136, Bloomsbury Academic, 2023
-
Paul Feyerabends sista brev till läsarna
Part of OBS Essä, Sveriges Radio P1, 2023
-
Den förlorade konsten att förlora sig i läsning
Part of Svenska Dagbladet, Under strecket, 2017
-
Dual Choice and Iteration in an Abstract Algebra of Action
Part of Studia Logica, p. 607-630, 2012
-
A Sketch of a Dynamic Epistemic Semiring
Part of Information and Computation, p. 594-604, 2010
Recent publications
-
The publication of Rush Rhees's Nachlass
Part of 50 Jahre Wittgenstein Symposium, p. 820-830, 2026
-
Part of Signum, p. 54-56, 2026
-
On Irigaray's and Wittgenstein's Critiques of Formal Logic
Part of Feminist Philosophy — Language, Knowledge, and Politics, p. 587-597, 2025
-
Rädd för döden? Lev som en katt!
Part of Svenska Dagbladet, Under strecket, 2025
-
Part of Signum, p. 50-52, 2024
All publications
Articles in journal
-
Rädd för döden? Lev som en katt!
Part of Svenska Dagbladet, Under strecket, 2025
-
Mystifiering och avmystifiering av artificiell intelligens
Part of Signum, p. 6-9, 2024
-
Ryktet om universums död är överdrivet
Part of Svenska Dagbladet, Under Strecket, 2024
-
”Säg att jag hade ett underbart liv”: om Ludwig Wittgenstein, The Meaning of Life
Part of Svenska Dagbladet, Under Strecket, p. 24-24, 2024
-
Nietzsche the Afflicted: On Ritchie Robertson’s “Friedrich Nietzsche”
Part of Los Angeles Review of Books, 2023
-
Paul Feyerabends sista brev till läsarna
Part of OBS Essä, Sveriges Radio P1, 2023
-
Så kan bakslaget visa oss vägen framåt
Part of Svenska Dagbladet, Under strecket, 2023
-
I Silicon Valley har arbetet ersatt Gud
Part of Svenska Dagbladet, Under strecket, 2022
-
Filosofin kan lära dig konsten att leva
Part of Svenska Dagbladet, Under strecket, 2022
-
Rush Rhees och den kontemplativa filosofin
Part of Signum, p. 32-35, 2021
-
Vetenskapen är sig själv nog: Quine och naturalismen
Part of Signum, p. 28-33, 2020
-
Part of Meddelanden från Åbo Akademi, p. 35-35, 2018
-
Den förlorade konsten att förlora sig i läsning
Part of Svenska Dagbladet, Under strecket, 2017
-
Gombrowicz mot vetenskapen och existentialismen
Part of Nya Argus, p. 32-37, 2017
-
Dual Choice and Iteration in an Abstract Algebra of Action
Part of Studia Logica, p. 607-630, 2012
-
Normal forms in total correctness for while programs and action systems
Part of Journal of Logic and Algebraic Programming, p. 362-375, 2011
-
A Sketch of a Dynamic Epistemic Semiring
Part of Information and Computation, p. 594-604, 2010
-
Refinement Algebra for Probabilistic Programs
Part of Formal Aspects of Computing, p. 3-31, 2010
-
Enabledness and termination in refinement algebra
Part of Science of Computer Programming, p. 654-668, 2009
Books
Chapters in book
-
Part of En stor själ för vår tid, p. 105-125, Artos & Norma, 2024
-
The Revision of Wittgenstein's Remarks on the Foundations of Mathematics
Part of The Creation of Wittgenstein, p. 105-136, Bloomsbury Academic, 2023
-
Om olika hållningar till matematiken
Part of Gensvar, p. 153-163, Åbo Akademi, 2019
-
Vetenskapen är sig själv nog: Quine och naturalismen
Part of Från Skaradjäkne till Uppsalaprofessor, Dept. of Philosophy, Uppsala University, Sweden, 2017
-
Mathematicism in Computability Theory
Part of Church's Thesis: Logic, Mind and Nature, p. 55-113, Copernicus Center Press, 2014
-
Mathematics and religion: on a remark by Simone Weil
Part of Logic in Theology, p. 219-236, Copernicus Center Press, 2012
-
Part of Advocatus Scientiae, p. 107-114, Ämnet filosofi vid Åbo Akademi, 2008
Collections (editor)
-
Dept. of Philosophy, Uppsala University, Sweden, 2017
-
Advocatus Scientiae: En filosofisk vänbok tillägnad Hans Rosing
Ämnet filosofi vid Åbo Akademi, 2008
Conference papers
-
The publication of Rush Rhees's Nachlass
Part of 50 Jahre Wittgenstein Symposium, p. 820-830, 2026
-
On Irigaray's and Wittgenstein's Critiques of Formal Logic
Part of Feminist Philosophy — Language, Knowledge, and Politics, p. 587-597, 2025
-
Rush Rhees and the Tratctatus: A Handful of Observations
Part of 100 Years Tractatus, p. 545-552, 2023
-
Rush Rhees on Set Theory, the Sophists and Wittgenstein
Part of Platonism, 2022
-
Extern granskning av utbildningsprogram – erfarenheter från två lärosäten
2019
-
Rush Rhees on Wittgenstein's Philosophy of Mathematics
Part of Philosophy of Logic and Mathematics, p. 233-235, 2018
-
Encoding and Decoding in Refinement Algebra
Part of Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, 2015
-
Modal semirings with operators for knowledge representation
Part of Proceedings of the 5th International Conference on Agents and Artificial Intelligence, p. 197-202, 2013
-
Towards an algebra for real-time programs
Part of Relational and Algebraic Methods in Computer Science - 13th International Conference, p. 50-65, 2012
-
A While Program Normal Form Theorem in Total Correctness
Part of Relations and Kleene Algebra in Computer Science, p. 322-336, 2009
-
Reactive probabilistic programs and refinement algebra
Part of Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, 2008
-
Refinement Algebra with Operators for Enabledness and Termination
Part of Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, p. 397-415, 2006
-
On Two Dually Nondeterministic Refinement Algebras
Part of Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, p. 373-387, 2006
-
Omega Algebra, Demonic Refinement Algebra and Commands
Part of Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, 2006
Monograph doctoral thesis
Other
-
Part of Signum, p. 54-56, 2026
-
Part of Signum, p. 50-52, 2024
-
Duvor och läskiga dockor: Cattelan på Moderna
Part of Nya Argus, p. 11-12, 2024
-
Åttiotalet på Moderna Museet: Forever Young?
Part of Nya Argus, p. 218-219, 2023
-
Vidgning men ingen vändning: Om antologin Vidgade perspektiv på lidandets problem
Part of Signum, p. 68-70, 2023
-
Ett oroande systematiskt verk om Kierkegaard
Part of Signum, p. 61-63, 2023
-
Stilen mot formen: Swartz i Prag
Part of Nya Argus, p. 430-431, 2022
-
Part of Signum, p. 50-52, 2022
-
Part of Signum, p. 45-47, 2022
-
Part of Nordic Wittgenstein Review, 2021