Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

Kant uses ‘wish’ as a technical term to denote a strange species of desire. It is an instance in which someone wills an object that she simultaneously knows she cannot bring about. Or in more Kantian garb: it is an instance of the faculty of desire’s (or will’s) failing insofar as a desire (representation) cannot be the cause of the realization of its corresponding object in reality. As a result, Kant originally maintained it to be antithetical to morality, which deals (...) with ‘ought implies can’. However, Kant’s notion of wish is not static. On the contrary, I argue in this article that Kant re-evaluated the capacity to wish as (to some extent) causally efficacious and, further, of moral relevance. This re-evaluation has not been discussed in the literature, yet has been lurking in plain sight in a subtle but decisive shift evident in two versions of a footnote from the *Critique of the Power of Judgement* (KU). (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible as long (...) as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

While small group discussion is invaluable to the philosophy classroom, I think it can be improved. In this paper I present a method that I have developed to better facilitate active learning in the spirit of a philosopher within a Socratic community. My method is to form what I call a “philosophical think tank,” which takes the form of a small group that persists for the duration of the semester in order to overcome deficiencies that can arise if groups are (...) determined anew with each class meeting. After presenting the technique, I offer an overview of results, possible issues, and ideas for future development. (shrink)

The goal of this paper is to clarify the role wrong plays in Hegel ’s system of right, as both a form of freedom and the transition to morality. Two approaches will be examined to explore wrong in practical philosophical terms: First, one could take the transition to be descriptive in nature. The transition describes wrong as a realized fact of the human condition that one inherits from the outset. Second, one could see it as prescriptive. Actual wrongdoing would be (...) essential for the subject’s progression to becoming moral. Though both are most likely the case, emphasis is given to the latter since it represents the actualization of potential. Furthermore, it will be suggested that wrong plays a similar role as that which alienation does in the Phenomenology of Spirit; both bridge the will as abstract personality with the moral point of view. (shrink)

This paper offers a critique of empirical tests of the free will, aiming at a presupposition underpinning the experiments’ methodology. The presupposition is that the artificial reporting of machines is prima facie directly congruent with the first-person perspectival report of the participant. A critique of the method reveals the problematic nature of this methodological set-up. The phenomenological critique, however, also carries implications for a theoretical framework dealing with ‘embodied’ religion; these implications will be dis-cussed via reference to the article by (...) Marcel Sarot. (shrink)

European Journal of Philosophy, EarlyView.

The willful ignorance doctrine says defendants should sometimes be treated as if they know what they don't. This book provides a careful defense of this method of imputing mental states. Though the doctrine is only partly justified and requires reform, it also demonstrates that the criminal law needs more legal fictions of this kind. The resulting theory of when and why the criminal law can pretend we know what we don't has far-reaching implications for legal practice and reveals a pressing (...) need for change. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

In this paper, I will discuss what I will call “skeptical pragmatic invariantism” as a potential response to the intuitions we have about scenarios such as the so-called bank cases. SPI, very roughly, is a form of epistemic invariantism that says the following: The subject in the bank cases doesn’t know that the bank will be open. The knowledge ascription in the low standards case seems appropriate nevertheless because it has a true implicature. The goal of this paper is to (...) show that SPI is mistaken. In particular, I will show that SPI is incompatible with reasonable assumptions about how we are aware of the presence of implicatures. Such objections are not new, but extant formulations are wanting for reasons I will point out below. One may worry that refuting SPI is not a worthwhile project given that this view is an implausible minority position anyway. To respond, I will argue that, contrary to common opinion, other familiar objections to SPI fail and, thus, that SPI is a promising position to begin with. (shrink)

It seems to be a common and intuitively plausible assumption that conversational implicatures arise only when one of the so-called conversational maxims is violated at the level of what is said. The basic idea behind this thesis is that, unless a maxim is violated at the level of what is said, nothing can trigger the search for an implicature. Thus, non-violating implicatures wouldn’t be calculable. This paper defends the view that some conversational implicatures arise even though no conversational maxim is (...) violated at the level of what is said. (shrink)

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

Anscombe claims that whenever a subject is doing something intentionally, this subject knows that they are doing it. This essay defends Anscombe's claim from an influential set of counterexamples, due to Davidson. It argues that Davidson's counterexamples are tacit appeals to an argument, on which knowledge can't be essential to doing something intentionally, because some things that can be done intentionally require knowledge of future successes, and because such knowledge can't ever be guaranteed when someone is doing something intentionally. The (...) essay argues that there are apparently sensible grounds for denying each of these two premises. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Before committing suicide, Othello says, "Speak of me as I am; . . . speak of one who loved not wisely, but too well." Thinking of his love for Desdemona, we are not likely to agree with his assessment that he loved her "too well," especially if loving well is supposed to require some kind of dependability or concern for her well-being; we would be loath even to grant that he loved her "too much." Othello's love for his wife seems, (...) rather, to have been firmly subordinated to his love for his honor. Perhaps, then, his statement could be saved by saying that it was his honor that he loved too well, and that in devoting himself so completely to it, he did not love wisely. He needed a better way of coordinating his two concerns, one that wouldn't give him cause for regret—a way of loving well that was also wise. (shrink)

Plausibly, how much is at stake in some salient practical task can affect how generously people ascribe knowledge of task-relevant facts. There is a metaphysical puzzle about this phenomenon, and an empirical puzzle. Metaphysically: there are competing theories about when and how practical stakes affect whether it is correct to ascribe knowledge. Which of these theories is the right one? Empirically: experimental philosophy has struggled to find a stakes-effect on people’s knowledge ascriptions. Is the alleged phenomenon just a philosopher’s fantasy? (...) I propose a new psychological account of when and why people’s knowledge ascriptions are sensitive to stakes. My hypothesis is motivated by empirical research on how people’s judgements are sensitive to their social context. Specifically, people’s evaluations are sensitive to their ‘psychological distance’ from the scenarios they are considering. When using ‘fixed-evidence probes’, experimental philosophy has found that what’s at stake for a fictional character in a made-up scenario has little or no effect on how participants ascribe knowledge to them. My hypothesis predicts this finding: the scenarios are too ‘psychologically distant’ to participants. Our empirical puzzle is resolved: the stakes-effect often present in the wild won’t be present in vignette studies. (This illustrates a widespread problem with X-phi vignette studies: if people might judge differently in other social contexts, we can’t generalize from the results of these experiments. That is, vignette studies are of doubtful ‘external validity’.) The hypothesis also resolves our metaphysical puzzle. It predicts that people do not ascribe knowledge in a way deemed correct by any of the standard philosophical views, namely classical invariantism, interest-relative invariantism, and contextualism. Our knowledge ascriptions shift around in the way that’s most useful for social beings like us, and this pattern in our judgements can only be endorsed by a genuinely relativist metaphysics for knowledge. (shrink)

ABSTRACT. Associationist psychologists of the late 19th-century premised their research on a fundamentally Humean picture of the mind. So the very idea of mental science was called into question when T. H. Green, a founder of British idealism, wrote an influential attack on Hume’s Treatise. I first analyze Green’s interpretation and criticism of Hume, situating his reading with respect to more recent Hume scholarship. I focus on Green’s argument that Hume cannot consistently admit real ideas of spatial relations. I then (...) argue that William James’s early work on spatial perception attempted to vindicate the new science of mind by showing how to avoid the problems Green had exposed in Hume’s empiricism. James’s solution involved rejecting a basic Humean assumption—that perceptual experience is fundamentally composed of so-called minima sensibilia, or psychological atoms. The claim that there are no psychological atoms is interesting because James supported it with experimental data rather than (as commentators typically suppose) with introspective description or a priori argument. James claimed to be the real descendant of British empiricism on grounds that his anti-atomistic model of perception fortified what Green had perhaps most wanted to demolish—the prospect of using empirical, scientific methods in the study of mind. (shrink)

There is an important sense in which one can be sure without being certain, i.e., without assigning unit probability. I will offer an explication of this sense of sureness, connecting it with the level of credence that a rational agent would need to have to be confident that she won’t ever lose her confidence. A simple formal result then gives us an explicit formula connecting the threshold α for credence needed for confidence with the threshold needed for being sure: one (...) needs 1−(1−α) to be sure. I then suggest that stepping between α and 1−(1−α) gives a procedure that generates an interesting hierarchy of credential thresholds. (shrink)

Undoubtedly the Penrose-Hameroff Orch OR model may be considered as a good theory for describing information processing mechanisms and holistic phenomena in the human brain, but it doesn’t give us satisfactory explanation of human perception. In this work a new approach explaining our perception is introduced, which is in good agreement with Orch OR model and other mainstream science theories such as string theory, loop quantum gravity and holographic principle. It is shown that human perception cannot be explained in the (...) terms of elementary particles and we should introduce new indivisible holistic objects with geometry based on smooth infinitesimal analysis - elastic membranes. The example of such a membrane is our Universe which is an indivisible whole. It is shown that our perception may be considered as the result of elastic oscillations of two dimensional (2D) elastic membranes with closed topology embedded in our bodies. Only one elastic membrane responsible for its perceptions will correspond to the selected organism, but there may be other membranes, even at the cell level. In other words, reality may be considered as the process of time evolution of holistic energetically very weak macro objects - elastic membranes with the geometry based on smooth infinitesimal analysis. An embedded membrane in this multidimensional world will look different for the external and internal observers: from the outside it will look like a material object with smooth infinitesimal geometry, while from the inside our Universe-like space-time fabric. When interacting with elementary particles and other membranes, a membrane will transform their energy into its elastic energy (a new form of energy) - the energy of stretching of the infinitesimal segments. The theory postulates that these elastic deformations will not be observable from the point of view of the internal observer. Heisenberg’s uncertainty principle will work in this physics only from the point of view of the internal observer. For the external observer each embedded elastic membrane may be stretched and even a very small region will become observable. For example, living organisms play the role of internal observers of the Universe, and at the same time they serve as external observers for 2D membranes embedded into our Universe. We can observe our 2D self-membranes through our perceptions, which are encoded in elastic oscillations of the elastic membrane. According to the theory, elastic membranes occupy energetically favorable positions around microtubules involved into Orch OR. The theory not only gives us a really multidimensional holistic picture of reality, but it also provides us with a new method for understanding such phenomena as perception, self-awareness and will. (shrink)

This paper analyses the phenomenon of strange, rigid beliefs through the lens of predictive processing (PP). By “strange, rigid beliefs” I refer to abstract beliefs about the world for which, according to a rational and scientific worldview, there is no evidence available, yet which people struggle to abandon even when challenged with strong counterarguments or counterevidence. Following recent PP accounts of delusion formation, I show that one explanation for such strangely persistent beliefs can be a breakdown of the predictive machinery (...) itself. However, given how common strange, rigid beliefs are, I argue that there must be another kind of explanation too – one that does not presuppose a malfunction of the prediction engine. This will lead me to develop an alternative account that I will call “hijacking beliefs”. Using the example of supernatural beliefs, I will argue that certain abstract beliefs, when adopted under the right circumstances, are especially hard to dislodge for a predictive mind, as they are evidentially self-protective. Such beliefs may be consistent with a wide range of experiences and therefore hard to falsify, and might also bias future perception, action, and model-updating in ways that make them immune to rational revision. (shrink)

Gender bias in the classroom has become an issue of global concern. This phenomenon is evident in textbooks, pedagogy, and the hidden curriculum. Since persons of all genders can equally contribute to national development, any factor that hinders persons of a particular gender from realising their full potentials should be examined and redressed. One of the areas where gender kurtosis is evident is in communication. This study, therefore, investigated the prevalence of gender skewness in academic communication. Data came from softcopies (...) of postgraduate dissertations randomly selected from a large second-generation federal university in Southern Nigeria. Four null hypotheses were stated and tested, using the independent t-test. The analyses revealed clear evidence of androcentric or male-dominant communication in postgraduate dissertations. The result showed a significant difference between male and female dissertations in androcentric communication. In addition, masters’ and doctorate degrees students also differed significantly in their androcentric communication. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

Despite the widespread presence of public arts funding in liberal societies, some liberals find it unjustified. According to the Neutrality Objection, arts funding preferences some ways of life. One way to motivate this challenge is to say that a public goods-styled justification, although it could relieve arts funding of these worries of partiality, cannot be argued for coherently or is, in the end, too susceptible to impressions of partiality. I argue that diversity-based arts funding can overcome this challenge, because it (...) invests in non-excludable infrastructure that fosters cultural literacy. We all have some interest as citizens in living in a society which fosters cultural literacy, seeing as this helps others to understand us, supports us to understand ourselves, and helps alleviate confusion and alienation we feel toward social difference. While some of these benefits can be enjoyed by those who make and consume art, they are also gained by those who don’t, because arts funding affects the makeup of public spaces and the communicative practices we all use to make sense of the world. (shrink)

The philosophical investigation of perceptual illusions can generate fruitful insights in the study of subjective time consciousness. However, the way illusions are interpreted is often controversial. Recently, proponents of the so-called dynamic snapshot theory have appealed to the Waterfall Illusion, a kind of motion aftereffect, to support a particular view of temporal consciousness according to which experience is structured as a series of instantaneous snapshots with dynamic qualities. This dynamism is meant to account for familiar features of the phenomenology of (...) time, such as succession, continuity, and change. Previous theories have typically appealed to a subjective present occupying an interval of time; that is, a “specious present.” I argue, through analysis of motion aftereffect illusions and the rare condition of akinetopsia, i.e. motion-blindness, that the Waterfall Illusion fails to support the dynamic snapshot theory as intended. Furthermore, I suggest that future theories of subjective time should see temporal phenomenology as the result of non-localised processes closely tied to the mechanism underlying consciousness generally. (shrink)

In § 35 of Sein und Zeit Heidegger’s denunciation of Gerede, idle talk, is confident and scathing. It sounds so sinister and threatening. What could Heidegger be talking about? One could cite numerous fictional characters (e.g., Pecksniff, Mrs. Gamp, Skimpole, Podsnap – all in Dickens), characters whose speech is very nearly an idiolect of bad faith. And yet there is something so fascinating and creative in their speech, an exuberance in their dissimulation, that one wouldn’t want to miss them. Could (...) idle talk in Heidegger’s sense contribute to the theoretization of Bakhtin's idea of the dialogic and heteroglossia and to the notion of discours as it has been developed by Benveniste, Barthes, and Genette? In prose fiction language is valorized (often implicitly) in terms of meaning/nonsense, serious/non-serious, full/empty. When in fiction language that is deemed low, formulaic, or “empty”-- gossip, chatter, prattle, idiotismes – comes to the fore the narrative elements falters, “nothing much” is said. But a kind of speech as act and process is foregrounded. It is this kind of inadvertence in language, its “idling” state, that Gerede points to. (shrink)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (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)

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)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

