This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations (...) to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues. (shrink)

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main problems of 20th century philosophy, i.e., the logical structure of language, the nature of scientific theories, and the architecture of the mind. The tools used to deal with the difficulties inherent in such problems have largely relied on set theory and its “received view”. There are specific issues, (...) in philosophy of language, epistemology and philosophy of mind, where this dependence turns out to be misleading. The same issues suggest the gain in understanding coming from category theory, which is, therefore, more than just the source of a “non-standard” approach to the foundations of mathematics. But, even so conceived, it is the very notion of what a foundation has to be that is called into question. The philosophical meaning of mathematics is no longer confined to which first principles are assumed and which “ontological” interpretation is given to them in terms of some possibly updated version of logicism, formalism or intuitionism. What is central to any foundational project proper is the role of universal constructions that serve to unify the different branches of mathematics, as already made clear in 1969 by Lawvere. Such universal constructions are best expressed by means of adjoint functors and representability up to isomorphism. In this lies the relevance of a category-theoretic perspective, which leads to wide-ranging consequences. One such is the presence of functorial constraints on the syntax–semantics relationships; another is an intrinsic view of (constructive) logic, as arises in topoi and, subsequently, in more general fibrations. But as soon as theories and their models are described accordingly, a new look at the main problems of 20th century’s philosophy becomes possible. The lack of any satisfactory solution to these problems in a purely logical and set-theoretic setting is the result of too circumscribed an approach, such as a static and punctiform view of objects and their elements, and a misconception of geometry and its historical changes before, during, and after the foundational “crisis”, as if algebraic geometry and synthetic differential geometry – not to mention algebraic topology – were secondary sources for what concerns foundational issues. The objectivity of basic geometrical intuitions also acts against the recent version of structuralism proposed as ‘the’ philosophy of category theory. On the other hand, the need for a consistent and adequate conceptual framework in facing the difficulties met by pre-categorical theories of language and scientific knowledge not only provides the basic concepts of category theory with specific applications but also suggests further directions for their development (e.g., in approaching the foundations of physics or the mathematical models in the cognitive sciences). This ‘virtuous’ circle is by now largely admitted in theoretical computer science; the time is ripe to realise that the same holds for classical topics of philosophy. (shrink)

The article looks briefly at Fefermans own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context.

The article surveys some past and present debates within mathematics over the meaning of category theory. It argues that such conceptual analyses, applied to a field still under active development, must be in large part either predictions of, or calls for, certain programs of further work.

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...) sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as the (...) structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism. (shrink)

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

Platonists in mathematics endeavour to prove the truthfulness of the proposal about the existence of mathematical objects. However, there have not been many explicit proofs of this proposal. One of the explicit ones is doubtlessly Baker’s Enhanced Indispensability Argument, formulated as a sort of modal syllogism. We aim at showing that the purpose of its creation – the defence of Platonist viewpoint – was not accomplished. Namely, the second premise of the Argument was imprecisely formulated, which gave space for various (...) interpretations of the EIA. Moreover, it is not easy to perceive which of the more precise formulations of the above-mentioned premise would be acceptable. For all these reasons, it is disputable whether the EIA can be used to defend Platonist outlook. At the beginning of this century, Baker has shown that the so-called Quine-Putnam Indispensability Argument can not provide “full” platonism - a guarantee of the existence of all mathematical objects. It turns out, however, that the EIA has a similar disadvantage. (shrink)

Cet article examine la thèse de Lautman selon laquelle la réalité des mathématiques doit être approchée par la « réalisation des idées dialectiques ». Pour ce faire, nous reprenons deux exemples que Lautman a lui-même traités. La question est de savoir si on peut ou non mieux décrire les idées dialectiques comme mathématiques, particulièrement maintenant que les moyens mathématiques d’approcher ces idées au niveau de généralisation appropriée existent. Ainsi, la théorie des catégories, inconnue de Lautman, peut donner une description très (...) approfondie de l’idée de dualité. Je soumets de plus que les instances, données par Lautman, de la réalisation des idées dialectiques en dehors des mathématiques et de la physique mathématique sont assez maigres, ce qui suggère fortement que les idées qu’il a décrites si admirablement sont immanentes à la pratique des mathématiques, au lieu d’appartenir à « une réalité idéale, supérieure aux mathématiques ».This paper examines Lautman’s claim that the reality of mathematics is to be addressed through the “realisation of dialectical ideas”. This is done in the context of two examples treated by Lautman himself. The question is raised as to whether we might better describe dialectical ideas as mathematical ones, especially now that we have mathematical means to approach these ideas at the right level of generality. For example, category theory, unknown to Lautman, can describe the idea of duality very thoroughly. It is argued that the instances given by Lautman of the realisation of dialectical ideas outside of mathematics and mathematical physics are rather slight, leading us to conclude that the ideas he so brilliantly describes are immanent to mathematical practice, rather than belonging to “an ideal reality, superior to mathematics”. (shrink)

One recent trend in the philosophy of mathematics has been to approach the central epistemological and metaphysical issues concerning mathematics from the perspective of the applications of mathematics to describing the world, especially within the context of empirical science. A second area of activity is where philosophy of mathematics intersects with foundational issues in mathematics, including debates over the choice of set-theoretic axioms, and over whether category theory, for example, may provide an alternative foundation for mathematics. My central claim is (...) that these latter issues are of direct relevance to philosophical arguments connected to the applicability of mathematics. In particular, the possibility of there being distinct alternative foundations for mathematics blocks the standard argument from the indispensable role of mathematics in science to the existence of specific mathematical objects. (shrink)

A precise notion of ‘mathematical structure’ other than that given by model theory may prove fruitful in the philosophy of mathematics. It is shown how the language and methods of category theory provide such a notion, having developed out of a structural approach in modern mathematical practice. As an example, it is then shown how the categorical notion of a topos provides a characterization of ‘logical structure’, and an alternative to the Pregean approach to logic which is continuous with the (...) modern structural approach in mathematics. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

[The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...) intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. (shrink)

Working in he 1930s, Albert Lautman described with extraordinary clarity the new understanding of mathematics of that time. He delighted in the multiple manifestations of a common idea in different mathematical fields. However, he took the common idea to belong not to mathematics itself, but to an 'ideal reality' sitting above mathematics. I argue in this paper that now that we have a mathematical language which can characterize these common ideas, we need not follow Lautman to adopt his form of (...) Platonism. On the other hand, Lautman should be much better known than he is for pointing philosophy towards this most important feature of mathematics. (shrink)

We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical language for combining (...) these ideas is topos theory, a framework earlier proposed for physics by Isham and collaborators. Our "Principle of general tovariance" states that any mathematical structure appearing in the laws of physics must be definable in an arbitrary topos (with natural numbers object) and must be preserved under so-called geometric morphisms. This principle identifies geometric logic as the mathematical language of physics and restricts the constructions and theorems to those valid in intuitionism: neither Aristotle's principle of the excluded third nor Zermelo's Axiom of Choice may be invoked. Subsequently, our "Equivalence principle" states that any algebra of observables (initially defined in the topos Sets) is empirically equivalent to a commutative one in some other topos. (shrink)