The basis of a humane approach to others is the authentic comprehension of another subject. As humans, we can achieve this understanding well, and the reason lies in how we experience the world around us and other subjects in it. The development of robots capable of socially interacting and helping humans is progressing, even though they are still far from reaching an autonomous comprehension of others’ intentions, emotions, and feelings. In this sense, the hu- mane approach may be addressed in (...) robotics through the concept of experience. In a reciprocal exchange of perspectives, the core elements and the structure of human experience are investigated in this chapter together with how the idea of experience has been implemented in robots. The embodied Self and the relationship with other subjects form the pivot of any human experience and are suggested to be the basis for the emergence of a novel cognitive-experiential structure in robots. Conversely, the possibility to develop a robot with a primitive sense of Self raises questions about the nature of human experience and the impact such technologies have on it. (shrink)

This article explores the interplay between pity and indignation in the revolutionary works of Isabelle de Charrière, particularly in Lettres trouvées dans des porte-feuilles d’émigrés (1793). It argues that these two sentiments structure a moral and political response to the violence of the Revolution, and advances two key claims: first, that Charrière’s indignation arises from a form of pity rooted in sympathetic identification with the suffering of others; and second, that this indignation is directed at the widespread insensitivity demonstrated by (...) both aristocrats and revolutionaries. The article further shows how Charrière’s writing, following in the footsteps of Rousseau, seeks to elicit these two moral affections in the reader, thereby assuming both an ethical and performative function. Through a close textual analysis of the characters and their development, the study highlights the central role of compassion in shaping moral judgement and in critiquing the sacrificial logic underlying the Terror. (shrink)

El uso de los DRM plantea una serie de problemas debido a posibles conflictos con otras áreas de la gestión de los bienes inmateriales, tales como el derecho de autor en primer lugar, así como el derecho de competencia, los datos personales y el régimen del consumo. El derecho comunitario europeo por su parte no ha sido ajeno a toda esta problemática, y según se analiza, con el paso de los años ha adoptado una postura que denota cada vez una (...) mayor preocupación, de una parte por la incapacidad de responder a proliferación de copias sin autorización y a la piratería de contenidos. Al finalizar el texto, se presentan unas reflexiones en castellano que recogen todos los aspectos aquí tratados. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. Then, (...) I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

Natural deduction inference rules seem to reflect the way we actually reason. Hence, many if not most inferentialist theories maintain that meaning is conferred on linguistic expressions by natural deduction rules, rather than the more abstract alternative of sequent rules. In the present paper, I argue, to the contrary, that an inferentialist theory of meaning must take a somewhat metainferential form, whereby the meanings of linguistic expressions—in particular, the logical constants—are conferred by sequent rules, conceived of as licensing inferences between (...) inferences. To that end, I propose that sequent rules are to be understood as inferential semantic clauses, i.e., as playing a role analogous to that of the semantic clauses in truth conditional theories of meaning. I establish this proposal on the basis of an argument to the effect that inferentialists must adopt an extended version of Frege's context principle, according to which only within a complete sentence potentially serving either as a premise or as a conclusion of an inference do words have meaning. The resultant inferentialist theory is not disconnected from the way we actually reason. Moreover, on its basis one can make a meaning-theoretic case for rather unintuitive features of many sequent calculi, such as multiple conclusions and various ways of going substructural. (shrink)

Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to (...) classical logic. We give semantic and sequent-calculus formulations of these logics, and we highlight some reasons why these logics may be interesting in their own right. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

The ontology of beauty has been relatively neglected in both metaphysics and aesthetics over the past century or more, and nowhere more than in the literature devoted to feminist critique of contemporary beauty ideals. Superficially, this is puzzling. In this paper, I explain why the omission makes sense, and I argue for the conclusion that beauty is a contextually conferred social property. Central to my argument is the claim that this conception of beauty fits well with important points of widespread (...) agreement in the feminist literature on beauty norms. (shrink)

This essay develops a theory of identities, selves, and ‘the self’ that both explains the sense in which selves are narratively constituted and also explains how the self relates to a person's individual autobiographical identity and to their various social identities. I argue that identities are the contents of narratively structured representations, some of which are hosted individually and are autobiographical in form, and others of which are hosted collectively and are biographical in form. These identities, in turn, give rise (...) to selves of various sorts—true selves, autobiographical selves, public and private selves, merely possible selves, and so on—which are the characters (or presupposed subjects) that appear in our various identities. Although the theory I develop bears some obvious affinities with the view that selves are fictional characters, the two views are in fact distinct, for reasons explained at the end. (shrink)

