Computability theory is the mathematical theory of algorithms, which explores the power and limitations of computation. Classical computability theory formalized the intuitive notion of an algorithm and provided a theoretical basis for digital computers. It also demonstrated the limitations of algorithms and showed that most sets of natural numbers and the problems they encode are not decidable (Turing computable). Important results of modern computability theory include the classification of the computational difficulty of sets and problems. Arithmetical and hyperarithmetical hierarchies and (...) the Turing degrees provide important measures of the level of such difficulty. There are uncountably many Turing degrees and they are partially ordered. These classifications are used in contemporary research to investigate the complexity of problems in modern computable mathematics, for example, regarding structures and their properties. (shrink)

A cohesive power of a structure is an effective analog of the classical ultrapower of a structure. We start with a computable structure, and consider its effective power over a cohesive set of natural numbers. A cohesive set is an infinite set of natural numbers that is indecomposable with respect to computably enumerable sets. It plays the role of an ultrafilter, and the elements of a cohesive power are the equivalence classes of certain partial computable functions determined by the cohesive (...) set. Thus, unlike many classical ultrapowers, a cohesive power is a countable structure. In this paper we focus on cohesive powers of graphs, equivalence structures, and computable structures with a single unary function satisfying various properties, which can also be viewed as directed graphs. For these computable structures, we investigate the isomorphism types of their cohesive powers, as well as the properties of cohesive powers when they are not isomorphic to the original structure. (shrink)

Our concern in this paper lies with a common argument from racial discrimination to realism about races: some people are discriminated against for being members of a particular race (i.e., racial discrimination exists), so some people must be members of that race (i.e., races exist). Error theorists have long responded that we can explain racial discrimination in terms of racial attitudes alone, so we need not explain it in terms of race itself. But to date there has been little detailed (...) discussion of whether it is better to explain racial discrimination in terms of race or in terms of racial attitudes alone. Our goal is to offer a novel and detailed argument in defense of explaining racial discrimination in terms of racial attitudes alone, by attending to the neglected phenomenon of misperception discrimination, which involves differential treatment due to misperceived race. We argue that the discriminatory action in misperception cases must be explained in the same way as cases where (according to the realist) the victim’s race is accurately perceived. Thus, the victim’s actual race cannot provide the best explanation. The main upshot of our argument is that explanatory arguments from racial discrimination to realism about race fail. (shrink)

Verse work on quintessence of Dvaita Vedanta and philosophy of Vishnu faith.

In this essay, I develop an account of belief as commitment to the truth of a proposition. On my account, to believe p is to represent p as true by way of committing to the truth of p. To commit to the truth of p, in the sense I am interested in, is to exercise the normative power to subject one’s representation of p as true to the normative standard of truth. As I argue, my account of belief as commitment (...) of the truth explains a variety of features of belief that separate it from attitudes like acceptance, supposition, and imagination. Most importantly, it explains the distinctive connection between belief and evidence. Moreover, my account helps solve three further puzzles about belief, regarding doxastic voluntarism, the aim of belief, and Moore’s paradox. (shrink)

In this paper, I defend an account of the reasons for which we act, believe, and so on for any Ф such that there can be reasons for which we Ф. Such reasons are standardly called motivating reasons. I argue that three dominant views of motivating reasons (psychologism, factualism and disjunctivism) all fail to capture the ordinary concept of a motivating reason. I show this by drawing out three constraints on what motivating reasons must be, and demonstrating how each view (...) fails to satisfy at least one of these constraints. I then propose and defend my own account of motivating reasons, which I call the Guise of Normative Reasons Account. On the account I defend, motivating reasons are propositions. A proposition is the reason for which someone Ф‐s when (a) she represents that proposition as a normative reason to Ф, and (b) her representation explains, in the right way, her Ф‐ing. As I argue, the Guise of Normative Reasons Account satisfies all three constraints on what motivating reasons must be, and weathers several objections that might be leveled against propositionalist views. (shrink)

Susanna Rinard has recently offered a new argument for pragmatism and against evidentialism. According to Rinard, evidentialists must hold that the rationality of belief is determined in a way that is different from how the rationality of other states is determined. She argues that we should instead endorse a view she calls Equal Treatment, according to which the rationality of all states is determined in the same way. In this paper, I show that Rinard’s claims are mistaken, and that evidentialism (...) is more theoretically virtuous than its opponents sometimes give it credit for. Not only does evidentialism not make an exception for belief, but it fits naturally into a unified, explanatorily powerful account of the rationality of intentional mental states. According to such an account, the rationality of all intentional mental states, including belief, is determined by the right kind of reasons for those states. Since the right kind of reasons for belief just are evidential considerations, this unified account entails evidentialism. I conclude, contra Rinard, that evidentialism can be situated within a general account of rationality that is at least as theoretically virtuous as pragmatism, if not more so. (shrink)

