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)

The aim of this paper is to argue against the received view among Unamuno scholars that Miguel de Unamuno was defending a sort of pragmatic argument for religious faith and that his notion of religious faith as “querer creer” (“wanting to believe”) is to be identified with William James’s “the will to believe”. As I will show in this paper, one of the aspects that makes Unamuno’s reasoning philosophically relevant is his ability to formulate a non-pragmatist defense of religious faith (...) without a prior commitment to the truth of any religious or theological statement and grounded in our longing for an endless existence through God’s Salvation. (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)

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.

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)

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)

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)

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)

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)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Most of the existing studies on Bourdieu and the digital regards the social and class distinctions in the use of digital technologies, thus presupposing a certain transparency of technologies themselves. Our proposal is to refer to this attitude as “Bourdieu outside the digital.” Yet in this paper, another perspective called “Bourdieu inside the digital” is developed, which moves the focus on the effects of some emerging technologies on social distinctions and discrimination. The main hypothesis is that algorithms of machine learning (...) are producers and reproducers of habitus. Although their results present a greater granularity with respect to the standard techniques of the past, these algorithms still reduce individuals to categories, general trends, classes, and behaviors. Such a reduction has flattening effects on the individuals’ self-understanding, especially in terms of identity and interaction with the social world. This is the phenomenon described in the article as the “personalization without personality,” whose consequences are both existential and social-political. This idea will be illustrated through qualitative and comparative analysis between the correspondence analysis and the multiple correspondence analysis used by Bourdieu in his works and some of those techniques that are performed today in big data analytics. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

The aim of this chapter is to analyse the concept of love —understood in the broad and Christian-inspired sense of love as agape-charis love— in relation to the animes Dragon Ball and Dragon Ball Z. I first comment on the character of Piccolo —and how his friendship with Son Gohan— leads to him losing all his original villainous traits. I argue that the evolution of the character of Piccolo through his friendship with Son Gohan illustrates the philosophical claim that a (...) loving and giving of oneself to the other —far from being a sign of weakness— is a courageous and self-affirming exercise. The result may move the individual to an inner transformative experience that leads to the enjoyment of a renewed and authentic life that is worth living. I then argue that Son Goku’s respectful attitude towards his opponents is ultimately a loving attitude. Last, I argue that it is the inspiring and loving example of Son Goku that ultimately explains why characters such as Vegeta —who are at first presented as villains— end up losing their villainous traits after fighting against Son Goku. (shrink)

El objetivo de este artículo es ofrecer una exposición sistemática de la propuesta filosófica de Joaquim Xirau (Figueras, 1895 – Ciudad de México, 1946), señalando así su interés filosófico al tiempo que se vinculan sus dos grandes obras ensayísticas de madurez, Amor y mundo (1940) y Lo fugaz y lo eterno (1942).

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)

In this paper I will argue that Unamuno was conceiving of God (and ordinary, non-religious fictional characters more generally) in realist, though non-evidentially grounded, terms. I will point out that this way of conceiving of God allowed Unamuno to claim the actual existence of God (though as a fictional, purely humanly created character) and, with this, the possibility of there being an actual relationship between the concrete religious person and God without having to dispense with his own core claim that (...) religious faith is just a subjective, though natural and thus inevitable, human reaction. (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)

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)

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

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)

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)

The debate about the foundations of mathematical sciences traces back to Greek antiquity, with Euclid and the foundations of geometry. Through the flux of history, the debate has appeared in several shapes, places, and cultural contexts. Remarkably, it is a locus where logic, philosophy, and mathematics meet. In mathematical astronomy, Nicolaus Copernicus’s axiomatic approach toward a heliocentric theory of the universe has prompted questions about foundations among historians who have studied Copernican axioms in their terminological and logical aspects but never (...) examined them as a question of mathematical practice. Copernicus provides seven unproved assumptions in the introduction of the brief treatise entitled Nicolaus Copernicus’s draft on the models of celestial motions established by himself, better known as Commentariolus (ca. 1515), published circa 30 years before the final composition of his heliocentric theory (On the revolutions of the heavenly spheres, 1543). The assumptions deal with the renowned Copernican hypothesis of considering the Earth in motion and the Sun, not affected by motion, near the center of the universe. Although Copernicus decides to omit the proofs for the sake of brevity, the deductions in the Commentariolus are supposed to be drawn from the initial seven assumptions. Questions on the nature (are they postulates or axioms?) and the logic (is there an internal rigor?) of those assumptions have yet to be fully explored. By examining Copernicus’s seven assumptions as a question of mathematical practice, it is possible to hold historical, philosophical, and logical aspects of Copernican axiomatics together and understand them as part of Copernicus’s intuition and creativity. (shrink)

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...) To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (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)

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)

