In an age of pervasive digitization, students' limited familiarity with the vast realm of information poses a significant challenge. This study investigates the hurdles faced by university students in terms of internet access and information retrieval. Objectives encompass understanding the impact of internet access challenges on academic performance, exploring factors influencing students' lack of interest in enhancing internet skills, and identifying barriers to effective internet utilization. Methodologically, a survey approach is adopted, involving 160 purposively selected students as respondents. A structured (...) questionnaire is used for data collection, distributed through Google Forms, resulting in a comprehensive 100% response rate. The study's theoretical foundation rests on the Use and Gratification Theory and Digital Divide Theory, highlighting digital literacy's importance in education. Key findings support alternative hypotheses, revealing the influence of internet connectivity challenges on academic performance, citing factors like cost, inertia, intent, and digital literacy. In conclusion, the study underscores students' reliance on smartphones for internet access, proposing specialized instruction, self-driven skill enhancement, and collaborative efforts to enhance internet accessibility and affordability. Recommendations emphasize specialized instruction, self-driven skill improvement, and collaborative efforts to enhance affordable internet access. Ultimately, tackling these challenges empowers students to navigate the digital landscape and leverage its potential effectively. (shrink)

In this study, press freedom in Nigeria is investigated, together with its recent developments and historical background. It looks at the state of press freedom, highlighting obstacles, worldwide forces that contribute to its restriction and the benefits it provides. Despite legislative restrictions, government control over Nigeria's media has persisted since the Newspaper Ordinance of 1903. The study places press freedom within several theoretical frameworks, such as authoritarian, libertarian, and democratic participant theories, using McQuail's theories of mass communication. Using Google Forms (...) and the River sampling method, the study obtained data from 60 Nigerian journalists with a 100% response rate. The study underscores the critical function of press freedom in democratic nations, calls for its protection, and emphasizes its ability to influence open government, the defense of human rights, and socioeconomic progress. (shrink)

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

This paper concerns the grounds of nonground: what it is in virtue of that facts of the form [F1 does not ground F2] hold. While the literature on iterated ground is expansive, there is comparatively little written on the grounds of nonground. I argue that nonground is grounded in distinctness from ground. If F1 does not ground F2, then [F1 does not ground F2] is grounded in the fact that F1 is distinct from that which does ground F2. While this (...) proposal strikes me as natural, it faces puzzles involving conjunction, contingency, and cardinality. The bulk of this paper explores how the view might be precisified, and how these puzzles might be resolved. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

We construct a machine that knows its own code, at the price of not knowing its own factivity.

The thesis of theory-ladenness of observations, in its various guises, is widely considered as either ill-conceived or harmless to the rationality of science. The latter view rests partly on the work of the proponents of New Experimentalism who have argued, among other things, that experimental practices are efficient in guarding against any epistemological threat posed by theory-ladenness. In this paper I show that one can generate a thesis of theory-ladenness for experimental practices from an influential New Experimentalist account. The notion (...) I introduce for this purpose is the concept of ‘theory-driven data reliability judgments’, according to which theories which are sought to be tested with a particular set of data guide reliability judgments about those very same data. I provide various prominent historical examples to show that TDRs are used by scientists to resolve data conflicts. I argue that the rationality of the practices which employ TDRs can be saved if the independent support of the theories driving TDRs is construed in a particular way. (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)

Philosophical work in the ethics of thought focuses heavily on the ethics of belief, with, in recent years, a particular emphasis on the ways in which we might wrong other people either through our beliefs about them, or our failure to believe what they tell us. Yet in our own lives we often want not merely to be believed, but rather to be understood by others. What does it take to understand another person? In this paper, I provide an account (...) of interpersonal understanding that speaks to this widespread human desire to be understood by others. On the view I defend, to be understood by another person is for them to see our motivating reasons as justifying reasons, whether or not they actually take our reasons to have that normative force. I then provide an explanation of why such understanding is valuable in our lives, which emphasizes how being understood by another person is a way of being more fully with them. (shrink)

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (shrink)

