Parthood and composition are everywhere. The leg of a table is part of the table, the word "Christmas" is part of the sentence "I wish you a merry Christmas", the 13th century is part of the Middle Ages. The Netherlands, Belgium, and Luxembourg compose Benelux, the body of a deer is composed of a huge number of cells, the Middle Ages are composed of the Early Middle Ages, High Middle Ages, and Late Middle Ages. Is there really a general theory (...) covering every instance of parthood and composition? Is classical mereology this general theory? Are its seemingly counter-intuitive features serious defects? -/- Mereology: A Philosophical Introduction addresses the multifaceted and lively philosophical debates surrounding these questions, and defends the idea that classical mereology is indeed the general and exhaustive theory of parthood and composition in the domain of concrete entities. -/- Several examples of parthood and composition, involving entities of different kinds, are scrutinised in depth. Incidentally, mereology is shown to interact in a surprising way with metaontology. Presenting a well-organized and comprehensive discussion of parthood and related notions, Mereology: A Philosophical Introduction contributes to a better understanding of a subject central to contemporary metaphysics. (shrink)

The blurb on the back cover claims that in this book, it is possible to find all the tools needed to ‘theorize about all things mereological’. The book fulfills.

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)

I argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (shrink)

I analyze the relations of constituency or ``being in'' that connect different ontological items in the Tractatus logico-philosophicus by Wittgenstein. A state of affairs is constituted by atoms, atoms are in a state of affairs. Atoms are also in an atomic fact. Moreover, the world is the totality of facts, thus it is in some sense made of facts. Many other kinds of Tractarian notions -- such as molecular facts, logical space, reality -- seem to be involved in constituency relations. (...) How should these relations be conceived? And how is it possible to formalize them in a convincing way? I draw a comparison between two ways of conceiving and formalizing these relations: through sets and through mereological sums. The comparison shows that the conceptual machinery of set theory is apter to conceive and formalize Tractarian constituency notions than the mereological one. (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

We discuss a previously unnoticed resemblance between the theory of relations and predicates in The Philosophy of Logical Atomism [TPLA] by Russell and the theory of objects and names in the Tractatus Logico-Philosophicus [TLP] by Wittgenstein. Points of likeness are detected on three levels: ontology, syntax, and semantics. This analogy explains the prima facie similarities between the informal presentation of the theory of types in TPLA and the sections of the TLP devoted to this same topic. Eventually, we draw some (...) consequences concerning both sides of the analogy: for what concerns Russell, the contextual pertinence of this surprising fragment of Tractarian metaphysics and semantics is questioned on several grounds; about Wittgenstein, the interpreters who do not identify Tractarian objects with particulars are in a better position to make sense of the analogy here discovered. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and that a liberal view, according to (...) which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

In metaphysical theorizing, it is common to use expressions whose function is that of denoting or being true of absolutely everything. Adopting a scolastic term, these may be called ‘transcendentals’. Different metaphysical theories may adopt different transcendentals, the most usual candidates being ‘thing’, ‘entity’, ‘object’, ‘be’, ‘exist’, and their counterparts in various languages dead or alive. We call ‘transcendental disagreement’ any dissent between philosophical theories or traditions that may be described as a disagreement in the choice of transcendentals. Examples of (...) transcendental disagreement include the debate about Lewis's conception of actuality and a number of recent discussions between Meinongians and their ‘Quinean’ rivals. A case is made for the conclusion that, as such, transcendental disagreements are purely terminological in character. It is argued that transcendental disagreements are generally to be assessed on pragmatic rather than on metaphysical grounds. Finally, the paper makes a start in the analysis of those pragmatic grounds which include the pursuit of univocity, fairness, and ease of comparison between theories. (shrink)

The Tractatus rejects the sign of assertion as "logically meaningless", but the rejection of the sign did not lead Wittgenstein to reject the corresponding notion. I show the presence and the importance in the early Wittgenstein of a notion keenly similar to Fregean and Russellian logical assertion. I propose to call this notion "affirmation." The preparatory writings and the TLP present different theories about affirmation. The correct understanding of the nature and purpose of affirmation proves critical in order to confront (...) another issue about the Tractatus: the only partial similarity between the theory of pictures and the theory of propositions. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

The paper pinpoints certain unrecognized difficulties that surface for recombination and duplication in modal realism when we ask whether the following inter-world fixity claims hold true: 1) A property is perfectly natural in a world iff it is perfectly natural in every world where it is instantiated; 2) Something is mereologically atomic in a world iff all of its duplicates in every world are atomic. In connection to 1), the hypothesis of idlers prompts four variants of Lewis’s doctrine of perfectly (...) natural properties, all deemed unsatisfactory for the purposes of duplication and recombination. By means of 2), instead, we show that the principle of recombination does not countenance the atomicity or non-atomicity of duplicates; but it should, because it is genuinely possible that: a) something, which is atomic, is non-atomic; and b) something, which is non-atomic, is atomic. In discussing 1) and 2), the paper substantiates a tension in Lewis’s metaphysics between modal intuitions and the reliance on the natural sciences. (shrink)

