Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...) that does not resort to sets or set-like objects to interpret plural variables, but adopts the view that a plural variable has many objects as its values. Using this semantics, we also articulate a generalized notion of ontological commitment which enables us to develop some ideas of earlier critics of the alleged ontological innocence of plural logic. (shrink)

Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...) and against the possibility of unrestricted quantification, highlighting some of the broader implications of the debate. (shrink)

What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a “critical” alternative to traditional plural logic.

The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...) one which uses higher-order resources. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither (...) is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

Sentences that exhibit sensitivity to order (e.g. 'John and Mary arrived at school in that order' and 'Mary and John arrived at school in that order') present a challenge for the standard formulation of plural logic. In response, some authors have advocated new versions of plural logic based on fine-grained notions of plural reference, such as serial reference (Hewitt 2012) and articulated reference (Ben-Yami 2013). The aim of this article is to show that sensitivity to order should be accounted for (...) without altering the standard formulation of plural logic. In particular, sensitivity to order does not call for a fine-grained notion of plural reference. We point out that the phenomenon in question is quite broad and that current proposals are not equipped to deal with the full range of cases in which order plays a role. Then we develop an alternative and unified account, which locates the phenomenon not in the way in which plural terms can refer, but in the meaning of special expressions such as 'in that order' and 'respectively'. (shrink)

In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...) put forth by Timothy Williamson and that it clashes with a plural version of Cantor’s theorem. I conclude that pluralists should postulate a type distinction between objects and properties. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

A well-known proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic anti-realism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. In this article, we (...) present a new proof to the effect that not all truths are knowable, which rests on different assumptions from those of the original argument published by Fitch. We highlight the general form of the knowability paradoxes, and argue that anti-realists who favour either an hierarchical or an intuitionistic approach to the Paradox of Knowability are confronted with a dilemma: they must either give up anti-realism or opt for a highly controversial interpretation of the principle that every truth is knowable. (shrink)

Introduction to a special issue based on a summer school on set theory and high-order logic.

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...) hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali-Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic. (shrink)

This chapter provides an overview of the philosophical and linguistic debate about the logic of plurals. We present the most prominent singularizing analyses of plurals as well as the main criticisms that such analyses have received. We then introduce an alternative approach to plurals known as plural logic, focusing on the question whether plural logic can count as pure logic.

Introduction to a special issue on abstraction principles.

The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...) one which uses higher-order resources. (shrink)

Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages.

Digitalisation and platformisation are continuously impacting and reshaping the societies we live in. In this context, we are witnessing the rise of phenomena such as fake news, hate speech, and the sharing of any other illegal content through social media. In this paper, I propose some ethical reflections on content moderation in the context of digital (social) media, as this topic seems – to me – to already incorporate other relevant digital issues in it, such as algorithms bias, the spread (...) of fake news, and the potential misuses of artificial intelligence. In the first section, I will provide a few hermeneutic reflections over a speech given by the Italian scholar Umberto Eco, which appears to underline the necessity of a content moderation in an era of digital (social) media. In the second section, I will analyse, through a consequentialist perspective, critical and ethical issues posed by content moderation. In particular, I suggest the idea of a ‘moderate’ (reasonable and limited) content moderation that can only be assured by humans, as they are able to contextualise the content, to take emotions and subjective elements into account, to apply critical thinking and adaptability in complex circumstances. (shrink)

How water is perceived and represented has an impact on the relationships between a given society and its water infrastructure. Historians have identified a shift in the perception of water during the nineteenth century, which was connected to the development of chemistry. From an understanding based in Hippocratic medicine and natural history that treated it as an infinite variety of substances, water eventually became understood as a simple compound consisting of oxygen and hydrogen. This resulted in the abstraction of water (...) from its social and environmental contexts, with consequences for the way water was managed. This article aims to demonstrate that such a view gives a mistaken intellectual coherence to a fragmented and conflicted process, which involved continuities, an adaptation of old frameworks to new social priorities, and fine changes in scientific thinking and practices. This paper examines the scientific and political debates concerning water infrastructure, surveys and analyses on water quality, medical reports and political measures in nineteenth-century Italy. Ultimately, the reduction of ‘waters’ to ‘water’ in Italy was more about determining who had the authority to assess water quality in the process of creating and stabilizing new power relations between the public and the private spheres than about the abstraction of water from its social and environmental contexts. (shrink)