Johannes Müller von Königsberg (1436-1476), better known as Regiomontanus, is widely considered as the most influential astronomer and mathematician of 15th-century Europe. He was active as an astrologer and deemed astrology to be the queen of mathematical sciences. Despite this, Regiomontanus's astrological activity has yet to be fully explored. A brief examination of Regiomontanus's manuscripts shows that his astrological interests were accompanied by interests in the arts and in methods of prognostication. This article studies an unconventional astrological-chiromantical text, whose relevance (...) is threefold: a) it sheds new light on Regiomontanus's astrological interests; b) it enriches our knowledge of Regiomontanus's efforts to learn and understand Greek-Regiomontanus transcribed it into his own manuscript during his sojourn in Italy from 1460-1467; and c) it is the sole extant text in the Greek tradition that provides a system for prognostication from the study of a person's hand, the parts of which are considered as being under the domain of planets. The article provides an English translation of Regiomontanus's transcription, alongside a brief commentary, and studies the intellectual and historical context of that production through manuscript analysis. (shrink)

An important distinction lies between consciousness attributed to creatures, or subjects, (creature consciousness) and consciousness attributed to mental states (state consciousness). Most contemporary theories of consciousness aim at explaining what makes a mental state conscious, paying scant attention to the problem of creature consciousness. This attitude relies on a deeper, and generally overlooked, assumption that once an explanation of state consciousness is provided, one has also explained all the relevant features of creature consciousness. I call this the priority of state (...) consciousness thesis (PSC). In this paper, I want to explore how the renewed centrality bestowed to phenomenology in contemporary discussions on consciousness challenges PSC and, consequently, the standard way of framing the problem of consciousness. More precisely, I examine PSC in light of a view about the structure of phenomenal character that is paradigmatic of the approach above. This is subjectivism about phenomenal character (SUBJ), according to which a mental state is conscious when it acquires the property of for-me-ness. I argue that PSC and SUBJ are incompatible because the latter implies that creature consciousness is explanatorily prior to state consciousness. Consequently, if SUBJ is true, then PSC is false, and what constitutes the problem of consciousness is primarily a problem of explaining (a kind of) creature consciousness. I conclude by defending my claim from a pair of possible objections and drawing some implications for the discussion of for-me-ness and the debate on the explanation of consciousness. (shrink)

Alireza Bagheri supports a policy on organ procurement where individuals could choose their own definition of death between two or more socially accepted alternatives. First, we claim that such a policy, without any criterion to distinguish accepted from acceptable definitions, easily leads to the slippery slope that Bagheri tries to avoid. Second, we suggest that a public discussion about the circumstances under which the dead donor rule could be violated is more productive of social trust than constantly moving the line (...) between life and death. (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.

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...) of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (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)

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

Conscientious objection in health care is a form of compromise whereby health care practitioners can refuse to take part in safe, legal, and beneficial medical procedures to which they have a moral opposition (for instance abortion). Arguments in defense of conscientious objection in medicine are usually based on the value of respect for the moral integrity of practitioners. I will show that philosophical arguments in defense of conscientious objection based on respect for such moral integrity are extremely weak and, if (...) taken seriously, lead to consequences that we would not (and should not) accept. I then propose that the best philosophical argument that defenders of conscientious objection in medicine can consistently deploy is one that appeals to (some form of) either moral relativism or subjectivism. I suggest that, unless either moral relativism or subjectivism is a valid theory—which is exactly what many defenders of conscientious objection (as well as many others) do not think—the role of moral integrity and conscientious objection in health care should be significantly downplayed and left out of the range of ethically relevant considerations. (shrink)

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

