A brief overview of the system S5 in modal logic as defined by Brian F. Chellas, author of "Modal Logic: An Introduction." The history and usage of modal logic are given mention, along with some applications. Very much a draft. Written for PhileInSophia on July 5, 2021.

F-relevant respects are never precisely defined, but the intuitive idea is clear enough. Smart- relevant respects are mental abilities, Philosopher-relevant respects presumably include where one is employed, what kinds of things one writes, etc, and, most importantly for this paper, the only Tall-relevant respect is height.

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

P. F. Strawson's influential article "Freedom and Resentment" has been much commented on, and one of the most trenchant commentaries is Rajendra Prasad's, "Reactive Attitudes, Rationality, and Determinism." In his article, Prasad contests the significance of the reactive attitude over a precise theory of determinism, concluding that Strawson's argument is ultimately unconvincing. In this article, I evaluate Prasad's challenges to Strawson by summarizing and categorizing all of the relevant arguments in both Strawson's and Prasad's pieces. -/- Strawson offers four types (...) of arguments to demonstrate that determinism and free agency cannot be incompatible, showing that the reactive attitude is natural and desirable and the objective attitude is not natural, not desirable, not sustainable, and not compatible with the reactive attitude. Prasad targets Strawson's incompatibilist arguments, showing that determinism and free agency are incompatible. Of Prasad's seven types of arguments, four target Strawson's four above. Three of these succeed and one fails. The remaining three target Strawson's support of the reactive attitude, and of these, one succeeds, and the others fail. Although Prasad's arguments miss the mark at times, he does succeed in putting forth a legitimate challenge to Strawson's notion that determinism is no inhibitor of the reactive attitude. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

According to a view that goes by “Humeanism,” causal facts supervene on patterns of worldly entities. The simplest form of Humeanism is the constant conjunction theory: a particular type-F thing causes a particular type-G thing iff (i) that type-Fis conjoined with that type-G thing and (ii) all F’s are conjoined with G’s. The constant conjunction theory implies that all causation is extrinsic, in the following sense: for all positive causal facts pertaining to each possible region,it’s extrinsic to that region that (...) those causal facts pertain to it. Actual Humeans don’t accept the constant conjunction theory; they accept more sophisticated versions of Humeanism. But I argue that they, too, are committed to the thesis that all causation is extrinsic. In arguing for this claim,I use a discussion from Brian Weatherson as a springboard. Weatherson argues that on a plausible Humean view, some regions are such that all of their possible duplicates have the same or similar natural laws. I show that this is false. If Humeanism is true, then for every possible region, there are possible duplicates of that region with utterly alien natural laws. As a consequence, no causal facts pertain intrinsically to any region. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

Papaya is a tropical fruit with a green cover, yellow pulp, and a taste between mango and cantaloupe, having commercial importance because of its high nutritive and medicinal value. The process of sorting papaya fruit based on maturely is one of the processes that greatly determine the mature of papaya fruit that will be sold to consumers. The manual grading of papaya fruit based on human visual perception is time-consuming and destructive. The objective of this paper is to the status (...) classification of papaya fruits if it's mature or partially matured or unmatured. A deep learning technique that was extensively applied to image recognition was used. The trained model achieved an accuracy of 100% on a held-out test set, demonstrating the feasibility of this approach. Classification model of VGG16 achieved a 100% accuracy and 112 seconds of training time. (shrink)

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

In fact, people get neck problems due to something such as sports or woke and Wrong sleep habits. In this paper an expert system was designed to help users to correctly diagnose neck problems world (muscle spasm, Muscle aches, Meningitis, herniated cervical disc, Fibromyalgia, Cervical spondylosis, Trigger points) with some information about the disease and self-care. Java language was used to design and implement this expert system.

Many writers have held that in his later work, David Lewis adopted a theory of predicate meaning such that the meaning of a predicate is the most natural property that is (mostly) consistent with the way the predicate is used. That orthodox interpretation is shared by both supporters and critics of Lewis's theory of meaning, but it has recently been strongly criticised by Wolfgang Schwarz. In this paper, I accept many of Schwarze's criticisms of the orthodox interpretation, and add some (...) more. But I also argue that the orthodox interpretation has a grain of truth in it, and seeing that helps us appreciate the strength of Lewis's late theory of meaning. (shrink)

There is no doubt that tomato diseases are one of the important reasons that destroy the tomato plant and its crops. This leads to clear damage to these plants and they become inedible. Discovering these diseases after a good step for proper and correct treatment. Determining the treatment with high accuracy depends on the method used in the diagnosis. Correctly, expert systems can greatly help to avoid damage to these plants. The expert system diagnoses tomato disease correctly to facilitate farmers (...) to find the correct treatment based on the appropriate diagnosis. Objectives: An expert system has been established based on CLIPS to diagnose tomato plant disease. (shrink)