Proof theorists have long been struggling to provide simple accounts of various modal logics. Drawing on the recent literature on metainferences, I develop in the present paper a novel approach to this challenge: regular sequent systems augmented with natural deduction-like rules for assuming and discharging sequents. Based on this approach, I introduce an elegant calculus for the modal logic S4⁠. Various discharging conditions on assumptions are shown to yield the weaker logics K⁠, D, and ⁠T. The rules in these calculi (...) have attractive proof-theoretic properties: they are explicit, symmetrical, and non-circular, and they enjoy the subformula property. (shrink)

Williamson has claimed that we assess counterfactuals 'If it were/had been that A, it would be/have been that C' primarily using a combination of two heuristics, both inconsistent: one for the indicative 'if' – essentially, a Ramsey Test for indicatives; one for 'would'. A better candidate for our primary way of assessing counterfactuals has been known for decades. Mathematical results guarantee that it doesn't have certain troubles of the heuristics invoked by Williamson; on some ways of fine-tuning, it may even (...) be rationally ideal. So calling it a 'heuristic' may be uncharitable. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Bilateralism is the view that the speech act of denial is as primitive as that of assertion. Bilateralism has proved helpful in providing an intuitive interpretation of formalisms that, prima facie, look counterintuitive, namely, multiple-conclusion sequent calculi. Under this interpretation, a sequent of the form $\Gamma \vdash \Delta$ is regarded as the statement that it is incoherent, according to our conversational norms, to occupy the position of asserting all the sentences in $\Gamma$ and denying all the sentences in $\Delta$. Some (...) have argued, based on this interpretation, that the notion of invalidity is as conceptually primitive and important as the notion of validity: whereas the latter is couched in terms of what positions are incoherent and hence untenable, the former is couched in terms of what positions are coherent and hence tenable. My ultimate goal in this paper is to contest this view. Based on a novel technical account of the two notions—one that I find more accurate than the existing accounts in the literature—I shall argue that the notion of incoherence takes conceptual priority over the notion of coherence. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

Is there a reason to prevent deontological wrongdoing—an action that is wrong due to the violation of a decisive deontological constraint? This question is perplexing. On the one hand, the intuitive response seems to be positive, both when the question is considered in the abstract and when it is considered with regard to paradigmatic cases of deontological wrongdoing such as Bridge and Transplant. On the other hand, common theoretical accounts of deontological wrongdoing do not entail this answer, since not preventing (...) wrongdoing does not necessarily amount to doing harm or intending harm, for example. The puzzle is reinforced due to the fact that the intuitive response to other cases seems to be different, namely that there is no reason in favour of preventing deontological wrongdoing. This question is thus interesting in itself. It might also shed light on additional questions such as the “paradox of deontology” and the appropriate response to wrongful actions more generally. Yet, despite its importance, this question is typically overlooked. The paper explores this question. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Does the moral status of an action provide in itself a non-instrumental, pro-tanto reason for a corresponding legal status – a reason that applies regardless of whether the law promotes a value that is independent of the law, such as preventing wrongdoing or promoting distributive or retributive justice? While the relation between morality and law is a familiar topic, this specific question is typically not considered explicitly. Yet it seems to be controversial and each of the contrasting answers to this (...) question has some appeal. The article highlights and considers this question. it concludes that the answer is negative: there is no necessary relation between morality and law in this respect. Rather, there is a reason in favor of incorporating morality into the law only when this incorporation promotes a moral value that is independent of the law. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

One of the main tasks for an account of the Christian doctrine of the atonement is to explain how and in what ways the salvifically relevant work of Christ heals the damage wrought by human sin on our souls, our relationships with one another, and our relationship with God. One kind of damage often neglected in philosophical treatments of the atonement, but discussed at some length in Eleonore Stump’s forthcoming At-one-ment, is what she, following St. Thomas Aquinas, calls the stain (...) on the soul. The stain on the soul comprises the “moral leftovers” of serious evil, damage to the soul that goes beyond the guilt, shame, and separation from God brought about by sin and that lingers in a person even after she has repented and been forgiven. In this paper, I critically examine Stump’s account of how the work of Christ deals with the problem of the stain on the soul. I offer reasons for thinking that if the stain is exactly as she describes it, then it is indelible; and then I explore possible ways forward for her account of the atonement. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader with (...) concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