We present a reference model for finding evidence of discrimination in datasets of historical decision records in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and other benefits. We formalize the process of direct and indirect discrimination discovery in a rule-based framework, by modelling protected-by-law groups, such as minorities or disadvantaged segments, and contexts where discrimination occurs. Classification rules, extracted from the historical records, allow for unveiling contexts of unlawful discrimination, where the degree of burden over protected-by-law (...) groups is evaluated by formalizing existing norms and regulations in terms of quantitative measures. The measures are defined as functions of the contingency table of a classification rule, and their statistical significance is assessed, relying on a large body of statistical inference methods for proportions. Key legal concepts and reasonings are then used to drive the analysis on the set of classification rules, with the aim of discovering patterns of discrimination, either direct or indirect. Analyses of affirmative action, favoritism and argumentation against discrimination allegations are also modelled in the proposed framework. Finally, we present an implementation, called LP2DD, of the overall reference model that integrates induction, through data mining classification rule extraction, and deduction, through a computational logic implementation of the analytical tools. The LP2DD system is put at work on the analysis of a dataset of credit decision records. (shrink)

This study provides a scoping review of the recent conceptual developments about the deviant work behavior and counterproductive work behavior constructs. It also examines the specific types of deviant work behavior that have been more consistently investigated in the last decade, and whether they cover the interpersonal or organizational type of deviant behavior. In addition, individual, group, and organizational predictors of deviant work behaviors are examined. A scoping review of reviews was conducted on Scopus and Web of Science databases and (...) 54 studies published from 2010 to June 2021 were taken into account. Results show that more recent conceptualizations are based on well established models in the literature and consider the hierarchical structure of these two constructs. Recent reviews examine the relationships of deviant work behavior with job performance and ethical behavior constructs, the multilevel nature of deviant work behavior, and the consequences for the actor of the deviance. The specific types of deviant work behavior more frequently reviewed in the last decade are workplace abuse, incivility, ostracism, bullying and sexual harassment, and abusive and destructive leadership; this evidence suggests a much greater attention to interpersonal, rather than organizational, forms of deviant work behavior. Regarding antecedents, results show the continuing prevalence of personality factors antecedents. Limitations of the study and theoretical and practical implications for the field are also provided. (shrink)

Workplaces are often described as places in which individuals are motivated by their self-interests and in which negative events like time pressure, anxiety, conflict with co-workers, miscomprehensions, difficulties in solving problems, not-transmitted or not-exchanged information that lead to mistakes, and in some cases to injuries, stress or control, are part of everyday life. Such situations are often the result of the limited comprehension of needs, skills, or information available to colleagues, supervisors, subordinates, clients or providers. However, workplaces are also places (...) in which employees take care of clients, support colleagues and subordinates, are enthusiastic about their job, are motivated by leaders that encourage employees to transcend their own self-interests for the good of the group or the organization and provide them with the confidence to perform beyond expectations. Thus positive relationships at work are becoming a new interdisciplinary domain of inquiry. Within this positive relationships framework, in this paper we focus on a positive component of workplaces, and particularly on an individual cognitive and emotional process that has an important role in the workplace because it facilitates interpersonal relations and communications: it is the perspective taking process. In order to describe perspective taking, we will refer to some empirical studies and particularly to the review published by Parker, Atkins and Axtell in 2008 on the International Review of Industrial and Organizational Psychology. Perspective taking is a well established psychological construct, investigated both in the field of human development, as an important component of reasoning and moral development, and also in social and clinical psychology, where it is considered a component of social behaviors and of the therapeutic process. It has also been conceptualized in different ways. Duan and Hill describe three approaches to explain reasons for perspective taking behavior: a dispositional approach, that considers empathy as a relatively stable trait or a general ability; a cognitive-affective experience influenced by situational conditions; and finally as a multiphased experiential process. However, although in modern organizations working cooperatively and taking into account customers’ needs and experiences are becoming even more important, very few studies have considered perspective taking process within organizations. This is interesting because taking into account the perspective of others may contribute to more collaborative workplaces, where it is pleasant to work, as also enlighted in the title of the Parker, Atkins and Axtell’s paper: “Building better workplaces” is one of the possible outcomes of perspective taking. This paper aims to make available to a large audience such studies and, in relation to the topic of the conference organized by “Psychology and Communion”, consider connections between this concept and ideas and writings by Chiara Lubich. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal (...) entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal Logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives. (shrink)

We construct an explicit covariant Majorana formulation of Maxwell electromagnetism which does not make use of vector 4-potential. This allows us to write a “Dirac” equation for the photon containing all the known properties of it. In particular, the spin and (intrinsic) boost matrices are derived and the helicity properties of the photon are studied.

