Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

This paper contributes to the growing literature in social epistemology of diagnosing the epistemically problematic features of fake news. I identify two novel problems: the problem of relevant alternatives; and the problem of the degradation of the epistemic environment. The former arises among individual epistemic transactions. By making salient, and thereby relevant, alternatives to knowledge claims, fake news stories threaten knowledge. The problem of the degradation of the epistemic environment arises at the level of entire epistemic communities. I introduce the (...) notion of an epistemic environment, roughly the totality of resources and circumstances relevant to assessing the epistemically interesting statuses, such as knowledge. Fake news degrades our epistemic environment by undermining confidence in epistemic institutions and altering epistemic habits, thereby making the environment less conducive to achieving positive epistemic statuses. This is problematic even if the decrease in confidence and the altering of habits are rational. I end by considering solutions to these problems, stressing the importance of reproaching each other for proliferating fake news. I argue that we should reproach even faultless purveyors of fake news. This is because fake news typically arises in abnormal epistemic contexts, where there is widespread ignorance of, and noncompliance with, correct epistemic norms. (shrink)

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

This chapter focuses on AI-based cognitive and perceptual enhancements. AI-based brain enhancements are already under development, and they may become commonplace over the next 30–50 years. We raise doubts concerning whether radical AI-based enhancements transhumanists advocate will accomplish the transhumanists goals of longevity, human flourishing, and intelligence enhancement. We urge that even if the technologies are medically safe and are not used as tools by surveillance capitalism or an authoritarian dictatorship, these enhancements may still fail to do their job for (...) philosophical reasons. In what follows, we explore one such concern, a problem that involves the nature of the self. We illustrate that the so called transhumanist efforts to “merge oneself with AI” could lead to perverse realizations of AI technology, such as the demise of the person who sought enhancement. And, in a positive vein, we offer ways to avoid this, at least within the context of one theory of the nature of personhood. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...) two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

This chapter aims to lay out a map of the diverse epistemological perspectives within the Islamic theological tradition, in the conceptual framework of contemporary analytic philosophy of religion. In order achieve that goal, it aims to consider epistemological views in light of their historic context, while at the same time seeking to “translate” those broadly medieval perspectives into contemporary philosophical language. In doing so, the chapter offers a succinct overview of the main epistemic trends within the Islamic theological tradition concerning (...) religious epistemology. The chapter is divided into two main sections designated for discussions of differing accounts found in distinct trends of the tradition, namely the Rationalist and Traditionalist trends. The discussion concerning the Rationalist trend focuses on the philosophical-theologians of the dominant Mu’tazilite, Ash’arite, and Maturidite schools. The section on Islamic Traditionalism focuses on the Atharite scripturalism of Ibn Qudāma, and in particular the thought of Ibn Taymiyya. In order to map out these historic positions in light of contemporary religious epistemology, reference is made to a threefold typology of current views in the literature: (1) theistic evidentialism, (2) reformed epistemology, and (3) fideism. As such, the remainder of the chapter will attempt to outline the different approaches toward religious epistemology in the Islamic theological tradition with this threefold typology in mind. (shrink)

Miss Arendt is more reticent than, perhaps, she should be, about what actually went on in this public realm of the Greeks. —W. H. Auden.

This paper provides an opinionated guide to discussions of acting and believing on the basis of reasons. I aim to bring closer together largely separate literatures in practical rea- son and in epistemology. I focus on three questions. First, is basing causing? Causal theories of basing remain popular despite the notorious Problem of Deviant Causal Chains. Causal theorists in both the epistemic and practical domains have begun to appeal to dispositions to try and solve the problem. Second, how unified are (...) acting and believing on the basis of reasons? I consider an important challenge to their unity due to Setiya. I sketch a response, which posits unity of causal structure across acting and believing on the basis of reasons. Third, how does acting or believing on the basis of a good reason relate to acting or believing on the basis of a reason simpliciter? I generalize a recent argument of Lord and Sylvan's to include acting as well as believing. The conclusion is that, for both believing and acting, ϕing on the basis of a good reason does not amount to ϕing on the basis of a reason that just so happens to be good. (shrink)

