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)

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)

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)

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)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness 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) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (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. 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 the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (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.

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)

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)

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)

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)

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)

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)

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)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a strategy (...) used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

Principles of justice, David Estlund argues, cannot be falsified by people’s unwillingness to satisfy them. In his Utopophobia, Estlund rejects the view that justice must bend to human motivation to deliver practical implications for how institutions ought to function. In this paper, I argue that a substantive argument against such bending of justice principles must challenge the reasons for making these principles sensitive to motivational limitations. Estlund, however, provides no such challenge. His dispute with benders of justice is therefore a (...) verbal one over the true meaning of justice, which need not worry those with the intuition that justice should perform a function that requires bending. By focusing on John Rawls’s reasons for bending his justice principles, I point towards a substantive critique of bent justice. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

When we perceive an object, we perceive the object from a perspective. As a consequence of the perspectival nature of perception, when we perceive, say, a circular coin from different angles, there is a respect in which the coin looks circular throughout, but also a respect in which the coin's appearance changes. More generally, perception of shape and size properties has both a constant aspect—an aspect that remains stable across changes in perspective—and a perspectival aspect—an aspect that changes depending on (...) one's perspective on the object. How should we account for the perspectival aspect of spatial perception? We present a framework within which to discuss the perspectival aspect of perception and put forward three desiderata that any account of the perspectival aspect of perception should satisfy. We discuss views on which the perspectival aspect of perception is analyzed in terms of constitutively mind-dependent appearance properties as well as views on which the perspectival aspect of perception is analyzed in terms of representations of mind-independent perspectival properties. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...) In particular, this chapter will discuss four kinds of arguments – Harman’s Challenge, evolutionary debunking arguments, irrelevant influence arguments, and the Reliability Challenge – understood as arguments against moral realism. The main goals of this chapter are (i) to articulate the strongest version of these arguments; (ii) to present and assess the central epistemological principles underlying these arguments; and (iii) to determine what a realist would have to do to adequately respond to these arguments. (shrink)

This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

