Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

En este trabajo me ocuparé de las resonancias que tuvo el modo en el que Hume aborda la cuestión de la materialidad de la mente en uno de los materialistas más notables de las Islas Británicas del siglo XVIII, Joseph Priestley. La influencia que ejerció el enfoque humeano acerca del materialismo en la obra de Priestley no ha sido suficientemente puesta de relieve o ha sido desestimada. En buena medida, esto se debe a que Priestley tienen una actitud crítica hacia (...) las consecuencias escépticas y ateas que se desprenden de la filosofía de Hume, por lo que generalmente se tiende a presentarlo como uno de sus adversarios. Sin embargo, existen dos grandes puntos de contacto entre sus propuestas que estudiaré en lo que sigue: (1) ambos abordan la cuestión del origen del pensamiento, haciendo a un lado la cuestión de la naturaleza de la sustancia de la que estaría compuesta la mente —por ser inaccesible a nuestro conocimiento— y preguntándose por la causa del pensamiento, y (2) Priestley se sirve de una concepción de la causalidad inspirada en buena medida por la de Hume y la emplea como uno de los pilares de su materialismo, al sostener que la conjunción constante entre características mentales y organismos con un cerebro funcional nos da la mayor seguridad posible de que existe una relación causal entre ambos. (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.

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. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is to (...) help to remedy this deficiency, and show how Beall's interpretation of Weak Kleene truth-values interacts with the notion of topic. To do that, we formalize his motivating ideas and draw some consequences from them. (shrink)

How should we adjust our beliefs in light of the testimony of those who are in a better epistemic position than ourselves, such as experts and other epistemic superiors? In this paper, I develop and defend a deference model of epistemic authority. The paper attempts to resolve the debate between the preemption view and the total evidence view of epistemic authority by taking an accuracy-first approach to the issue of how we should respond to authoritative and expert testimony. I argue (...) that when we look at the debate through the lens of accuracy, it becomes clear that matters are more complicated than either the preemption view or the total evidence view are able to account for. Consequently, a deference model, outlined within a credence-based framework, does a better job of capturing the relevant phenomena, and explaining how we should update our beliefs in response to epistemically authoritative testimony. (shrink)

It has been argued that we cannot be morally responsible in the sense required to deserve blame or punishment if the world is deterministic, but still morally responsible in the sense of being apt targets for moral criticism. Desert-entailing moral responsibility is supposed to be more freedom-demanding than other kinds of responsibility, since it justifies subjecting people to blame and punishments, is nonconsequentialist, and has been shown by thought experiments to be incompatible with determinism. In this paper, I will show (...) that all these arguments can be resisted. (shrink)

In the debate about Composition as Identity (CI), a recurring pattern is to ask whether a certain feature of identity is also instantiated by composition. This recurring pattern is followed when, for example, the question is asked whether a whole and its parts are indiscernible. In following this pattern, it is methodologically desirable to assume the most standard account of the philosophical problems at stake. However, when the necessity of identity and the problem whether composition is as necessary as identity (...) are at stake, the literature about CI often violates this methodological principle, and resorts to non-standard views about modality, such as counterpart theory. In this paper, we purport to remedy this anomaly and to assess CI on the background of a standard, broadly Kripkean view of modality, and in particular of the contention that a single entity exists in more than one possible world. Given this contention, the backer of CI is forced to relativize composition and, as a consequence, identity to possible worlds, thereby introducing a non-standard kind of identity. We will discuss the charge of adhocness which might be raised against the resulting variety of CI. (shrink)

In this paper we reconstruct an argument, based on the observations of David Lewis and Jaegwon Kim, according to which, given that identities are necessary, they cannot be grounded; and given that they cannot be grounded, they cannot be explained either. We argue against two key premises of this argument. Furthermore, we present two counterexamples, in the form of two alleged sets of cases of explanation of identities. This argument against the explanation of identities is instrumental for a wider discussion (...) about the nature of explanation itself, in relation with other notions of recent philosophical interest such as grounding. (shrink)

Graham Priest has recently proposed a solution to the problem of the One and the Many which involves inconsistent objects and a non-transitive identity relation. We show that his solution entails either that the object everything is identical with the object nothing or that they are mutual parts; depending on whether Priest goes for an extensional or a non-extensional mereology.

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)

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (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)

