In this paper, we take up the question of whether there comes a point at which one is no longer morally obliged to do further good, even at very low cost to oneself. More specifically, they ask: under precisely what conditions is it plausible to say that that “point” has been reached? A crude account might focus only on, say, the amount of good the agent has already done, but a moment’s reflection shows that this is indeed too crude. We (...) develop and defend a nuanced account according to which considerations of three types are all relevant to whether one has satisfied one’s duties to assist: “inputs” (types and quantities of sacrifice made), “characteristics” (the beliefs and intentions that informed the donor’s decisions), and “success” (the extent to which the donations in question succeeded in generating value). (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ (...) are $\Sigma^P_3$-complete. We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (shrink)

In this paper, I explore a fundamental but under-appreciated distinction between two ways of understanding the desire-satisfaction theory of well-being. According to proactive desire satisfactionism, a person is benefited by the acquisition of new satisfied desires. According to reactive desire satisfactionism, a person can be benefited only by the satisfaction of their existing desires. I first offer an overview of this distinction. I then canvass several ways of developing a general formulation of desire satisfactionism that would capture the reactive view, (...) and argue that all come with significant costs. (shrink)

In this paper, I propose a novel theory for why we find certain mundane everyday experiences, objects, and phenomena satisfying aesthetic experiences. I refer to these as 'oddly satisfying' experiences, and argue that they assert themselves as aesthetic by being suggestive of the cinematic. This cinematic quality is the product of everyday experiences gesturing towards a kind of careful artistic intent.

There is consensus among computer scientists, logicians, and philosophers that good reasoning with qualitative beliefs must have the structural property of cumulative transitivity or, for short, cut. This consensus is typically explicitly argued for partially on the basis of practical and mathematical considerations. But the consensus is also implicit in the approach philosophers take to almost every puzzle about reasoning that involves multiple steps: philosophers typically assume that if each step in reasoning is acceptable considered on its own, the whole (...) chain of reasoning must also acceptable. In this paper I focus on whether there are good philosophical reasons for thinking that the consensus that good reasoning must satisfy cut is true. My central claim is that we should not accept the consensus—good reasoning might not satisfy cut. In particular, I consider four arguments for the consensus and explain why they are unpersuasive. (§2-5). I then show that the issue of whether good reasoning is cut turns on a substantive yet until now unnoticed question in epistemology (§6). (shrink)

The question of whether perception can be penetrated by cognition is in the limelight again. The reason this question keeps coming up is that there is so much at stake: Is it possible to have theory-neutral observation? Is it possible to study perception without recourse to expectations, context, and beliefs? What are the boundaries between perception, memory, and inference (and do they even exist)? Are findings from neuroscience that paint a picture of perception as an inherently bidirectional and interactive process (...) relevant for understanding the relationship between cognition and perception? We have assembled a group of philosophers and psychologists who have been considering the thesis of cognitive (im)penetrability in light of these questions (Abdel Rahman & Sommer, 2008; Goldstone, Landy, & Brunel, 2011; Lupyan, Thompson-Schill, & Swingley, 2010; Macpherson, 2012; Stokes, 2011). Rather than rehashing previous arguments which appear, in retrospect, to have been somewhat ill-posed (Pylyshyn, 1999), this symposium will present a thesis of cognitive (im)penetrability that is at once philosophically satisfying, empirically testable, and relevant to the questions that cognitive scientists find most interesting. (shrink)

The relation of normic support offers a novel solution to the proof paradox: a paradox in evidence law arising from legal cases involving merely statistical evidence (Smith 2018). Central to the normic support solution has been the thesis that merely statistical evidence cannot confer normic support. However, it has been observed that there are exceptions to this: there exist cases where merely statistical evidence can give rise to normic support (Blome-Tillmann 2020). If correct, this fact seems to undermine the normic (...) support solution to the proof paradox. This paper explores a resolution: normic support can resolve the proof paradox even though merely statistical evidence sometimes gives rise to normic support. The key to understanding this resolution lies with a source of evidential support that arises out of bodies of evidence that involve *character evidence* (Colyvan, et al. 2001). It turns out that character evidence can provide normic support when it is grounded in our knowledge of a certain kind of disposition individuals can have: *goal-directed dispositions*. The upshot is the recovery of the normic support solution to the puzzle of whether statistical evidence can meet legal standards of proof. (shrink)

A scientific theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy both empirical and non-empirical requirements, the latter having to do with simplicity, unity, explanatory character, symmetry, beauty. No satisfactory, generally accepted account of such non-empirical requirements has so far been given. Here, a proposal is put forward which, it is claimed, makes a contribution towards solving the problem. This proposal concerns unity of physical theory. In order to satisfy the non-empirical requirement of unity, (...) a physical theory must be such that the same laws govern all possible phenomena to which the theory applies. Eight increasingly demanding versions of this requirement are distinguished. Some implications for other non-empirical requirements, and for our understanding of science are indicated. (shrink)

In four experiments, we offer evidence that virtues are often judged as uniquely important for some business practices (e.g., hospital management and medical error investigation). Overall, actions done only from virtue (either by organizations or individuals) were judged to feel better, to be more praiseworthy, to be more morally right, and to be associated with more trustworthy leadership and greater personal life satisfaction compared to actions done only to produce the best consequences or to follow the correct moral rule. These (...) results accord with claims made by some virtue ethicists. The current data contribute to a small but growing body of literature emphasizing both empirical soundness and philosophical rigor in the scientific study of virtue. Results also offer some guidance concerning how businesses, employees, and executives are evaluated and perceived. Implications for theory and practice are discussed. (shrink)

Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational (...) complexity. Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two (...) monadic predicates. (shrink)

Many Public Administrations structure their services around the notion of users’ need. However, there is a gap between private, subjectively perceived needs (self-attributed) and needs that are attributed by PA to citizens (heteroattributed). Because of the gap, citizens’ needs are often only partially satisfied by PAs services. This gap is in part due to the fact that the meaning of the word “need” is ambiguous and full of antinomic nuances. The purpose of this paper is to formulate a definition of (...) “need” suitable for citizens’ needs management with respect to PA’s services offering, and to provide an accurate ontological analysis of the notion of “need” and the network of concepts that relate to it. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

Is logic empirical? Is logic to be found in the world? Or is logic rather a convention, a product of conventions, part of the many rules that regulate the language game? Answers fall in either camp. We like the linguistic answer. In this paper, we want to analyze how a linguistic community would tackle the problem of developing a logic and show how the linguistic conventions adopted by the community determine the properties of the local logic. Then show how to (...) move from a notion of logic that varies from community to community to a notion of logic that is in a sense universal. The framework is conventional up to a point: we have sentences, atomic and composite, the connectives are interpreted, values are computed, and the value of a composite sentence is a function of the values of its subsentences. Less conventional is the use of a plurality of truth values, and the sharp distinction we draw between sentences and statements, in the spirit of the distinction between proposition and judgment that one may find in proof theory. The linguistic community will face many choices. What are the good ones, the ones to avoid? Are there, in some sense, optimal choices? These are the kind of issues we are addressing. Where do we end up? With some kind of universal bivalent logic, ironically enough. We start from an arbitrarily large number of truth values, atomic sentences and connectives, construct a generic many-valued logic, recover more or less the usual results and issues, and in the end it all comes down to a positive bivalent logic with two connectives, `and' and `or', as if logic is nothing more than a mere accounting of possibilities. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable (...) input set of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

Kant was never satisfied with the version of his “Refu- tation” published in 1787 (KrV, B 275-279). His dissatisfaction is already evident in the footnote added to the preface of the second edition of the Critique in 1787. As a matter of fact, Kant continued to rework his argument for at least six years after 1787. The main exegetical problem is to figure out who is the target of the “Refutation”: a non-skeptic idealist, a global skeptic of Cartesian provenance or (...) both. In this last case, the related problem is to know whether either of them is the Cartesian skeptic of the first Meditation, the idealist skeptic of the second Meditation and first part of the third Meditation, or some other non-skeptic idealist. I present and defend a new reconstruction of Kant’s “Refu- tation” as a successful argument against Mendelssohnian idealism of Cartesian provenance. This defense is based on a simple logical sketch of the proof provided by Dicker but essentially modified in light of Dyck’s insight about Kant’s opponent. How shall I support my reading? First, by appealing to overwhelming textual evidence according to which the proof is of the existence of mind-independent things, showing that Kant’s main opponent is Mendelssohn’s idealism of Cartesian provenance. Finally, I support my reading by showing that Kant’s “Refutation” is doomed to fail against all forms of global skepticism but is quite successful against Mendelssohn’s idealism. (shrink)

Direct Social Perception (DSP) is the idea that we can non-inferentially perceive others’ mental states. In this paper, I argue that the standard way of framing DSP leaves the debate at an impasse. I suggest two alternative interpretations of the idea that we see others’ mental states: others’ mental states are represented in the content of our perception, and we have basic perceptual beliefs about others’ mental states. I argue that the latter interpretation of DSP is more promising and examine (...) the kinds of mental states that plausibly could satisfy this version of DSP. (shrink)

ABSTRACTWhat conditions must be satisfied if a group is to count as having a justified belief? Jennifer Lackey has recently argued that any adequate account of group justification must be sensitive to both the evidence actually possessed by enough of a group's operative members as well as the evidence those members should have possessed. I first draw attention to a range of objections to Lackey's specific view of group justification and a range of concrete case intuitions any plausible view of (...) group justification must explain. I then offer an alternative view of group justification where the basic idea is that group justification is a matter of groups responsibly responding to their total evidence. This view both avoids the problems facing Lackey's account and also explains the relevant concrete case intuitions. (shrink)

Confucian scholars should satisfy two conditions insofar as they think their theories enable Confucianism to make contributions to liberal politics and social policy. The liberal accommodation condition stipulates that the theory in question should accommodate as many reasonable conceptions of the good and religious doctrines as possible while the intelligibility condition stipulates that the theory must have a recognizable Confucian character. By and large, Joseph Chan’s Confucian perfectionism is able to satisfy the above two conditions. However, contrary to Chan and (...) many other Confucian scholars, I argue that any active promotion of Confucianism will violate the liberal accommodation condition. I propose the “wide view of moderate perfectionism,” which enables Confucianism to shed light on a wide range of political and social issues without promoting Confucianism actively. Thus, I present a new approach to the long-standing question of how Confucianism may improve political and social development in a liberal society. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

This paper develops an argument against causal decision theory. I formulate a principle of preference, which I call the Guaranteed Principle. I argue that the preferences of rational agents satisfy the Guaranteed Principle, that the preferences of agents who embody causal decision theory do not, and hence that causal decision theory is false.

Twitter makes conversation into something like a game. It scores our communication, giving us vivid and quantified feedback, via Likes, Retweets, and Follower counts. But this gamification doesn’t just increase our motivation to communicate; it changes the very nature of the activity. Games are more satisfying than ordinary life precisely because game-goals are simpler, cleaner, and easier to apply. Twitter is thrilling precisely because its goals have been artificially clarified and narrowed. When we buy into Twitter’s gamification, then our values (...) shift from the complex and pluralistic values of communication, to the narrower quest for popularity and virality. Twitter’s gamification bears some resemblance with the phenomena of echo chambers and moral outrage porn. In all these phenomena, we are instrumentalizing our ends for hedonistic reasons. We have shifted our aims in an activity, not because the new aims are more valuable, but in exchange for extra pleasure. (shrink)

Mechanistic explanations satisfy widely held norms of explanation: the ability to manipulate and answer counterfactual questions about the explanandum phenomenon. A currently debated issue is whether any nonmechanistic explanations can satisfy these explanatory norms. Weiskopf argues that the models of object recognition and categorization, JIM, SUSTAIN, and ALCOVE, are not mechanistic yet satisfy these norms of explanation. In this article I argue that these models are mechanism sketches. My argument applies recent research using model-based functional magnetic resonance imaging, a novel (...) neuroimaging method whose significance for current debates on psychological models and mechanistic explanation has yet to be explored. (shrink)

DRAFT Several philosophers have suggested that it is impossible to formulate a theory of population ethics that simultaneously satisfies all of the necessary conditions set by our ethical intuitions (Arrhenius, 2000; Blackorby et al., 2004). However, we will attempt to demonstrate that, using the Stone-Weierstrass method, starting from scratch with a completely underspecified polynomial approximation function for commensurable cardinal utility (used here as a synonym for welfare) in a domain of commodities and populations, there are possible sets of functions that (...) satisfy many if not all of our ethical intuitions (avoiding the Repugnant and Sadistic Conclusions, and others), thus providing a self-consistent welfarist axiology. DRAFT. (shrink)

We take the potentialities that are studied in the biological sciences (e.g., totipotency) to be an important subtype of biological dispositions. The goal of this paper is twofold: first, we want to provide a detailed understanding of what biological dispositions are. We claim that two features are essential for dispositions in biology: the importance of the manifestation process and the diversity of conditions that need to be satisfied for the disposition to be manifest. Second, we demonstrate that the concept of (...) a disposition (or potentiality) is a very useful tool for the analysis of the explanatory practice in the biological sciences. On the one hand it allows an in-depth analysis of the nature and diversity of the conditions under which biological systems display specific behaviors. On the other hand the concept of a disposition may serve a unificatory role in the philosophy of the natural sciences since it captures not only the explanatory practice of biology, but of all natural sciences. Towards the end we will briefly come back to the notion of a potentiality in biology. (shrink)

Many have offered accounts of the procreative asymmetry, the claim that one has no moral reason to create a life just because it would be happy, but one has moral reason not to create a life just because it would be miserable. I suggest a new approach. Instead of looking at the procreative asymmetry on its own, we can situate it within a broader landscape of asymmetries. Specifically, there are two other analogous asymmetries in the prudential and epistemic domains. The (...) prudential asymmetry says that one has no prudential reason to acquire a desire just because it would be satisfied, but one has prudential reason not to acquire a desire just because it would be frustrated. The epistemic asymmetry says that one has no epistemic reason to acquire a belief just because it is true, but one has epistemic reason not to acquire a belief just because it is false. The existence of these analogous asymmetries in these normative domains suggests the possibility of a unified account of all three asymmetries as instances of a more fundamental asymmetry of value-based reasons. This paper develops a working model of what such a unified account might look like. Such an account can give us a unified explanation of a variety of phenomena, reinforce the plausibility of each of these asymmetries, and give us a novel picture of how value gives us reasons that might extend beyond these three applications. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

This paper reconstructs Sartre’s account of the “circuit of ipseity” as an integral theory of the experiential, agentive and normative aspects of self-consciousness. At the core of this theory is a conception of human (self-)consciousness as lacking, and the correlation between lacking and ideal. In Section 1, I show how this theory manages to satisfy the apparently incompatible requirements generated by the idea of a pre-reflective cogito. Section 2 discusses practical self-consciousness, in particular the agent’s consciousness of herself as self-determined (...) in the projection and pursuit of ends, and how this is accounted for in Sartre’s theory by the correlation of lack and ideal. Section 3 first clarifies the Sartrean conception of the ideal by comparing it with Korsgaard’s, and then reconstructs Sartre’s account of practical normativity by showing how it can be read as emerging from a critical engagement with Heidegger. (shrink)

Data from medical research are typically summarized with various types of outcome measures. We present three arguments in favor of absolute over relative outcome measures. The first argument is from cognitive bias: relative measures promote the reference class fallacy and the overestimation of treatment effectiveness. The second argument is decision-theoretic: absolute measures are superior to relative measures for making a decision between interventions. The third argument is causal: interpreted as measures of causal strength, absolute measures satisfy a set of desirable (...) properties, but relative measures do not. Absolute outcome measures outperform relative measures on all counts. (shrink)

Helen Frowe (2014) depicts the following fictional case: Fran is being raped by Eric and can’t stop him with violent resistance. Nevertheless, she resists and breaks Eric’s wrist. The infliction of defensive harm on Eric is intuitively permissible, yet it runs counter to the dominant view that defensive harms must stand a reasonable chance of success. Call this the Success Condition (SC). To solve this problem, Daniel Statman (2008) contends that even if Victim’s defensive harms fail to prevent her rape, (...) they do prevent the destruction of another good, her honor, and thus SC is satisfied. Recently, Joseph Bowen (2016) has critiqued Statman’s proposal by showing that honor-based justifications for defensive harming are too permissive. In this paper, I contend that Statman’s proposal is too restrictive. First, I review Statman’s accounts of honor, dishonor, and non-honor. Second, I argue that Statman’s account requires Fran’s honor to be lost or damaged if she doesn’t resist—a highly offensive conclusion about rape victims. Third, I explain why the best alternative to this (i.e., allowing Fran’s honor to be maintained either way) satisfies SC but not the necessity condition. I conclude that we ought to reject Statman’s solution. (shrink)

Relational egalitarians sometimes argue that a degree of distributive equality is necessary for social equality to obtain among members of society. In this paper, we consider how such arguments fare when extended to the intergenerational case. In particular, we examine whether relational reasons for distributive equality apply between non-overlapping generations. We claim that they do not. We begin by arguing that the most common reasons relational egalitarians offer in favour of distributive equality between contemporaries do not give us reasons to (...) object to distributive inequality between non-overlapping generations. This argument by itself however will not fully suffice to show that there are no relational reasons to care about intergenerational distributive equality, given the nature of relational equality and its requirements in the intergenerational case are likely to be qualitatively different than in the contemporary case. Therefore, we also make the positive argument that for the intergenerational case to satisfy the requirements demanded by the ideal of relational equality it suffices that future persons’ interests are meaningfully incorporated and protected in the decision-making of preceding generations, and there is no basis for a concern with distributive equality. While some have argued that the one-way and asymmetrical causal influence between non-overlapping generations means concerns of social equality are inapplicable in the intergenerational case, we argue that the ongoing nature of this influence makes concerns of social equality appropriate. If successful, the upshot of the argument is that it can be coherent to maintain a commitment to relational equality between non-overlapping generations, all while remaining agnostic about distributive equality between them. (shrink)

"He who is satisfied has never truly craved. And he who craves for the light of God neglects his ease for ardor." -Rabbi Abraham J. Heschel.

Satisfying the demand of questioning the contemporary condition implies, first of all, a criticism of present times. From this point of view, it becomes clear that art and revolution whilst practices of creative disruption are undoubtedly in crisis. Hence, it is imperative to re-read Guy Debord, who not only refused the aestheticization of politics, but also the politicization of aesthetics. For the hermeneutics of contemporary, his work is, of course, essential. Proving it is, in short, the purpose of this paper.

Reflecting on our engagement with fiction has compelled some theorists to expand the domain of the mental. They have posited a novel conative state, so-called “i-desire”. The central thesis of this approach is that i-desire relates to imagination in the same way as desire relates to belief. We formulate principles which are plausible consequences of this thesis. We then put pressure on these principles by focusing on desire concepts such as hoping, and show that the imaginative analogues of these concepts—if (...) such there be—do not satisfy the principles. We conclude by considering what our result suggests about the relationship between i-desire and propositional attitude psychology. (shrink)

How to account for the power that art holds over us? Why do artworks touch us deeply, consoling, transforming or invigorating us in the process? In this paper, we argue that an answer to this question might emerge from a fecund framework in cognitive science known as predictive processing (a.k.a. active inference). We unpack how this approach connects sense-making and aesthetic experiences through the idea of an ‘epistemic arc’, consisting of three parts (curiosity, epistemic action and aha experiences), which we (...) cast as aspects of active inference. We then show how epistemic arcs are built and sustained by artworks to provide us with those satisfying experiences that we tend to call ‘aesthetic’. Next, we defuse two key objections to this approach; namely, that it places undue emphasis on the cognitive component of our aesthetic encounters—at the expense of affective aspects—and on closure and uncertainty minimization (order)—at the expense of openness and lingering uncertainty (change). We show that the approach offers crucial resources to account for the open-ended, free and playful behaviour inherent in aesthetic experiences. The upshot is a promising but deflationary approach, both philosophically informed and psychologically sound, that opens new empirical avenues for understanding our aesthetic encounters. -/- This article is part of the theme issue ‘Art, aesthetics and predictive processing: theoretical and empirical perspectives’. (shrink)

Traditionally, it has been thought that, assuming other conditions are satisfied, your action must be morally worthy or good if you are acting solely from good motives. There is a lively dispute as to which motives are good, but whichever motives are good, acting solely from good motives is not always good and can even be bad on the whole. We may act rightly from a good motive while being indifferent to what matters most. Indifference, I argue, can make our (...) actions less than ideally good and at times even bad. Traditional theories, however, cannot accommodate cases of indifference by assuming absent and ineffective motives can never make a difference to an action’s moral value. Absent as well as ineffective motives can make an action less good and at times even bad. To accommodate this, we need to adopt a proportionality principle in assessing an action. An action is made good to a degree in proportion to the goodness of its effective motives. But an action is also made bad to a degree in proportion to the disproportion it exhibits through its whole set of relevant motives including not only effective motives but also absent as well as ineffective ones. (shrink)

Dispositionalism holds that at least some fundamental physical properties are ungrounded dispositional ones. Unfortunately, the very scientific practice that dispositionalists invoke to support their view undermines the dispositional thesis: putative fundamental properties such as mass, charge, and spin appear to be grounded in symmetry structures. Can the dispositionalist hold that fundamental symmetry structures are dispositional? Livanios (2019) defends a negative answer: symmetry structures do not satisfy the truthmaking principle of dispositionality. By contrast, I offer a positive answer. Here I argue (...) that if dispositionalists adopt an identity-based criterion of dispositionality, they can endorse what I shall call moderate dispositional structuralism: the view that the identity of fundamental symmetry structures is partially but not exhaustively fixed by their dispositional character. The purpose of this paper is to articulate moderate dispositional structuralism and its merits. To defend the plausibility of this view, I compare it with its radical counterpart: the view that the identity of symmetry structures is fully or wholly fixed by their dispositionality. -/- . (shrink)

Are norms of inquiry in tension with epistemic norms? I provide a (largely) negative answer, turning to a picture of epistemic practices as rule-governed games. The idea is that, while epistemic norms are correctness standards for the attitudes involved in epistemic games, norms of inquiry derive from the aims of those games. Attitudes that, despite being epistemically correct, are inadvisable regarding the goals of some inquiry are just like bad (but legal) moves in basketball or chess. I further consider cases (...) in which the aims of inquiry recommend breaking epistemic norms. I compare them to strategic infractions, which are common in many coherent games. Finally, I explore the connections between rules and aims in games and in inquiry. I show that in both cases respecting the rules is constitutively required for satisfying the aims of the practice. (shrink)

Extensive measurement is the standard measurement-theoretic approach for constructing a ratio scale. It involves the comparison of objects that can be concatenated in an additively representable way. This paper studies the implications of extensively measurable welfare for social choice theory. We do this in two frameworks: an Arrovian framework with a fixed population and no interpersonal comparisons, and a generalized framework with variable populations and full interpersonal comparability. In each framework we use extensive measurement to introduce novel domain restrictions, independence (...) conditions, and constraints on social evaluation. We prove a welfarism theorem for these domains and characterize the social welfare functions that satisfy the axioms of extensive measurement at both the individual and social levels. The main results are simple axiomatizations of strong dictatorship in the Arrovian framework and classical utilitarianism in the generalized framework. (shrink)

Deep self views of moral responsibility suggest that an agent fully satisfies the freedom condition for responsibility if and only if her actions or omissions issue from, and so express, her deep self. This analysis generates both false negatives and false positives regarding people's responsibility, and counterexamples proliferate. I defend a novel version of the deep self view by offering a necessary condition for accountability while retaining the core of deep self views. Indeed, an agent may be blameworthy for her (...) wrongdoing without it issuing from, and so expressing, her deep self. And yet, I argue that she must have a deep self for which she is responsible. This is achieved by paying closer attention to history than standard views have. Focusing on history then reveals a less discussed problem for standard views: the ahistorical features of them make them less equipped to explain cases of blameworthiness that is undermined. (shrink)

In order to perform certain actions – such as incarcerating a person or revoking parental rights – the state must establish certain facts to a particular standard of proof. These standards – such as preponderance of evidence and beyond reasonable doubt – are often interpreted as likelihoods or epistemic confidences. Many theorists construe them numerically; beyond reasonable doubt, for example, is often construed as 90 to 95% confidence in the guilt of the defendant. -/- A family of influential cases suggests (...) standards of proof should not be interpreted numerically. These ‘proof paradoxes’ illustrate that purely statistical evidence can warrant high credence in a disputed fact without satisfying the relevant legal standard. In this essay I evaluate three influential attempts to explain why merely statistical evidence cannot satisfy legal standards. (shrink)

I propose and articulate a novel theory of desire, called the Revised Reward Theory. As the name suggests, the theory is based—and expands—on Arpaly and Schroeder’s (2014) Reward Theory of Desire. The initial Reward Theory identifies desires with states of the reward learning system such that for an organism to desire some P is for its reward system to treat P as a reward upon receipt. The Revised Reward Theory identifies desires with a different state of the same system, such (...) that for an organism to desire some P is for its reward system to expect or predict that P will be rewarding (roughly) prior to receipt. The difference amounts to equating desires with what we ultimately find rewarding or satisfying versus those that underlie our motivations to obtain that which we take ourselves to desire. I argue that the structure of the reward system is incompatible with the original Reward Theory but compatible with the Revised Reward Theory. I demonstrate that this difference has important philosophical implications. I focus on moral responsibility and demonstrate Arpaly and Schroeder’s argument, that addiction can mitigate moral responsibility, turns on this precise difference. Arpaly, Schroeder, and I all ascribe to a meta-theory called ‘natural kindism’ which identifies mental kinds with neurocognitive kinds. This discussion, in addition to defending a theory of desire, is intended to act as a proof of concept for natural kindism as offering a powerful framework for relating empirical results to philosophical issues. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

In this chapter, I introduce three different types of AI-based moral enhancement proposals discussed in the literature – substitutive enhancement, value-driven enhancement, and value-open moral enhancement. I analyse them based on the following criteria: effectiveness, examining whether they bring about tangible moral changes; autonomy, assessing whether they infringe on human autonomy and agency; and developmental impact, considering whether they hinder the development of natural moral skills. This analysis demonstrates that no single approach to AI enhancement can satisfy all proposed criteria, (...) suggesting a need for pluralism in devising AI-based enhancement tools. The most advisable approach to AI-based enhancement is to explore and develop a variety of tools that cater to the diverse needs of users and address different weaknesses in moral decision-making. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...) kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)