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)

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)

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)

This article focuses on certain dimensions of Plotinus’ notion of the noetic self, which so far have not received sufficient scholarly atten­tion. The evidence of Enn. V 8 makes clear the assumption about the inexhaustible generativity of the noetic self. This generativity implies an intimate relation with the notions of image and suddenness: the former is intended as a medium of unconditional self-transparency, whereas the latter is understood as pointing to the unlimited newness that is char­acteristic of the noetic life, (...) which, according to Plotinus, consists in an indissoluble unity of identity and alterity. The aforesaid notions make it reasonable to view Plotinus’ concept of noetic self as pointing to a predominantly relational and dynamic ontology, in which essentialism presupposes no staticity whatsoever, but can rather be seen as a perspective that leads to the development of a harmonious and non-narcissistic creativity. (shrink)

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)

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)

After analysing Habermas's philosophical evolution from his theory of interests to his late pragmatic realism, I will focus on the problems of this last conception, trying to draw a plausible way out which avoids both naturalistic reductionism and a too weak form of realism.

Wittgenstein: Epistemology Although Ludwig Wittgenstein is generally more known for his works on logic and on the nature of language, but throughout his philosophical journey he reflected extensively also on epistemic notions such as knowledge, belief, doubt, and certainty. This interest is more evident in his final notebook, published posthumously as On Certainty (1969, henceforth … Continue reading Wittgenstein: Epistemology →.

Cumulative Prospect Theory is the modern version of Prospect Theory and it is nowadays considered a valid alternative to the classical Expected Utility Theory. Cumulative Prospect theory implies Gain-Loss Separability, i.e., the separate evaluation of losses and gains within a mixed gamble. Recently, some authors have questioned this assumption of the theory, proposing new paradoxes where the Gain-Loss Separability is violated. We present a generalization of Cumulative Prospect Theory which does not imply Gain-Loss Separability and is able to explain the (...) cited paradoxes. On the other hand, the new model, which we call the bipolar Cumulative Prospect Theory, genuinely generalizes the original Prospect Theory of Kahneman and Tversky, preserving the main features of the theory. We present also a characterization of the bipolar Choquet Integral with respect to a bi-capacity in a discrete setting. (shrink)

A realist approach to learning is what I propose here. This is based on a non-epistemic dimension whose presence is a necessary assumption for a concept of learning of a life-world as complementary to learning within a life-world. I develop my approach in opposition to Jürgen Habermas' pragmatic approach, which seems to lack of something from a realist point of view.