Some time ago, Joel Katzav and Brian Ellis debated the compatibility of dispositional essentialism with the principle of least action. Surprisingly, very little has been said on the matter since, even by the most naturalistically inclined metaphysicians. Here, we revisit the Katzav–Ellis arguments of 2004–05. We outline the two problems for the dispositionalist identified Katzav in his 2004 , and claim they are not as problematic for the dispositional essentialist at it first seems – but not for the reasons espoused (...) by Ellis. (shrink)

Hailed as "a feast" (Washington Post) and "a modern-day bestiary" (The New Yorker), Stephen Asma's On Monsters is a wide-ranging cultural and conceptual history of monsters--how they have evolved over time, what functions they have served for us, and what shapes they are likely to take in the future. Beginning at the time of Alexander the Great, the monsters come fast and furious--Behemoth and Leviathan, Gog and Magog, Satan and his demons, Grendel and Frankenstein, circus freaks and headless children, (...) right up to the serial killers and terrorists of today and the post-human cyborgs of tomorrow. Monsters embody our deepest anxieties and vulnerabilities, Asma argues, but they also symbolize the mysterious and incoherent territory beyond the safe enclosures of rational thought. Exploring sources as diverse as philosophical treatises, scientific notebooks, and novels, Asma unravels traditional monster stories for the clues they offer about the inner logic of an era's fears and fascinations. In doing so, he illuminates the many ways monsters have become repositories for those human qualities that must be repudiated, externalized, and defeated. (shrink)

