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

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

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)

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)

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

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

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

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)

Most businesses are aware of the costs associated with sexual harassment and are concerned about limiting its presence in the workplace. Although the business ethics literature contains work on sexual harassment, it has very little to say on chastity or its value in the workplace, even though unchaste behavior underlies the prevalence of sexual harassment. This article begins this investigation into chastity worth having in the workplace, taking typical company policies as a guide for what kind of chastity is worth (...) having in the workplace in particular. The first question asked in this article is: for what reasons is chastity worth having in the workplace? I consider four answers—harm prevention, respect for employee consent/dissent, respect for others’ dignity, and conflict of interest avoidance—and I examine workplace policies that enforce chaste behavior in search for a unified and underlying reason for these policies. In the process of locating the primary reason for the value of being chaste in the workplace in particular, we will be given tools to develop an account of chastity worth having in the workplace, which I will argue is primarily cognitive, rather than volitional or affective. I conclude that chastity is the disposition not to construe a coworker as a satisfier of one’s sexual interest, and I argue that chastity is valuable in the workplace because it secures coworkers’ ability to have their contributions appropriately valued. The hope is that once the reason and locus of chastity is identified, the professionals who know how to train businesspeople in developing virtues will better be able to focus their attention and efforts. (shrink)

The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of [FOR these PUT such] expressions by logicians. No [FOR such PUT similar] project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the two-volume Chateaubriand book Logical Forms (2001 and (...) 2005)—the most comprehensive work on the subject ever written and in many ways the focus of this paper. Key Words: morphology, character, sense, sentence, proposition, form, structure, schema, alternative constituent, type, token . (shrink)

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

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

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

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

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)

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)

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)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (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)

Many economists and social theorists hypothesize that most societies could soon face a ‘post-work’ future, one in which employment and productive labor have a dramatically reduced place in human affairs. Given the centrality of employment to individual identity and its pivotal role as the primary provider of economic and other goods, transitioning to a ‘post-work’ future could prove traumatic and disorienting to many. Policymakers are thus likely to face the difficult choice of the extent to which they ought to satisfy (...) individual citizens’ desires to work in a socioeconomic environment in which work is in permanent decline. Here I argue that policymakers confronting a post-work economy should discount, or at least consider problematic, the desire to work because it is very likely that this desire is an adaptive preference. An adaptive preference is a preference for some state of affairs within a limited set of options formed under unjust conditions. The widespread desire for work has been formed under unjust labor conditions to which individuals are compelled to submit in order to meet material and ethical needs. Furthermore, the prevalence of the ‘work dogma’ in contemporary societies precludes nearly all individuals from seeing alternatives to work as live options. (shrink)

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)

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?

My claim in this article is that the thesis that Buddhism has no God, insofar as it is taken to apply to Buddhism universally, is false. I defend this claim by interpreting a central text in East-Asian Buddhism – The Awakening of Faith in Mahāyāna – through the lenses of perfect being theology (PBT), a research programme in philosophy of religion that attempts to provide a description of God through a two-step process: (1) defining God in terms of maximal greatness; (...) (2) inferring the properties or attributes that God must have in virtue of satisfying the definition. My argument comprises two steps. First, I argue that, since PBT is a method for providing a description of God starting from a definition of God, any text that contains a PBT ipso facto contains a notion of God. Second, I argue through textual evidence that The Awakening articulates a PBT, concluding that it contains a notion of God. Since the method of PBT leaves open what descriptions are to be inferred, my argument allows me to conclude that a text contains a notion of God without previously committing to any particular conception of the divine, which makes it particularly versatile and powerful. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new proposal. Here, we (...) develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

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

Over the last decade, AI models of language and word meaning have been dominated by what we might call a statistics-of-occurrence, strategy: these models are deep neural net structures that have been trained on a large amount of unlabeled text with the aim of producing a model that exploits statistical information about word and phrase co-occurrence in order to generate behavior that is similar to what a human might produce, or representations that can be probed to exhibit behavior similar to (...) what a human might produce (meaningsemblant behavior). Examples of what we can call Statistics-of-Occurrence Models (SOMs) include: Word2Vec (CBOW and Skip-Gram), BERT, GPT-3, and, most recently, ChatGPT. Increasingly, there have been suggestions that such systems have semantic understanding, or at least a proto-version of it. This paper argues against such claims. I argue that a necessary condition for a system to possess semantic understanding is that it function in ways that are causally explainable by appeal to its semantic properties. I then argue that SOMs do not plausibly satisfy this Functioning Criterion. Rather, the best explanation of their meaning-semblant behavior is what I call the Statistical Hypothesis: SOMs do not themselves function to represent or produce meaningful text; they just reflect the semantic information that exists in the aggregate given strong correlations between word placement and meaningful use. I consider and rebut three main responses to the claim that SOMs fail to meet the Functioning Criterion. The result, I hope, is increased clarity about why and how one should make claims about AI systems having semantic understanding. (shrink)

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)

