uu.seUppsala University Publications
Change search
Link to record
Permanent link

Direct link
BETA
Solin, Kim
Publications (10 of 17) Show all publications
Solin, K. (2019). Om olika hållningar till matematiken. In: Mio Lindman, Salla Peltonen, Hugo Strandberg (Ed.), Gensvar: Essäer för Göran Torrkulla (pp. 153-163). Åbo: Åbo Akademi
Open this publication in new window or tab >>Om olika hållningar till matematiken
2019 (Swedish)In: Gensvar: Essäer för Göran Torrkulla / [ed] Mio Lindman, Salla Peltonen, Hugo Strandberg, Åbo: Åbo Akademi , 2019, p. 153-163Chapter in book (Other academic)
Place, publisher, year, edition, pages
Åbo: Åbo Akademi, 2019
National Category
Philosophy
Research subject
Philosophy
Identifiers
urn:nbn:se:uu:diva-378399 (URN)978-952-12-3757-7 (ISBN)
Available from: 2019-03-05 Created: 2019-03-05 Last updated: 2019-08-08Bibliographically approved
Solin, K. (2018). Rush Rhees on Wittgenstein's Philosophy of Mathematics. In: Gabriele M. Mras; Paul Weingartner; Bernhard Ritter (Ed.), Philosophy of Logic and Mathematics: 41st International Wittgenstein Symposium: . Paper presented at 41st International Wittgenstein Symposium, 5-11 August, 2018,Kirchberg am Wechsel, Austria (pp. 233-235).
Open this publication in new window or tab >>Rush Rhees on Wittgenstein's Philosophy of Mathematics
2018 (English)In: Philosophy of Logic and Mathematics: 41st International Wittgenstein Symposium / [ed] Gabriele M. Mras; Paul Weingartner; Bernhard Ritter, 2018, p. 233-235Conference paper, Published paper (Refereed)
Keywords
Philosophy of Mathematics, Ludwig Witttgenstein, Rush Rhees, objects of comparison
National Category
Philosophy
Identifiers
urn:nbn:se:uu:diva-363183 (URN)
Conference
41st International Wittgenstein Symposium, 5-11 August, 2018,Kirchberg am Wechsel, Austria
Available from: 2018-10-15 Created: 2018-10-15 Last updated: 2019-01-09Bibliographically approved
Solin, K. (2017). Gombrowicz mot vetenskapen och existentialismen. Nya Argus, 110(1-2), 32-37
Open this publication in new window or tab >>Gombrowicz mot vetenskapen och existentialismen
2017 (Swedish)In: Nya Argus, ISSN 0027-7126, Vol. 110, no 1-2, p. 32-37Article in journal (Other (popular science, discussion, etc.)) Published
National Category
Philosophy, Ethics and Religion
Identifiers
urn:nbn:se:uu:diva-363224 (URN)
Available from: 2018-10-15 Created: 2018-10-15 Last updated: 2018-12-06Bibliographically approved
Solin, K. (2017). Vetenskapen är sig själv nog: Quine och naturalismen. In: George Masterton, Keizo Matsubara, Kim Solin (Ed.), Från Skaradjäkne till Uppsalaprofessor: Festskrift till Lars-Göran Johansson i samband med hans pensionering. Uppsala: Dept. of Philosophy, Uppsala University, Sweden
Open this publication in new window or tab >>Vetenskapen är sig själv nog: Quine och naturalismen
2017 (Swedish)In: Från Skaradjäkne till Uppsalaprofessor: Festskrift till Lars-Göran Johansson i samband med hans pensionering / [ed] George Masterton, Keizo Matsubara, Kim Solin, Uppsala: Dept. of Philosophy, Uppsala University, Sweden , 2017Chapter in book (Other academic)
Place, publisher, year, edition, pages
Uppsala: Dept. of Philosophy, Uppsala University, Sweden, 2017
Series
Uppsala Philosophical Studies / Uppsala University, Department of Philosophy, ISSN 1402-1110 ; 60
Keywords
Quine, naturalism
National Category
Philosophy
Identifiers
urn:nbn:se:uu:diva-363910 (URN)978-91-506-2642-1 (ISBN)
Available from: 2018-10-20 Created: 2018-10-20 Last updated: 2020-01-22Bibliographically approved
Solin, K. (2015). Encoding and Decoding in Refinement Algebra. In: Wolfram Kahl, Michael Winter and José N. Oliveira (Ed.), Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings: . Paper presented at Relational and Algebraic Methods in Computer Science. Springer Berlin/Heidelberg
Open this publication in new window or tab >>Encoding and Decoding in Refinement Algebra
2015 (English)In: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / [ed] Wolfram Kahl, Michael Winter and José N. Oliveira, Springer Berlin/Heidelberg, 2015Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2015
Series
Lecture Notes in Computer Science ; 9348
National Category
Algebra and Logic Computer Sciences
Identifiers
urn:nbn:se:uu:diva-264474 (URN)10.1007/978-3-319-24704-5_13 (DOI)
Conference
Relational and Algebraic Methods in Computer Science
Available from: 2015-10-13 Created: 2015-10-13 Last updated: 2018-01-11
Solin, K. (2014). Mathematicism in Computability Theory. In: Adam Olszewski, Bartosz Brozek, Piotr Urbanczyk (Ed.), Church's Thesis: Logic, Mind and Nature: (pp. 55-113). Krakow: Copernicus Center Press
Open this publication in new window or tab >>Mathematicism in Computability Theory
2014 (English)In: Church's Thesis: Logic, Mind and Nature / [ed] Adam Olszewski, Bartosz Brozek, Piotr Urbanczyk, Krakow: Copernicus Center Press , 2014, p. 55-113Chapter in book (Refereed)
Place, publisher, year, edition, pages
Krakow: Copernicus Center Press, 2014
Keywords
Church's thesis, David Hilbert, Ludwig Wittgenstein, Rush Rhees
National Category
Philosophy
Research subject
Theoretical Philosophy
Identifiers
urn:nbn:se:uu:diva-242688 (URN)978-83-7886-009-9 (ISBN)
Available from: 2015-01-30 Created: 2015-01-30 Last updated: 2020-03-05
Solin, K. (2013). Modal semirings with operators for knowledge representation. In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence: . Paper presented at 5th International Conference on Agents and Artificial Intelligence (pp. 197-202). Montreal, Quebec, Canada: Scitepress
Open this publication in new window or tab >>Modal semirings with operators for knowledge representation
2013 (English)In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Montreal, Quebec, Canada: Scitepress , 2013, p. 197-202Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Montreal, Quebec, Canada: Scitepress, 2013
Keywords
Dynamic epistemic logic, algebra, semirings
National Category
Philosophy
Research subject
Theoretical Philosophy
Identifiers
urn:nbn:se:uu:diva-242690 (URN)9789898565389 (ISBN)9789898565396 (ISBN)
Conference
5th International Conference on Agents and Artificial Intelligence
Available from: 2015-01-30 Created: 2015-01-30 Last updated: 2015-01-30
Solin, K. (2013). The Mathematician as Mathematics: Theories of Computation in Light of Wittgenstein's Thought. (Doctoral dissertation). Uppsala: Filosofiska institutionen
Open this publication in new window or tab >>The Mathematician as Mathematics: Theories of Computation in Light of Wittgenstein's Thought
2013 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.

