The doctrine of mens rea can be expressed in this way: MRP: If A is culpable for performing phi, then A performs phi intentionally in circumstances in which it is impermissible to perform phi. The Sermon on the Mount suggests the following principle: SMP: If A intends to perform phi in circumstances in which it would be impermissible for A to perform phi, then A’s intending to perform phi makes A as culpable as A would be were A to perform (...) phi. MRP and SMP are principles representative of intentionalism, a family of views that emphasizes the importance of intention to judgments about culpability. This essay examines an intentionalist’s defense of MRP with respect to lying, strict criminal liability, and the distinction between intention and foreseeability, along with a defense of SMP with respect to failed attempts, and self-defense. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

In the Critique of Judgment, Kant claims that genius is a talent for art, but not for science. Despite his restriction of genius to the domain of fine art, several recent interpreters have suggested that genius has a role to play in Kant’s account of cognition in general and scientific practice in particular. In this paper, I explore Kant’s reasons for excluding genius from science as well as the reasons that one might nevertheless be tempted to think that his account (...) allows room for the scientific genius. I then argue that Kant’s concerns are not only epistemic, but also moral, and together, they give us good reason for resisting the veneration of genius. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Are interpersonal comparisons of desire possible? Can we give an account of how facts about desires are grounded, that underpins such comparisons? This paper supposes the answer to the first question is yes, and provides an account of the nature of desire that explains how this is so. The account is a modification of the interpretationist metaphysics of representation that the author has recently been developing. The modification is to allow phenomenological affective valence into the “base facts” on which correct (...) interpretation is grounded. To use this extra resource within that theory to vindicate interpersonal comparisons, we will need to appeal rational connections between level of valence and level of desire, which this paper sets out and examines. (shrink)

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (shrink)

We develop and apply a multi-dimensional conception of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial condition fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

Albert and Cederman couch the neorealist perspective in terms of ‘systems’ theorizing, Ferguson and Mansbach rhetorically discuss issues and non-issues which are readily addressed within the neoliberal perspective, and of course, Onuf is unabashedly a constructivist. Below, I discuss each theoretical perspective relative to the articles assigned, and, thereafter conclude with some observations on the three articles and theoretical frameworks.

The persistent interpretation problem for quantum mechanics may indicate an unwillingness to consider unpalatable assumptions that could open the way toward progress. With this in mind, I focus on the work of David Bohm, whose earlier work has been more influential than that of his later. As I’ll discuss, I believe two assumptions play a strong role in explaining the disparity: 1) that theories in physics must be grounded in mathematical structure and 2) that consciousness must supervene on material processes. (...) I’ll argue that the first assumption appears to lead us toward Everett’s many worlds interpretation, which suggests a red flag. I’ll also argue that the second assumption is suspect due to the persistent explanatory gap for consciousness. Later, I explore ways that Bohm’s later work holds some promise in providing a better fit with our world, both phenomenologically and empirically. Also, I’ll address the possible problem of realism. (shrink)

Under the UDHR, all persons have the right to "seek and to enjoy . . . asylum from persecution." From this designation as fundamental followed codification of the right in the 1951 Convention relating to the Status of Refugees and the 1967 Protocol Relating (collectively 'the Convention'), the "centrepiece" of treaties and customary norms that make up international refugee law. It defines and regulates the status and rights of refugees; its purpose is to safeguard the basic rights of persons "outside (...) their country of origin," who have fled due to a legitimate fear of persecution. Fundamentally, it guarantees that asylees and refugees enjoy rights without discrimination; without penalization for illegal territorial entry; and, without expulsion or return to "territories where . . . life or freedom would be threatened on account of . . . race, religion, nationality, membership of a particular social group or political opinion," —or 'non-refoulement'. What follows is background on development of the principle of non-refoulement, evasive US Asylum Cooperative Agreements ('ACAs') and implementing legislation, and the resulting erosion to the right to asylum. (shrink)