In Nicholas Smyth’s recent article, “When Does Self-Interest Distort Moral Belief,” he argues that self-interest undermines justification for moral belief if it justifies itself. In so doing, he opposes the standard account, which says that, to the extent that a person’s moral belief is explained by her egoistic or parochial interests, that belief is less justified. However, Smyth’s attack on the standard account, and the principle that he proposes to replace it with, do not withstand critical scrutiny, and that is (...) what this article is intended to show. To that end, the article is divided into three sections. In the first, I explain the standard account and provide some background. In the second, I critically examine Smyth’s three arguments against the standard account. In the third, I explain and attack Smyth’s own principle. I conclude that Smyth’s principle should not be accepted, and the standard account should not be rejected, at least on the basis of Smyth’s arguments: self-interest undermines justification in general, as per the standard account, not only when it justifies itself. (shrink)

In this paper, I examine the connections between bipolar disorder and consent. I defend the view that many (although far from all) individuals with bipolar disorder are competent to consent to a wide variety of things when they are in a manic state.

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

Some normative theories are self-defeating. They tell us to respond to our situations in ways that bring about outcomes that are bad, given the aims of the theories, and which could have been avoided. Across a wide range of debates in ethics, decision theory, political philosophy, and formal epistemology, many philosophers treat the fact that a normative theory is self-defeating as sufficient grounds for rejecting it. I argue that this widespread and consequential assumption is false. In particular, I argue that (...) a theory can be self-defeating and still internally consistent, action-guiding, and suitable as a standard for criticism. (shrink)

In this paper I trace the arc of Kant’s critical stance on the belief in God, beginning with the Critique of Pure Reason (1781) and culminating in the final chapter of the Metaphysics of Morals (1797). I argue that toward the end of his life, Kant changed his views on two important topics. First, despite his stinging criticism of it in the Critique of Pure Reason, by the time of the Metaphysics of Morals, Kant seems to endorse the physico-theological argument. (...) Second, some time around the publication of the Metaphysics of Morals, Kant seems to move away from the argument for the practical postulates. (shrink)

Much attention has been paid to moral understanding as an individual achievement, when a single agent gains insight into distinctly moral matters. Crucially overlooked, I argue, is the phenomenon of shared moral understanding, when you and I understand moral matters together, in a way that can’t be reduced to each of us having moral understanding on our own. My argument pays close attention to two central moral practices: justifying our actions to others, and apologizing for wrongdoing. I argue that, whenever (...) I owe you a justification or an apology, I thereby owe it to you to aim at our coming to a shared moral understanding. My argument has two upshots. The first is a novel explanation of the importance of moral understanding in our lives, one that emphasizes the importance of understanding moral reasons together. The second is a better understanding of the very obligations involved in two of our most central interpersonal moral practices. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

Suppose that a patient is receiving treatment options from her doctor. In one case, the doctor says, “the surgery has a 90% survival rate.” Now, suppose the doctor instead said, “the procedure has a 10% mortality rate.” Predictably, the patient is more likely to consent on the first description and more likely to dissent on the second. This is an example of a framing effect. A framing effect occurs when “the description of [logically-equivalent] options in terms of gains (positive frame) (...) rather than losses (negative frame) elicits systematically different choices.” Framing effects are ubiquitous, but they are particularly troublesome in medicine. Many worry that there is tension between valuing informed consent and using framing effects in clinical settings. In this paper, I answer this question: if an individual is subject to a framing effect when she gives her consent, does this undermine the validity of her consent? I argue that framing effects do not undermine consent in general. (shrink)

In this article I argue that a methodological challenge to an integrated history and philosophy of science approach put forth by Ronald Giere almost forty years ago can be met by what I call the Kuhnian mode of History and Philosophy of Science (HPS). Although in the Kuhnian mode of HPS norms about science are motivated by historical facts about scientific practice, the justifiers of the constructed norms are not historical facts. The Kuhnian mode of HPS therefore evades the naturalistic (...) fallacy which Giere’s challenge is a version of. Against the backdrop of a discussion of Laudan’s normative naturalism I argue that the Kuhnian mode of HPS is a superior form of naturalism: it establishes contact to the practice of science without making itself dependent on its contingencies. (shrink)