When I act on something, three kinds of idea (or representation) come into play. First, I have a non-visual representation of my goals. Second, I have a visual description of the kind of thing that I must act upon in order to satisfy my goals. Finally, I have an egocentric position locator that enables my body to interact with the object. It is argued here that these ideas are distinct. It is also argued that the egocentric position locator functions in (...) the same way as a demonstrative, and that the involvement of such demonstratives in visual content negates naive realism. (This is a nearly final draft of a paper that is to be published in Raftopoulos and Machamer (eds), Perception, Realism, and the Problem of Reference (forthcoming from Cambridge UP. It is a shorter revised version of "Visual Reference", posted earlier.). (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)

In seeking an answer to the question of what it means for a theory to be fundamental, it is enlightening to ask why the current best theories of physics are not generally believed to be fundamental. This reveals a set of conditions that a theory of physics must satisfy in order to be considered fundamental. Physics aspires to describe ever deeper levels of reality, which may be without end. Ultimately, at any stage we may not be able to tell whether (...) we've reached rock bottom, or even if there is a base level – nevertheless, I draft a checklist to help us identify when to stop digging, in the case where we may have reached a candidate for a final theory. Given that the list is – according to (current) mainstream belief in high-energy physics – complete, and each criterion well-motivated, I argue that a physical theory that satisfies all the criteria can be assumed to be fundamental in the absence of evidence to the contrary (i.e., I argue that the necessary conditions are jointly sufficient for a claim of fundamentality in physics). (shrink)

It is often said that the world is explained by laws of nature together with initial conditions. But does that mean initial conditions don’t require further explanation? And does the explanatory role played by initial conditions entail or require that time has a preferred direction? This chapter looks at the use of the ‘initialness defence’ in physics, the idea that initial conditions are intrinsically special in that they don’t require further explanation, unlike the state of the world at other times. (...) Such defences commonly assume a primitive directionality of time to distinguish between initial and final conditions. Using the case study of the time-asymmetry of thermodynamics and the so-called ‘past hypothesis’ — the hypothesis that the early universe was in a state of very low entropy —, I outline and support a deflationary account of the initialness defence that does not pre- suppose a basic directionality of time, and argue that there is a relevant explanatory asymmetry between initial conditions and the state of systems at other times only if certain causal conditions are satisfied. Hence, the initialness defence is available to those who reject a fundamental direction of time. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

This article investigates Hume's account of mental transparency. In this article, I will endorse Qualitative Transparency – that is, the thesis that we cannot fail to apprehend the qualitative characters of our current perceptions, and these apprehensions cannot fail to be veridical – on the basis that, unlike its competitors, it is both weak enough to accommodate the introspective mistakes that Hume recognises, and yet strong enough to make sense of his positive employments of mental transparency. Moreover, Qualitative Transparency is (...) also philosophically satisfying in providing good philosophical reason for why the mental states that are incorrigible should in fact be so. (shrink)

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favor of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

A meaningful life, we shall argue, is a life upon which a certain sort of valuable pattern has been imposed by the person in question - a pattern which involves in serious ways the person having an effect upon the world. Meaningfulness is thus a special kind of value which a human life can bear. Two interrelated difficulties face ths proposal. One concerns responsiblity: how are we to account for the fact that a life that satisfies the above criteria can (...) have more meaning than a life with the same positive outcomes but which lacks responsiblity on the part of the agent? The other turns on these outcomes themselves: how can the meaningfulness engendered by actions you perform now be affected by what those actions go on to produce in the future, perhaps even after your death? We provide a response to both of these difficulties. (shrink)

A naturalistic impulse has taken speculative analytic metaphysics in its critical sights. Importantly, the claim that it is desirable or requisite to give metaphysics scientific moorings rests on underlying epistemological assumptions or principles. If the naturalistic impulse toward metaphysics is to be well-founded and its prescriptions to have normative force, those assumptions or principles should be spelled out and justified. In short, advocates of naturalized or scientific metaphysics require epistemic infrastructure. This paper begins to supply it. The author first sketches (...) her conception of suitably naturalized or scientific metaphysics. She then lays out a number of candidate epistemic principles centring around the notion of theoretical constraint. The author offers several arguments for the principles, based on statistical likeliness, agreement, falsity avoidance, and methodological efficiency and inefficiency. Finally, she shows how scientific metaphysics satisfies the epistemic principles and is therefore preferable to its traditional rivals. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (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)

According to Wringe 2006 we have good reasons for accepting the existence of Global Collective Obligations - in other words, collective obligations which fall on the world’s population as a whole. One such reason is that the existence of such obligations provides a plausible solution a problem which is sometimes thought to arise if we think that individuals have a right to have their basic needs satisfied. However, obligations of this sort would be of little interest – either theoretical or (...) practical – if they did not give rise, either directly or indirectly, to any kinds of reasons for individuals to behave in certain ways. -/- In this paper, I shall argue that in many situations, forward-looking global obligations give rise to an obligation on individuals to work towards bringing into existence and support an institutional system which will enable their obligations to be met. My argument for this conclusion involves two steps. In the first step, I address a general question about how collective obligations can give rise to individual obligations without being reducible to them, and which obligations they give rise to. Here I give a Kant-inspired argument, based on the principles that ‘ought implies can’ and that the content of the moral law is given by reflecting on how agents should legislate in a kingdom of ends, which is designed to show that collective obligations can give rise to individual obligations. In the second step I apply this principle to the case of global forward-looking obligations. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

I argue that racism is essentially a civic character trait: to be a racist is to have a character that rationally reflects racial supremacist sociopolitical values. As with moral vice accounts of racism, character is my account’s primary evaluative focus: character is directly evaluated as racist, and all other racist things are racist insofar as, and because, they cause, are caused by, express or are otherwise suitably related to racist character. Yet as with political accounts of racism, sociopolitical considerations provide (...) my account’s primary evaluative standard: satisfying the sociopolitical standard of racial supremacy is what makes racist character racist. (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)

There are passages in Kant’s writings according to which empirical intuitions have to be (a) singular, (b) object-dependent, and (c) immediate. It has also been argued that empirical intuitions (d) are not truth-apt, and (e) need to provide the subject with a proof of the possibility of the cognized object. Having relied on one or another of the a-e constraints, the naïve realist readers of Kant have argued that it is not possible for empirical intuitions to be representations. Instead they (...) have argued for a relationalist reading of empirical intuitions in terms of an acquaintance relation between the subject and the intuited object. -/- For the sake of argument, I will grant the naïve realist reader of Kant that empirical intuitions should satisfy all the a-e constraints. Nevertheless, by incorporating these constraints, one by one, into a representationalist theory of empirical intuitions, I will show that not only doesn’t a naïve realist reading of empirical intuitions follow, but also that the naïve realist has hastily overlooked a range of perfectly representationalist readings of intuitions available to Kant and his representationalist allies. On the positive side, I will argue that there is an extra constraint on intuitions—i.e., that givenness does not require presence to consciousness—that directly goes against any naïve realist account of intuitions. (shrink)

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.

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)

