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)

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)

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.

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)

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)

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)

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)

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)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

In this paper I articulate a view of doxastic control that helps defend the legitimacy of our practice of blaming people for their beliefs. I distinguish between three types of doxastic control: intention-based, reason-based, and influence-based. First I argue that, although we lack direct intention-based control over our beliefs, such control is not necessary for legitimate doxastic blame. Second, I suggest that we distinguish two types of reason-responsiveness: sensitivity to reasons and appreciation of reasons. I argue that while both capacities (...) are necessary for satisfying the control condition, neither is sufficient. Finally, I defend an influence-based view of doxastic control according to which we have the capacity to execute intentions to engage in reflection that causally influences our beliefs in positive epistemic ways. This capacity is both necessary and sufficient for satisfying the control condition for legitimate doxastic blame. I end by defending the view from two objections: that reflection is not necessary for meeting the control condition, and that it is not sufficient. (shrink)

Experiences justify beliefs about our environment. Sometimes the justification is immediate: seeing a red light immediately justifies believing there is a red light. Other times the justification is mediate: seeing a red light justifies believing one should brake in a way that is mediated by background knowledge of traffic signals. How does this distinction map onto the distinction between what is and what isn't part of the content of experience? Epistemic egalitarians think that experiences immediately justify whatever is part of (...) their content. Epistemic elitists deny this and think that there is some further constraint the contents of experience must satisfy to be immediately justified. Here I defend epistemic elitism, propose a phenomenological account of what the further constraint is, and explore the resulting view's consequences for our knowledge of other minds, and in particular for perceptual theories of this knowledge. (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.

This paper has a twofold aim. On the one hand, we will discuss the much debated question of the source of normativity (which traditionally has nature and practical reason as the two main contenders to this role) and propose a new answer to it. Second, in answering this question, we will present a new account of practical wisdom, which conceives of the ethical virtues as ultimately unified in the chief virtue of phronesis, understood as ethical expertise. To do so, we (...) will first criticize the main current view of phronesis and its bearer (the phronimos), then offer another view of the nature of phronesis and of its relation to the other ethical virtues. Our proposal should not be intended as an interpretation of Aristotle’s own view; rather, it should be seen as a broadly Aristotelian theoretical proposal, which we believe can satisfyingly address most of the problems that afflict the more traditional accounts of practical wisdom. In section 2 of this paper, after criticizing first-nature naturalistic views of moral virtue, we take practical reason to be the cornerstone of second-nature naturalistic views; in section 3, we will outline criticisms to which, in our view, the traditional views of phronesis are ill-suited to respond, and, in section 4, we will outline our view of phronesis as ethical expertise – a view which in our view is immune to the above-mentioned criticisms – by spelling out the three main tenets of phronesis as ethical expertise: a conceptual thesis, an epistemic thesis, and the educational implications of the two. Finally, we will support our proposal with some empirical evidence taken from cognitive science. (shrink)

Background: Arthritis is very common but is not well understood. Actually, “arthritis” is not a single disease; it is an informal way of referring to joint pain or joint disease. There are more than 100 different types of arthritis and related conditions. People of all ages, sexes and races can and do have arthritis, and it is the leading cause of disability in America. More than 50 million adults and 300,000 children have some type of arthritis. It is most common (...) among women and occurs more frequently as people get older. Common arthritis joint symptoms include swelling, pain, stiffness and decreased range of motion. Symptoms may come and go. They can be mild, moderate or severe. They may stay about the same for years, but may progress or get worse over time. Severe arthritis can result in chronic pain, inability to do daily activities and make it difficult to walk or climb stairs. Arthritis can cause permanent joint changes. These changes may be visible, such as knobby finger joints, but often the damage can only be seen on X-ray. Some types of arthritis also affect the heart, eyes, lungs, kidneys and skin as well as the joints. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Orthopedist in diagnosing Arthritis disease through its symptoms such as: pain on pressure in a joint , Inflammation indicated by joint swelling, Stiffness especially in the morning , Loss of flexibility of joint, Limited, joint movement, Deformity of the joints , Weight loss and fatigue , Non-specific fever and Crepitus. The proposed expert system presents an overview about Arthritis disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Arthritis disease diagnosis expert system was evaluated by Orthopedics students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Orthopedist, patients with arthritis and newly graduated Orthopedics students. (shrink)

Background: With the coming of the Industrial Revolution, the levels of pollution grow significantly. This Technological development contributed to the worsening of shortness breath problems in great shape. especially in infants and children. There are many shortness breath diseases that infants and children face in their lives. Shortness of breath is one of a very serious symptom in children and infants and should never be ignored. Objectives: Along these lines, the main goal of this expert system is to help physician (...) in diagnosing and describe some common causes of shortness of breath in infants and children by diagnosing their cases through our expert system. Moreover, this system which we are presenting will give patient the appropriate diagnosis of disease and the treatment required. Methods: In this paper the strategy of the expert system for diagnosing a number of the existed shortness of breath in infants and children diseases such as (Asthma , Bronchiolitis, Viral Pneumonia, cough, Shortness of breath' dyspnea ', Epiglottitis, Croup, ABSCESS in the tonsil 'peritonsillar abscess', Bronchitis, Viral Bronchitis, Wheezing, sudden infant death syndrome 'SIDS' ) is introduced, an overview about the shortness of breath in children and infants diseases are delineated, the cause of diseases are sketched and the treatment of disease whenever conceivable is given . SL5 Object Expert System language was utilized for designing and implementing the proposed expert system. Results: The proposed shortness of breath in children and infants diseases diagnosis expert system was estimated by Medical students and they were satisfied with its result. Conclusions: The Proposed expert system is very useful for Respiratory physician, pediatrician, recently graduated physician, and for children's parents with shortness of breath problem. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (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)

It seems that epistemically rational agents should avoid incoherent combinations of beliefs and should respond correctly to their epistemic reasons. However, some situations seem to indicate that such requirements cannot be simultaneously satisfied. In such contexts, assuming that there is no unsolvable dilemma of epistemic rationality, either (i) it could be rational that one’s higher-order attitudes do not align with one’s first-order attitudes or (ii) requirements such as responding correctly to epistemic reasons that agents have are not genuine rationality requirements. (...) This result doesn’t square well with plausible theoretical assumptions concerning epistemic rationality. So, how do we solve this puzzle? In this paper, I will suggest that an agent can always reason from infallible higher-order reasons. This provides a partial solution to the above puzzle. (shrink)

Pluralism about truth is the view that there are many properties, not just one, in virtue of which things are true. Pluralists hope to dodge the objections that face traditional monistic substantive views of truth, as well as those facing deflationary theories of truth. More specifically, pluralists hope to advance an explanatorily potent understanding of truth that can capture the subtleties of various realist and anti-realist domains of discourse, all while avoiding the scope problem. I offer a new objection to (...) pluralism that challenges its fundamental commitment to there being a set of alethic properties in virtue of which claims are true. In its place I offer an alternative view that merges standard truthmaker theory with a primitivist conception of truth. This combination of views satisfies the theoretical desires that pluralists claim for themselves, but without taking on pluralism's host of challenges and problems. (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)

Constitutivist accounts in metaethics explain the normative standards in a domain by appealing to the constitutive features of its members. The success of these accounts turns on whether they can explain the connection between normative standards and the nature of individuals they authoritatively govern. Many such explanations presuppose that any member of a norm-governed kind must minimally satisfy the norms governing its kind. I call this the Threshold Commitment, and argue that constitutivists should reject it. First, it requires constitutivists to (...) restrict the scope of their explanatory ambitions, because it is not plausibly true of social kinds. Second, despite the frequent reliance on physical artifacts in constitutivists’ illustrations of the Threshold Commitment, it counter-intuitively entails that physical artifacts can cease to exist without being physically destroyed. Third, it misconstrues the normative force of authoritative norms on very defective kind-members because it locates this force not in the norm, but in the threat of non-existence. Fortunately, constitutivism can be decoupled from the Threshold Commitment, and I close by sketching a promising alternative account. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

My main aim is to argue that most conceptions of doxastic agency do not respond to the skeptic’s challenge. I begin by considering some reasons for thinking that we are not doxastic agents. I then turn to a discussion of those who try to make sense of doxastic agency by appeal to belief’s reasons-responsive nature. What they end up calling agency is not robust enough to satisfy the challenge posed by the skeptics. To satisfy the skeptic, one needs to make (...) sense of the possibility of believing for nonevidential reasons. While this has been seen as an untenable view for both skeptics and anti-skeptics, I conclude by suggesting it is a position that has been too hastily dismissed. (shrink)

While there is a growing philosophical interest in analysing olfactory experiences, the mereological structure of odours considered in respect of how they are perceptually experienced has not yet been extensively investigated. The paper argues that odours are perceptually experienced as having a mereological structure, but this structure is significantly different from the spatial mereological structure of visually experienced objects. Most importantly, in the case of the olfactory part-structure, the classical weak supplementation principle is not satisfied. This thesis is justified by (...) referring to empirical results in olfactory science concerning the human ability to identify components in complex olfactory stimuli. Further, it is shown how differences between olfactory and visual mereologies may arise from the way in which these modalities represent space. (shrink)

Duncan Pritchard has, in the years following his (2005) defence of a safety-based account of knowledge in Epistemic Luck, abjured his (2005) view that knowledge can be analysed exclusively in terms of a modal safety condition. He has since (Pritchard in Synthese 158:277–297, 2007; J Philosophic Res 34:33–45, 2009a, 2010) opted for an account according to which two distinct conditions function with equal importance and weight within an analysis of knowledge: an anti-luck condition (safety) and an ability condition-the latter being (...) a condition aimed at preserving what Pritchard now takes to be a fundamental insight about knowledge: that it arises from cognitive ability (Greco 2010; Sosa 2007, 2009). Pritchard calls his new view anti-luck virtue epistemology (ALVE). A key premise in Pritchard’s argument for ALVE is what I call the independence thesis; the thesis that satisfying neither the anti-luck condition nor the ability condition entails that the other is satisfied. Pritchard’s argument for the independence thesis relies crucially upon the case he makes for thinking that cognitive achievements are compatible with knowledge-undermining environmental luck—that is, the sort of luck widely thought to undermine knowledge in standard barn facade cases. In the first part of this paper, I outline the key steps in Pritchard’s argument for anti-luck virtue epistemology and highlight how it is that the compatibility of cognitive achievement and knowledge- undermining environmental luck is indispensible to the argument’s success. The second part of this paper aims to show that this compatibility premise crucial to Pritchard’s argument is incorrect. (shrink)

The Rigidity Thesis states that no rigid term can have the same semantic content as a nonrigid one. Drawing on Dummett (1973; 1991), Evans (1979; 1982), and Lewis (1980), Stanley (1997a; 1997b; 2002) rejects the thesis since it relies on an illicit identification of compositional semantic content and the content of assertion (henceforth, assertoric content). I argue that Stanley’s critique of the Rigidity Thesis fails since it places constraints on assertoric content that cannot be satisfied by any plausible notion of (...) content appropriately related to compositional semantic content. For similar reasons, I also challenge a recent two-dimensionalist defense of Stanley by Ninan (2012). The moral is far-reaching: any theory that invokes a distinction between semantic and assertoric contents is unsatisfactory unless it can plausibly explain the connection between them. (shrink)

What is the relationship between degrees of belief and binary beliefs? Can the latter be expressed as a function of the former—a so-called “belief-binarization rule”—without running into difficulties such as the lottery paradox? We show that this problem can be usefully analyzed from the perspective of judgment-aggregation theory. Although some formal similarities between belief binarization and judgment aggregation have been noted before, the connection between the two problems has not yet been studied in full generality. In this paper, we seek (...) to fill this gap. The paper is organized around a baseline impossibility theorem, which we use to map out the space of possible solutions to the belief-binarization problem. Our theorem shows that, except in limiting cases, there exists no belief-binarization rule satisfying four initially plausible desiderata. Surprisingly, this result is a direct corollary of the judgment-aggregation variant of Arrow’s classic impossibility theorem in social choice theory. (shrink)

Does intellectual property satisfy the requirements of the Lockean proviso, that the appropriator leave “enough and as good” or that he at least not “deprive others”? If an author's appropriation of a work he has just created is analogous to a drinker “taking a good draught” in the flow of an inexhaustible river, or to someone magically “causing springs of water to flow in the desert,” how could it not satisfy the Lockean proviso?

Consensus conferences are social techniques which involve bringing together a group of scientific experts, and sometimes also non-experts, in order to increase the public role in science and related policy, to amalgamate diverse and often contradictory evidence for a hypothesis of interest, and to achieve scientific consensus or at least the appearance of consensus among scientists. For consensus conferences that set out to amalgamate evidence, I propose three desiderata: Inclusivity, Constraint, and Evidential Complexity. Two examples suggest that consensus conferences can (...) readily satisfy Inclusivity and Evidential Complexity, but consensus conferences do not as easily satisfy Constraint. I end by discussing the relation between social inclusivity and the three desiderata. (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)

Skeptical invariantists maintain that the expression “knows” invariably expresses an epistemically extremely demanding relation. This leads to an immediate challenge. The knowledge relation will hardly if ever be satisfied. Consequently, we can rarely if ever apply “knows” truly. The present paper assesses a prominent strategy for skeptical invariantists to respond to this challenge, which appeals to loose talk. Based on recent developments in the theory of loose talk, I argue that such appeals to loose talk fail. I go on to (...) present a closely related, more promising response strategy, which combines assumptions about the dynamics of pragmatic presuppostions from Blome-Tillmann (2014) with an appeal to conversational exculpature, a phenomenon recently studied by Hoek (2018, 2019). (shrink)

The asylum system faces problems on two fronts. States undermine it with populist politics, and migrants use it to satisfy their migration preferences. To address these problems, asylum services should be commodified. States should be able to pay other states to provide determination and protection-elsewhere. In this article, I aim to identify a way of implementing this idea that is both feasible and desirable. First, I sketch a policy proposal for a commodification of asylum services. Then, I argue that this (...) policy proposal is not only compatible with the right to asylum, but also supported by moral considerations. Despite some undesirable moral features, a market in asylum facilitates the provision of asylum to those who need it. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a metaphysics of (...) truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

I argue that some of the most prominent interpretations of Reid's response to skepticism marginalize a crucial aspect of his thought: namely, that our common sense beliefs meet whatever normative standards of rationality the skeptic might fairly demand of them. This should be seen as supplementary to reliabilist or proper functionalist interpretations of Reid, which often ignore this half of the story. I also show how Reid defends the rationality of believing first principles by appealing to their naturalness and irresistibility. (...) The resulting interpretation supplies Reid with a more satisfying and formidable response to the skeptic than interpretations currently offer. (shrink)

Australia, Canada, and New Zealand currently apply health requirements to prospective immigrants, denying residency to those with health conditions that are likely to impose an “excessive demand” on their publicly funded health and social service programs. In this paper, I investigate the charge that such policies are wrongfully discriminatory against persons with disabilities. I first provide a freedom-based account of the wrongness of discrimination according to which discrimination is wrong when and because it involves disadvantaging people in the exercise of (...) their freedom on the basis of morally arbitrary features of their identity. Discrimination is permissible, I suggest, when it is necessary to advance a valuable exercise of the discriminating agent’s freedom. I then apply this account to the case of social cost health requirements. Against critics of these requirements, I argue that it is sometimes permissible for states to discriminate against prospective immigrants with disabilities. States may do so, I suggest, when such discriminatory treatment is necessary to prevent an increase in rates of mortality and/or morbidity amongst citizens. Alongside critics of social cost health requirements however, I argue that existing policies are likely a form of wrongful discrimination insofar as they are too broad to satisfy this standard. (shrink)

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (shrink)