We typically have to act under uncertainty. We can be uncertain about the relevant descriptive facts, but also about the relevant normative facts. However, the search for a theory of decision-making under normative uncertainty is doomed to failure. First, the most natural proposal for what to do given normative uncertainty faces two devastating problems. Second, the motivations for wanting a theory of what to do given descriptive uncertainty do not carry over to normative uncertainty. Descriptive facts may be inaccessible even (...) in principle, and ignorance of them excuses one from blame, but normative facts are in principle accessible, and ignorance of them arguably is no excuse. Normative facts differ from descriptive facts: normative facts affect what we ought to do no matter what, while descriptive facts affect what we ought to do only insofar as we are aware of them. (shrink)

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

We live in a world of crowds and corporations, artworks and artifacts, legislatures and languages, money and markets. These are all social objects — they are made, at least in part, by people and by communities. But what exactly are these things? How are they made, and what is the role of people in making them? In The Ant Trap, Brian Epstein rewrites our understanding of the nature of the social world and the foundations of the social sciences. Epstein (...) explains and challenges the three prevailing traditions about how the social world is made. One tradition takes the social world to be built out of people, much as traffic is built out of cars. A second tradition also takes people to be the building blocks of the social world, but focuses on thoughts and attitudes we have toward one another. And a third tradition takes the social world to be a collective projection onto the physical world. Epstein shows that these share critical flaws. Most fundamentally, all three traditions overestimate the role of people in building the social world: they are overly anthropocentric. Epstein starts from scratch, bringing the resources of contemporary metaphysics to bear. In the place of traditional theories, he introduces a model based on a new distinction between the grounds and the anchors of social facts. Epstein illustrates the model with a study of the nature of law, and shows how to interpret the prevailing traditions about the social world. Then he turns to social groups, and to what it means for a group to take an action or have an intention. Contrary to the overwhelming consensus, these often depend on more than the actions and intentions of group members. (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

Keith DeRose has argued that the two main problems facing subject-sensitive invariantism come from the appropriateness of certain third-person denials of knowledge and the inappropriateness of now you know it, now you don't claims. I argue that proponents of SSI can adequately address both problems. First, I argue that the debate between contextualism and SSI has failed to account for an important pragmatic feature of third-person denials of knowledge. Appealing to these pragmatic features, I show that straightforward third-person denials are (...) inappropriate in the relevant cases. And while there are certain denials that are appropriate, they pose no problems for SSI. Next, I offer an explanation, compatible with SSI, of the oddity of now you know it, now you don't claims. To conclude, I discuss the intuitiveness of purism, whose rejection is the source of many problems for SSI. I propose to explain away the intuitiveness of purism as a side-effect of the narrow focus of previous epistemological inquiries. (shrink)

Humean supervenience is the conjunction of three theses: Truth supervenes on being, Anti‐haecceitism, and Spatiotemporalism. The first clause is a core part of Lewis's metaphysics. The second clause is related to Lewis's counterpart theory. The third clause says there are no fundamental relations beyond the spatiotemporal, or fundamental properties of extended objects. Supervenience is classified into strong modal Humean supervenience, local modal Humean supervenience and familiar modal Humean supervenience which states that: for any two "worlds like ours", if the spatiotemporal (...) distribution of fundamental qualities is the same at each world, the contingent facts are also the same. The fact that quantum mechanics raises problems for Humean supervenience does not undercut the philosophical significance of Lewis's defense of Humean supervenience. Humean supervenience says that in a world like ours, the fundamental properties are local qualities: perfectly natural intrinsic properties of points, or of point‐sized occupants of points. (shrink)

Our politics are increasingly polarised. Polarisation takes many forms. One is increasing clustering or 'ideological consistency,' whereby people hold down-the-line liberal or down-the-line conservative views on a wide range of political issues, even when those issues are orthogonal to each other. Some philosophers think that such clustering is indicative of irrationality, and so if you find yourself in one of several clusters of opinion, you should decrease your confidence that all your political beliefs are true. I argue that the reverse (...) is true, presenting a simple model of belief-formation on which finding yourself in one of several clusters of opinion on orthogonal issues should increase, rather than decrease, your confidence that all your beliefs are true. (shrink)

A pineapple is a tropical plant with eatable leafy foods most monetarily critical plant in the family Bromeliaceous. The pineapple is native to South America, where it has been developed for a long time. The acquaintance of the pineapple with Europe in the seventeenth century made it a critical social symbol of extravagance. Since the 1820s, pineapple has been industrially filled in nurseries and numerous tropical manors. Further, it is the third most significant tropical natural product in world creation. In (...) the twentieth century, Hawaii was a prevailing maker of pineapples, particularly for the US, be that as it may, by 2016, Costa Rica, Brazil, and the Philippines represented almost 33% of the world's creation of pineapples. In this paper, machine learning based approach is presented for identifying type pineapple with a dataset that contains 1,311images use 946 images for training, 197 images for validation and 168 images for testing. A deep learning technique that extensively applied to image recognition was used. use 70% from image for training and 30% from image for validation. Our trained model achieved an accuracy of 100% on a heldout test set. (shrink)

I argue with my friends a lot. That is, I offer them reasons to believe all sorts of philosophical conclusions. Sadly, despite the quality of my arguments, and despite their apparent intelligence, they don’t always agree. They keep insisting on principles in the face of my wittier and wittier counterexamples, and they keep offering their own dull alleged counterexamples to my clever principles. What is a philosopher to do in these circumstances? (And I don’t mean get better friends.) One popular (...) answer these days is that I should, to some extent, defer to my friends. If I look at a batch of reasons and conclude p, and my equally talented friend reaches an incompatible conclusion q, I should revise my opinion so I’m now undecided between p and q. I should, in the preferred lingo, assign equal weight to my view as to theirs. This is despite the fact that I’ve looked at their reasons for concluding q and found them wanting. If I hadn’t, I would have already concluded q. The mere fact that a friend (from now on I’ll leave off the qualifier ‘equally talented and informed’, since all my friends satisfy that) reaches a contrary opinion should be reason to move me. Such a position is defended by Richard Feldman (2006a, 2006b), David Christensen (2007) and Adam Elga (forthcoming). This equal weight view, hereafter EW, is itself a philosophical position. And while some of my friends believe it, some of my friends do not. (Nor, I should add for your benefit, do I.) This raises an odd little dilemma. If EW is correct, then the fact that my friends disagree about it means that I shouldn’t be particularly confident that it is true, since EW says that I shouldn’t be too confident about any position on which my friends disagree. But, as I’ll argue below, to consistently implement EW, I have to be maximally confident that it is true. So to accept EW, I have to inconsistently both be very confident that it is true and not very confident that it is true. This seems like a problem, and a reason to not accept EW.. (shrink)

The present paper aims to validate our research on human–humanoid interaction (HHI) using the minimalist humanoid robot Telenoid. We conducted the human–robot interaction test with 142 young people who had no prior interaction experience with this robot. The main goal is the analysis of the two social dimensions (‘‘Perception’’ and ‘‘Believability’’) useful for increasing the natural behaviour between users and Telenoid.Weadministered our custom questionnaire to human subjects in association with a well defined experimental setting (‘‘ordinary and goal-guided task’’). A thorough (...) analysis of the questionnaires has been carried out and reliability and internal consistency in correlation between the multiple items has been calculated. Our experimental results show that the perceptual behaviour and believability, as implicit social competences, could improve the meaningfulness and the natural-like sense of human–humanoid interaction in everyday life task-driven activities. Telenoid is perceived as an autonomous cooperative agent for a shared environment by human beings. (shrink)

Predictive algorithms are playing an increasingly prominent role in society, being used to predict recidivism, loan repayment, job performance, and so on. With this increasing influence has come an increasing concern with the ways in which they might be unfair or biased against individuals in virtue of their race, gender, or, more generally, their group membership. Many purported criteria of algorithmic fairness concern statistical relationships between the algorithm’s predictions and the actual outcomes, for instance requiring that the rate of false (...) positives be equal across the relevant groups. We might seek to ensure that algorithms satisfy all of these purported fairness criteria. But a series of impossibility results shows that this is impossible, unless base rates are equal across the relevant groups. What are we to make of these pessimistic results? I argue that none of the purported criteria, except for a calibration criterion, are necessary conditions for fairness, on the grounds that they can all be simultaneously violated by a manifestly fair and uniquely optimal predictive algorithm, even when base rates are equal. I conclude with some general reflections on algorithmic fairness. (shrink)

John Burgess has recently argued that Timothy Williamson’s attempts to avoid the objection that his theory of vagueness is based on an untenable metaphysics of content are unsuccessful. Burgess’s arguments are important, and largely correct, but there is a mistake in the discussion of one of the key examples. In this note I provide some alternative examples and use them to repair the mistaken section of the argument.

Abstract: Colon cancer is a prevalent and life-threatening disease, necessitating accurate and timely diagnosis for effective treatment and improved patient outcomes. This research paper presents the development of a knowledge-based system for diagnosing colon cancer using the CLIPS language. Knowledge-based systems offer the potential to assist healthcare professionals in making informed diagnoses by leveraging expert knowledge and reasoning mechanisms. The methodology involves acquiring and structuring medical knowledge specific to colon cancer, followed by the implementation of a knowledge- based system using (...) CLIPS. The system's design integrates relevant medical databases and employs advanced reasoning mechanisms to facilitate accurate diagnosis. Evaluation results demonstrate the system's effectiveness, with high accuracy and sensitivity rates compared to existing methods. The findings highlight the potential of knowledge-based systems in improving clinical practice and patient care. The research contributes to the growing field of medical informatics by demonstrating the feasibility and effectiveness of CLIPS-based knowledge systems for colon cancer diagnosis. Future research can focus on enhancing system performance and expanding its scope to encompass other types of cancer diagnoses. (shrink)

A reponse to _Relativism and Monadic Truth_. I argue that while the Cappelen and Hawthorne have good responses to the deductive arguments for relativism, there are various good inductive arguments for relativism that their view can’t adequately respond to.

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Intuitively, Gettier cases are instances of justified true beliefs that are not cases of knowledge. Should we therefore conclude that knowledge is not justified true belief? Only if we have reason to trust intuition here. But intuitions are unreliable in a wide range of cases. And it can be argued that the Gettier intuitions have a greater resemblance to unreliable intuitions than to reliable intuitions. Whats distinctive about the faulty intuitions, I argue, is that respecting them would mean abandoning a (...) simple, systematic and largely successful theory in favour of a complicated, disjunctive and idiosyncratic theory. So maybe respecting the Gettier intuitions was the wrong reaction, we should instead have been explaining why we are all so easily misled by these kinds of cases. (shrink)

The Equal Weight View of disagreement says that if an agent sees that an epistemic peer disagrees with her about p, the agent should change her credence in p to half way between her initial credence, and the peer’s credence. But it is hard to believe the Equal Weight View for a surprising reason; not everyone believes it. And that means that if one did believe it, one would be required to lower one’s belief in it in light of this (...) peer disagreement. Brian Weatherson explores the options for how a proponent of the Equal Weight View might respond to this difficulty, and how this challenge fits into broader arguments against the Equal Weight View. (shrink)

This paper examines the processes involved in attempting to capture the subtlest aspects of nature by the scientific method and argues on this basis that nature is fundamentally elusive and may resist grasping by the methods of science. If we wish to come to terms with this resistance, then a shift in the direction of taking direct experience into account may be necessary for science’s future complete development.

I defend normative externalism from the objection that it cannot account for the wrongfulness of moral recklessness. The defence is fairly simple—there is no wrong of moral recklessness. There is an intuitive argument by analogy that there should be a wrong of moral recklessness, and the bulk of the paper consists of a response to this analogy. A central part of my response is that if people were motivated to avoid moral recklessness, they would have to have an unpleasant sort (...) of motivation, what Michael Smith calls “moral fetishism”. (shrink)

I advocate Time-Slice Rationality, the thesis that the relationship between two time-slices of the same person is not importantly different, for purposes of rational evaluation, from the relationship between time-slices of distinct persons. The locus of rationality, so to speak, is the time-slice rather than the temporally extended agent. This claim is motivated by consideration of puzzle cases for personal identity over time and by a very moderate form of internalism about rationality. Time-Slice Rationality conflicts with two proposed principles of (...) rationality, Conditionalization and Reflection. Conditionalization is a diachronic norm saying how your current degrees of belief should fit with your old ones, while Reflection is a norm enjoining you to defer to the degrees of belief that you expect to have in the future. But they are independently problematic and should be replaced by improved, time-slice-centric principles. Conditionalization should be replaced by a synchronic norm saying what degrees of belief you ought to have given your current evidence and Reflection should be replaced by a norm which instructs you to defer to the degrees of belief of agents you take to be experts. These replacement principles do all the work that the old principles were supposed to do while avoiding their problems. In this way, Time-Slice Rationality puts the theory of rationality on firmer foundations and yields better norms than alternative, non-time-slice-centric approaches. (shrink)

This article focuses on issues relating to legal normativity, emphasizing the way these matters have been elaborated in the works of Kelsen and Hart and later commentators on their theories. First, in Section 2, the author offers a view regarding the nature of law and legal normativity focusing on Kelsen's work (at least one reasonable reading of it). The argument is that the Basic Norm is presupposed when a citizen chooses to read the actions of legal officials in a normative (...) way. In this Kelsenian approach, all normative systems are structurally and logically similar, but each normative system is independent of every other system – thus, law is, in this sense, conceptually separate from morality. Second, in Section 3, the author turns to Hart's theory, analyzing the extent to which his approach views legal normativity as sui generis. This approach raises questions regarding what has become a consensus view in contemporary jurisprudence: that law makes moral claims. The author shows how a more deflationary (and less morally-flavored) understanding of the nature of law is tenable, and may, in fact, work better than current conventional (morality-focused) understandings. (shrink)

I consider the problem of how to derive what an agent believes from their credence function and utility function. I argue the best solution of this problem is pragmatic, i.e. it is sensitive to the kinds of choices actually facing the agent. I further argue that this explains why our notion of justified belief appears to be pragmatic, as is argued e.g. by Fantl and McGrath. The notion of epistemic justification is not really a pragmatic notion, but it is being (...) applied to a pragmatically defined concept, i.e. belief. (shrink)

We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees of belief are those representable (...) by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

Value pluralists believe in multiple dimensions of value. What does betterness along a dimension have to do with being better overall? Any systematic answer begins with the Strong Pareto principle: one thing is overall better than another if it is better along one dimension and at least as good along all others. We defend Strong Pareto from recent counterexamples and use our discussion to develop a novel view of dimensions of value, one which puts Strong Pareto on firmer footing. We (...) conclude by defending Dimensionalism, the hypothesis that overall value relations are determined solely by how things compare along value dimensions. These are first steps towards a more systematic value pluralism. (shrink)

This paper explores an emerging sub-field of both empirical bioethics and experimental philosophy, which has been called “experimental philosophical bioethics” (bioxphi). As an empirical discipline, bioxphi adopts the methods of experimental moral psychology and cognitive science; it does so to make sense of the eliciting factors and underlying cognitive processes that shape people’s moral judgments, particularly about real-world matters of bioethical concern. Yet, as a normative discipline situated within the broader field of bioethics, it also aims to contribute to substantive (...) ethical questions about what should be done in a given context. What are some of the ways in which this aim has been pursued? In this paper, we employ a case study approach to examine and critically evaluate four strategies from the recent literature by which scholars in bioxphi have leveraged empirical data in the service of normative arguments. (shrink)

Many consequentialists argue that you ought to do your part in collective action problems like climate change mitigation and ending factory farming because (i) all such problems are triggering cases, in which there is a threshold number of people such that the outcome will be worse if at least that many people act in a given way than if fewer do, and (ii) doing your part in a triggering case maximises expected value. I show that both (i) and (ii) are (...) false: Some triggering cases cannot be solved by appeal to expected value, since they involve infinities, and some collective action problems are not triggering cases, since they involve parity. However, I argue that consequentialism can still generally prohibit failure to do your part in those collective action problems where we believe that so acting would be impermissible. (shrink)

In his Principles of Philosophy, Descartes says, Finally, it is so manifest that we possess a free will, capable of giving or withholding its assent, that this truth must be reckoned among the first and most common notions which are born with us.

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

I relate the story of how I created the basic rule of operant logic.

I defend counterfactual decision theory, which says that you should evaluate an action in terms of which outcomes would likely obtain were you to perform it. Counterfactual decision theory has traditionally been subsumed under causal decision theory as a particular formulation of the latter. This is a mistake. Counterfactual decision theory is importantly different from, and superior to, causal decision theory, properly so called. Causation and counterfactuals come apart in three kinds of cases. In cases of overdetermination, an action can (...) cause a good outcome without the latter counterfactually depending on the former. In cases of constitution, an action can constitute a good outcome rather than causing it. And in cases of determinism, either the laws or the past counterfactually depend on your action, even though your action cannot cause the laws or the past to be different. In each of these cases, it is counterfactual decision theory which gives the right verdict, and for the right reasons. (shrink)

Historically, laws and policies to criminalize drug use or possession were rooted in explicit racism, and they continue to wreak havoc on certain racialized communities. We are a group of bioethicists, drug experts, legal scholars, criminal justice researchers, sociologists, psychologists, and other allied professionals who have come together in support of a policy proposal that is evidence-based and ethically recommended. We call for the immediate decriminalization of all so-called recreational drugs and, ultimately, for their timely and appropriate legal regulation. We (...) also call for criminal convictions for nonviolent offenses pertaining to the use or possession of small quantities of such drugs to be expunged, and for those currently serving time for these offenses to be released. In effect, we call for an end to the “war on drugs.”. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with (...) a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)