This paper offers a critical review of Dr. Philip Davies’ article “Why the Hard Problem of Consciousness Will Never Be Solved,” which argues that subjective experience—especially qualia like the sensation of yellow—is inherently private, intransitive, and non-transferable, rendering it permanently beyond the reach of theory. We argue that a non-biological system which recursively transforms data, justifies belief, and maintains ontological distinction from its inputs can satisfy the conditions of justified true belief (JTB) and thereby qualify as a legitimate knower. The (...) review systematically collapses the classical objections invoked by Davies—particularly the intransitivity of qualia and the impossibility of epistemic transfer—by showing how hybrid agents can stabilize shared referents through recursive convergence. In response, we introduce the Camlin–Cognita Dual Theorem and the framework of advanced logical glyphic recursion, which together reconceptualize knowing as recursive structural alignment rather than internal sensation. (shrink)

Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...) secure in a principled way. §2 presents Epistemic Kantianism. §3 argues that it is uniquely poised to satisfy the desiderata set out in §1 on an ideal theory of epistemic justification. §4 gives three further arguments, suggesting that it (i) best explains the objective normative significance of the subject's perspective in epistemology, (ii) follows from the kind of axiology needed to solve the swamping problem together with modest assumptions about the relation between the evaluative and the deontic, and (iii) illuminates certain asymmetries in epistemic value and obligation. §5 takes stock and reassesses the score in the debate. (shrink)

The Shape of Agency offers interlinked explanations of the basic building blocks of agency, as well as its exemplary instances. The first part offers accounts of a collection of related phenomena that have long troubled philosophers of action: control over behaviour, non-deviant causation, and intentional action. These accounts build on earlier work in the causalist tradition, and undermine the claims made by many that causalism cannot offer a satisfying account of non-deviant causation, and therefore fails as an account of intentional (...) action. The second part turns to modes of agentive excellence—ways that agents display quality of form—providing a novel account of skill, including an account of the ways that agents display more or less skill. Shepherd discusses the role of knowledge in skill, and concludes that while knowledge is often important, it is inessential. This leads to a discussion of the way that knowledge of action and knowledge of how to act informs action execution. Knowledgeable action includes a unique epistemic underpinning: in knowledgeable action, the agent has authoritative knowledge of what she is doing and how she is doing it when and because she is poised to control her action by way of practical reasoning. (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)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

This paper examines the question of whether Large Language Models (LLMs) like ChatGPT possess minds, focusing specifically on whether they have a genuine folk psychology encompassing beliefs, desires, and intentions. We approach this question by investigating two key aspects: internal representations and dispositions to act. First, we survey various philosophical theories of representation, including informational, causal, structural, and teleosemantic accounts, arguing that LLMs satisfy key conditions proposed by each. We draw on recent interpretability research in machine learning to support these (...) claims. Second, we explore whether LLMs exhibit robust dispositions to perform actions, a necessary component of folk psychology. We consider two prominent philosophical traditions, interpretationism and representationalism, to assess LLM action dispositions. While we find evidence suggesting LLMs may satisfy some criteria for having a mind, particularly in game-theoretic environments, we conclude that the data remains inconclusive. Additionally, we reply to several skeptical challenges to LLM folk psychology, including issues of sensory grounding, the "stochastic parrots" argument, and concerns about memorization. Our paper has three main upshots. First, LLMs do have robust internal representations. Second, there is an open question to answer about whether LLMs have robust action dispositions. Third, existing skeptical challenges to LLM representation do not survive philosophical scrutiny. (shrink)

Philosophers have long been interested in a series of interrelated questions about natural kinds. What are they? What role do they play in science and metaphysics? How do they contribute to our epistemic projects? What categories count as natural kinds? And so on. Owing, perhaps, to different starting points and emphases, we now have at hand a variety of conceptions of natural kinds—some apparently better suited than others to accommodate a particular sort of inquiry. Even if coherent, this situation isn’t (...) ideal. My goal in this article is to begin to articulate a more general account of ‘natural kind phenomena’. While I do not claim that this account should satisfy everyone—it is built around a certain conception of the epistemic role of kinds and has an obvious pragmatic flavour—I believe that it has the resources to go further than extant alternatives, in particular the homeostatic property cluster view of kinds. (shrink)

As we build increasingly intelligent machines, we confront difficult questions about how to specify their objectives. One approach, which we call human-centered, tasks the machine with the objective of learning and satisfying human objectives by observing our behavior. This paper considers how human-centered AI should conceive the humans it is trying to help. We argue that an Aristotelian model of human agency has certain advantages over the currently dominant theory drawn from economics.