Wouter Kusters argues that madness has much to offer philosophy, as does philosophy to madness. In this paper, i support both claims by drawing on a mad phenomenon which I label Radical Psychotic Doubt, or RPD. First, although skepticism is a minority position in epistemology, it has been claimed that anti-skeptical arguments remain unsatisfying. I argue that this complaint can be clarified and strengthened by showing that anti-skeptical arguments are irrelevant to RPD sufferers. Second, there's a debate about whether so-called (...) hinge commitments are beliefs or not. I argue that RPD can be used to strengthen the case that they are. Moreover, if hinges are beliefs, some madpeople are more epistemically rational than some sane philosophers. Third, drawing on my own mad experiences, I challenge evidentialism by presenting a better candidate for a truly forced cchoice about what to believe than William James' traditional religious example. I further show that in certain psychiatric contexts, evidentialism has more radical implications than Jamesian pragmatism, which comes out as more conservative. Finally, I discuss how philosophical theories like pragmatism and Pyrrhonism can provide inspiration for new and much-needed coping strategies for RPD sufferers. (shrink)

When interacting with other people, we assume that they have their reasons for what they do and believe, and experience recognizable feelings and emotions. When people act from weakness of will or are otherwise irrational, what they do can still be comprehensible to us, since we know what it is like to fall for temptation and act against one’s better judgment. Still, when someone’s experiences, feelings and way of thinking is vastly different from our own, understanding them becomes increasingly difficult. (...) Delusions and psychosis are often seen as marking the end of intelligibility. In this paper, I argue first for the importance of seeing other people as intelligible as long as this is at all possible. Second, I argue, based on both previous literature and my own lived experience, that more psychotic phenomena than previously thought can be rendered at least somewhat intelligible. Besides bizarre experiences like illusions, hallucinations and intense feelings of significance, I also explain what it is like to lose one’s bedrock, and how this loss impacts which beliefs one has reason to reject. Finally, I give an inside account of some disturbances of reason, and show that there are important similarities between certain psychotic reasoning problems and common non-pathological phenomena. (shrink)

Intervistati sul valore di questo testo, gli autori hanno dichiarato: «o questa affermazione è falsa, oppure questo è il miglior eserciziario di logica che sia mai stato scritto». Se la loro affermazione vi risulta poco comprensibile, ma avete intenzione di capirci qualcosa di più, questo eserciziario può fare al caso vostro! È uno strumento che integra ed estende un comune manuale di logica – ma che non si sostituisce ad esso, mancando la parte teorica –, ed è pensato per coloro (...) che hanno intrapreso lo studio della logica per la prima volta e desiderano farne pratica. Il testo si rivolge principalmente agli studenti universitari che seguono un corso base di logica, ma anche a chi sta tentando di barcamenarsi con questa disciplina al di fuori dell’ambiente accademico. Se sarete disposti a mettervi in gioco e a spremervi un po’ le meningi, scoprirete che o l’affermazione degli autori è falsa o questo è davvero il miglior eserciziario di logica che sia mai stato scritto! (shrink)

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. (shrink)

Fiat objects may come into existence by intentional explicit defnition and convention or they can be the result of some spontaneous and unintentional activity resulting in tracing fat spatial boundaries. Artifacts and fiat objects seem intuitively to be correlated: both artifacts and fiat objects depend for their existence on agents and their intentions. Is it possible to consider fiat objects as artifacts and to what extent? Or else can we conceive at least some artifacts as fiat objects? In order to (...) draw a map of the possible answers to these two questions we will take into account various defnitions of artifacts stemming from the two classical approaches: the intentional and the functional one. (shrink)

