Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (...) (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

Though recent years have seen a proliferation of critical histories of international law, their normative significance remains under-theorized, especially from the perspective of general readers rather than writers of such histories. How do critical histories of international law acquire their normative significance? And how should one react to them? We distinguish three ways in which critical histories can be normatively significant: (i) by undermining the overt or covert conceptions of history embedded within present practices in support of their authority; (ii) (...) by disappointing the normative expectations that regulate people’s reactions to critical histories; and (iii) by revealing continuities and discontinuities in the functions that our practices serve. By giving us a theoretical grip on the different ways in which history can be normatively significant and call for different reactions, this account helps us think about the overall normative significance of critical histories and how one and the same critical history can pull us in different directions. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...) in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

I define two metaphysical positions that anti-physicalists can take in response to Jonathan Schaffer’s ground functionalism. Ground functionalism is a version of physicalism where explanatory gaps are everywhere. If ground functionalism is true, arguments against physicalism based on the explanatory gap between the physical and experiential facts fail. In response, first, I argue that some anti-physicalists are already safe from Schaffer’s challenge. These anti-physicalists reject an underlying assumption of ground functionalism: the assumption that macrophysical entities are something over and above (...) the fundamental entities. I call their position “lightweight anti-physicalism.” Second, I go on to argue that even if anti-physicalists accept Schaffer’s underlying assumption, they can still argue that the consciousness explanatory gap is especially mysterious and thus requires a special explanation. I call the resulting position “heavyweight anti-physicalism.” In both cases, the consciousness explanatory gap is a good way to argue against physicalism. (shrink)

Panpsychists aspire to explain human consciousness, but can they also account for the physical world? In this paper, I argue that proponents of a popular form of panpsychism cannot. I pose a new challenge against this form of panpsychism: it faces an explanatory gap between the fundamental experiences it posits and some physical entities. I call the problem of explaining the existence of these physical entities within the panpsychist framework “the missing entities problem.” Spacetime, the quantum state, and quantum gravitational (...) entities constitute three explanatory gaps as instances of the missing entities problem. Panpsychists are obliged to solve all instances of the missing entities problem; otherwise, panpsychism cannot be considered a viable theory of consciousness. (shrink)

This paper presents a novel argument against one theoretically attractive form of panpsychism. I argue that “idealist panpsychism” is false since it cannot account for spacetime’s structure. Idealist panpsychists posit that fundamental reality is purely experiential. Moreover, they posit that the consciousness at the fundamental level metaphysically grounds and explains both the facts of physics and the facts of human consciousness. I argue that if idealist panpsychism is true, human consciousness and the consciousness at the fundamental level will have the (...) same metrical structure. However, as I demonstrate, human consciousness does not exhibit the same metrical structure as spacetime. Consequently, the idealist panpsychist faces an explanatory gap between the fundamental consciousness she posits and spacetime. Idealist panpsychism is incompatible with the existence of such an explanatory gap. Thus, idealist panpsychists must close this explanatory gap (which I argue they lack the resources to do), or idealist panpsychism is false. (shrink)

We argue that philosophers are competent to facilitate public discussion concerning restrictions on human migration across political borders. We also argue that presenting public audiences with a prima facie case for open borders offers a unique opportunity to elucidate important aspects of philosophical reasoning. Finally, we share resources and a lesson plan for those keen to examine the case for open borders with students, or to facilitate public discussion on these issues.

This paper argues that Nietzsche is a critic of just the kind of genealogical debunking he is popularly associated with. We begin by showing that interpretations of Nietzsche which see him as engaging in genealogical debunking turn him into an advocate of nihilism, for on his own premises, any truthful genealogical inquiry into our values is going to uncover what most of his contemporaries deem objectionable origins and thus license global genealogical debunking. To escape nihilism and make room for naturalism (...) without indiscriminate subversion, we then argue, Nietzsche targets the way of thinking about values that permits genealogical debunking: far from trying to subvert values simply by uncovering their origins, Nietzsche is actively criticising genealogical debunking thus understood. Finally, we draw out the consequences of our reading for Nietzsche’s positive vision. (shrink)

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That (...) is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

