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)

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)

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)

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.

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)

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)

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)

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)

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

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

Social philosophers often invoke the concept of false consciousness in their analyses, referring to a set of evidence-resistant, ignorant attitudes held by otherwise sound epistemic agents, systematically occurring in virtue of, and motivating them to perpetuate, structural oppression. But there is a worry that appealing to the notion in questions of responsibility for the harm suffered by members of oppressed groups is victim-blaming. Individuals under false consciousness allegedly systematically fail the relevant rationality and epistemic conditions due to structural distortions of (...) reasoning or knowledge practices, undermining their status as responsible moral agents. But attending to the constitutive mechanisms and heterogeneity of false consciousness allows us to see how having it does not eo ipso render someone an inappropriate target of blame. I focus here on the 1889 anti-suffragist manifesto “An Appeal Against Female Suffrage,” arguing that its signatories, despite false consciousness, satisfy both conditions for ordinary blameworthiness. I consider three prominent signatories, observing that the irrationality characterisation is unsustainable beyond group-level diagnoses, and that their capacity to respond appropriately to reasons was not compromised. Following recent work on epistemic injustice, I also argue that culpable mechanisms constituted their false consciousness, rendering them blameworthy for the Appeal. (shrink)

Citizen Satisfaction Index System (CSIS) was used to assess the delivery of support to education initiatives in the municipality of Banga, Aklan, Philippines. The samples were determined using multiple application of stratified random sampling approach. In accordance with the Philippine Statistical Authority's Data on Census Population and Housing for 2015, barangays having a bigger share of the population contributed more respondents to the 150 targeted participants. Following the inclusion criteria, the probability respondents were chosen using the Kish Grid. Pre-numbered questionnaires (...) were distributed, with odd numbers targeting male responders and even numbers targeting females. The following criteria were used to evaluate the respondents' assessments: awareness, availment of the program/service, satisfaction, and need for action. Furthermore, interviews were conducted to better understand and investigate the respondents' thoughts, behavior, and perspectives. The reasons for their reaction were also obtained. The data was provided in percentage as well as frequency distributions. The study inferred that awareness on alternative learning system and/or special education program should be improved since it is the only program that attained low rating for awareness. Most of the residents were not able to avail education programs because they have no household member who attends school. Majority of the respondents who availed the services were satisfied. However, scholarship and other assistance programs to students may be enhanced to improve service delivery. It is highly recommended by the citizens to improve accessibility to scholarship programs and other forms of financial assistance to students. (shrink)

