
ModelBased Reasoning in Science and Technology: Logical, Epistemological, and Cognitive Issues (edited book)Imprint: Springer. 2016.This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on ModelBased Reasoning (MBR'015), held on June 2527 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical c…Read more

Studies in Applied Philosophy, Epistemology and Rational Ethics volume 25 (edited book)Springer. 2016.

50Model Based Reasoning in Science and Technology. Logical, Epistemological, and Cognitive Issues (edited book)Springer International Publishing. 2006.This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on ModelBased Reasoning (MBR’015), held on June 2527 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical c…Read more

32A Geometrical Representation of the Basic Laws of Categorial GrammarStudia Logica 105 (3): 479520. 2017.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 noncommutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a wellknown set of categorial grammar laws: Monotonicity, Application, Expansion, T…Read more

17Universal vs. particular reasoning: a study with neuroimaging techniquesLogic Journal of the IGPL 21 (6): 10171027. 2013.

18For 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 Lamb…Read more

21Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and ProofNetsIn Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer Verlag. pp. 137. 2021.This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proofnets; the discovery  due to such a geometrical representation  of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

29Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (edited book)Springer Verlag. 2021.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, l…Read more

43IgnorancePreserving Mental Models Thought Experiments as Abductive MetaphorsFoundations of Science 24 (2): 391409. 2019.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 ignorancepreserving 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 won…Read more

54A tale of four grammarsStudia Logica 71 (3): 315329. 2002.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.

24Attitudes towards scientific knowledge: social dispositions and personality traitsSynthese 199 (12): 119139. 2020.The present pilot study investigates the relationships between scientific ignorance and several individual attitudes, personality traits and cultural behaviors. Starting from wellestablished practices and standards of psychometric analysis, our work has produced a complex crossscalar survey of scientific competency between students attending an art and multimedia high school. Data are classified through six scales about selfesteem, scientific attitudes, paranormal beliefs, scientific competen…Read more

41Applying Pregroups to Italian Statements and QuestionsStudia Logica 87 (23): 253268. 2007.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.

Università degli Studi di ChietiDepartment of Philosophical, Pedagogical and EconomicQuantitative SciencesProfessor