Are we ever morally permitted to do what is morally wrong? It seems intuitive that we are, but evidence for dissociations among judgment of permissibility and wrongness are relatively scarce. Across 4 experiments (N = 1,438), we show that people judge that some behaviors can be morally wrong and permissible. The dissociations arise because these judgments track different morally relevant aspects of everyday moral encounters. Judgments of individual rights predicted permissibility but not wrongness, while character assessment predicted wrongness but not (...) permissibility. These findings suggest a picture in which moral evaluation is granular enough to express reasoning about different types of normative considerations, notably the possibility that people can exercise their rights in morally problematic ways. (shrink)

Because moral understanding involves a distinctly first-personal grasp of moral matters, there is a temptation to think of its value primarily in terms of achievements that reflect well on its possessor: the moral worth of one's action or the virtue of one's character. These explanations, I argue, do not do full justice to the importance of moral understanding in our moral lives. Of equal importance is the value of moral understanding in our relations with other moral agents. In particular, I (...) argue that an understanding of moral matters is of central importance within relations of solidarity. In addition to highlighting an overlooked aspect of moral understanding's value, this view also has important implications for what solidarity requires of those who stand in that relationship. (shrink)

Mind wandering is a pervasive feature of subjective experience. But why does the mind tend to wriggle about rather than always staying focused? To answer this question, this paper defends the claim that mind wandering consists in task-unrelated thought. Despite being the standard view of mind wandering in cognitive psychology, there has been no systematic elaboration or defense of the task-unrelated thought view of mind wandering. Here, I argue for the task-unrelated thought view by showing how mind wandering reflects a (...) distinctive form of non-vigilant thinking. When the relationship between mind wandering and vigilance is clarified, several objections to the task-unrelated thought view can be defused. Not only does this provide a novel defense of the task-unrelated thought view of mind wandering, but it also presents an account of mind wandering that is compatible with a naturalistic account of subjectivity. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Kant’s Formula of Humanity can be analyzed into two parts. One is an injunction to treat humanity always as an end. The other is a prohibition on using humanity as a mere means. The second is often referred to as the FH prohibition or the mere means prohibition. It has become popular to interpret this prohibition in terms of consent. The idea is that, if X uses Y's humanity as a means and Y does not consent to it, then X (...) uses Y's humanity as a mere means. There is then debate about the kind of consent that is relevant: possible, actual, or rational. In this paper, I argue against this interpretation. Section one sets up the consent account. Section two attacks possible and actual consent accounts on doctrinal grounds. Section three extends this doctrinal attack to rational consent accounts. Section four circles back to the original motivation for the consent interpretation. I argue that the consent account rests on a misinterpretation, and I conclude with a quick sketch of an alternative interpretation of the FH prohibition. (shrink)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

This article challenges the association between realist methodology and ideals of legitimacy. Many who seek a more “realistic” or “political” approach to political theory replace the familiar orientation towards a state of justice with a structurally similar orientation towards a state of legitimacy. As a result, they fail to provide more reliable practical guidance, and wrongly displace radical demands. Rather than orienting action towards any state of affairs, I suggest that a more practically useful approach to political theory would directly (...) address judgments, by comparing the concrete possibilities for action faced by real political actors. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

In the recent literatures in which moral understanding has played a starring role, it is assumed that moral understanding is a species of explanatory understanding. That is, it is assumed that instances of moral understanding are of the form ‘S understands why p,’ where p is some explicitly moral proposition, paradigmatically about an action being morally right or wrong. This paper highlights some shortcomings of this explanatory picture of moral understanding and articulates a different, complementary account on which the object (...) of moral understanding is the relation of normative support between a proposition and an action. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