Martha Nussbaum argues that animals are entitled to a flourishing life according to the norm for their species. Nussbaum furthermore suggests that in the case of dogs, breed norms as well as species norms are relevant. Her theses capture both common intuitions among laypeople according to which there is something wrong with the breeding of “unnatural” animals, or animals that are too different from their wild ancestors, and the dog enthusiast’s belief that dogs departing from the norms for their breed (...) are tragic. I argue that the high diversity of the dog species and the ultimate arbitrariness of breed norms support the thesis that a conception of welfare must be tied to what the individual requires in order to flourish. In the second part of the paper, I discuss the implications that an individualized welfare conception has for the breeding of dogs for conformation shows, for the pet market and for the performance of various tasks for which we need working dogs. (shrink)

Breeders of purebred dogs usually have several goals they want to accomplish, of which canine wellbeing is one. The purpose of this article is to investigate what we ought to do given this goal. Breeders typically think that they fulfil their wellbeing-related duties by doing the best they can within their breed of choice. However, it is true of most breeders that they could produce physically and mentally healthier dogs if they switched to a healthier breed. There are a few (...) breeds that are healthier than other breeds as well as mutts; we could maximize wellbeing for the next generations by focusing all our breeding resources on those. However, in the long run such a strategy would severely deplete the canine gene pool. If we are to breed for wellbeing in the long run, we must thus weigh the benefits of selection against physical and mental problems against the benefits of genetic diversity. The optimal breeding strategy for canine wellbeing is to preserve many breeds, though not all of them. Furthermore, we ought to combine strict health programs with looser barriers between breeds. Such a policy conflicts with the goal of breed preservation, at least if we think of breeds as populations registered within kennel clubs rather than types of dogs, but not with the goal of producing good working dogs capable of performing various tasks. (shrink)

Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.

In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension of DLEAC contanining the rejectability (...) predicate. (shrink)

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)

My aim is to look into the representational aspect of ideas, exploring not only to what Hume refers as adequate ideas, but also these cases where for a number of reasons an idea does not reach that standard. It has been suggested that the latter are fictions, but an in-depth examination of Hume texts reveals that there are several types of imperfections, such as incompleteness or imprecision that prevent an idea from being adequate. This leads to an analysis of the (...) status of supposed or pretended ideas, and the possibility of there being terms with no ideas annexed to them. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

Nos proponemos estudiar las objeciones de Cavendish hacia la filosofía experimental desde una perspectiva no dicotómica para mostrar que, lejos de establecer un enfrentamiento entre la filosofía contemplativa y la experimental, la razón y la sensación, o la naturaleza y el arte, la autora plantea una cooperación organizada entre estos aspectos. La postura de Cavendish puede comprenderse adecuadamente si se tiene en cuenta que su epistemología se arraiga en su metafísica, en la que los grados de la materia y los (...) distintos seres vivos que conforman el universo ocupan un lugar determinado y cumplen cierta función conformando una totalidad orgánica y armónica. (shrink)

In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...) Weak Kleene logic (PWK) based belief revision theory which makes use of the notion of topic to distinguish the two kinds of suspensions previously mentioned, and (3) to develop a PWK-style argumentation framework and its expansion. By doing that, we can distinguish two kinds of suspensions in an epistemic process by virtue of the notion of topic. (shrink)

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. (shrink)

This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...) we propose our \ logic. Finally, we show how \ supports the dialetheic solution of the liar paradox. (shrink)

The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

Justin Garson introduces the distinction between two views on Madness we encounter again and again throughout history: Madness as dysfunction, and Madness as strategy. On the latter view, Madness serves some purpose for the person experiencing it, even if it’s simultaneously harmful. The strategy view makes intelligible why Madness often holds a certain allure – even when it’s prima facie terrifying. Moreover, if Madness is a strategy in Garson’s metaphorical sense – if it serves a purpose – it makes sense (...) to use consciously chosen strategies for living with Madness that doesn’t necessarily aim to annihilate or repress it as far as possible. In this paper, we use our own respective stories as case studies. We have both struggled to resist the allure of Madness, and both ended up embracing a kind of Pyrrhonian scepticism about reality instead of clinging to sane reality. (shrink)