For the purposes of this enquiry—an account of what Equiano’sa modernity was, and which particular historical ‘demarcations’ of modernity provided for an enslaved man to achieve freedom through great fortune and great cunning, I will assume a definition of ‘modernity’ as defined by Kathleen Wilson: “. . . not one moment or age, but a set of relations that are constantly being made and unmade, contested and reconfigured, that nonetheless produce among their contemporaneous witnesses the conviction of historical difference.” By (...) adopting this definition, modernity in the times of Equiano refers to, “the cultural practices and representations that produced certain kinds of subjects and objects of knowledge, upheld widely-shared notions of space and time, or facilitated the formation of cultural identities that resulted in pluralities and contradictions as well as unities and coherences,” which provided for a slave to acquire freedom amidst eighteenth-century imperialism, slave-trade, and emerging abolitionist sentiments within bourgeois culture. (shrink)

After nearly 76 years following the UN Charter, the dominant feature of the multilateral international order has shifted from a focus on states’ sovereignty to the rights of the individual. It is now widely accepted that human rights are not the province of any one state’s domestic affairs, but of importance to the entire international community. The UN Security Council sits atop the supra-state order, and holds the ultimate authority to initiate consensus-based, collective action so as to limit or prevent (...) gross human rights violations. Yet, many times the Security Council is slow to act, and consensus is exceedingly rare. This begs the question: in the face of gross human rights violations and Security Council inaction, is unilateral humanitarian intervention justified? The present state of international law on the matter is unsettled and controversial to many. What follows is a discussion on the development of international law relating to unilateral humanitarian intervention, the permissibility of intervention for gross human rights violations, and justification for intervention under existing international law. I conclude that under the present multilateral regime, unilateral humanitarian intervention is legally justified, despite fears that the principle may be invoked for the purposes of cloaking acts of aggression. (shrink)

For Rousseau, humankind is in a perpetual state of decay—decadency from an earlier, natural, primitive, and perfect state. For Rousseau, the natural man, or man in the state of beast, was of an era where humankind was unencumbered by that which is now entirely associated with society—that is, “. . . establishment of laws and of the right of property . . . the institution of magistracy . . . and the conversion of legitimate into arbitrary power.” For Kant, humankind (...) is in its natural state. For Kant, nature brings about conditions that continually develop and refine humankind’s dispositions, purposefully setting about societies in order to facilitate a foundation within all civilized society, whereby all of humankind’s goals may be achieved. All matters have their place—placed there by nature, as though with purpose. For Kant, nature intended for humankind to employ reason, to acquiesce to coercion for social cohesion, and to strive to build a society that is ever-increasingly progressing towards perfection. Nature uses humankind’s dispositions, including ‘antagonistic’ behavior to gradually bring about a, “perfectly just civil constitution.” Humankind’s highest goal yet to be achieved is for that just civil constitution to emerge from trial and error (in the form of wars, revolutions, secessions, abdications), over time, ultimately providing for development of other dispositions within a perfect society. (shrink)

Does it seem that with each reported state cyberattack, there comes an announcement of discovery, an attribution to one of a handful of usual suspects, some threatening language suggesting imminent retribution, and then nothing more? Increased incidence of cyberattack makes its occurrence seem simultaneously rampant in terms of publicity and minimal in terms of threat of war. If rampant, how can repeated deployment by the same actors carry no punitive consequences? How is such audaciousness tolerated? For some, a cyberattack by (...) a state is an act of war. Its prevalence suggests there must be a void somewhere that facilitates its use without consequence. Others think state cyberattack is like other internet novelties: digital malfeasance, amounting to a nuisance that naturally follows from a digital‐based existence, particularly since non‐state actors are typically involved. Yet, state‐on‐state hostilities are historically perilous on a vast scale, and there is a multilateral system for regulating the use of force in the context of war. Acts of war, even when seeming minimal in impact, are not by‐products of a digital fad, and cyberattack is now described as far more than ‘nuisance’. If anywhere, the place for clarity on hostile state cyberoperations use should be accounted for in International Humanitarian Law. Yet, in its present form, it is ambiguous if not silent on the subject, suggesting that cyberattack currently presents an advantage to perpetrating states. Does this void or these ambiguities make cyberattacks more legally advantageous to states than traditional, kinetic weaponry? I examine whether existing IHL is sufficiently adaptable to state cyberoperations through a mixed legal and theoretical approach and conclude that they do. (shrink)