This article is an exercise in the virtue epistemology of the internet, an area of applied virtue epistemology that investigates how online environments impact the development of intellectual virtues, and how intellectual virtues manifest within online environments. I examine online echo chambers and epistemic bubbles (Nguyen 2020, Episteme 17(2), 141–61), exploring the conceptual relationship between these online environments and the virtue of open-mindedness (Battaly 2018b, Episteme 15(3), 261–82). The article answers two key individual-level, virtue epistemic questions: (Q1) How does immersion (...) in online echo chambers and epistemic bubbles affect the cultivation and preservation of open-mindedness, and (Q2) Is it always intellectually virtuous to exhibit open-mindedness in the context of online echo chambers and epistemic bubbles? In response to Q1, I contend that both online echo chambers and online epistemic bubbles threaten to undermine the cultivation and preservation of open-mindedness, albeit via different mechanisms and to different degrees. In response to Q2, I affirm that both a deficiency and an excess of open-mindedness can be virtuous in these online environments, depending on the epistemic orientation of the digital user. (shrink)

The doctrine of the resurrection says that God will resurrect the body that lived and died on earth—that the post-mortem body will be numerically identical to the pre-mortem body. After exegetically supporting this claim, and defending it from a recent objection, we ask: supposing that the doctrine of the resurrection is true, what are the implications for the mind-body relation? Why would God resurrect the body that lived and died on earth? We compare three accounts of the mind-body relation that (...) have been applied to the doctrine of the resurrection: substance dualism, constitutionalism, and animalism. We argue that animalism offers a superior explanation for the necessity of the resurrection: since human persons just are their bodies, life after death requires resurrection of one’s body. We conclude that those endorsing the doctrine of the resurrection should be animalists. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

This paper reconstructs the function argument of Aristotle’s Eudemian Ethics 2.1. The argument seeks to define happiness through the method of division; shows that the highest good is better than all four of the goods of the soul, not only two, as commentators have thought; and unlike the Nicomachean argument, makes the highest good definitionally independent of the human function.

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

During the Winter of 2011 I visited SADAF and gave a series of talks based on the central chapters of my manuscript on the Yablo paradox. The following year, I visited again, and was pleased and honored to find out that Eduardo Barrio and six of his students had written ‘responses’ that addressed the claims and arguments found in the manuscript, as well as explored new directions in which to take the ideas and themes found there. These comments reflect my (...) thoughts on these responses (also collected in this issue), as well as my thoughts on further issues that arose during the symposium that was based on the papers and during the many hours I spent talking and working with Eduardo and his students. Durante el invierno de 2011, visité SADAF y dí una serie de conferencias sobre los capítulos centrales de mi manuscrito sobre la paradoja de Yablo. El año siguiente, visité Buenos aires nuevamente y tuve el placer y el honor de descubrir que Eduardo Barrio y seis de sus estudiantes habían escrito respuestas que abordan las afirmaciones y argumentos de mi manuscrito, además de explorar nuevas direcciones en las cuales considerar las ideas y temas encontrados allí. El presente trabajo refleja mis pensamientos sobre estas respuestas (también incluidas en este volumen), así como mis ideas sobre otras cuestiones que surgieron durante el simposio en el que se presentaron los artículos y en las muchas horas que nosotros discutimos y trabajamos con Eduardo y sus estudiantes. (shrink)

Coleridge rarely mentions Hegel in his philosophical writings and seems to have read very little of Hegel's work. Yet I argue that Coleridge's criticisms of Schelling's philosophy—as recorded in letters and marginalia—betray remarkable intellectual affinities with his nearly exact contemporary Hegel, particularly in their shared doubts about Schelling's foundationalist intuitionism. With this background in place, I seek to demonstrate that volume one of Coleridge's Biographia Literaria is a radically self-undermining text: its philosophical argument, far from slavishly recapitulating Schelling's philosophy, remains (...) haunted by a quasi-Hegelian skepticism toward intuition even as it advances intuition as the foundation of its theoretical edifice. (shrink)