The article explores the interaction of two, potentially clashing, considerations, each reflecting a different conception of fairness concerning the resolution of interpersonal conflicts. According to the Equal Chance Principle, the harm for each person should be minimized in a significant and (roughly) equal degree; when this is impossible, each person should be accorded the highest possible equal chance to avoid the harm. According to the Importance Principle, the danger to the person who would otherwise suffer the more serious harm should (...) be prevented. (shrink)

Against hyperintensional accounts of propositional contents, such as truthmaker semantics, impossible worlds semantics, structured propositions, and Fregean senses, Williamson has defended the Claim that such contents are to be taken as sets of possible worlds, resorting to guises while explaining away putative counterexamples as by-products of fallible cognitive heuristics. The workings of same-saying raise issues for the general applicability of the strategy: one can multiply ad libitum examples of co-intensional sentences saying different things, where guises won’t help the Claim, because (...) they make no relevant cognitive difference. Besides, this is not even a catastrophe for possible worlds semantics. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be pervasively applied (...) in formal and mainstream epistemology; and that it is left unscathed by the objection. (shrink)

According to an influential and intuitively appealing argument, morality is usually continuous, namely, a gradual change in one morally significant factor triggers a gradual change in another; the law should usually track morality; therefore, the law should often be continuous. This argument is illustrated by cases such as the following example: since the moral difference between a defensive action that is reasonable and one that is just short of being reasonable is small, the law should not impose a severe punishment (...) when the action is almost reasonable and no punishment at all when the action is reasonable. In this Article, I consider two doubts regarding this argument. First, the premise that morality is continuous in such cases is incompatible with the common view that the moral status of actions is not continuous since there is an important difference between actions that are permissible and actions that are wrong— even if this difference is due to a difference that is very small, such as the one between an action whose consequences are the best and an action whose consequences are just slightly less good. This view extends also to the overall moral status of agents given the common assumption that it depends on the moral status of their actions. This is an important challenge that the Continuity Argument should confront. However, I argue that the best account of morality is more scalar than the common view in these respects. Therefore, I conclude that the first premise of the Continuity Argument is correct in this regard, although it is based on a minority view. The second doubt concerns the scope of the second premise: since there are reasons both in favor and against legal continuity, and the applicability and force of these reasons depend not only on various moral propositions but also on contingent non-moral facts, we often lack the evidence to determine the degree to which the law, at a certain place and time, should be continuous, and specifically that it should often be continuous. (shrink)

Since the 1960s, metaphysics has flourished in Anglo-American philosophy. Far from wanting to avoid metaphysics, philosophers have embraced it in droves. There have been critics, to be sure; but the criticisms have received answers and the enterprise has carried on.

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

Objective correlates—behavioral, functional, and neural—provide essential tools for the scientific study of consciousness. But reliance on these correlates should not lead to the ‘fallacy of misplaced objectivity’: the assumption that only objective properties should and can be accounted for objectively through science. Instead, what needs to be explained scientifically is what experience is intrinsically— its subjective properties—not just what we can do with it extrinsically. And it must be explained; otherwise the way experience feels would turn out to be magical (...) rather than physical. We argue that it is possible to account for subjective properties objectively once we move beyond cognitive functions and realize what experience is and how it is structured. Drawing on integrated information theory, we show how an objective science of the subjective can account, in strictly physical terms, for both the essential properties of every experience and the specific properties that make particular experiences feel the way they do. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Several authors maintain that we are capable of having inconsistent intentional states, either in cases of illusion, in certain cases of imagination, or because the observable world is (partly) inconsistent and we perceive it as such. These views are all premised on the assumption that inconsistent intentional states—even if acknowledged—are peculiar and have nothing essential to do with our perceptual capacities. In the present article, I would like to present, and argue for, a much stronger thesis: that inconsistent intentional states (...) underlie the possibility of having intentional content in mind. I argue for this thesis based on a Husserlian phenomenological analysis of our grasp of objects, which I formulate in terms of incompatibility semantics. (shrink)