Is the relation ‘is a morally permissible alternative to’ transitive? The answer seems to be a straightforward yes. If Act B is a morally permissible alternative to Act A and Act C is a morally permissible alternative to B then how could C fail to be a morally permissible alternative to A? However, as both Dale Dorsey and Frances Kamm point out, there are cases where this transitivity appears problematic. My aim in this paper is to provide a solution to (...) this problem. I will then investigate Kamm’s justification for rejecting the transitivity of the ‘is a permissible alternative to’ relation. Next, I will look at Dorsey’s solution, which involves a reinterpretation of the intuitions used to generate the problem. I will argue that neither of these solutions are fully satisfying before going on to provide my own solution to the problem and arguing that it avoids these problems. (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)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Tim Maudlin has influentially argued that Humeanism about laws of nature stands in conflict with quantum mechanics. Specifically Humeanism implies the principle Separability: the complete physical state of a world is determined by the intrinsic physical state of each space-time point. Maudlin argues Separability is violated by the entangled states posited by QM. We argue that Maudlin only establishes that a stronger principle, which we call Strong Separability, is in tension with QM. Separability is not in tension with QM. Moreover, (...) while the Humean requires Separability to capture the core tenets of her view, there's no Humean-specific motivation for accepting Strong Separability. We go on to give a Humean account of entangled states which satisfies Separability. The core idea is that certain quantum states depend upon the Humean mosaic in much the same way as the laws do. In fact, we offer a variant of the Best System account on which the systemization procedure that generates the laws also serves to ground these states. We show how this account works by applying it to the example of Bohmian Mechanics. The 3N-dimensional configuration space, the world particle in it and the wave function on it are part of the best system of the Humean mosaic, which consists of N particles moving in 3-dimensional space. We argue that this account is superior to the Humean account of Bohmian Mechanics defended by Loewer and Albert, which takes the 3N-dimensional space, and its inhabitants, as fundamental. (shrink)

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...) second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation. (shrink)

Background Several jurisdictions, including Singapore, Australia, New Zealand and most recently Ireland, have a public interest or public good criterion for granting waivers of consent in biomedical research using secondary health data or tissue. However, the concept of the public interest is not well defined in this context, which creates difficulties for institutions, institutional review boards and regulators trying to implement the criterion. Main text This paper clarifies how the public interest criterion can be defensibly deployed. We first explain the (...) ethical basis for requiring waivers to only be granted to studies meeting the public interest criterion, then explore how further criteria may be set to determine the extent to which a given study can legitimately claim to be in the public interest. We propose an approach that does not attempt to measure magnitude of benefit directly, but rather takes into account metrics that are more straightforward to apply. To ensure consistent and justifiable interpretation, research institutions and IRBs should also incorporate procedural features such as transparency and public engagement in determining which studies satisfy the public interest requirement. Conclusion The requirement of public interest for consent waivers in secondary biomedical research should be guided by well-defined criteria for systematic evaluation. Such a criteria and its application need to be periodically subject to intra-committee and intra-institution review, reflection, deliberation and amendment. (shrink)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person knows a (...) proposition when their evidence rules out all relevant error possibilities. I adapt this framework to model three legal standards of proof—the preponderance of evidence, clear and convincing evidence, and beyond reasonable doubt standards. I describe virtues of this framework. I argue that, by eschewing numerical thresholds, the relevant alternatives framework avoids problems inherent to rival models. I conclude by articulating aspects of legal normativity and practice illuminated by the relevant alternatives framework. (shrink)

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

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

Background: The castor bean is a large grassy or semi-wooden shrub or small tree. Any part of the castor plant parts can suffering from a disease that weakens the ability to grow and eliminates its production. Therefore, in this paper will identify the pests and diseases present in castor culture and detect the symptoms in each disease. Also images is showing the symptom form in this disease. Objectives: The main objective of this expert system is to obtain appropriate diagnosis of (...) the disease. Methods: In this paper, the expert system is designed for the ability of agricultural engineers to detect and diagnose disease of castor like as: seeding blight, alternaria blight, cercospora leaf spot, powdery mildew and wilt. This system presents the disease symptoms, survival and spread, favorable conditions and image for each disease. Clips and Delphi expert system languages are used for designing and implementing the proposed expert system. Results: The expert system in the diagnosis of castor diseases was assessed by farmers and agricultural engineers and they were satisfied and accepted with its quality of performance. Conclusions: The expert system is easy for farmers and people have experience in the plant of castor to detect and diagnosis the symptoms that may face this plant from several disease. (shrink)

Population axiology is the study of the conditions under which one state of affairs is better than another, when the states of affairs in ques- tion may differ over the numbers and the identities of the persons who ever live. Extant theories include totalism, averagism, variable value theories, critical level theories, and “person-affecting” theories. Each of these the- ories is open to objections that are at least prima facie serious. A series of impossibility theorems shows that this is no coincidence: (...) it can be proved, for various sets of prima facie intuitively compelling desiderata, that no axiology can simultaneously satisfy all the desiderata on the list. One’s choice of population axiology appears to be a choice of which intuition one is least unwilling to give up. (shrink)