According to the early Yogācāra, following non-conceptual awareness, the advanced bodhisattva is said to attain a state characterized by a "subsequent awareness". Yogācāra thinkers identify this state with ultimate knowledge of causality and view it as involving a unique kind of conceptual activity and propositional attitudes, which are very different, however, from ordinary conceptual awareness insofar as they do not involve vikalpa. Translated back into the terms of some version of the contemporary debate between conceptualists and nonconceptualists, this would amount (...) to something like the claim that we can use concepts in a non-conceptual way. But how can we make sense... (shrink)

Immanuel Kant promised, ‘as Your Majesty's loyal subject’, to abstain from all public lectures about religion. All past commentators agree this phrase permitted Kant to return to the topic after the King died. But it is not part of the ‘at-issue content’. Consequently, ‘as Your Majesty's loyal subject’ is no more an escape clause than the corresponding phrase in ‘I guarantee, as your devoted fan, that these guitar strings will not break’. Just as the guarantee stands regardless of whether the (...) guarantor ceases to be your devoted fan, the compliance conditions of Kant's promise are not affected by Kant's ceasing to be the king's loyal subject. For good or ill, Kant made a lying promise to King Friedrich Wilhelm II in 1794. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

Comics comprise a hybrid art form descended from printmaking and mostly made using print technologies. But comics are an art form in their own right and do not belong to the art form of printmaking. We explore some features art comics and fine art prints do and do not have in common. Although most fine art prints and comics are multiple artworks, it is not obvious whether the multiple instances of comics and prints are artworks in their own right. The (...) comparison of comics and fine art prints provides a promising test for assessing how hybrid art forms develop more generally, and for assessing how they differ from closely related nonhybrid cousins. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Philosophers working in the nascent field of ‘experimental philosophy’ have begun using methods borrowed from psychology to collect data about folk intuitions concerning debates ranging from action theory to ethics to epistemology. In this paper we present the results of our attempts to apply this approach to the free will debate, in which philosophers on opposing sides claim that their view best accounts for and accords with folk intuitions. After discussing the motivation for such research, we describe our methodology of (...) surveying people’s prephilosophical judgments about the freedom and responsibility of agents in deterministic scenarios. In two studies, we found that a majority of participants judged that such agents act of their own free will and are morally responsible for their actions. We then discuss the philosophical implications of our results as well as various difficulties inherent in such research. (shrink)

This article presents Franz Rosenzweig’s concept of redemption as a vehicle for raising some important questions for confronting the contemporary movement of Transhumanism. The upshot of our discussion is located in the existential questions asked, following a philosophical comparison of Rosenzweig’s religious and philosophical commitment to human life in its most robust form, with Transhumanism’s scientistic vision. To do so, the article first discusses some techno-scientistic assumptions of Transhumanism, showing that it presumes what was once a core principle of German (...) Idealism, the identity of reason and being, against which Rosenzweig rebelled. Then, the article turns to examine Rosenzweig’s humanistic redemptive vision and its emphasis on the corporeal, the temporal, and the worldly. The conclusion makes explicit the ways in which Rosenzweig’s redemptive vision provides a contrasting model to the one set forth by Transhumanism. (shrink)

In Ruling Passions, Simon Blackburn contends that we should reject sensibility theory because it serves to support a conservative complacency. Blackburn's strategy is attractive in that it seeks to win this metaethical dispute – which ultimately stems from a deep disagreement over antireductionism – on the basis of an uncontroversial normative consideration. Therefore, Blackburn seems to offer an easy solution to an apparently intractable debate. We will show, however, that Blackburn's argument against sensibility theory does not succeed; it is no (...) more supportive of conservative complacency than Blackburn's noncognitivism. A victory for noncognitivism cannot be so easily won. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

