The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology (...) in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science. (shrink)

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is to (...) show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is to (...) show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

Virtual objects, such as online shops, the elements that go to make up virtual life in computer games, virtual maps, e-books, avatars, cryptocurrencies, chatbots, holograms, etc., are a phenomenon we now encounter at every turn: they have become a part of our life and our world. Philosophers—and ontologists in particular—have sought to answer the question of what, exactly, they are. They fall into two camps: some, pointing to the chimerical character of virtuality, hold that virtual objects are like dreams, illusions (...) and fictions, while others, citing the real impact of virtuality on our world, take them to be real—an actual part of the real world, just like other real objects. In this article, we defend the thesis that both sides are wrong. Using Roman Ingarden’s phenomenological ontology, we advocate a position according to which a virtual object is a computationally grounded intentional object that has its existential foundation in computational processes, which are compliant with a certain model of computation. We point out that virtuality is framed by some kind of ideal mathematical objects: i.e., mathematical models of computation, which in turn fall, each of them, under their respective ideas. We also refer to the idea of natural computation, which in conjunction with the ontological analysis carried out leads to the thesis that an object can be more or less virtual. (shrink)

This article examines the use of mathematical concepts in philosophy, focusing on topology, which may be viewed as a modern supplement to geometry. We show that Plato and Parmenides were already employing geometric ideas in their research, and discuss three examples of the application of topology to philosophical problems: the first concerns the analysis of the Cartesian distinction between res extensa and res cogitans, the second the ontology of possible worlds of Wittgenstein's Tractatus, and the third Leibniz's monadology. We also (...) consider the role of topology in mathematical explanations of the sort found in science, arguing that it can perform a role in philosophy that is of comparable importance. (shrink)

Philosophers have no time. They are tired with philosophising. They doze off or even die of fatigue over yet another review, opinion, article, translation of works of an English-speaking philosophical genius, publishing and editing of a book. They are exhausted by the obligatory teaching, bored with listening to conference papers, depressed by defences of post-doctoral theses, hopeless against plagiarism, out-of-breath chasing credits, worn out by English articles, crumpled and ill-treated by institutions, tired with maintaining and co-creating them, jaded by the (...) speed of information transfer, weakened by the absence of lively thought, knackered by the number of graduates and languid due to their quality, depressed by discord, exhausted by the continuous game of getting lost and finding oneself in science and the Academy. -/- In this ruffle, shabbiness and depletion they undertake with difficulty yet another fight for philosophy, in which they often represent the lost cause and happen to be merciless to each other, sometimes they give up and even moan. Their tiredness is accompanied by heavy steps and sluggishness. Barely alive they keep on living. Somewhere they find the energy, they live for something, serve something. In the article, following the smartest of philosophers, Socrates, and his defence speech, the speech in defence of his life, we explain where the philosophers find the energy, what they live for and what, often in contradiction to their own declarations, they serve. (shrink)

Braddon-Mitchell and Miller put forward the claim that the relation of being-the-same-person is gradable: a person can be the same person tomorrow as today, but only half the same. To justify their thesis, they propose a model of persons that is intended to be metaphysically neutral. This article sets out to show that such a model implicitly contains strong metaphysical assumptions that run contrary to the authors’ own statements. Using Roman Ingarden’s phenomenological ontology, we aim to demonstrate that within the (...) model in question persons exist intentionally, where this leads to a caricature rather than an adequate account of persons. In opposition to Braddon-Mitchell and Miller, we argue that the justification presented for the thesis of the gradability of the relation of being-the-same-person in fact makes it reasonable to demand that an adequate model of persons be posited. We present Kurt Lewin’s holistic topological-dynamic model, and show that in this context it is not being-the-same-person that is gradable, but rather the characteristic (of persons) that is dimension. Thus, we reject the thesis of the gradability of the relation of being-the-same-person involved in personal identity. (shrink)

“Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information Center in Sopot. It touches upon the intimate relationship between the foundations of physics, mathematics and philosophy. To address this question one needs a conceptual framework, which is on the one hand rigorous and, on the other hand capacious enough to grasp the diversity of (...) modern theoretical physics. Category theory is here a natural choice. It is not only an independent, well-developed and very advanced mathematical theory, but also a holistic, process-oriented way of thinking. (shrink)

part, whole, ideal quality, foundation, unity, space, topoontology, topophilosophy, formal ontology, topology, mathematical philosophy, topology, topology of the person, topology of mind, mathematics in philosophy, mereology, mereotopology, phenomenology, Benedict Bornstein, Edmund Husserl, Roman Ingarden, Kurt Lewin, René Thom.

This book is a collection of articles authored by renowed Polish ontologists living and working in the early part of the 21st century. Harking back to the well-known Polish Lvov-Warsaw School, founded by Kazimierz Twardowski, we try to make our ontological considerations as systematically rigorous and clear as possible – i.e. to the greatest extent feasible, but also no more than the subject under consideration itself allows for. Hence, the papers presented here do not seek to steer clear of methods (...) of inquiry typical of either the formal or the natural sciences: on the contrary, they use such methods wherever possible. At the same time, despite their adherence to rigorous methods, the Polish ontologists included here do not avoid traditional ontological issues, being inspired as they most certainly are by the great masters of Western philosophy – from Plato and Aristotle, through St. Thomas and Leibniz, to Husserl, to name arguably just the most important. (shrink)

A possibilities-based account of practical logic.Andrzej Kisielewicz’s logic without edgesIn this paper I comment on the theses presented in Andrzej Kisielewicz’s book entitled Logic and Argumentation. A Practical Course in Critical Thinking. The author argues that the current way of teaching practical logic is not good, because it is too much based on formal logic. It should be replaced by a comprehensive analysis of reasonable possibilities. I demonstrate that Kisielewicz’s vision of changing the way in which practical logic is taught (...) is a good one. I claim that Kisielewicz proposed a kind of ontologization of logic. I argue that teaching logic and critical thinking need to be complemented by creative thinking techniques. I do not agree with the criticism of traditional logic and formal logic made by Kisielewicz and point out that common sense — so highly valued by Kisielewicz — is deceptive and does not encourage critical thinking. (shrink)

In order to understand negation as such, at least since Aristotle’s time, there have been many ways of conceptually modelling it. In particular, negation has been studied as inconsistency, contradictoriness, falsity, cancellation, an inversion of arrangements of truth values, etc. In this paper, making substantial use of category theory, we present three more conceptual and abstract models of negation. All of them capture negation as turning upside down the entire structure under consideration. The first proposal turns upside down the structure (...) almost literally; it is the well known construction of opposite category. The second one treats negation as a contravariant functor and the third one captures negation as adjointness. Traditionally, negation was investigated in the context of language as negation of sentences or parts of sentences, e.g. names. On the contrary we propose to negate structures globally. As a consequence of our approach we provide a solution to the ontological problem of the existence of negative states of affairs. (shrink)