My goal in this paper is to show that two theses that are widely adopted among Kantian ethicists are irreconcilable. The paper is divided into four sections. In the first, I briefly sketch the contours of my own positive view of Kantian ethics, concentrating on the issues relevant to the two theses to be discussed: I argue that agents can perform actions from but not in conformity with duty, and I argue that agents intentionally can perform actions they take to (...) be contrary to duty. In the second, I focus on Barbara Herman’s non-accidental rightness condition from “On the Value of Acting from Duty.” In the third, I focus on Christine Korsgaard’s guise of the objectively good from “Formula of Humanity.” In the fourth, I explain why the positions developed by Herman and Korsgaard are irreconcilable and I make a suggestion about how to move forward. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant role in metaphysical theorizing—but its logical foundations are underdeveloped. I argue that recent advances in higher-order logic reveal a subtle ambiguity regarding Purity’s interpretation; there are stronger and weaker versions of that principle. The arguments for Purity only support the weaker interpretation, but arguments that employ it only succeed if the stronger interpretation is true. As a result, nearly every metaphysician who (...) has appealed to Purity has made a mistake—in that the inferences that they make are not justified by the arguments that they provide. (shrink)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (shrink)

In collective action problems, large numbers of contributions together produce a good outcome, but any one contribution often makes no difference. Many philosophers think that act consequentialism implies that individuals should not contribute in these cases, given that their contributions cannot be expected to affect the outcome. Nearly everyone has assumed that the relevant expected effects of an action are those effects that are counterfactually dependent on what a given agent does. This assumption is at the heart of causal decision (...) theory. In contrast, evidential decision theory evaluates actions on the basis of whatever can be expected to happen, given that the agent performs some action, where this includes events that are simply correlated with the action. I show that causal and evidentialist versions of act consequentialism can diverge in collective action problems. Evidential decision theory can require us to do our part even when causal decision theory does not. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

According to Aristotle, the medical art aims at health, which is a virtue of the body, and does so in an unlimited way. Consequently, medicine does not determine the extent to which health should be pursued, and “mental health” falls under medicine only via pros hen predication. Because medicine is inherently oriented to its end, it produces health in accordance with its nature and disease contrary to its nature—even when disease is good for the patient. Aristotle’s politician understands that this (...) inherent orientation can be systematically distorted, and so would see the need for something like the Hippocratic Oath. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

Mind wandering is typically operationalized as task-unrelated thought. Some argue for the need to distinguish between unintentional and intentional mind wandering, where an agent voluntarily shifts attention from task-related to task-unrelated thoughts. We reveal an inconsistency between the standard, task-unrelated thought definition of mind wandering and the occurrence of intentional mind wandering (together with plausible assumptions about tasks and intentions). This suggests that either the standard definition of mind wandering should be rejected or that intentional mind wandering is an incoherent (...) category. Solving this puzzle is critical for advancing theoretical frameworks of mind wandering. (shrink)

I argue that metaethicists should be concerned with two kinds of alienation that can result from theories of normativity: alienation between an agent and her reasons, and alienation between an agent and the concrete others with whom morality is principally concerned. A theory that cannot avoid alienation risks failing to make sense of central features of our experience of being agents, in whose lives normativity plays an important role. The twin threats of alienation establish two desiderata for theories of normativity; (...) however, I argue that they are difficult to jointly satisfy. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

In this paper I argue that there would be no obligatory maxims if the only standards for assessing maxims were Kant’s universalizability tests. The paper is divided into five sections. In the first, I clarify my thesis: I define my terms and disambiguate my thesis from other related theses for which one might argue. In the second, I confront the view that says that if a maxim passes the universalizability tests, then there is a positive duty to adopt that maxim; (...) I also confront a close relative of this view. In the third, I confront the view that says that if a maxim does not pass the universalizability tests, then there is a positive duty to adopt the contradictory of that maxim. In the fourth, I confront two variations of the view that says that if a maxim does not pass the universalizability tests and an agent is deliberating about the action in the maxim, then the agent has a positive duty to adopt the contrary of that maxim. In the fifth, I confront the view that says that if an agent has adopted a maxim of ends, then the agent has a positive duty to universalize that end. I then wrap up the paper with some concluding remarks. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)