We initially characterize what we’ll call existence problems as problems where there is evidence that a putative entity exists and this evidence is not easily dismissed; however, the evidence is not adequate to justify the claim that the entity exists, and in particular the entity hasn’t been detected. The putative entity is elusive. We then offer a strategy for determining whether an existence problem is philosophical or scientific. According to this strategy (1) existence problems are characterized in terms of causal (...) roles, and (2) these problems are categorized as scientific or philosophical on the basis of the epistemic context of putative realizers. We argue that the first step of the strategy is necessary to avoid begging the question with regard to categorization of existence problems, and the second step categorizes existence problems on the basis of a distinction between two ways in which an entity can be elusive. This distinction between kinds of elusiveness takes as background a standard account of inference to the best explanation. Applying this strategy, we argue that the existence of a multiverse is a scientific problem. (shrink)

The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) cannot satisfactorily (...) elucidate modal knowledge. Third, from a naturalistic perspective, the nature of this second problem favours (EC) against (W). (shrink)

It is unfashionable to suggest that enactive processes - including some that involve the mirror neuron system - might contribute to the comprehension of sign language. The present essay formulates and defends a version of that unfashionable suggestion, as it applies to certain forms of syntactic processing. There is evidence that has been thought to weigh against any such suggestion, coming from neuroimaging experiments and from the study of Deaf aphasics. In both cases it is shown to be unpersuasive.

Ce texte est le fruit d’une collaboration entre un astrophysicien, Jean-René Roy, et un philosophe de l’éducation, Normand Baillargeon. Ils ont en commun d’avoir été marqués par la fréquentation des oeuvres de Mario Bunge, auxquelles ils attachent un grand prix, sur un plan personnel, d’abord, mais aussi, et c’est ce qu’ils veulent rappeler dans ces pages : parce qu’ils estiment que les oeuvres de Bunge contribuent de manière extrêmement forte et positive à rendre plus salubre la vie de l’esprit, en (...) enrichissant notre intellect et en luttant contre diverses formes troublantes d’obscurantisme qui y sévissent parfois, notamment dans les domaines familiers aux deux auteurs. (shrink)

Philosophers often suggest that their theories of free will are supported by our phenomenology. Just as their theories conflict, their descriptions of the phenomenology of free will often conflict as well. We suggest that this should motivate an effort to study the phenomenology of free will in a more systematic way that goes beyond merely the introspective reports of the philosophers themselves. After presenting three disputes about the phenomenology of free will, we survey the (limited) psychological research on the experiences (...) relevant to the philosophical debates and then describe some pilot studies of our own with the aim of encouraging further research. The data seem to support compatibilist descriptions of the phenomenology more than libertarian descriptions. We conclude that the burden is on libertarians to find empirical support for their more demanding metaphysical theories with their more controversial phenomenological claims. (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)

In this paper, the sine, cosine and cotangent similarity measures of interval rough neutrosophic sets is proposed. Some properties of the proposed measures are discussed. We have proposed multi attribute decision making approaches based on proposed similarity measures. To demonstrate the applicability, a numerical example is solved.

In this paper, we define correlation coefficient measure between any two rough neutrosophic sets. We also prove some of its basic properties.. We develop a new multiple attribute group decision making method based on the proposed correlation coefficient measure. An illustrative example of medical diagnosis is solved to demonstrate the applicability and effecriveness of the proposed method.

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

One of the most popular facets of Schmitt's philosophy is his theory of sovereignty and decisionism, as developed in his early essay Political Theology (1922). There, Schmitt offers an original outlook on the political implications of the secularization of modern Europe and philosophy's purported turn away from theology. The “death of God,” along with the gradual disappearance of the political institution of monarchy, are only symbols of the decline of sovereignty in general. What is lost in the process is not (...) sovereignty as such, since it can assume new forms, such as “reason,” “nature,” “the people,” or “the state.” What…. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