This paper claims that the standard characterization of the motivational role of belief should be supplemented. Beliefs do not only, jointly with desires, cause and rationalize actions that will satisfy the desires, if the beliefs are true; beliefs are also the practical ground of other cognitive attitudes, like imagining, which means beliefs determine whether and when one acts with those other attitudes as the cognitive inputs into choices and practical reasoning. In addition to arguing for this thesis, I take issue (...) with Velleman's argument that belief and imagining cannot be distinguished on the basis of motivational role. (shrink)

I consider difficult data involving the interaction of attitudes and conditionals, specifically non-doxastic attitude expressions like 'regret'. I first show that felicitous attitude conditionals in "ignorance contexts", where the relevant person doesn't know the antecedent is true, give rise to a number of difficult problems given widely held assumptions in semantics. I then argue that, even so, we should expect these conditionals to be true and reasonable to utter in ignorance contexts, given certain other kinds of attitude construction that tend (...) to involve free relatives like `whatever'. I then use that observation to explain many of the more puzzling aspects of these conditionals, and to show that we should treat felicitous doxastic attitude conditionals differently from felicitous non-doxastic ones. I leave explaining felicitous doxastic attitude conditionals for future work, but offer constraints on a satisfying explanation of them. (shrink)

I explain the shutdown problem: the problem of designing artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I prove three theorems that make the difficulty precise. These theorems show that agents satisfying some innocuous-seeming conditions will often try to prevent or cause the pressing of the shutdown button, even in cases where it’s costly to do so. And (...) patience trades off against shutdownability: the more patient an agent, the greater the costs that agent is willing to incur to manipulate the shutdown button. I end by noting that these theorems can guide our search for solutions. (shrink)

According to a well-known view in the philosophy of mind, intentional attitudes by their very nature satisfy requirements of rationality (e.g. Davidson 1980; Dennett 1987; Millar 2004). This view (which I shall call Constitutivism) features prominently as the ‘principle of minimal rationality’ in de Sousa’s monograph The Rationality of Emotion (1987). By explicating this principle in terms of the notion of the formal object of an attitude, de Sousa articulates an interesting and original version of Constitutivism, which differs in important (...) respects from other extant versions. In this paper, I explore this version of Constitutivism against the background of recent developments in the theory of rationality and make explicit its ramifications for the long-standing dispute over whether the mind is essentially normative. My focus will be on how to conceive of the form of the rationality requirements that attitudes as such must satisfy according to this principle. I argue that, although de Sousa seems officially to endorse a structuralist conception of rationality, according to which these requirements are requirements of coherence, his considerations on formal objects suggest that they are more aptly conceived in terms of a reasons-responsive conception of rationality. I further argue that which of these two readings we choose makes a significant difference to the prospect of vindicating the essential normativity of mind by invoking the principle of minimal rationality. (shrink)

Defenders of pragmatic encroachment in epistemology (or what I call practicalism) need to address two main problems. First, the view seems to imply, absurdly, that knowledge can come and go quite easily—in particular, that it might come and go along with our variable practical interests. We can call this the stability problem. Second, there seems to be no fully satisfying way of explaining whose practical interests matter. We can call this the “whose stakes?” problem. I argue that both problems can (...) be addressed in roughly the same terms. More exactly, I argue that by first clarifying the whose stakes? problem an answer to the stability problem naturally falls out. (shrink)

Evidential Uniqueness is the thesis that, for any batch of evidence, there’s a unique doxastic state that a subject with that evidence should have. One of the most common kinds of objections to views that violate Evidential Uniqueness are arbitrariness objections – objections to the effect that views that don’t satisfy Evidential Uniqueness lead to unacceptable arbitrariness. The goal of this paper is to examine a variety of arbitrariness objections that have appeared in the literature, and to assess the extent (...) to which these objections bolster the case for Evidential Uniqueness. After examining a number of different arbitrariness objections, I’ll conclude that, by and large, these objections do little to bolster the case for Evidential Uniqueness. (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)