This paper defends an account of moral worth. Moral worth is a status that some, but not all, morally right actions have. Unlike with merely right actions, when an agent performs a morally worthy action, she is necessarily creditworthy for doing the right thing. First, I argue that two dominant views of moral worth have been unable to fully capture this necessary connection. On one view, an action is morally worthy if and only if its agent is motivated by the (...) features of the action that make it right. On the other, an action is morally worthy if and only if its agent is motivated by the action’s rightness itself. Neither of these views captures the connection between moral worth and creditworthiness, because each view leaves room for cases of accidentally doing the right thing. Next, I develop a new account, which I call the Guise of Moral Reasons Account. On my account, morally worthy actions are right actions that are motivated by moral reasons as such. This account rules out cases of accidentally doing the right thing, thus capturing the necessary connection between moral worth and creditworthiness for doing the right thing. (shrink)

This chapter discusses some of Anscombe’s contributions to the philosophy of practical reason. It focuses particularly on Anscombe’s view of what it is to act for reasons. I begin by discussing the relationship between acting intentionally and acting for reasons in Anscombe's theory of action. I then further explicate her view by discussing her rejection of two related views about acting for reasons: causalism (the view that reasons are a kind of cause of actions) and psychologism (the view that reasons (...) are mental states like desires and beliefs). In the process, I try to show that Anscombe’s rejection of these theses does not leave us with mystery, but rather sheds light on an interesting and serious heterodox view of acting for reasons. I conclude by suggesting that though Anscombe's views have been taken sufficiently seriously by philosophers of action, they should be taken more seriously by philosophers of practical reason. (shrink)

Metaethical constitutivists seek to ground normativity in facts about what is constitutive of agency. One strand of constitutivism locates the foundations of normativity in constitutive aims, which are standardly conceived of in teleological terms. I present three challenges that show that the teleological conception of constitutive aims is inadequate for the constitutivist project. I then sketch an alternative conception of constitutive aims in the form of a commitment-based conception. On the commitment-based conception, actions and attitudes constitutively represent their objects as (...) having certain properties, and their constitutive aims are fixed by the accuracy-conditions of these representations. Because such representations constitutively involve a commitment on the part of the agent to the object’s having the relevant property, they generate authoritative norms for the agent. I conclude that, unlike the teleological conception, the commitment-based conception promises to yield a unified constitutivism that delivers authoritative normative standards for both actions and attitudes. (shrink)

In recent years, there has been increasing interest in analytic philosophy that engages with non-Western philosophical traditions, including South Asian religions such as Hinduism, Buddhism, and Jainism. However, thus far, there has been no engagement with Sikhism, despite its status as a major world religion with a rich philosophical tradition. This paper is an attempt to get a start at analytic philosophical engagement with Sikh philosophy. My focus is on Sikh ethics, and in particular on the theory of vice and (...) virtue that can be gleaned from Sikh scripture. According to this theory, the five major vices have a unified source in the vice of haumai. Haumai is a kind of false conception of oneself as singularly important, and correspondingly, a false conception of the world as revolving around oneself, as a world of objects there for one’s use. Vice, then, comes down to the failure to recognize the importance of others. The corresponding picture of virtue is that virtue consists in a recognition of the importance of others, through the recognition of an ultimate reality on which all are One. After reconstructing the Sikh theory of vice and virtue, I conclude with some comparative remarks on Sikh and Western ethics. (shrink)

What ought one to do, epistemically speaking, when faced with a disagreement? Faced with this question, one naturally hopes for an answer that is principled, general, and intuitively satisfying. We want to argue that this is a vain hope. Our claim is that a satisfying answer will prove elusive because of non-transparency: that there is no condition such that we are always in a position to know whether it obtains. When we take seriously that there is nothing, including our own (...) minds, to which we have assured access, the familiar project of formulating epistemic norms is destabilized. In this paper, we will show how this plays out in the special case of disagreement. But we believe that a larger lesson can ultimately be extracted from our discussion: namely, that non-transparency threatens our hope for fully satisfying epistemic norms in general. (shrink)

