•  42
    Objects and Processes in Mathematical Practice
    Foundations of Science 16 (4): 337-351. 2011.
    In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist d…Read more
  •  7
    Philosophy, Computing and Information Science (edited book)
    Chatto & Pickering. 2014.
    Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophical enquiry behind. Featuring the work of computer scientists and philosophers, these essays provide an overview of an exciting new area of philosophy that is still taking shape
  • Philosophy, computing and information science (edited book)
    with Ruth Hagenbruger
    Pickering & Chattoo. 2014.
  • In this chapter we will investigate the nature of abstraction in detail, its entwinement with logical thinking, and the general role it plays for the mind. We find that non-logical capabilities are not only important for input processing, but also for output processing. Human beings jointly use analytic and embodied capacities for thinking and acting, where analytic thinking mirrors reflection and logic, and where abstraction is the form in which embodied thinking is revealed to us. We will foll…Read more