In this paper we consider the relations existing between four deductive systems that have been called categorial grammars and have relevant connections with linguistic investigations: the syntactic calculus, bilinear logic, compact bilinear logic and Curry''s semantic calculus.

Die fünf Bände enthalten die Hauptvorträge und eingeladene Beiträge der panels des X. Internationalen Kant-Kongresses, der 2005 in Sao Paolo stattfand.

We ordinarily believe that the inhabitants of the world - including ourselves - persist over time. Such an idea, however, has puzzled philosophers for centuries. How can we change and still be the same? More specifically, is there any constitutive condition of our identity over time? And if so, does this condition involve mental aspects, physical aspects, or something else? Or is rather personal identity primitive and unanalyzable, so that our persistence is nothing but a brute fact? This volume is (...) a collection of new essays from leading figures in the field analyzing the persistence of persons and the criteria of personal identity over time. It presents an extensive discussion of the most relevant views on personal identity in contemporary metaphysics and provides new treatments of the constitutive conditions of personal persistence. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws (...) and Switching laws. (shrink)

In this paper, we aim at explaining the relevance of thought experiments in philosophy and the history of science by describing them as particular instances of two categories of creative thinking: metaphorical reasoning and abductive cognition. As a result of this definition, we will claim that TEs hold an ignorance-preserving trait that is evidenced in both TEs inferential structure and in the process of scenario creation they presuppose. Elaborating this thesis will allow us to explain the wonder that philosophers of (...) science have consistently shown for TEs, as well as the high functionality of TEs in the creative aspects of scientific and philosophical praxis. (shrink)

In a recent paper, Cumpa : 319–324, 2014) argues that a scientific turn in metaphysics requires the acceptance of a materialist criterion of fundamentality, according to which the most fundamental metaphysical category is the one that provides us with a reconciliation of the ordinary world and the physical universe. He concludes that the dominant category of substance cannot be the most fundamental category, for it does not satisfy this criterion of fundamentality. The most fundamental category is instead the category of (...) fact. Although convincing, the defense of factualism over substantialism offered by Cumpa takes into account the case of classical physics without considering the physical universe of quantum mechanics. My aim in this paper is to offer a completion to Cumpa’s factualist approach. To achieve my aim, I show that substances cannot provide a satisfactory account of the relationship between the ordinary world and the physical universe even in the case of quantum mechanics, whereas a factualist approach does. (shrink)

We know from the literature in theoretical linguistics that interrogative constructions in Italian have particular syntactic properties, due to the liberal word order and the rich inflectional system. In this paper we show that the calculus of pregroups represents a flexible and efficient computational device for the analysis and derivation of Italian sentences and questions. In this context the distinction between direct vs. indirect statements and questions is explored.

We discuss models that attempt to provide an explanation for the violation of Bell inequalities at a distance in terms of hidden influences. These models reproduce the quantum correlations in most situations, but are restricted to produce local correlations in some configurations. The argument presented in (Bancal et al. Nat Phys 8:867, 2012) applies to all of these models, which can thus be proved to allow for faster-than-light communication. In other words, the signalling character of these models cannot remain hidden.

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws (...) and Switching laws. (shrink)

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming (...) generations of scholars. (shrink)

The Horizon Quantum Mechanics is an approach that allows one to analyse the gravitational radius of spherically symmetric systems and compute the probability that a given quantum state is a black hole. We first review the formalism and show how it reproduces a gravitationally inspired GUP relation. This results leads to unacceptably large fluctuations in the horizon size of astrophysical black holes if one insists in describing them as central singularities. On the other hand, if they are extended systems, like (...) in the corpuscular models, no such issue arises and one can in fact extend the formalism to include asymptotic mass and angular momentum with the harmonic model of rotating corpuscular black holes. The Horizon Quantum Mechanics then shows that, in simple configurations, the appearance of the inner horizon is suppressed and extremal geometries seem disfavoured. (shrink)

This book is dedicated to the life and work of the mathematician Joachim Lambek. The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist. In the 1960s, he began to work in category theory, categorical algebra, logic, proof (...) theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard’s linear logic. In a surprising development, he introduced a novel and deeper algebraic framework for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists. (shrink)

Humanity is threatened by global risks that cross borders and national institutions in a way that has never been experienced before. Disasters, far from being purely natural phenomena, constitute the greatest danger in a context of political, social and scientific uncertainty. A new risk-based governance appears, ranging from the introduction of problematic exceptional measures and an increased vulnerability and inequality in risk exposure. This proposal aims to deepen the analysis of the relationship between law, politics and catastrophe as the focal (...) point of the evolution of risk prevention and management and its significance for the transformations of our understanding of democracy. The research proposes to engage catastrophes by conceiving them as powerful amplifiers and epiphanies of injustices, assuming that the role of the state should be inserted into a wider reading that must include the problem of unequal distribution of risks. (shrink)

Quantum physics is often perceived as a weird and abstract theory, which physicists must use in order to make correct predictions. But many recent experiments have shown that the weirdness of the theory simply mirrors the weirdness of phenomena: it is Nature itself, and not only our description of it, that behaves in an astonishing way. This book selects those, among these typical quantum phenomena, whose rigorous description requires neither the formalism, nor an important background in physics.

Quantum physics is often perceived as a weird and abstract theory, which physicists must use in order to make correct predictions. But many recent experiments have shown that the weirdness of the theory simply mirrors the weirdness of phenomena: it is Nature itself, and not only our description of it, that behaves in an astonishing way. This book selects those, among these typical quantum phenomena, whose rigorous description requires neither the formalism, nor an important background in physics.The first part of (...) the book deals with the phenomenon of single-particle interference, covering the historical questions of wave-particle duality, objective randomness and the boundary between the quantum and the classical world, but also the recent idea of quantum cryptography. The second part introduces the modern theme of entanglement, by presenting two-particle interference phenomena and discussing Bell's inequalities. A concise review of the main interpretations of quantum physics is provided. (shrink)

Abstract:There is a storied history of Native and Indigenous feminisms on Turtle Island (North America). We are fortunate that many of those stories birthed from an ancestral tradition of storytelling and survivance were captured in the canonical feminist anthology This Bridge Called My Back: Writings of Radical Women of Color. In celebration and commemoration of 40 years since This Bridge was first published we visit with three of the books original Native and Indigenous contributors–Chrystos, Max Wolf Valerio, and Jo (...) Carrillo–to recount old as well as new stories as they explore what Native and Indigenous feminisms mean to them and their continued work for Indigenous visibility. The conversation provides a unique intergenerational vision for conceptualizing contemporary Native and Indigenous feminisms all the while building upon the legacy and path set forth by amazing Native and Indigenous women trailblazers. (shrink)