This paper explains how the practice of ‘no platforming’ can be reconciled with a liberal politics. While opponents say that no platforming flouts ideals of open public discourse, and defenders see it as a justifiable harm-prevention measure, both sides mistakenly treat the debate like a run-of-the-mill free speech conflict, rather than an issue of academic freedom specifically. Content-based restrictions on speech in universities are ubiquitous. And this is no affront to a liberal conception of academic freedom, whose purpose isn’t just (...) to protect the speech of academics, but also to give them the prerogative to determine which views and speakers have sufficient disciplinary credentials to receive a hearing in academic contexts. No platforming should therefore be acceptable to liberals, in principle, in cases where it is used to support a university culture that maintains rigorous disciplinary standards, by denying attention and credibility to speakers without appropriate disciplinary credentials. (shrink)

This article presents a novel challenge to epistemic internalism. The challenge rests on a set of cases which feature subjects forming beliefs under conditions of “bad ideology”—that is, conditions in which pervasively false beliefs have the function of sustaining, and are sustained by, systems of social oppression. In such cases, the article suggests, the externalistic view that justification is in part a matter of worldly relations, rather than the internalistic view that justification is solely a matter of how things stand (...) from the agent’s individual perspective, becomes the more intuitively attractive theory. But these “bad ideology” cases do not merely yield intuitive verdicts that favor externalism over internalism. These cases are, moreover, analogous to precisely those canonical cases widely taken to be counterexamples to externalism: cases featuring brains-in-vats, clairvoyants, and dogmatists. That is, such “bad ideology” cases are, in all relevant respects, just like cases that are thought to count against externalism—except that they intuitively favor externalism. This, the author argues, is a serious worry for internalism. What is more, it bears on the debate over whether externalism is a genuinely “normative” epistemology. (shrink)

In this commentary, I raise a few questions about Schmidt’s argument against (R-E): whether facts about incoherence are directly reasons for suspension on particular propositions, as opposed to reasons against sets of attitudes; whether (R-E) should really be formulated in terms of a broad category of “doxastic attitudes” that includes transitional attitudes like suspension; and whether incoherence-based reasons really must fit into the category of “epistemic reasons,” as opposed to be a more general category of right-kind reasons. Though my questions (...) reflect some skepticism about the specifics of Schmidt’s argument, I conclude that it succeeds in what I take to be its broader aim. (shrink)

We suffer from genealogical anxiety when we worry that the contingent origins of our representations, once revealed, will somehow undermine or cast doubt on those representations. Is such anxiety ever rational? Many have apparently thought so, from pre-Socratic critics of Greek theology to contemporary evolutionary debunkers of morality. One strategy for vindicating critical genealogies is to see them as undermining the epistemic standing of our representations—the justification of our beliefs, the aptness of our concepts, and so on. I argue that (...) this strategy is not as promising as it might first seem. Instead, I suggest that critical genealogies can wield a sort of meta-epistemic power; in so far as we wish to resist the genealogical critic, we are under pressure to see ourselves as the beneficiaries of a certain kind of good luck: what I call genealogical luck. But there is also a resolutely non-epistemic way of understanding the power of critical genealogies, one that is essential, I argue, for understanding the genealogical projects of various theorists, including Nietzsche and Catharine MacKinnon. For critical genealogies can reveal what it is that our representations do—and what we, in turn, might do with them. (shrink)

ABSTRACT In his ‘Rationality versus Normativity’, John Broome argues against the view that rationality is reducible to normativity. Broome’s argument rests on the claim that while rationality supervenes on the mind, normativity does not. In this commentary, I argue that Broome's arguments succeed only against views on which reasons and normativity are univocal. Once we admit of multiple kinds of normative reasons, some fact-given and others non-factive, a version of the reasons-responsiveness view emerges that is untouched by Broome's arguments. On (...) such a view, rationality supervenes on non-factive reasons, not on fact-given ones, so rationality supervenes on a kind of normativity that supervenes on the mind. This shows that Broome has not refuted reasons-responsiveness views wholesale. Moreover, because Broome’s arguments do refute univocal versions of reasons-responsiveness views, they provide a justification for preferring non-univocal versions of reasons-responsiveness views to univocal ones. (shrink)