Where does the impetus towards ethical theory come from? What drives humans to make values explicit, consistent, and discursively justifiable? This paper situates the demand for ethical theory in human life by identifying the practical needs that give rise to it. Such a practical derivation puts the demand in its place: while finding a home for it in the public decision-making of modern societies, it also imposes limitations on the demand by presenting it as scalable and context-sensitive. This differentiates strong (...) forms of the demand calling for theory from weaker forms calling for less, and contexts where it has a place from contexts where it is out of place. In light of this, subjecting personal deliberation to the demand turns out to involve a trade-off. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...) or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

This entry offers a critical overview of the contemporary literature on understanding, especially in epistemology and the philosophy of science.

Hume thought that if you believed in powers, you believed in necessary connections in nature. He was then able to argue that there were none such because anything could follow anything else. But Hume wrong-footed his opponents. A power does not necessitate its manifestations: rather, it disposes towards them in a way that is less than necessary but more than purely contingent. -/- In this paper a dispositional theory of causation is offered. Causes dispose towards their effects and often produce (...) them. But a set of causes, even though they may succeed in producing an effect, cannot necessitate it since the effect could have been counteracted by some additional power. This would require a separation of our concepts of causal production and causal necessitation. The most conspicuous cases of causation are those where powers accumulate and pass a requisite threshold for an effect to occur. -/- We develop a model for representing powers as constituent vectors within an n-dimensional quality space, where composition of causes appears as vector addition. Even our resultant vector, however, has to be understood as having dispositional force only. This model throws new light on causal modality and cases of prevention, causation by absence and probabilistic causation. (shrink)

Less discussed than Hume’s skepticism about what grounds there could be for projecting empirical hypotheses is his concern with a skeptical regress that he thought threatened to extinguish any belief when we reflect that our reasoning is not perfect. The root of the problem is the fact that a reflection about our reasoning is itself a piece of reasoning. If each reflection is negative and undermining, does that not give us a diminution of our original belief to nothing? It requires (...) much attention to detail, we argue, to determine whether or not there is a skeptical problem in this neighborhood. Consider that if we subsequently doubt a doubt we had about our reasoning, that would suggest a restoration of some of the force of our original belief. We would then have instead of runaway skepticism an alternating sequence of pieces of skeptical reasoning that cancel each others’ effects on our justification in the original proposition, at least to some degree. We will argue that the outcome of the sequence of reflections Hume is imagining depends on information about a given case that is not known a priori. We conclude this from the fact that under three precise, explanatory, and viable contemporary reconstructions of what this kind of reasoning about reasoning could be like and how it has the potential to affect our original beliefs, a belief-extinguishing regress is not automatic or necessary. (shrink)

I argue that Schopenhauer’s ascription of (moral) rights to animals flows naturally from his distinctive analysis of the concept of a right. In contrast to those who regard rights as fundamental and then cast wrongdoing as a matter of violating rights, he takes wrong (Unrecht) to be the more fundamental notion and defines the concept of a right (Recht) in its terms. He then offers an account of wrongdoing which makes it plausible to suppose that at least many animals can (...) be wronged and thus, by extension, have rights. The result, I argue, is a perspective on the nature of moral rights in general, and the idea of animal rights in particular, that constitutes an important and plausible alternative to the more familiar views advanced by philosophers in recent decades. (shrink)

In this article, from the 2009 Oxford University Press collection Epistemic Value, I criticize existing accounts of epistemic normativity by Alston, Goldman, and Sosa, and then offer a new view.

The norms of simplicity, convenience, unfussiness, and self-control guide Diogenes the Cynic, Zeno of Citium, Chrysippus, Seneca, Musonius Rufus, Epictetus, and Marcus Aurelius in approaching food. These norms generate the precept that meat and dainties are luxuries, so Stoics should eschew them. Considerations of justice, environmental harm, anthropogenic global climate change, sustainability, food security, feminism, harm to animals, personal health, and public health lead contemporary Stoics to condemn the meat industrial complex, debunk carnism, and select low input, plant-based foods.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...) the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