Based on a question posed by global philosophy of religion project regarding the absence of literal attribution of omnibenevolence to God in the Qur’ān, this paper aims to examine how to understand perfect goodness in Islam. I will first discuss the concept of perfect goodness and suggest that perfect goodness is not an independent attribute on its own and it is predicated on other moral attributes of God without which the concept of perfect goodness could hardly be understood. I will (...) examine perfect goodness by a specific emphasis on the attribute of justice as one of the conditions to be satisfied by a perfectly morally good being. In so doing, I will appeal to the distinctions made among great-making properties by Daniel Hill, and Al-Ghazālī’s definition of justice by applying them to God’s moral attributes. I will argue that justice has a crucial role in maximality-optimality balance between great-making properties and it seems quite difficult, if not impossible, to conceive of goodness without justice. Having said that, I will claim that the conceptual frame I suggest sheds light on why omnibenevolence is not literally attributed to God in the Qur’ān. Then, I will briefly show how the divine attributes mentioned in the Qur’ān and the discussions about divine names and attributes in the Islamic tradition supports the understanding of perfect goodness I defend. Consequently, I will try to show that far from indicating that the Islamic concept of God doesn’t involve perfect goodness, the Qur’ān establishes the proper meaning of perfect goodness by focusing on its constitutive attributes, and thus provides us with a sound conception of it. (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.

False consciousness requires a general explanation for why, and how, oppressed individuals believe propositions against, as opposed to aligned with, their own well-being in virtue of their oppressed status. This involves four explanatory desiderata: belief acquisition, content prevalence, limitation, and systematicity. A social constructionist approach satisfies these by understanding the concept of false consciousness as regulating social research rather than as determining the exact mechanisms for all instances: the concept attunes us to a complex of mechanisms conducing oppressed individuals to (...) mistake social understandings of themselves as natural self-understandings—the limits lie where these overlap (sometimes), or are entirely absent. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

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

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

Presentism usually holds that only present entities exist. In contrast to presentism, eternalism holds that past, present, and future entities all exist. According to some philosophers, presentism is intuitively incompatible with time travel. In this paper, I defend the compatibility between presentism and time travel by arguing for a plausible account of causation in the presentist framework. To achieve my goal, I respond to an objection to presentist time travel that is based on the nonexistence of the past: the Causation (...) Objection. According to the Causation Objection, causal relations between objects at different times are necessary for time travel, but these are impossible for presentists. I evaluate a possible reply based on a non-relational account of causation and show that this reply is not satisfying. Subsequently, I put forward a fact-based account of causal relation. I argue that presentists could accept facts instead of events as causal relata, thus establishing causal relations. As all facts about the past, the present, and the future exist in the present, we could explain how backward causation works and describe the discrepancy between personal time and external time in presentist time travel; in this way, I argue, we could vindicate the compatibility between presentism and time travel. (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)

This paper develops a new class of justification logic, the logic of epistemic entitlement. The logic of epistemic entitlement invokes the notion of epistemic entitlement in epistemology, and interprets a justification formula in the form of???? ∶???? as follows: the warrant???? entitles the agent to believe????. In the logic of epistemic entitlement, the formula???? ∶???? is true if and only if???? is true in all possible worlds entitled to be conceived by????. In contrast to the standard epistemic semantics of justification (...) logic, the formula???? ∶???? in Fitting’s model is true if and only if???? is true in all possible worlds that can be conceived of and satisfies the evidential condition: the epistemic state???? ∈ ℰ(????,????) that the epistemic agent is in. Thus, if???? is not a dead point in the model, the point model of???? cannot satisfy both formulas of the form???? ∶???? and????′∶ ¬????. Thus standard justification logic cannot characterize the conflicting beliefs of agents for different warrants. Instead, the logic of epistemic entitlement solves this problem by entitling agents to believe???? and ¬???? on two disjoint sets of possible worlds on????,???? and????′, respectively. ℳ,???? ⊩???? ∶???? if and only if ℳ,???? ⊩???? for every???? ∈????????????(????,????) with????????????. Such an epistemic entitlement in the paper is axiomatized into the logic J_???????????? and the validity of its axioms is verified. And a canonical model of J_???????????? is established to prove its completeness. Finally, extensions of J_???????????? are attempted to explore the logic of entitlement of belief J_EntD4 and logic of entitlement of knowledge J_EntT4. (shrink)

Gregory the Great depicts himself as a contemplative who, as bishop of Rome, was compelled to become an administrator and pastor. His theological response to this existential tension illuminates the vexed questions of his relationships to predecessors and of his legacy. Gregory develops Augustine’s thought in such a way as to satisfy John Cassian’s position that contemplative vision is grounded in the soul’s likeness to the unity of Father and Son. For Augustine, “mercy” lovingly lifts the neighbor toward life in (...) God. Imitating God’s own love for humankind, this mercy likens the Christian to God’s essential goodness and, by this likeness, prepares him or her for the vision of God, which Augustine expects not now but only in the next life. For Augustine, the exercise of mercy can—when useful—involve a shared affection or understanding. Gregory makes this shared affection essential to the neighborly love that he calls “compassion.” In this affective fellowship, Gregory finds a human translation of the passionless unity of Father and Son—so that, for Gregory, compassion becomes the immediate basis for and consequence of seeing God—even in this life. Compassion does not degrade; rather, it retrenches the perfection of contemplation. Reconciling compassionate activity and contemplative vision, this creative renegotiation of Augustine and Cassian both answered Gregory’s own aspirations and gave to the tumultuous post-Imperial West a needed account of worldly affairs as spiritual affairs. (shrink)

Background: A bean is the seed of one of several genera of the flowering plant family Fabaceae, which are used as vegetables for human or animal food. They can be cooked in many different ways, including boiling, frying, and baking, and are used in many traditional dishes throughout the world. Beans are one of the longest-cultivated plants. Broad beans, also called fava beans, in their wild state the size of a small fingernail, were gathered in Afghanistan and the Himalayan foothills. (...) In a form improved from naturally occurring types, Beans were an important source of protein throughout old and new world history, and still are today. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper, the design of the proposed Expert System was produced to help farmers and those interested in agriculture in diagnosing many of the Bean diseases such as Fusarium wilt, Charcoal rot or ashy stem blight, Bacterial leaf spot and blight, Mung bean yellow mosaic virus, Cercospora leaf spot. The proposed expert system presents an overview of Bean diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Bean diseases diagnosis expert system was evaluated by Agricultural experts and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (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)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (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.

Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...) year. And one in six people (16.6%) will experience depression at some time in their life. Depression can strike at any time, but on average, first appears during the late teens to mid-20s. Women are more likely than men to experience depression. Some studies show that one-third of women will experience a major depressive episode in their lifetime. 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 Psychologist in diagnosing depression disease through its symptoms such as: a loss of energy, a change in appetite, sleeping more or less, anxiety, reduced concentration, indecisiveness, restlessness, feelings of worthlessness, guilt or hopelessness and thoughts of self-harm or suicide. The proposed expert system presents an overview about depression 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 depression disease diagnosis expert system was evaluated by psychologist students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for psychologist, patients with depression and newly graduated psychologist. (shrink)

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

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (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)

[This is the penultimate version, please send me an email for the final version]. Some sensations are pleasant, some unpleasant, and some are neither. Furthermore, those that are pleasant or unpleasant are so to different degrees. In this essay, I want to explore what kind of a difference is the difference between these three kinds of sensations. I will develop a comprehensive three-level account of sensory pleasure that is simultaneously adverbialist, functionalist and is also a version of a satisfied experiential-desire (...) account. (shrink)

This paper gives an account of Kant’s concept of self-contentment (Selbstzufriedenheit), i.e. the satisfaction involved in the performance of moral action. This concept is vulnerable to an important objection: if moral action is satisfying, it might only ever be performed for the sake of this satisfaction. I explain Kant’s response to this objection and argue that it is superior to Francis Hutcheson’s response to a similar objection. I conclude by showing that two other notions of moral satisfaction in Kant’s moral (...) philosophy, namely ‘sweet merit’ and the highest good, also avoid the objection. (shrink)

In this article, we describe a hitherto undocumented fallacy-in the sense of a mistake in reasoning-constituted by a negativity bias in the way that people attribute motives to others. We call this the "worst-motive fallacy," and we conducted two experiments to investigate it. In Experiment 1, participants expected protagonists in a variety of fictional vignettes to pursue courses of action that satisfy the protagonists' worst motive, and furthermore, participants significantly expected the protagonist to pursue a worse course of action than (...) they would prefer themselves. Experiment 2 was a preregistered attempted replication of Experiment 1, including a bigger range of vignettes; the first effect was not replicated for the new vignettes tested but was for the original set. Also, we once again found that participants expected protagonists to be more likely than they were themselves to pursue courses of action that they considered morally bad. We discuss the worst-motive fallacy's relation to other well-known biases as well as its possible evolutionary origins and its ethical consequences. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

Anyone who has read Plato’s Republic knows it has a lot to say about mathematics. But why? I shall not be satisfied with the answer that the future rulers of the ideal city are to be educated in mathematics, so Plato is bound to give some space to the subject. I want to know why the rulers are to be educated in mathematics. More pointedly, why are they required to study so much mathematics, for so long?

Many philosophers of physics think that physical rates of change, like velocity or acceleration in classical physics, are extrinsic. Many philosophers of mind think that phenomenal properties, which characterize what it’s like to be an agent at a time, are intrinsic. I will argue that these two views can’t both be true. Given that these two views are in tension, we face an explanatory challenge. Why should there be any interesting connection between these physical quantities and consciousness in the first (...) place? In a speculative spirit, I close by developing a panpsychist view which promises to explain this connection in a particularly satisfying way. (shrink)

This paper seeks to answer the question: Can contemporary forms of artificial intelligence be creative? To answer this question, I consider three conditions that are commonly taken to be necessary for creativity. These are novelty, value, and agency. I argue that while contemporary AI models may have a claim to novelty and value, they cannot satisfy the kind of agency condition required for creativity. From this discussion, a new condition for creativity emerges. Creativity requires curiosity, a motivation to pursue epistemic (...) goods. I argue that contemporary AI models do not satisfy this new condition. Because they lack both agency and curiosity, it is a mistake to attribute the same sort of creativity to AI that we prize in humans. Finally, I consider the question of whether these AI models stand to make human creativity in the arts and sciences obsolete, despite not being creative themselves. I argue, optimistically, that this is unlikely. (shrink)

The present paper tries to answer the question _Is religious education compatible with the purposes of liberal education?_ This work argues that it is possible, and desirable, that democratic states built on liberal ideals include religious education in all schools since increasing the number of options among which the future citizen may choose the conception of the good with which he or she wishes to live is a condition for autonomy as one of its educational purposes. However, the proposal is (...) not based on religious confessional education, which by itself does not satisfy the liberal educational goals, but is redefined from the common noahide principles compatible both religious confessions and non-religious views of morality and citizenship. (shrink)

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...) satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (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)