In this paper, we define projection and bidirectional projection measures between interval rough neutrosophic sets and prove their basic properties. Then two new multi attribute decision making strategies are proposed based on interval rough neutrosophic projection and bidirectional projection measures respectively. Then the proposed methods are applied for solving multi attribute decision making problems. Finally, a numerical example is solved to show the feasibility, applicability and effectiveness of the proposed strategies.

Charitable interpreters of David Hume set aside his sprinkles of piety. Better to read him as lying than as clumsily inconsistent. We argue that the attribution of lies can pay dividends in historical scholarship no matter how strongly the theorist condemns lying. Accordingly, we show that our approach works even with one of the strongest condemners of lying: Immanuel Kant. We argue that Kant lied in his scholarly work and even in the first Critique. And we defend the claim that (...) this lie attribution, strange as it may sound, amounts to a kind of scholarly charity. (shrink)

We study shared intentions in what we call “loose groups”. These are groups that lack a codified organizational structure, and where the communication channels between group members are either unreliable or not completely open. We start by formulating two desiderata for shared intentions in such groups. We then argue that no existing account meets these two desiderata, because they assume either too strong or too weak an epistemic condition, that is, a condition on what the group members know and believe (...) about what the others intend, know, and believe. We propose an alternative, pooled knowledge, and argue that it allows formulating conditions on shared intentions that meet the two desiderata. (shrink)

Augmented reality (AR) technologies function to ‘augment’ normal perception by superimposing virtual objects onto an agent’s visual field. The philosophy of augmented reality is a small but growing subfield within the philosophy of technology. Existing work in this subfield includes research on the phenomenology of augmented experiences, the metaphysics of virtual objects, and different ethical issues associated with AR systems, including (but not limited to) issues of privacy, property rights, ownership, trust, and informed consent. This paper addresses some epistemological issues (...) posed by AR systems. I focus on a near-future version of AR technology called the Real-World Web, which promises to radically transform the nature of our relationship to digital information by mixing the virtual with the physical. I argue that the Real-World Web (RWW) threatens to exacerbate three existing epistemic problems in the digital age: the problem of digital distraction, the problem of digital deception, and the problem of digital divergence. The RWW is poised to present new versions of these problems in the form of what I call the augmented attention economy, augmented skepticism, and the problem of other augmented minds. The paper draws on a range of empirical research on AR and offers a phenomenological analysis of virtual objects as perceptual affordances to help ground and guide the speculative nature of the discussion. It also considers a few policy-based and designed-based proposals to mitigate the epistemic threats posed by AR technology. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Our conscious experiences are qualitative and unitary. The qualitative universals given in particular experiences, i.e. qualia, combine into the seamless unity of our conscious experience. The problematics of quality and cohesion are not unique to consciousness studies. In mathematics, the study of qualities (e.g., shape) resulting from quantitative variations in cohesive spaces led to the axiomatization of cohesion and quality. Using the mathematical definition of quality, herein we model qualia space as a categorical product of qualities. Thus modeled qualia space (...) is a codomain space wherein composite qualities (e.g. shape AND color) of conscious experiences can be valued. As part of characterizing the qualia space, we provide a detailed exemplification of the mathematics of quality and cohesion in terms of the categories of idempotents and reflexive graphs. More specifically, with qualities as commutative triangles formed of cohesion-preserving functors, first we calculate the product of commutative triangles. Next, we explicitly show that the category of idempotents is a quality type. Lastly, as part of showing that the category of reflexive graphs is cohesive, we characterize the adjointness between functors relating cohesive graphs to discrete sets. In conclusion, our category theoretic construction of qualia space is a formalization of the binding of qualitative features (colors and shapes) into the cohesive objects (colored-shapes) of conscious experiences. Compared to the feature-vector accounts of conscious experiences, our product-of-qualities account of consciousness is a substantial theoretical advance. (shrink)