The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. Emphasis is put on the difference between technical work and philosophical work. Philosophical work starts in the lifeworld and is akin to anthropology. The descriptions needed in this work can be given by considering our language use and by drawing up objects of comparison. It is nonetheless important not to confuse philosophical problems with problems of a purely intellectual character, since problems in philosophy can be described as bearing similarities to moral problems.

In the second part, which is the main part of the dissertation, the classical theories of computation are considered against the background of the first part. The chapter starts by briefly tracing the historical development of the theories back to Hilbert. It is noted that Hilbert was concerned with epistemological questions. After this, it is investigated how well these epistemological questions were dealt with in the theories of computation that followed. In particular, work by Gödel, Church, and Turing is considered. Topics that are discussed are the very idea of mathematically analysing mathematical activity itself, the concept of finite procedure, what is natural in mathematics, and the idea that computations should be described as transitions between states.

The third part is about a more recent theory of computation: abstract state machines. It is shown that many of the aspects of the classical theories that were problematic from an epistemological perspective are carried over to the abstract state machines. This includes the notion of state. Other topics are the idea of axiomatising computability, and the use of abstract state machines for proving Church's thesis.

Place, publisher, year, edition, pages
Uppsala: Filosofiska institutionen, 2013. p. 170
Keywords
theories of computation, philosophy of mathematics, Wittgenstein
National Category
Philosophy
Identifiers
urn:nbn:se:uu:diva-209716 (URN)
Public defence
2013-12-10, Geijersalen, Thunbergsvägen 3P, Uppsala, 13:15 (English)
Opponent
Supervisors
Available from: 2013-11-19 Created: 2013-10-24 Last updated: 2013-11-19
Solin, K. (2012). Dual Choice and Iteration in an Abstract Algebra of Action. Studia Logica: An International Journal for Symbolic Logic, 100(3), 607-630
Open this publication in new window or tab >>Dual Choice and Iteration in an Abstract Algebra of Action
2012 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 100, no 3, p. 607-630Article in journal (Refereed) Published
Abstract [en]

This paper presents an abstract-algebraic formulation of action facilitating reasoning about two opposing agents. Two dual nondeterministic choice operators are formulated abstract-algebraically: angelic (or user) choice and demonic (or system) choice. Iteration operators are also defined. As an application, Hoare-style correctness rules are established by means of the algebra. A negation operator is also discussed.

Keywords
Logic of action, Abstract algebra, Nondeterministic choice, Program refinement
National Category
Philosophy, Ethics and Religion
Identifiers
urn:nbn:se:uu:diva-183925 (URN)10.1007/s11225-012-9416-9 (DOI)000309055600008 ()
Available from: 2012-11-07 Created: 2012-11-05 Last updated: 2017-12-07
Solin, K. (2012). Mathematics and religion: on a remark by Simone Weil. In: Bartosz Brozek, Adam Olszewski, Mateusz Hohol (Ed.), Logic in Theology: (pp. 219-236). Krakow: Copernicus Center Press
Open this publication in new window or tab >>Mathematics and religion: on a remark by Simone Weil
2012 (English)In: Logic in Theology / [ed] Bartosz Brozek, Adam Olszewski, Mateusz Hohol, Krakow: Copernicus Center Press , 2012, p. 219-236Chapter in book (Refereed)
Place, publisher, year, edition, pages
Krakow: Copernicus Center Press, 2012
Keywords
mathematics, religion, Simone Weil
National Category
Philosophy
Identifiers
urn:nbn:se:uu:diva-242928 (URN)978-83-7886-006-8 (ISBN)978-83-7886-052-5 (ISBN)
Available from: 2015-02-03 Created: 2015-02-03 Last updated: 2015-02-03
Organisations

Search in DiVA

Show all publications