Tis is a review of Giorgio Lando's "Mereology: A Philosophical Introduction".

Mereology: A Philosophical Introduction. By Lando Giorgio.

“Committing a crime might render one morally liable to certain forms of medical intervention”, claims Thomas Douglas, who stated in this context that “compulsory uses of medical correctives could in principle be justified.” This article engages critically with his and other arguments on the use of coercive neurocorrectives for criminal offenders. First, the rehabilitation assumption that includes—for coercive neurocorrectives to work as an alternative to incarceration—that rehabilitation is the “only goal” of criminal punishment is criticized. Additionally this article engages with (...) the theoretical difficulty of solely rehabilitative approaches, and discusses why it is unfortunate to design neurocorrectives so as to be particularly harmful in order to imagine administering them as being a punishment. Second, until we know more about specific neurocorrectives, we are well advised not to undermine the most important objection against coercive neurocorrectives, namely offenders’ human rights. This article argues that the use of coercive neurocorrectives would particularly violate Article 3 of the European Convention on Human Rights which guarantees as an absolute right that “[n]o one shall be subjected to torture or to inhuman or degrading treatment or punishment”, and finally holds that a still weak human right to mental integrity and self-determination should fundamentally come first. (shrink)

The work of Giorgio Agamben, one of Italy's most important and original philosophers, has been based on an uncommon erudition in classical traditions of philosophy and rhetoric, the grammarians of late antiquity, Christian theology, and modern philosophy. Recently, Agamben has begun to direct his thinking to the constitution of the social and to some concrete, ethico-political conclusions concerning the state of society today, and the place of the individual within it. In Homo Sacer, Agamben aims to connect the problem (...) of pure possibility, potentiality, and power with the problem of political and social ethics in a context where the latter has lost its previous religious, metaphysical, and cultural grounding. Taking his cue from Foucault's fragmentary analysis of biopolitics, Agamben probes with great breadth, intensity, and acuteness the covert or implicit presence of an idea of biopolitics in the history of traditional political theory. He argues that from the earliest treatises of political theory, notably in Aristotle's notion of man as a political animal, and throughout the history of Western thinking about sovereignty, a notion of sovereignty as power over "life" is implicit. The reason it remains merely implicit has to do, according to Agamben, with the way the sacred, or the idea of sacrality, becomes indissociable from the idea of sovereignty. Drawing upon Carl Schmitt's idea of the sovereign's status as the exception to the rules he safeguards, and on anthropological research that reveals the close interlinking of the sacred and the taboo, Agamben defines the sacred person as one who can be killed and yet not sacrificed—a paradox he sees as operative in the status of the modern individual living in a system that exerts control over the collective "naked life" of all individuals. (shrink)

Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated (...) modeling gunk in measure algebras instead—in particular, in the algebra of Borel subsets of Euclidean space, modulo sets of Lebesgue measure zero. But while this algebra carries a natural, countably additive measure, it has some unattractive topological features. In this paper, we show how to construct a model of gunk that has both nice rudimentary measure-theoretic and topological properties. We then show that in modeling gunk in this way we can distinguish between finite dimensions, and that nothing in lost in terms of our ability to identify points as locations in space. (shrink)

According to the traditional view of the causal structure of a coincidence, the several parts of a coincidence are produced by independent causes. I argue that the traditional view is mistaken; even the several parts of a coincidence may have a common cause. This has important implications for how we think about the relationship between causation and causal explanation—and in particular, for why coincidences cannot be explained.