This is a review of Alexander Bird's book on Thomas Kuhn.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

Individualist subjectivism is a position in metaethics which states that moral claims are descriptions of attitudes, e.g. 'murder is wrong' means 'I disapprove of murder'. In this short article I present a novel argument against it by appealing to the conversion between first-person and third-person claims. I argue that individualist subjectivism, and more broadly, any propositions which refer to the self without a word like 'I' or me', fail to account for the fact that person with the name X saying (...) 'I' could be rephrased as anybody saying 'X', a process I call 'personalisation'. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

We present a vignette study conducted with a quota sample of the German population (n = 400). Subjects had to redistribute a good between two hypothetical persons who contributed equally to the available amount but differed in quantity needed and the reason for their neediness. On a within-subjects level, we tested for the effects of need, accountability, and resource availability on their third-party distribution decisions. Between subjects, we further varied the kinds of needs: The persons either needed the good as (...) a means to survive, to live a decent life, to participate in society, or to be autonomous. Despite equal productivity, the mean share allocated to the needier person was significantly higher than an equal share. However, this share turned out significantly smaller when the needier person was accountable for needing more than the other. Nonetheless, even if accountable, the needier person still got a share larger than their contribution would suggest. When there was a surplus of resources, the needier person got an even higher share than when resources were scarce. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