This paper presents a case study of the “electric hypothesis” of the causes of earthquakes, which emerged in the second half of the eighteenth century as part of the first studies of seismology. This hypothesis was related to Franklin’s views on atmospheric electricity and developed in a period when electric phenomena were widely studied, and was essentially based on solid empirical evidence and confirmed by model experiments. Even though it resulted from scientific reasoning, the theory remained strongly empirical, and was (...) supported by Italian scholars who were familiar with seismic events. Among these, Giuseppe Saverio Poli, a follower of Franklin, was able to provide a careful and comprehensive explanation of the disastrous earthquake of 1783, which occurred in Calabria, a region of southern Italy, and the St. Anne earthquake of 1805, by drawing not just upon the electric evidence, but all the relevant phenomenology available. We outline here the emergence, the development, and the later evolution (up to the beginning of the nineteenth century) of the “electric earthquake” paradigm by focusing on different works by Poli, including a previously unknown manuscript containing a thorough account of the Calabria earthquake prepared by the Neapolitan scholar for the Royal Society. The present case study therefore offers the opportunity to illustrate how electrical science shaped earthquake science to a degree not usually appreciated in the literature, and is also supported to some extent by the transition from Enlightenment scientific ideals to the Romantic conception of unity in the natural world, in search of common causes among phenomena belonging to different fields. (shrink)

This paper reports the framework, method and main findings of an analysis of cultural milieus in 4 European countries. The analysis is based on a questionnaire applied to a sample built through a two-step procedure of post-hoc random selection from a broader dataset based on an online survey. Responses to the questionnaire were subjected to multidimensional analysis-a combination of Multiple Correspondence Analysis and Cluster Analysis. We identified 5 symbolic universes, that correspond to basic, embodied, affect-laden, generalized worldviews. People in this (...) study see the world as either a) an ordered universe;b) a matter of interpersonal bond;c) a caring society;d) consisting of a niche of belongingness;e) a hostile place. These symbolic universes were also interpreted as semiotic capital: they reflect the capacity of a place to foster social and civic development. Moreover, the distribution of the symbolic universes, and therefore social and civic engagement, is demonstrated to be variable across the 4 countries in the analysis. Finally, we develop a retrospective reconstruction of the distribution of symbolic universes as well as the interplay between their current state and past, present and future socio-institutional scenarios. (shrink)

This book is the first comprehensive and systematic introduction to the linguistics of humor, exploring not only theoretical linguistic analyses, but also topics from applied linguistics. It will be a valuable resource for students from advanced undergraduate level upwards, particularly those coming to linguistics from related disciplines.

Herder is usually considered to be one of the mayor sources of the aesthetics of empaty. The present contribution aims at offering a brief rewiew of some main places in Herder aesthetical theory and at reconstructing the genesis of the family of concepts including fühlen, Gefühl, Mitfühlen, Familiengefühl, in order to understand their relationship with regard to the theory of knowledge, the aesthetics, the politics.

Hume’s Principle states that the cardinal number of the concept F is identical with the cardinal number of G if and only if F and G can be put into one-to-one correspondence. The Schwartzkopff-Rosen Principle is a modification of HP in terms of metaphysical grounding: it states that if the number of F is identical with the number of G, then this identity is grounded by the fact that F and G can be paired one-to-one, 353–373, 2011, 362). HP is (...) central to the neo-logicist program in the philosophy of mathematics ; in this paper we submit that, even if the neo-logicists wish to venture into the metaphysics of grounding, they can avoid the SR Principle. In Section 1 we introduce neo-logicism. In Sections 2 and 3 we examine the SR Principle. We then formulate an account of arithmetical facts which does not rest on the SR Principle; we finally argue that the neo-logicists should avoid the SR Principle in favour of this alternative proposal. (shrink)

In an era increasingly characterized by pluralism and globalization, intercultural pedagogy represents a starting point for addressing the challenges that today’s society confronts us with daily. Throughout history, cultures have changed through interactions, exchanges, and hybridization, leading to the formation of an increasingly pluralistic and multicultural society. Against this background, it is crucial to develop approaches based on dialogue and mutual recognition. However, acceptance and willingness to encounter require an educational path that is promoted by schools from childhood, especially in (...) view of the monocultural mentality that too often characterizes more and more people and prevents the opening of a path that counteracts ethnocentrism in favor of a broader perspective. From this point of view, intercultural pedagogy proves to be the only approach that can guarantee the formation of individuals ready to create a truly multicultural society. (shrink)