Humans have the unique ability to perceive their world with senses and affective awareness, reflect about this perceived world, construct a frame of reference built on the perceived world, and follow with conviction the principles, norms and ethos of this constructed world. The gospel has entered the world where humans can understand the message and experience the freedom it brings. The responsibility is to build a world based on the centre of the gospel, with a theology in the context of (...) the culture it addresses. Philosophy, psychology, sociology and theology have to be consulted to form the basis for a balanced view of the condition of the world, humanity and the objects of faith. All disciplines need to communicate their perspectives to the others for a practical application of their insights. None of the disciplines can operate in isolation to one another if they want to be relevant. The present perceptions of human beings in the world should be considered by all the disciplines as their shared point of departure for academic investigation. The role of academic research is to understand and not prescribe reality of the humans in a world they built with a perception they have of the world through their faith as trust in the world they inhabit. Academia is to serve the people, communities and society, just like the just and protective laws, supporting non-prescriptive dogma, enlightening non- ideological perceptions and trusting faith they ought to be. Achievement is possible by adhering and dissemination of the freedom the gospel proclaims to all of humanity, the world and our faith in awe for our neighbours, the world and all that we encounter. (shrink)

In this highly topical book, Agamben ultimately arrives at original ideas about the future of democracy and casts a new light on the hidden relationship that ties law to violence.

This volume constitutes the largest collection of writings by the Italian philosopher Giorgio Agamben hitherto published in any language and all but one appear in English for the first time. The essays consider figures in the history of philosophy (Plato, Plotinus, Spinoza, Hegel) and twentieth-century thought (Walter Benjamin, Heidegger, Derrida, Deleuze, the historian Aby Warburg, and the linguist J.-C. Milner). They also examine several central concerns of Agamben: the relation of linguistic and metaphysical categories; messianism in Islamic, Jewish, and (...) Christian theology; and the state and future of contemporary politics. Despite the diversity of the texts collected here, they show a consistent concern for a set of overriding philosophical themes concerning language, history, and potentiality. (shrink)

Arguing that Western power is both "government" and "glory," this book reveals the "theological-economic" paradigm at the origin of several of the most important components of modern politics and illuminates the function of consent and the ...

The end of human history is an event that has been foreseen or announced by both messianics and dialecticians. But who is the protagonist of that history that is coming—or has come—to a close? What is man? How did he come on the scene? And how has he maintained his privileged place as the master of, or first among, the animals? In The Open, contemporary Italian philosopher Giorgio Agamben considers the ways in which the “human” has been thought of (...) as either a distinct and superior type of animal, or a kind of being that is essentially different from animal altogether. In an argument that ranges from ancient Greek, Christian, and Jewish texts to twentieth-century thinkers such as Heidegger, Benjamin, and Kojève, Agamben examines the ways in which the distinction between man and animal has been manufactured by the logical presuppositions of Western thought, and he investigates the profound implications that the man/animal distinction has had for disciplines as seemingly disparate as philosophy, law, anthropology, medicine, and politics. (shrink)

The interdisciplinary embedding and novel conceptual approach offered in the book to address the relationship between legal orders offers a significant and original contribution to the literature. The first part of the book provides a critical account of dominant approaches to explain this relationship where theories of Kelsenian monism, dualism, legal pluralism and constitutionalism are criticized. In the second part, Kirchmair engages with an innovative idea by applying insights from social contract theory to the relationship between international, EU and Member (...) State law and establishes his theoretical approach: Consent-Based Monism. The book focuses on the most important structural characteristics of the external relations law of the EU as well as the primacy of EU law in lieu of national constitutional identity which is demonstrated in part three. (shrink)

We prove completeness of the propositional modal logic S 4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and . Propositional modal formulae are assigned to Lebesgue-measurable subsets of the real interval [0, 1], modulo sets of measure zero. Equivalence classes of Lebesgue-measurable subsets form a measure algebra, , and (...) we add to this a non-trivial interior operator constructed from the frame of ‘open’ elements—elements in with an open representative. We prove completeness of the modal logic S 4 for the algebra . A corollary to the main result is that non-theorems of S 4 can be falsified at each point in a subset of the real interval [0, 1] of measure arbitrarily close to 1. A second corollary is that Intuitionistic propositional logic (IPC) is complete for the frame of open elements in. (shrink)

What is an apparatus? -- The friend -- What is the contemporary?