Psychiatric patients sometimes ask where to draw the line between who they are – their selves – and their mental illness. This problem is referred to as the self-illness ambiguity in the literature; it has been argued that solving said ambiguity is a crucial part of psychiatric treatment. I distinguish a Realist Solution from a Constructivist one. The former requires finding a supposedly pre-existing border, in the psychiatric patient’s mental life, between that which belongs to the self and that which (...) belongs to the mental illness. I argue that no such border exists, and that attempts to find it might even render the felt ambiguity worse. Instead, any solution must be constructivist; the patient (and others) should deliberate and discuss what to identify with or not. I further argue that psychiatric patients need not see their mental illness as wholly distinct from themselves to avoid ‘identifying with their diagnoses' in a problematic way. Finally, we can excuse problematic behaviour by mentally ill people – in fact, we can do so in a more nuanced and constructive way – while rejecting the view that the mental illness is wholly distinct from the patient’s self. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

The medical and social model of disability is discussed and debated among researchers, scholars, activists, and people in general. It is common to hold a mixed view and believe that some disabled people suffer more from social obstacles and others more from medical problems inherent in their bodies or minds. Rachel Cooper discusses possible ‘test environments’, making explicit an idea which likely plays an implicit part in many disability discussions. We place or imagine placing the disabled person in a range (...) of different environments. If there is a relevant test environment in which they do fine, their problem was societal/external; if there is not, it was medical/internal. Cooper admits that deciding on the appropriate range of test environments is an ethical and political question. In this chapter, I argue that we often ought to widen our scope when discussing psychiatric disabilities. (shrink)

The belief that obese people ought to lose weight and keep it off is widespread, and has a profound negative impact on the lives of the obese. I argue in this paper that most obese people have no such obligation, even if obesity is bad, and caused by calorie input exceeding output. Obese people do not have an obligation to achieve long-term weight loss if this is impossible for them, is worse than the alternative, or requires such an enormous effort (...) in relation to what stands to be gained that this option is supererogatory rather than obligatory. It is highly plausible that most obese people fall into one of these three groups. Politicians may still have obligations to fight obesity, but they ought to do so through progressive politics rather than blaming and shaming. (shrink)

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. (shrink)

In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed (...) in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification. (shrink)

The concept of expression has always held an important place in Fernando Gil’s thought. The author’s reflection on the idea of expression is well reflected among his writings – either in his early essays or throughout his entire work –, attaining a special focus in the lectures that he gave at Johns Hopkins University during the years of 2002, 2003 and 2004. Actually, these lectures represent the strongest testimony of the relevancy given by Fernando Gil to this concept. However, despite (...) being a concept which crosses all his work, clearly having a central place in his thought, Fernando Gil never got to write a systematic theory on the concept of expression. Thus, closely following the author’s works, the main purpose of this study is to suggest a personal vision of what could have been Fernando Gil’s theory on expression. Combining some of the main ideas of Johns Hopkins lectures to some fundamental notions of Fernando Gil’s thought, we will try to show that Fernando Gil’s theory on expression is a theory on the ordination of thought, on cognitive construction and, above all, a theory on the elevation of thought to what shall be considered its higher modality, the aesthetical thought. In fact, our major hypothesis is that Fernando Gil’s theory on expression is not only a cognitive theory but also an aesthetical one. As such, its major guidelines shall be: to explain the adequacy of expression to its objects; to show how expression evolves according to the cognitive development of the subject; and, finally, to explain and to justify the elevation of thought to universality, harmony and beauty. (shrink)

O presente artigo incide sobre o conceito de expressão no âmbito do pensamento leibniziano, pretendendo, a partir da sua análise, expor a crítica que Fernando Gil lhe tece, nomeadamente no que diz respeito à ideia de “causalidade expressiva”. Passando por vários conceitos leibnizianos como “substância simples”, “força”, “apetição” ou “entre-expressão”, o que se pretende analisar é a reflexão de Fernando Gil relativamente àquilo que o autor considera “a aporia da expressão leibniziana”, e, ainda, a sua reabilitação da inteligibilidade expressiva como (...) pensamento do contínuo, onde inteligibilidade, beleza e simplicidade se implicam mutuamente. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)