Justiciability sets the boundaries of judicial review and the rule of law. A justiciable issue is that which is appropriate within a judicial forum. That is, where an "independent and impartial body" can remedy rights violations of identifiable claimants, the issue before it is justiciable. If it falls beyond what is judicially determinable, it is 'non-justiciable'. The principle is not fixed, as it does not permanently set the boundaries of that which is appropriate for judicial determination. Rather, it evolves "from (...) context to context," and expands and narrows along what falls within judicial competencies at a particular time. On an elementary level, it is distinct from jurisdiction, as it establishes boundaries of subject matter on policy or constitutional grounds, whereas jurisdiction is grounded in established legal rules. However, questions of jurisdiction can be subsumed under broader questions of justiciability. (shrink)

Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...) regard to any particular interests, but are instead unconditional; further, these formulae effectively limit choice of action and therefore give rise to duty. Kant implies that the structure of all maxims requires different formulae of the same moral law, i.e., all maxims have a ‘form’ and a ‘matter’, which prompt reconfiguring of the categorical imperative into different formulae in order to test the morality of a maxim. (shrink)

The local opposes the global or the macro opposes the micro and vice versa, respectively. This dialectical relationship further exposes that scales are socially and politically constructed, representative of a phenomena that is relational, and is thus of important consideration in analysis beyond simple labeling. That is, scale represents more than ‘size’ and ‘complexity’, but also reveals the relational. It is the relational—the relationship between the ‘global’ and its contents or the ‘local’—which provides for or is wont for analytic complexity (...) and theorizing. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

A phronetic approach takes into account everything possible. By this, the phronetic researcher ought to be better-informed of the practical—that which is readily available in order to solve localized political problems and to direct political participants to think in terms of value-rational understanding and action. Phronetic knowledge ought to be of utility to the citizenry—and not only to academia. It does not only explain phenomena, but also provides for altering the outcomes associated with political phenomena by integrating value judgments and (...) broader ethical precepts into the analysis. This is instrumental in producing knowledge that provides for practical application of problem solving that can be deemed good or better, and provides a means for ascertaining the bad or worse in a given political scenario. This paper examines how knowledge is produced by the phronetic approach, what knowledge can be known by the phronetic approach, and whether there are inherent limitations to the phronetic approach to understanding. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

Is evidential support transitive? The answer is negative when evidential support is understood as confirmation so that X evidentially supports Y if and only if p(Y | X) > p(Y). I call evidential support so understood “support” (for short) and set out three alternative ways of understanding evidential support: support-t (support plus a sufficiently high probability), support-t* (support plus a substantial degree of support), and support-tt* (support plus both a sufficiently high probability and a substantial degree of support). I also (...) set out two screening-off conditions (under which support is transitive): SOC1 and SOC2. It has already been shown that support-t is non-transitive in the general case (where it is not required that SOC1 holds and it is not required that SOC2 holds), in the special case where SOC1 holds, and in the special case where SOC2 holds. I introduce two rather weak adequacy conditions on support measures and argue that on any support measure meeting those conditions it follows that neither support-t* nor support-tt* is transitive in the general case, in the special case where SOC1 holds, or in the special case where SOC2 holds. I then relate some of the results to Douven’s evidential support theory of conditionals along with a few rival theories. (shrink)

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of literary (...) text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

Many will readily acknowledge there being rights of humans which trump the rights of states. Thus, these rights are aptly labeled ‘Human Rights,’ by which we may measure and admonish state-conduct. However, in contemporary Human Rights discourse, there is an emerging strand of thought in the academy that is Anti-Human Rights. To understand the foundations of Anti-Human Rights discourse, and to address the arguments that have been put forth, I analyze and incorporate the works of John O. Nelson, Raymond Geuss, (...) Wendy Brown, and Slavoj Žižek. Based on the same, I argue that the core arguments to these assertions are unpersuasive. I attempt at viewing Human Rights justification in different terms, and, to argue for the legitimacy of Human Rights while abandoning the search for justifications in nature, U.S. Foreign Policy, or Neo-Marxist views. (shrink)

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

There are two distinct approaches to Bayesian modelling in cognitive science. Black-box approaches use Bayesian theory to model the relationship between the inputs and outputs of a cognitive system without reference to the mediating causal processes; while mechanistic approaches make claims about the neural mechanisms which generate the outputs from the inputs. This paper concerns the relationship between these two approaches. We argue that the dominant trend in the philosophical literature, which characterizes the relationship between black-box and mechanistic approaches to (...) Bayesian cognitive science in terms of the dichotomy between instrumentalism and realism, is misguided. We propose that the two distinctions are orthogonal: black-box and mechanistic approaches to Bayesian modelling can each be given either an instrumentalist or a realist interpretation. We argue that the current tendency to conflate black-box approaches with instrumentalism and mechanistic approaches with realism stems from unwarranted assumptions about the nature of scientific explanation, the ontological commitments of scientific theories, and the role of abstraction and idealization in scientific models. We challenge each of these assumptions to reframe the debates over Bayesian modelling in cognitive science. (shrink)

