Massimiliano Carrara

In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design stance in Dennett’s approach, but propose to replace Dennett’s original design stance by two design stances: an intentional designer stance that incorporates the intentional stance, and a teleological design stance that does not. Our arguments focus on descriptions of technical artefacts: drawing on research in engineering, cognitive psychology and archaeology we show that both design stances are used for describing technical artefacts. A first consequence of this disambiguation is that a design stance, in terms of interpretative assumptions and in terms of the pragmatic considerations for adopting it, stops to be a stance that comes hierarchically between the physical stance and the intentional stance. A second consequence is that a new distinction can be made between types of entities in Dennett’s approach. We call entities to which the intentional designer stance is applied tools and entities to which the teleological design stance is applied instruments, leading to a differentiated understanding of, in particular, technical artefacts.

In Parts of Classes (1991) and Mathematics Is Megethology (1993) David Lewis defends both the innocence of plural quantification and of mereology. However, he himself claims that the innocence of mereology is different from that of plural reference, where reference to some objects does not require the existence of a single entity picking them out as a whole. In the case of plural quantification. Instead, in the mereological case: (Lewis, 1991, p. 87). The aim of the paper is to argue that one—an innocence thesis similar to that of plural reference is defensible. To give a precise account of plural reference, we use the idea of plural choice. We then propose a virtual theory of mereology in which the role of individuals is played by plural choices of atoms.

This is an excerpt from the contentThis symposium on Cognition and Rationality originated from two conferences held in Padua on March 17–21, 2003. The title of the first conference was Reasoning and understanding: mental models, relevance, and limited rationality approaches. The second one was entitled: Being rational. Models and limits of rationality in scientific research, economic behaviour, common sense reasoning. The papers published in these two issues are a selection of the ones presented.Why Cognition and Rationality? Let a cognitive agent be defined as one whose actions are at least partially driven by internal representations that are not the direct result of external physical states. On the contrary, an organism which is able to mentally represent contingent physical reality through perception, but which cannot mentally represent non-present realities, (e.g. past or future events, events o

Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference. Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom of infinite à la Dedekind, as the unique non-logical axiom. We will also sketch a virtual interpretation of the classical continuum involving no other infinite than a countable plurality of individuals.

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 (1995, Erkenntnis, 43, 81–109) 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 Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects.

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.

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.

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)