Alberto Peruzzi

This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive account of Bourbaki’s structuralism and answers to several important questions that have arisen in connection with it, the book provides readers with a unique source of information and inspiration for future research on this topic.

After a concise description of issues concerning the causal and the deductive-nomological models of explanation, the flaws in the alternative view centred on relevance-to-context are examined. The paper argues for the need of a wider spectrum of options which takes into account both the Local/Global and the Internal/External aspects in order to determine the sense and the adequacy of any explanation. As a test for this argument, some specific problems are considered about the range of causal bonds, the admission of top-down causation, the appeal to emergence, the shift from explanation to explainability, the equivalence classes referred to as “cause” and “effect”. Finally, the paper deals with the comparison between inequivalent explanations and lists three remaining issues to complete the picture.

The paper addresses the main questions to be dealt with by any semantic theory which is committed to provide an explanation of how meaning is possible. On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structure of language, rely on the existence of end products in the morphogenesis of meaning. On the other, the paper argues that philosophy of language, which, either in the analytic or the structuralist or the hermeneutical tradition, made little use of such resources (when they are not simply rejected). Left the main question unanswered. Though phenomenology intended to focus on the constitutive process, it ended up mostly with philology. Cognitive semantics paved the way to focus on patterns of bodily interaction within the natural environment out of which basic schemes emerge and are metaphorically “lifted” to any universe of discourse. The explanatory commitment is thus endorsed through two hypotheses: (1) these schemes, of topological and kinaesthetic structure, determine the range of forms of atomic sentences of any natural language, and (2) the category-theoretic notion of universality allows for a proper analysis of how such schemes are “lifted”.

The issue as to whether an atomistic or holistic viewof knowledge and meaning is correct relies on the way part/whole relationships is analysed,exactly as the issue as to whether a constructive or realistic view of knowledge and meaningis correct relies on the way internal/external relationships is analysed. Both theprinciple of compositionality and the context principle depend on how finely the constituents,the nature and the size of the context are identified; both the notion of meaning andthe notion of truth depend on the resources of internalisation/externalisation. Thus thespectrum of semantic and epistemological theories varies from (global) atomismto (global) holism, and from minimal to maximal internalisation. Are compositionaltheories necessarily extensional? Does formal semantics necessarily rely on set theory?Does the domain-specific character of the notions of element, part and whole prevent anygeneral, non-trivial account? The aim of the present paper is to provide a negative answerto these questions by exploring some of the features a theory covering the phenomenologyof part and whole should have. This phenomenology will only be sketched through a fewparadigmatic examples, showing how the reference of notions of part and wholevaries and which are the constraints inherentin such variation. Categorytheory provides the tools for fashioning this framework, since it allows describing any coherentcollection of objects (with actions defined over them) and (action preserving) maps betweenthe objects, as well as the variation of such collections in terms of suitablefunctors, coding the ways parts and wholes undergo co-variation. The main thesis is thatthere are interference patterns between the two pairs Local/Global and Internal/External,only in terms of which the above phenomenology can be properly described.Se mai tu diventeraimetá di te stesso, e te l''auguro, ragazzo, capirai cose al di lá della comune intelligenza dei cervelli interi.Avrai perso metá di te e del mondo, ma la realtá rimasta sará mille volte piú profonda e preziosa. E tupure vorrai che tutto sia dimezzato e straziato a tua immagine, perchè bellezza e sapienza e giustizia ci sono soloin ció che é fatto a brani.

The paper deals with three sources of holistic arguments: confirmation of scientific theories, translation between languages, and the relationships of meaning with belief. Certain difficulties of each of the involved versions of holism are pointed out: such difficulties concern the lack of evidence in support of holistic theses, as well as the presence of slippery slope arguments, and finally inconsistencies, in holism. We argue that the dualism of atomism and holism is just a polarization of a much richer spectrum of cohesiveness levels, and that their consideration is needed in order to provide explanatory power to naturalistic epistemology. In the end, the features of a "local" alternative to holism are sketched, taking into account the role of gestaltic schemata in making stable reference possible.

The principle of compositionality (PC) claims that the meaning of a compound expression is determined by the meanings of its constituent expressions and the way they compose. Is it true or false? Does it apply to both natural and formalised languages? In order to answer, we must examine various formal versions of PC, the notion of meaning and the patterns of composition. Moreover, further principles are called for to determine its import and, in particular, its relationships with the Context Principle, which seems to be inconsistent with PC. The paper deals with some aspects of the issues involved, by considering both empirical and model-theoretic results on compositionality obtained in recent years. The main thesis is that only if the parametric form of PC is acknowledged, the above questions can receive a definite answer. To this aim, the paper makes the conditions for the consistency of PC with context-dependence explicit. Such conditions allow for the stability of a schematic conceptual/epistemic core, in contrast with the slippery slope leading to holistic pragmatism.

The main motivation of the paper lies in an argument which shows the relevance of the topological notion of lifting for semantic theory. After a brief examination of aspects of knowledge which are described by means of concepts of algebraic geometry, the development of a functorial connection between topology and group theory is related to aspects of logical analysis. In categorical terms, lifting is, with extension, a form of division. As such it is investigated here, starting from simple examples in general topology up to fiber spaces and topoi, in order to appreciate the recurrent pattern, which is finally used to explain the understanding of sentences about abstract domains.