In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...) well-known historical cases, whose significance has, I contend, been overlooked. I conclude that this sophisticated form of realism remains threatened by the historical argument that prompted it. A criterion for scientific realism Assessing the criterion A return to the crucial insight: responsibility A few case studies Assessing deployment realism. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

2015 Reprint of 1956 Printing. Full facsimile of the original edition. Not reproduced with Optical Recognition Software. Cybernetics is here defined as "the science of control and communication, in the animal and the machine"-in a word, as the art of steersmanship; and this book will interest all who are interested in cybernetics, communication theory and methods for regulation and control. W. Ross Ashby (1903-1972) was an English psychiatrist and a pioneer in cybernetics, the study of complex systems. His two books, (...) "Design for a Brain" and "An Introduction to Cybernetics," were landmark works. They introduced exact and logical thinking into the nascent discipline and were highly influential. Contents include: What is new -- Change -- The Determinate Machine -- The Machine with Input -- Stability -- The Black Box -- Quantity of Variety -- Transmission of Variety -- Incessant Transmission -- Regulation in Biological Systems -- Requisite Variety -- The Error-controlled Regulator -- Regulating the Very Large System -- Amplifying Regulation. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (shrink)

A number of important religious views entail that the ontological and epistemic relations between religion and morality are tighter than most secular thinkers suppose. We will focus on three theistic metaethical accounts of moral phenomena and moral knowledge: natural law theories, divine command theories, and divine will theories. These three types of accounts are among the most dominant in the philosophical literature on theistic ethics in contemporary anglophone philosophy, perhaps owing to their connection to major Western religions such as Christianity, (...) Islam, and Judaism. It is important to note, however, that they hardly exhaust the conceptual space. Intellectual traditions of other religions such as Hinduism, Buddhism, Sikhism, traditional Chinese religions, and African religions raise distinct philosophical questions about and offer a host of alternative views on the relationship between religion and morality (Jeffrey 2019). We close by offering a few such examples, though it is outside the scope of this chapter to provide a comprehensive survey of available views. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

The what next question for moral error theorists asks: if moral discourse is systematically error-ridden, then how, if at all, should moral error theorists continue to employ moral discourse? Recent years have seen growing numbers of moral error theorists come to endorse a wider normative error theory according to which all normative judgements are untrue. But despite this shift, the what next question for normative error theorists has received far less attention. This paper presents a novel solution to this question: (...) revolutionary normative subjectivism. Along the way, two primary contributions are advanced. First, a non-normative methodology for answering the normative error theoretic what next question is developed. Second, revolutionary normative subjectivism is presented and defended in accordance with the proposed methodology. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...) of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

This essay explains Donald Hoffman's Interface Theory of Perception using The Biological Framework for a Mathematical Universe proposed by Ronald Williams. According to Hoffman, what we perceive is more like a “desktop interface with icons representing complex underlying processes, rather than a direct window into the true nature of the world." The theory of a biological framework for a mathematical universes suggests that these complex underlying processes of “the desktop interface with icons” contain correspondences to biological systems. For example, “the (...) desktop icons” of the ocean’s arctic currents and the melting and freezing of Antartica contain “complex underlying processes” which mirror the processes of a circulatory system and beating heart. While indeed we do interpret reality from a superficial perspective as Hoffman suggests, our cognitive abilities are enhanced enough to recognize correspondences to these patterns pertaining to these biological systems which reveal the true nature of the world/universe/reality and thus highlight our evolved perceptual systems which can enable us how to recognize these patterns and organize ourselves to them in order to best survive it. Another example of a “desktop icon” is human society—the order and properties of human society contain “complex underlying processes” that are analogous to the order and properties of cellular society—thus “socioeconomic problems” can be understood through cellular economic problems. Moreover, the solution to the cellular economic problem is the solution to the socioeconomic problem. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)