The aim of this article is to show that, just like in recent years Cobreros, Égré, Ripley and van Rooij provided a non-transitive counterpart of classical logic (meaning by this that all classically acceptable inferences are valid, but Cut and other metainferences are not) the same can be done for every Tarskian logic, with full generality. In order to establish this fact, we take a semantic approach, by showing that appropriate structures can be devised to characterize a non-transitive counterpart of (...) every Tarskian logic, starting from the logical matrices that are usually taken to render them. (shrink)

Social and political concepts are indispensable yet historically and culturally variable in a way that poses a challenge: how can we reconcile confident commitment to them with awareness of their contingency? In this article, we argue that available responses to this problem—Foundationalism, Ironism, and Right Wittgensteinianism—are unsatisfactory. Instead, we draw on the work of Bernard Williams to tease out and develop a Left Wittgensteinian response. In present-day pluralistic and historically self-conscious societies, mere confidence in our concepts is not enough. For (...) modern individuals who are ineluctably aware of conceptual change, engaged concept-use requires reasonable confidence, and in the absence of rational foundations, the possibility of reasonable confidence is tied to the possibility of critically discriminating between conceptual practices worth endorsing and those worth rejecting. We show that Left Wittgensteinianism offers such a basis for critical discrimination through point-based explanations of conceptual practices which relate them to the needs of concept-users. We end by considering how Left Wittgensteinianism guides our understanding of how conceptual practices can be revised in the face of new needs. (shrink)

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)

Assume we could someday create artificial creatures with intelligence comparable to our own. Could it be ethical use them as unpaid labor? There is very little philosophical literature on this topic, but the consensus so far has been that such robot servitude would merely be a new form of slavery. Against this consensus I defend the permissibility of robot servitude, and in particular the controversial case of designing robots so that they want to serve human ends. A typical objection to (...) this case draws an analogy to the genetic engineering of humans: if designing eager robot servants is permissible, it should also be permissible to design eager human servants. Few ethical views can easily explain even the wrongness of such human engineering, however, and those few explanations that are available break the analogy with engineering robots. The case turns out to be illustrative of profound problems in the field of population ethics. (shrink)

One of the most important recent developments in the study of concepts has been the resurgence of interest in nativist accounts of the human conceptual system. However, many theorists suppose that a key feature of neural organization—the brain’s plasticity—undermines the nativist approach to concept acquisition. We argue that, on the contrary, not only does the brain’s plasticity fail to undermine concept nativism, but a detailed examination of the neurological evidence actually provides powerful support for concept nativism.

Levy (2021 Levy, N. (2021). Bad beliefs: Why they happen to good people. Oxford University Press.[Crossref], [Google Scholar]) argues that bad beliefs predominately stem from automatic (albeit rational) updating in response to testimonial evidence. To counteract such beliefs, then, we should focus on ridding our epistemic environments of misleading testimony. This paper responds as follows. First, I argue that the suite of automatic processes related to bad beliefs extends well beyond the deference-based processes that Levy identifies. Second, I push back (...) against Levy’s claim that bad beliefs stem from wholly rational processes, suggesting that, in many cases, such processes are better characterized as arational. Finally, I note that Levy is too quick to dismiss the role that individuals can play in cleaning up their own epistemic environments, and I suggest one route through which this is possible. (shrink)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