This dissertation examines the theory of perceptual cognition laid out by the 7th century Buddhist scholar, Dharmakīrti, in his magnum opus, the Pramāṇavārttika. Like most theories of perception, both ancient and modern, the sensory cognition of ordinary objects is a topic of primary concern. Unlike other theorists, however, Dharmakīrti advances a technical definition of “perception” as a cognition which is both nonconceptual and non-erroneous. Dharmakīrti’s definition of perception is thereby deliberately inclusive of three additional types of “perceptual” cognition, in addition (...) to veridical sensory awareness: the nonconceptual mental apprehension of an immediately-preceding cognition (“mental perception”), the vivid appearance of soteriologically efficacious objects of contemplative practice (“yogic perception”), and the sheer unmediated presence of the contents of cognition—whatever these might be—to the cognizing mind (“reflexive awareness”). Through the logical examination of what it means to be aware of an object, Dharmakīrti demonstrates that the awareness of an object is just the awareness of a phenomenal form or cognitive image produced by that object. Pursuing this analysis further, however, Dharmakīrti argues that the very notion of an object of cognition that exists “externally” or outside the mind is incoherent. Additionally, Dharmakīrti maintains that the phenomenological structure of subject and object—that is, the “first-personal” sense of one’s own cognitions as pertaining to oneself (“for-me-ness”), together with the inseparably concomitant sense that the objects of cognition exist “out there” in an extramental world—is strictly a form of cognitive error. Therefore, because ordinary sensory cognition is inherently structured by this subject-object duality, ordinary sensory cognition must in the final analysis be understood as erroneous. According to Dharmakīrti, in other words, ultimately only the nondual “luminosity” of reflexive awareness is genuinely perceptual, because only reflexive awareness is undistorted by nature. In this way, Dharmakīrti’s epistemology provides a theoretical foundation for the advanced nondual contemplative practices of Indian and Tibetan Buddhism, particularly Mahāmudrā and rDzogs chen. (shrink)