Massimiliano Carrara

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View. The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects.

We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions [10] to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses.

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses.

In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. Within this theory, we propose a new logicist approach to natural numbers. Then, we compare our logicism with Frege’s traditional logicism.

The Knowability Paradox starts from the assumption that every truth is knowable and leads to the paradoxical conclusion that every truth is also actually known. Knowability has been traditionally associated with both contemporary verificationism and intuitionistic logic. We assume that classical modal logic in which the standard paradoxical argument is presented is not sufficient to provide a proper treatment of the verificationist aspects of knowability. The aim of this paper is both to sketch a language $$\mathcal {L}_{\Box,K}^{P}$$, where alethic and epistemic classical modalities are combined with the pragmatic language for assertions $$\mathcal {L}^{P}$$, and to analyse the result of the application of our framework to the paradox.

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.

P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to be strictly connected with relative identity - according to which an ascription of cardinality is always relative to a concept which specifies what, in any particular case, counts as a unit. The idea that there is a close connection between relative identity and Frege's cardinality thesis has been issued again quite recently by Alston and Bennett in (1984). In their opinion, Frege's cardinality thesis is not only similar to relative identity - as Geach maintains - but it implies it. Moreover, they agree with Geach in claiming that a commitment to Frege's cardinality thesis forces a parallel commitment to relative identity. Against Geach, Alston and Bennett we will claim that (Tl): "Frege's cardinality thesis is similar to relative identity" is false and that therefore (T2) "Frege's cardinality thesis implies relative identity" is false as well.

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as a warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional.

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is.

The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the object we exploit in order to decide whether a certain artifact belongs to a certain kind. (G) thus becomes: (E) How can we know that artifact a belongs to kind K? Finally, (G) can also be read as a question concerning the semantics of artifact kind terms. The semantic reading of (G) is: (S) What kind of reference do artifact kind terms have, if any? In this editorial we expand on the different answers to (O), (E) and (S) that are given in the selected literature on the topic. The result should give us an overall picture of the possible answers to (G)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far.

In Parts of Classes [Lewis 1991] David Lewis attempts to draw a sharp contrast between mereology and set theory and to assimilate mereology to logic. He argues that, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of “Composition as identity”. Lewis analyses two different versions of the thesis: the first is the Strong composition thesis, according to which certain objects are their sum, where the use of “are” would mean that composition is literally identity. The second version is the Weak composition thesis, according to which composition is analogous, under some aspects, to identity. He criticises the first version of the thesis and argues for the second one. In the paper we argue that (T1) arguments for the ontological innocence of mereology are not conclusive. An obvious objection to the Strong composition thesis is that – given certain objects Xs – they cannot be their sum because none of them is the sum. One could reply to this objection by observing that the “are” in the sentence “The Xs are their sum” is to be understood collectively and not distributively. But the crux is that the collective reading fails to generate a new entity, whereas mereology, in particular in Lewis’ use for the reconstruction of set theory as “megethology”, needs to consider sums as real objects. Besides, we contend that Lewis’ argument for the innocence of mereology based on the Weak composition thesis is a petitio principii. The reason is that the aspects of the analogy between composition and identity, which Lewis emphasises, obtain under the presupposition of the existence of sums. But this is just what a denier of innocence would refuse. (T2) Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. Some defences of the innocence seem to implicitly presuppose that the sum of certain objects Xs is not a genuine entity. Speaking of the sum of the Xs would be just another way of speaking plurally of the Xs. However, the relevant use of sums in mereology treats them as well determined objects. The relevant innocence thesis takes for granted that, though sums are genuine objects, nevertheless their existence does not require any further commitment. (T3) The innocence thesis, apart from Lewis’ defence, seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. We think that the thesis is the manifesto of a realistic conception of parts and sums. This conception consists of the following clauses: (i) given any object x, it is well determined which parts it possesses; these are in turn objects whose existence is a necessary consequence of the existence of x. (ii) However any objects Xs are given, they automatically constitute a well determined object x which is their sum; (iii) We can refer singularly and plurally to parts and sums of given objects. Obviously, one might wonder if such a conception is really ontologically innocent. One could object that it is not innocent because clauses (i) – (iii) are not. For example, clause (i) could be considered as an ontological commitment to the existence of sums. But the innocence at issue does not concern the above-sketched conception. The innocence is embedded in the conception itself. In other words, someone who argues for clauses (i) – (iii) takes a point of view from which mereology appears to be innocent. For, such a point of view forces us to consider as well determined the parts of any object and does not allow us to separate the existence of certain objects form the existence of their sum. (T4) is the claim that the alleged innocence of mereology is subject to Quine’s notorious criticisms of the set-theoretical interpretation of second order logic. To the purpose, we construct a mereological model of a substantive fragment of set theory, i.e. the one that grounds the principal model semantics of second order logic. First, we construct a mereological model under the assumption of the existence of infinitely many atoms. Then, we replace this assumption with that of the existence of any infinite object (with or without atoms). Finally, let us make a general point about the innocence thesis of mereology. A conclusive argument for that would be a refutation of the thesis that there are only denumerably many entities. For, since the parts of an infinite object constitute a non-denumerable infinity, such an argument would entail that there could be no infinite without a non-denumerable infinity. However, the thesis that any genuine infinity is a denumerable one has had some important advocates. So, a conclusive argument for the innocence of mereology seems to be highly implausible.