How we feel is as vital to our survival as how we think. This claim, based on the premise that emotions are largely adaptive, serves as the organizing theme of Why We Need Religion. This book is a novel pathway in a well-trodden field of religious studies and philosophy of religion. Stephen Asma argues that, like art, religion has direct access to our emotional lives in ways that science does not. Yes, science can give us emotional feelings of wonder (...) and the sublime--we can feel the sacred depths of nature--but there are many forms of human suffering and vulnerability that are beyond the reach of help from science. Different emotional stresses require different kinds of rescue. Unlike secular authors who praise religion's ethical and civilizing function, Asma argues that its core value lies in its emotionally therapeutic power. No theorist of religion has failed to notice the importance of emotions in spiritual and ritual life, but truly systematic research has only recently delivered concrete data on the neurology, psychology, and anthropology of the emotional systems. This very recent "affective turn" has begun to map out a powerful territory of embodied cognition. Why We Need Religion incorporates new data from these affective sciences into the philosophy of religion. It goes on to describe the way in which religion manages those systems--rage, play, lust, care, grief, and so on. Finally, it argues that religion is still the best cultural apparatus for doing this adaptive work. In short, the book is a Darwinian defense of religious emotions and the cultural systems that manage them. (shrink)

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

In his 2016 book, Against Empathy: The Case for Rational Compassion, Paul Bloom argues that “if we want to be good caring people, if we want to make the world a better place, then we are better off without empathy.” I’ve specifically chosen this formulation of Bloom’s position because it gets at the issue I will most directly challenge him on - that we would, or even could, be better off without empathy. The position I will defend is that our (...) empathy plays an indispensable role in the development of our moral conscience, and an ongoing role in the cultivation of our moral concepts, that would be compromised by suppressing our empathy. On this understanding, I argue that we would generally be better served by cultivating our empathy to mitigate and overcome its shortcomings, rather than suppressing our empathy as Bloom recommends. (shrink)

After introducing the new field of cultural evolution, we review a growing body of empirical evidence suggesting that culture shapes what people attend to, perceive and remember as well as how they think, feel and reason. Focusing on perception, spatial navigation, mentalizing, thinking styles, reasoning (epistemic norms) and language, we discuss not only important variation in these domains, but emphasize that most researchers (including philosophers) and research participants are psychologically peculiar within a global and historical context. This rising tide of (...) evidence recommends caution in relying on one’s intuitions or even in generalizing from reliable psychological findings to the species, Homo sapiens. Our evolutionary approach suggests that humans have evolved a suite of reliably developing cognitive abilities that adapt our minds, information-processing abilities and emotions ontogenetically to the diverse culturally-constructed worlds we confront. (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.

After a long hiatus, psychology and philosophy are returning to formal study of imagination. While excellent work is being done in the current environment, this article argues for a stronger thesis than usually adopted. Imagination is not just a peripheral feature of cognition or a domain for aesthetic research. It is instead the core operating system or cognitive capacity for humans and has epistemic and therapeutic functions that ground all our sense-making activities. A sketch of imagination as embodied cognition is (...) offered, followed by suggestions of how to organize imagination studies into a more rigorous science–humanities research area. (shrink)

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...) these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present _S__T_ and _T__S_. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. (...) We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...) In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

In the second chapter of her <i>Institutions de Physique</i> Emilie Du Chatelet gives two cosmological arguments for the existence of God. In this chapter I focus on the first of these arguments. I argue that, while it bears some significant similarities to arguments given by John Locke and Christian Wolff, it improves on these arguments in at least two ways. First, it avoids a potential equivocation in Locke's argument; and second, it avoids Wolff's mere stipulation that whoever claims that there (...) cannot be an infinite regress of contingent beings does not understand what a sufficient reason is. I finally argue that her argument avoids a related objection, considered by David Hume, on which to explain a causal chain is merely to explain each link in the chain. (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.

Bird argues that Armstrong’s necessitarian conception of physical modality and laws of nature generates a vicious regress with respect to necessitation. We show that precisely the same regress afflicts Bird’s dispositional-monist theory, and indeed, related views, such as that of Mumford & Anjum. We argue that dispositional monism is basically Armstrongian necessitarianism modified to allow for a thesis about property identity.

After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table of twelve (...) categories and Carl Jung’s theory of psychological types are shown to share a common logical structure. Just as Kant proposes four basic categories, each expressed in terms of three subordinate categories, Jung proposes four basic personality functions, each having three possible manifestations. The concluding section presents four scenarios illustrating how such maps can be used in philosophical counseling sessions to stimulate philopsychic insight. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...) moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)