Mindfulness can be understood as the mental ability to focus on the direct and immediate perception or monitoring of the present moment with a state of open and nonjudgmental awareness. Descriptions of mindfulness and methods for cultivating it originated in eastern spiritual traditions. These suggest that mindfulness can be developed through meditation practice to increase positive qualities such as awareness, insight, wisdom, and compassion. In this article we focus on the relationships between mindfulness, with associated meditation practices, and the cognitive (...) neuroscience of attention and awareness. Mindful awareness is related to distributed attention, phenomenal consciousness, and momentary self-awareness, as characterized by recent findings in cognitive psychology and neuroscience as well as in influential consciousness models. Finally, we outline an integrated neurocognitive model of mindfulness, attention, and awareness, with a key role of prefrontal cortex. (shrink)

Since its appearance over a decade ago, Timothy Williamson's anti-luminosity argument has come under sustained attack. Defenders of the luminous overwhelmingly object to the argument's use of a certain margin-for-error premise. Williamson himself claims that the premise follows easily from a safety condition on knowledge together with his description of the thought experiment. But luminists argue that this is not so: the margin-for-error premise either requires an implausible interpretation of the safety requirement on knowledge, or it requires other equally implausible (...) assumptions. In this paper I bolster the margin-for-error premise against these attacks by recasting Williamson's own two-part defence, the first part intended to work on the assumption that there is no constitutive connection between the phenomenal and the doxastic, and the second intended to work without this assumption. Pace various luminists, I argue that the appeals to safety needed for Williamson's two-part defence are plausible. I also argue that all that is needed to generate the margin-for-error premise from these safety conditions is an empirical assumption about the kinds of creatures we are: that is, creatures whose beliefs are structured by certain dispositions. By recasting the anti-luminosity argument in this way, we can understand what is really at stake in the debate about luminosity: that is, whether we are luminous. (shrink)

Metaphors and other tropes are commonly thought to reflect asymmetries in concreteness, with concrete sources being used to talk about relatively more abstract targets. Similarly, originating sense...

Current EEG research emphasizes gamma band coherence as a signature of functional integration, that is, the solution to the binding problem. We note that spatial patterns of coherent neural activity are also observed at other EEG frequencies. If these oscillations reflect Nunez's resonant modes, they offer a solution to the binding problem that emerges naturally from the architecture of cortical connections.

We examined proactive and reactive control effects in the context of task-relevant happy, sad, and angry facial expressions on a face-word Stroop task. Participants identified the emotion expressed by a face that contained a congruent or incongruent emotional word. Proactive control effects were measured in terms of the reduction in Stroop interference as a function of previous trial emotion and previous trial congruence. Reactive control effects were measured in terms of the reduction in Stroop interference as a function of current (...) trial emotion and previous trial congruence. Previous trial negative emotions exert greater influence on proactive control than the positive emotion. Sad faces in the previous trial resulted in greater reduction in the Stroop interference for happy faces in the current trial. However, current trial angry faces showed stronger adaptation effects compared to happy faces. Thus, both proactive and reactive control mechanisms are dependent on emotional valence of task-relevant stimuli. (shrink)

Text document classification and clustering is an important learning task which fits to both data mining and machine learning areas. The learning task throws several challenges when it is required to process high dimensional text documents. Word distribution in text documents plays a very key role in learning process. Research related to high dimensional text document classification and clustering is usually limited to application of traditional distance functions and most of the research contributions in the existing literature did not consider (...) the word distribution in documents. In this research, we propose a novel similarity function for feature pattern clustering and high dimensional text classification. The similarity function proposed is used to carry supervised learning based dimensionality reduction. The important feature of this work is that the word distribution before and after dimensionality reduction is the same. Experiment results prove the proposed approach achieves dimensionality reduction, retains the word distribution and obtained better classification accuracies compared to other measures. (shrink)

Integrated information theory of consciousness proposes an identity between its causal structure and phenomenology. Through this assertion, IIT aims to explain consciousness by prioritizing first-person experience. However, despite its phenomenology-first stance, developments in IIT have overlooked temporality. As such, we argue that at present IIT’s phenomenological analysis is incomplete. In this critique, we show how IIT takes a non-identical illusionist stance towards the experiences of continuity, flow, and extent of our experiences. Moreover, in isolating temporal grains of experience to a (...) single timescale, IIT misses out on capturing the multi-scale nested nature of temporal phenomena. Hence, we contend that IIT needs an axiom for time, through which its causal structure can be refined to account for temporal experiences. Here, we propose an axiom to address these concerns. We conclude by discussing how IIT may need to be revised if our concerns hold true. (shrink)