The verifiability principle was the characteristic claim of a group of thinkers who called themselves the Vienna Circle and who formed the philosophical movement now known as logical positivism. The verifiability principle is an empiricist criterion of meaning which declares that only statements that are verifiable by —i.e., logically deducible from— observational statements are cognitively meaningful. -/- This essay is a short introduction to the philosophical movement of logical positivism and its formulation of the verifiability principle. Its primary aim is (...) to provide students of philosophy with an accessible first overview of this philosophical movement. -/- After pointing out some aspects of the philosophical background of logical positivism (section 1), I will comment on the reasoning that lead these authors to formulate the verifiability principle (section 2), and I will analyse the debate about how to understand observational language and how observational statements (the so-called ‘protocol statements’) are verified (section 3). I will also comment on the two main consequences of accepting the verifiability principle: the conception of philosophy as the task of logical analysis and the project of unified science (section 4), and I will explain the different views on ethical language defended by logical positivists (section 5). I will end this essay by identifying the main problems of the verifiability principle and I will explain the core ideas of Carnap’s confirmability criterion, which attempts to resolve these problems (section 6 and 7). (shrink)

In his essay against Eberhard, Kant denies that there are innate concepts. Several scholars take Kant’s statement at face value. They claim that Kant did not endorse concept innatism, that the categories are not innate concepts, and that Kant’s views on innateness are significantly different from Leibniz’s. This paper takes issue with those claims. It argues that Kant’s views on the origin of the intellectual concepts are remarkably similar to Leibniz’s. Given two widespread notions of innateness, the dispositional notion and (...) the input/output notion, intellectual concepts are innate for Kant no less than for Leibniz. (shrink)

This paper traces the ancestry of a familiar historiographical narrative, according to which early modern philosophy was marked by the development of empiricism, rationalism, and their synthesis by Immanuel Kant. It is often claimed that this narrative became standard in the nineteenth century, due to the influence of Thomas Reid, Kant and his disciples, or German Hegelians and British Idealists. The paper argues that the narrative became standard only at the turn of the twentieth century. This was not due to (...) the influence of Reid, German Hegelians, or British Idealists as they did not endorse the narrative, although Thomas Hill Green may have facilitated its uptake. The narrative is based on Kant’s historiographical sketches, as corrected and integrated by Karl Leonhard Reinhold. It was first fleshed out into full-fledged histories by two Kantians, Wilhelm Gottlieb Tennemann and Johann Gottlieb Buhle. Numerous historians, several of whom were not Kantians, spread it in the English-speaking world. They include Kuno Fischer, Friedrich Ueberweg, Richard Falckenberg, and Wilhelm Windelband. However, the wide availability of their works did not suffice to make the narrative standard because, until the 1890s, the Hegelian account was at least as popular as theirs. Among the factors that allowed the narrative to become standard are its aptness to be adopted by philosophers of the most diverse persuasions, its simplicity and suitability for teaching. (shrink)

Several scholars have criticized the histories of early modern philosophy based on the dichotomy of empiricism and rationalism. They view them as overestimating the importance of epistemological issues for early modern philosophers (epistemological bias), portraying Kant's Critical philosophy as a superior alternative to empiricism and rationalism (Kantian bias), and forcing most or all early modern thinkers prior to Kant into the empiricist or rationalist camps (classificatory bias). Kant is often said to be the source of the three biases. Against this (...) criticism, this paper argues that Kant did not have the three biases. However, he promoted a way of writing histories of philosophy from which those biases would naturally flow. (shrink)

In a paper recently published in this journal, Navin and Largent argue in favour of a type of policy to regulate non-medical exemptions from childhood vaccination which they call ‘Inconvenience’. This policy makes it burdensome for parents to obtain an exemption to child vaccination, for example, by requiring parents to attend immunization education sessions and to complete an application form to receive a waiver. Navin and Largent argue that this policy is preferable to ‘Eliminationism’, i.e. to policies that do not (...) allow non-medical exemptions, because Inconvenience has been shown to maintain exemption rates low while not harming parents by forcing them to do something that goes against their beliefs. We argue that it is at least doubtful that Inconvenience is ethically preferable to Eliminationism: while the latter disregards the value of liberty, Inconvenience disregards the value of fairness in the distribution of the burdens entailed by the preservation of a public good like herd immunity. We propose a variant of Inconvenience, which we call ‘Contribution’, which we think is preferable to the versions of Inconvenience discussed by Navin and Largent in that it successfully strikes a balance between the values of parents’ liberty, fairness and expected utility. (shrink)