All parties involved in researching, developing, manufacturing, and distributing COVID-19 vaccines need guidance on their ethical obligations. We focus on pharmaceutical companies' obligations because their capacities to research, develop, manufacture, and distribute vaccines make them uniquely placed for stemming the pandemic. We argue that an ethical approach to COVID-19 vaccine production and distribution should satisfy four uncontroversial principles: optimising vaccine production, including development, testing, and manufacturing; fair distribution; sustainability; and accountability. All parties' obligations should be coordinated and mutually consistent. For (...) instance, companies should not be obligated to provide host countries with additional booster shots at the expense of fulfilling bilateral contracts with countries in which there are surges. Finally, any satisfactory approach should include mechanisms for assurance that all parties are honouring their obligations. This assurance enables countries, pharmaceutical companies, global organisations, and others to verify compliance with the chosen approach and protect ethically compliant stakeholders from being unfairly exploited by unethical behaviour of others. (shrink)

This paper briefly describes process metaphysics, and argues that it is better suited for describing life than the more standard thing, or substance, metaphysics. It then explores the implications of process metaphysics for conceptualizing evolution. After explaining what it is for an organism to be a process, the paper takes up the Hull/Ghiselin thesis of species as individuals and explores the conditions under which a species or lineage could constitute an individual process. It is argued that only sexual species satisfy (...) these conditions, and that within sexual species the degree of organization varies. This, in turn, has important implications for species' evolvability. One important moral is that evolution will work differently in different biological domains. (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)

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?

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

Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that this problem (...) generalizes: there exists no local function from degrees of belief to binary beliefs that satisfies some minimal conditions of rationality and non-triviality. “Locality” means that the binary belief in each proposition depends only on the degree of belief in that proposition, not on the degrees of belief in others. One might think that the impossibility can be avoided by dropping the assumption that binary beliefs are a function of degrees of belief. We prove that, even if we drop the “functionality” restriction, there still exists no local relation between degrees of belief and binary beliefs that satisfies some minimal conditions. Thus functionality is not the source of the impossibility; its source is the condition of locality. If there is any non-trivial relation between degrees of belief and binary beliefs at all, it must be a “holistic” one. We explore several concrete forms this “holistic” relation could take. (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)