The paper will have three sections. In section one I briefly present and respond to Byrne’s argument against theological realism. In section two, I present van Fraassen’s argument against analytic metaphysics and I show how, if sound, it constitutes a reason to reject both metaphysical and theological realism. In section three, I show how van Fraassen can be answered. Obviously what I am doing here falls far short of a full-blown defense of realism in either metaphysics or theology. But the (...) objections raised by van Fraassen and Byrne are tokens of a type of objection that I think is rather widely endorsed among those who are suspicious of these two brands of realism. Thus, responding to those objections constitutes an important first step in the direction of a defense. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

In "Evil and the Justice of God", N.T. Wright presses the point that attempting to solve the philosophical problem of evil is an immature response to the existence of evil--a response that belittles the real problem of evil, which is just the fact that evil is bad and needs to be dealt with. As you might expect, I am not inclined to endorse this sort of sweeping indictment of the entire field of research on the philosophical problem of evil. (I (...) sort of doubt that Wright really meant to either.) But I do think that there is a kernel of truth in what I take to be Wright's fundamental objection to attempts to solve the philosophical problem of evil. In the first section of what follows, I will try briefly to explain why. I will then go on to argue that, despite this fact, certain efforts at solving the problem of evil avoid Wright's objection. Indeed, drawing on recent work by Elenore Stump, I will argue that one perfectly legitimate way to try to solve the philosophical problem of evil is to follow precisely what seems to be the main piece of advice in "Evil and the Justice of God": namely, to look more seriously than we have at the attitudes taken toward evil by human authors of and characters in the Bible, and to attend more carefully to what the Bible says about how God deals with evil. (shrink)

The idea of a distinctively political normativity came under sustained fire lately. Here I formulate, test, and reject a moderate and promising way of conceiving it. According to this conception, political normativity is akin to the kind of normativity at play in all-things-considered judgments, i.e., those judgments that weight together all the relevant reasons to determine what practical rationality as such requires to do. I argue that even when we try to conceive political normativity in this all-things-considered way, and even (...) when we do not concede from the get-go that moral reasons necessarily trump or override normative reasons of a different kind, political normativity is still reducible to morality, because the peculiar content of all-things-considered political oughts can be explained by the interplay of general moral principles and contextual facts that do not obtain exclusively in political scenarios. If my arguments are correct, I provide political realists with one more reason to withdraw from the metaethical battle over the idea of a distinctively political normativity and show that the moralist approach is defensible against a prima facie promising, but ultimately untenable, alternative. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

In World Without Design: The Ontological Consequences of Naturalism, I argued that there is an important sense in which naturalism’s current status as methodological orthodoxy is without rational foundation, and I argued that naturalists must give up two views that many of them are inclined to hold dear—realism about material objects and materialism. In a review recently published in Faith and Philosophy, Dale Jacquette alleges that my arguments in World Without Design are directed mainly against strawmen and that I have (...) neglected to discuss at least one formulation of naturalism that straightforwardly addresses my main objections. In this reply, I show that these and other objections raised by Jacquette are unsound and, in fact, rest on egregious misrepresentations of the book. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

In this paper, we take a meta-theoretical stance and aim to compare and assess two conceptual frameworks that endeavor to explain phenomenal experience. In particular, we compare Feinberg & Mallatt’s Neurobiological Naturalism (NN) and Tononi’s and colleagues' Integrated Information Theory (IIT), given that the former pointed out some similarities between the two theories (Feinberg & Mallatt 2016c-d). To probe their similarity, we first give a general introduction to both frameworks. Next, we expound a ground plan for carrying out our analysis. (...) We move on to articulate a philosophical profile of NN and IIT, addressing their ontological commitments and epistemological foundations. Finally, we compare the two point-by-point, also discussing how they stand on the issue of artificial consciousness. (shrink)

Scopo di questo agile ma denso volume è approfondire “The part played by the mathematical construction in the context of a full investigation of Kant’s theory of sensibility, that to say the Transcendental Aesthetic”. Si tratta della ripresentazione della tesi di dottorato della Shabel, da cui la stessa ha riportato ampi squarci per un articolo award-winning 1998 dal titolo ”Kant on the Symbolic Construction of Mathematical Concepts” (Studies in the History and the Philosophy of Science). Non si tratta di un (...) saggio di circostanza, bensì del risultato di un'attenta e approfondita ricerca sul ruolo della costruzione di concetti, come praticata e intesa in matematica al tempo di Kant e che sicuramente influenzò la stesura dell’Estetica Trascendentale. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)