The difficulties that Troeltsch faced in his intellectual endeavors derive from the ultimate dualism characterizing, in his perspective, the existence of man: namely a dualism between the historicity of his existence and the need of an ultimate meaning – and of the unity of such a meaning with life itself. According to Troeltsch, dualism is articulated on different levels, for the reason that the historical dimension of man is composed by different and often contrasting elements. Man, indeed, must satisfy immediate (...) needs, deriving from his animal nature, but also organize himself in the economic, political and ethical spheres, ‘before’ entering the strictly religious one. The process of spiritualization of the natural dimension crosses all these areas: as a result, such a dimension is purified and oriented towards the unity of the ‘ultimate things’: a goal which is unattainable, as long as the natural dimension is ultimately historical. The Troeltschian category of compromise (Kompromiss) has not always been appreciated and perhaps has not always been properly understood. This attitude is well exemplified by the judgment of Benedetto Croce, for whom compromise hides and at the same time distorts dialectic. In recent decades, however, a more charitable approach has emerged: it has been recognized that, in Troeltsch’s perspective, compromise is not the expression of a resigned Irenism, but the historical realization of ideal aspirations. Such a realization that will always be imperfect because as it is conditioned by circumstances: in the human being the constitutive inclination to the ‘ultimate things’ will coexist with an equally intrinsic finiteness. (shrink)

El objetivo de este artículo es clarificar la noción de «vida auténtica» tal y como es descrita por Joan Roura-Parella en su última obra Tema y variaciones de la personalidad (1950). Por «vida auténtica» se entiende una vida autogobernada, que permite al individuo realizar su propia singularidad y, por tanto, preservar su autonomía y dignidad como persona. Una vida dominada por factores ajenos al propio individuo, sean cuales sean éstos, es una vida alienada, que no permite el desarrollo del individuo (...) en tanto la persona que es. Se señala la relevancia filosófica de la propuesta de Roura-Parella, que es la de ofrecer una justificación no-evidencial para una forma de vida cristiana, agapística. De acuerdo con Roura-Parella, una forma de vida basada en la entrega amorosa para con el prójimo está justificada en tanto que ésta es el resultado último de nuestra propia condición natural, constituyendo así un acto de afirmación personal y siendo, por tanto, condición necesaria para gozar de una vida auténtica — «la vida alcanza su hondo sentido al salirse de sí misma para darse a los demás» (Roura-Parella, Tema y variaciones de la personalidad, 1950, p. 229). Se señalan las diferencias y semejanzas de la propuesta de Roura-Parella con respecto a las de Miguel de Unamuno y Joaquim Xirau, autores que fueron cercanos a Roura-Parella y quienes, aunque partiendo de razonamientos distintos a los de Roura-Parella, también concibieron la entrega amorosa para con el prójimo como un acto de afirmación personal. (shrink)

Although the notion of empiricism looms large in many histories of early modern philosophy, its origins are not well understood. This paper aims to shed light on them. It examines the notions of empirical philosopher, physician, and politician that are employed in a range of seventeenth- and eighteenth-century texts, alongside related notions (e.g. "experimental philosophy") and methodological stances. It concludes that the notion of empiricism used in many histories of early modern thought does not have pre-Kantian origins. It first appeared (...) and became widely used in late eighteenth-century Germany, in the course of the early debates on Kant's Critical philosophy. (shrink)

Technological developments involving robotics and artificial intelligence devices are being employed evermore in elderly care and the healthcare sector more generally, raising ethical issues and practical questions warranting closer considerations of what we mean by “care” and, subsequently, how to design such software coherently with the chosen definition. This paper starts by critically examining the existing approaches to the ethical design of care robots provided by Aimee van Wynsberghe, who relies on the work on the ethics of care by Joan (...) Tronto. In doing so, it suggests an alternative to their non-principled approach, an alternative suited to tackling some of the issues raised by Tronto and van Wynsberghe, while allowing for the inclusion of two orientative principles. Our proposal centres on the principles of autonomy and vulnerability, whose joint adoption we deem able to constitute an original revision of a bottom-up approach in care ethics. Conclusively, the ethical framework introduced here integrates more traditional approaches in care ethics in view of enhancing the debate regarding the ethical design of care robots under a new lens. (shrink)

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (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)