Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

In ‘Are Citizenship Tests Necessarily Illiberal?’, Michael Blake argues that difficult citizenship tests are not necessarily illiberal, so long as they test for the right things. In this paper, I argue that Blake’s attempt to square citizenship tests with liberalism fails. Blake underestimates the burdens citizenship tests impose on immigrants, ignoring in particular the egalitarian claims immigrants have on equal social membership. Moreover, Blake’s positive justification of citizenship tests – that they help justify immigrants’ coercive voting power – both neglects (...) the fact that such tests are coercively imposed on immigrants and that the citizenship test Blake envisions does little to help ensure immigrants’ votes are legitimate. Citizenship tests thus aren’t, even in principle, a way of protecting citizens from unjustified coercive power. They are, even under favourable circumstances, an illiberal way of obstructing immigrants’ quest for social equality. (shrink)

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers addresses the question of why is there something rather than nothing, at length, and gives a radical new answer. It has to do with the fact in CQ that, while blackness is contingently possible, █ is necessarily actual, as it was in this sentence. (shrink)

I defend the thesis that psychological states can be literally ascribed only to living creatures and not to nonliving machines, such as sophisticated robots. Defenders of machine consciousness do not sufficiently appreciate the importance of the biological nature of a subject for the psychological significance of its behavior. Simulations of a computer-controlled, nonliving autonomous robot cannot carry the same psychological meaning as animate behavior. Being a living creature is an essential link between genuinely expressive behavior and justified psychological ascriptions.

This paper proposes that the resurgence of geographic factors in the study of uneven development is not due simply to the recurrent nature of intellectual fashions, nor necessarily because arguments that rely on geographic factors are less simplistic than before, nor because they avoid racialist, imperialistic, and deterministic forms they sometimes took in the past. Rather, this paper argues that geographic factors have been turned to once again because they are an indispensable part of explanation, playing a special role that (...) has not been properly understood, a role especially crucial for the explanation of the inherently spatial questions that development studies seek to address. The paper is made up of two sections and an appendix. The first section discusses why geographic factors are necessary for explanations of uneven development with a brief example from the ‘institutions versus geography’ debate. The second section discusses why the reflexive rejection by social scientists of geographic and environmental factors is misguided, with a separate note on geography and geographers. The ideas in this paper were in part arrived at inductively while surveying instances where social scientists in some way attempt to account for real-world locations/distributions of social phenomena (as opposed to discussing a social theory or process aspatially or with its distribution taken as a starting point). A number of these are included with discussion as an appendix. (shrink)

Necessity can be ascribed not only to propositions, but also to feelings. In the Critique of Judgment (KdU), Immanuel Kant argues that a feeling of beauty is the necessary satisfaction instantiated by the ‘free play’ of the cognitive faculties, which provides the grounds for a judgment of taste (KdU 5:196, 217-19). In contradistinction to the theoretical necessity of the Critique of Pure Reason and the moral necessity of the Critique of Practical Reason, the necessity assigned to a judgment of (...) taste is exemplary necessity (KdU 5:237). Necessity can also be assigned by employing the de re/de dicto distinction, namely, by ascribing entailments of what must necessarily hold to either a thing (de re) or to a proposition (de dicto). Although Kant does not use the distinction in any of the three Critiques, this omission has not prevented Kant scholars from applying the distinction in their analyses of the first two Critiques. In this paper, I examine the role that modality plays in Kant’s third Critique and I attempt to bring the de re/de dicto distinction to bear on Kant’s famous aesthetic theory. Ultimately, I perform a retrospective classification of the modality of taste by arguing that because a judgment of taste is not a statement about an objective fact, a judgment of ‘x is beautiful’ can only be read as de dicto necessary. (shrink)

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we (...) must consider the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

People have said for generations that money is based on "trust," or "shared fiction." But that doesn't explain why cultures all eventually come to value the same metals or items as money. Others have said that the value of money depends on the way it facilitates trade, but even that doesn't explain where the value emerges before people agree to use money to trade. In actuality, there's a real value to gold, silver, and other forms of money that makes them (...) reliably gain worth to people, and will emerge eventually even if everyone in a society does not like or believe in those precious metals or possessions. This is because possessing scarce objects has real reputational value among people, since having those objects indicates that we can go outside the known territory, and we instinctively collect and want things that have known scarcity. When that scarcity combines with other traits like transferability, durability and so on, we can see that money naturally emerges in society. We can use this idea to also see the real value and desire that people have for new forms of money like cryptocurrencies, and to know what will or won't emerge and last as a form of money in the future. (shrink)

في علم الأوبئة، يمثل رقم التكاثر الأساسي عدد الحالات التي تُنتجها حالة واحدة مُصابة خلال فترة العدوى بين مجموعة غير مُصابة،. وبصفة عامة، إذا كان رقم التكاثر أقل من (1)، فإن فرصة العدوى ستتضاءل حتى يختفي المرض تمامًا، أما إن كان أكبر من (1)، فإن كل شخص مُصاب سوف ينقل العدوى إلى شخصٍ آخر على الأقل، مع الوضع في الاعتبار عدم تجانس المجتمعات من حيث نمط الحياة. وتتراوح التقديرات الحالية لعدد التكاثر الأساسي لفيروس كورونا المستجد (أو كوفيد-19) بين 2 و3، (...) ليقترب بهذا من عدد التكاثر الأساسي لفيروس «سارس»، الذي تراوح بين 2 و4 في سنة 2003. (shrink)

Some philosophers search for the mark of the cognitive: a set of individually necessary and jointly sufficient conditions identifying all instances of cognition. They claim that the mark of the cognitive is needed to steer the development of cognitive science on the right path. Here, I argue that, at least at present, it cannot be provided. First (§2), I identify some of the factors motivating the search for a mark of the cognitive, each yielding a desideratum the mark is (...) supposed to satisfy (§2.1). I then (§2.2) highlight a number of tensions in the literature on the mark of the cognitive, suggesting they’re best resolved by distinguishing two distinct programs. The first program (§3) is that of identifying a mark of the cognitive capturing our everyday notion of cognition. I argue that such a program is bound to fail for a number of reasons: it is not clear whether such an everyday notion exists; and even if it existed, it would not be able to spell out individually necessary and jointly sufficient conditions for cognition; and even if it were able to spell them out, these conditions won’t satisfy the desiderata a mark of the cognitive should satisfy. The second program is that of identifying a mark of the cognitive spelling out a genuine scientific kind. But the current state of fragmentation of cognitive science, and the fact that it is splintered in a myriad of different research traditions, prevent us from identifying such a kind. And we have no reason to think that these various research traditions will converge, allowing us to identify a single mark. Or so, at least, I will argue in (§4). I then conclude the paper (§5) deflecting an intuitive objection, and exploring some of the consequences of the thesis I have defended. (shrink)

Traditionally, a scientific model is thought to provide a good scientific explanation to the extent that it satisfies certain scientific goals that are thought to be constitutive of explanation. Problems arise when we realize that individual scientific models cannot simultaneously satisfy all the scientific goals typically associated with explanation. A given model’s ability to satisfy some goals must always come at the expense of satisfying others. This has resulted in philosophical disputes regarding which of these goals are in fact (...) class='Hi'>necessary for explanation, and as such which types of models can and cannot provide explanations. Explanatory monists argue that one goal will be explanatory in all contexts, while explanatory pluralists argue that the goal will vary based on pragmatic considerations. In this paper, I argue that such debates are misguided, and that both monists and pluralists are incorrect. Instead of any goal being given explanatory priority over others in a given context, the different goals are all deeply dependent on one another for their explanatory power. Any model that sacrifices some explanatory goals to attain others will always necessarily undermine its own explanatory power in the process. And so when forced to choose between individual scientific models, there can be no explanatory victors. Given that no model can satisfy all the goals typically associated with explanation, no one model in isolation can provide a good scientific explanation. Instead we must appeal to collections of models. Collections of models provide an explanation when they satisfy the web of interconnected goals that justify the explanatory power of one another. (shrink)

Many researchers determine the question “Why anything rather than nothing?” as the most ancient and fundamental philosophical problem. Furthermore, it is very close to the idea of Creation shared by religion, science, and philosophy, e.g. as the “Big Bang”, the doctrine of “first cause” or “causa sui”, the Creation in six days in the Bible, etc. Thus, the solution of quantum mechanics, being scientific in fact, can be interpreted also philosophically, and even religiously. However, only the philosophical interpretation is the (...) topic of the text. The essence of the answer of quantum mechanics is: 1. The creation is necessary in a rigorous mathematical sense. Thus, it does not need any choice, free will, subject, God, etc. to appear. The world exists in virtue of mathematical necessity, e.g. as any mathematical truth such as 2+2=4. 2. The being is less than nothing rather than more than nothing. So, the creation is not an increase of nothing, but the decrease of nothing: it is a deficiency in relation of nothing. Time and its “arrow” are the way of that diminishing or incompleteness to nothing. (shrink)

In this paper, I examine why moral exemplars are useful and even necessary in moral education despite several critiques from researchers and educators. To support my point, I review recent AI research demonstrating that exemplar-based learning is superior to rule-based learning in model performance in training neural networks, such as large language models. I particularly focus on why education aiming at promoting the development of multifaceted moral functioning can be done effectively by using exemplars, which is similar to exemplar-based (...) learning in AI model training. Furthermore, I discuss the potential limitations and issues related to exemplar-applied moral education with findings from recent studies in AI research raising concerns about model biases and toxic outcomes. I attempt to propose ways to address the concerns regarding employing moral exemplars as well. As remedies, I suggest that autonomy-supporting deliberative and reflective learning processes should be utilized. Furthermore, based on the discussion, I examine how macroscopic socio-cultural aspects influence the effectiveness of exemplar-applied moral education. Suggestions for moral educators and future directions for research in moral education are briefly discussed. (shrink)

This essay asks what it is about the practice of trade that grounds duties of justice between states as trade partners. The answer advanced is that such duties are grounded in the dependence that trade generates. The essay puts forward four conditions that a plausible account of grounding in trade must meet: it must admit of degrees, explain the distinctly international character of trade justice, ground both procedural and distributive duties, and it must be a necessary feature of all (...) trade relationships which generate duties of justice. A dependence account of grounding meets all four conditions, and does so in an intuitively compelling way. While other accounts of what grounds duties of trade justice can meet some of the conditions, none can meet all of them. Relative to rival candidates, then, the dependence account provides a firmer foundation for the ongoing attempts to develop a comprehensive theory of trade justice. (shrink)

In philosophy of mind, zombies are imaginary creatures that are exact physical duplicates of conscious subjects but for whom there is no first-personal experience. Zombies are meant to show that physicalism—the theory that the universe is made up entirely out of physical components—is false. In this paper, I apply the zombie thought experiment to the realm of morality to assess whether moral agency is something independent from sentience. Algorithms, I argue, are a kind of functional moral zombie, such that thinking (...) about the latter can help us better understand and regulate the former. I contend that the main reason why algorithms can be neither autonomous nor accountable is that they lack sentience. Moral zombies and algorithms are incoherent as moral agents because they lack the necessary moral understanding to be morally responsible. To understand what it means to inflict pain on someone, it is necessary to have experiential knowledge of pain. At most, for an algorithm that feels nothing, ‘values’ will be items on a list, possibly prioritised in a certain way according to a number that represents weightiness. But entities that do not feel cannot value, and beings that do not value cannot act for moral reasons. (shrink)

It is common to think that grounding is necessary in the sense that: if P grounds Q, then necessarily: if P, then Q. Though most accept this principle, some give counterexamples to it. Instead of straightforwardly arguing for, or against, necessity, I explain the sense in which grounding is necessary and contingent. I argue that there are two kinds of grounding: what-grounding and why-grounding, where the former kind is necessary while the latter is contingent.

The discussion of the possibility of world government has been revived since the end of the Cold War and particularly after the turn of the millennium. It has engaged many authors. In this article, I provide a survey of the continuing debate on world government. I explore the leading question of the debate, whether the conditions of insecurity in which states are placed and other global problems that face contemporary humanity require the creation of a global authority, and consequently, the (...) establishment of a world state. After a careful analysis I suggest that a world state is neither necessary nor inevitable nor desirable. I argue that the plurality of nation-states that form an international society has a great advantage over a world state. It supports the diversity of character and culture, and sustains the continuous progress of humankind. (shrink)

Should we understand implicit attitudes on the model of belief? I argue that implicit attitudes are (probably) members of a different psychological kind altogether, because they seem to be insensitive to the logical form of an agent’s thoughts and perceptions. A state is sensitive to logical form only if it is sensitive to the logical constituents of the content of other states (e.g., operators like negation and conditional). I explain sensitivity to logical form and argue that it is a (...) class='Hi'>necessary condition for belief. I appeal to two areas of research that seem to show that implicit attitudes fail spectacularly to satisfy this condition—although persistent gaps in the empirical literature leave matters inconclusive. I sketch an alternative account, according to which implicit attitudes are sensitive merely to spatiotemporal relations in thought and perception, i.e., the spatial and temporal orders in which people think, see, or hear things. (shrink)

This metatheoretical paper develops a list of new research targets by exploring particularly promising interdisciplinary contact points between empirical dream research and philosophy of mind. The central example is the MPS-problem. It is constituted by the epistemic goal of conceptually isolating and empirically grounding the phenomenal property of “minimal phenomenal selfhood,” which refers to the simplest form of self-consciousness. In order to precisely describe MPS, one must focus on those conditions that are not only causally enabling, but strictly necessary (...) to bring it into existence. This contribution argues that research on bodiless dreams, asomatic out-of-body experiences, and full-body illusions has the potential to make decisive future contributions. Further items on the proposed list of novel research targets include differentiating the concept of a “first-person perspective” on the subcognitive level; investigating relevant phenomenological and neurofunctional commonalities between mind-wandering and dreaming; comparing the functional depth of embodiment across dream and wake states; and demonstrating that the conceptual consequences of cognitive corruption and systematic rationality deficits in the dream state are much more serious for philosophical epistemology (and, perhaps, the methodology of dream research itself) than commonly assumed. The paper closes by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between dream research and philosophy of mind. (shrink)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient in (...) their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

In A Realist Theory of Science, Roy Bhaskar provides several transcendental arguments for critical realism – a position Bhaskar himself characterized as transcendental realism. Bhaskar provides an argument from perception and from the intelligibility of scientific experimentation, maintaining that transcendental realism is necessary for both. I argue that neither argument succeeds, and that transcendental idealism can better vindicate scientific practice than Bhaskar’s realism. Bhaskar’s arguments against the Kantian view fail, for they misrepresent the transcendental idealist position. I conclude that, (...) if they wish to retain their theoretical commitments, critical realists ought to be transcendental idealists. (shrink)

This paper gives a radical answer to why there is something rather than nothing based on the Calculus of Qualia and its non-referential terms. The answer turns out to be: because what exists exists necessarily because of its nature. To sum up and oversimplify the extensive argument in two sentences, skipping many steps: 1. By the question “why is there something rather than nothing” we actually mean to be asking “why is there something rather than the weakest assumption?” 2. The (...) non-referential term █ (which does not even refer to itself) in the Calculus of Qualia possibly exists, and, as it has no counterfactuals, that implies its necessary actuality. The upshot is that the existence of the non-referential term █ is a weaker assumption (i.e. assumes less) than the assumption that there could have been nothing. The extensive argument in the paper gives the first compelling secular answer to the ultimate question. (shrink)

My aim here is to answer the question about why is there something rather than nothing by arguing for the existence of some necessary beings (that, as such, couldn’t not exist) – the space, the time, and the natural basic laws – and by showing that the existence of nothingness is logically impossible. I also try to account for the fact that contingent beings arise from necessary beings by distinguishing between necessary existence and necessary arising, as (...) to answer the question about why is there anything contingent at all and to propose a solution to the Dilemma of Contingency. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some categories (...) are void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

In his opening speech, Timaeus (Timaeus27d5-29b1) argues that the cosmos must be the product of a craftsman looking to an eternal paradigm. Yet his premises seem at best to justify only that the world could have been made by such a craftsman. This paper seeks to clarify Timaeus’ justification for his stronger conclusion. It is argued that Timaeus sees a necessary role for craftsmanship as a cause that makes becoming like being.

Self-consciousness relates to important themes, such as sentience and personhood, and is often the cornerstone of moral theories (Warren, 1997). However, not much attention is given to future moral creatures of the earth: robots. This may be due to the unsettled status of their experience, which is why I have chosen to find the necessary features of self-consciousness in them. Philosophy of mind is also my interest which I have developed since I rejected the idea of souls and could (...) not account for my own phenomenal experiences. Among the current answers to the hard problem of consciousness (Chalmers, 1995) one stood out to me – Daniel Dennett’s multiple drafts model of consciousness presented in “Consciousness Explained” (Dennett, 1991) and his other works. Daniel Dennett is a self-described illusionist (Dennett, 2016) and a functionalist. His position is synonymous to holding self-conscious experiences, such as deliberating over one’s pain or reflecting over one’s actions insufficient to postulate existence of a metaphysical self. He believes instead that experiences are functional realizations which do not require any self, and the feeling of being conscious or self-conscious is actually a ”user-illusion” (Dennett, 1991), a term describing the unjustified belief of being in control of one’s actions. In his views, a selfhood as it is popularly conceived is contradictory. Therefore, he rejects realism about mental events, a position also called naïve realism (Siegel, 2011), on the basis that it is unverifiable and there are insufficient grounds to accept mental events (Dennett, 1988). He adopts a similar scepticism towards other theories of minds, hence nearing eliminative materialism in self-consciousness and related theme of pain (Dennett, 1978). His multiple drafts model of consciousness seeks to ground our beliefs about self-consciousness in the specific architecture of mind, which is particular to every species and kind of being. As such it is a particularly flexible theory that examines experiences of non-humans without falling into binary thinking – believing that a being has as rich inner life as humans do or none. This is why it is a great starting point for establishing necessary conditions for consciousness in robots. In this essay, I will often use words computer, programme, robot interchangeably for the purpose of clarity and take as the working definition “autonomous machines capable of sensing their environment, making decision and performing tasks similar to human actions”. I chose to explore self-consciousness instead of committing to the issue of consciousness, because consciousness can be defined in a weak sense, in which even a thermostat is “conscious” of the temperature, and consciousness in a strong sense, which invokes the internalism and externalism debate that is less connected to the nature of experiences than self-consciousness. My exploration pertains first and foremost to the philosophy of mind, of which I will examine the most relevant positions and decide to commit to functionalism (Block, 1980). Then I will advocate for explaining away of some of phenomena of self-consciousness and believing self-consciousness to be a sort of illusion. From there I will conclude that robots could fall for the same illusion of self-consciousness and therefore become self-conscious. I will argue, that self-consciousness can be established using a modified Turing Test, which would determine if a robot believed in a meaningful narrative about itself (Ricoeur, 1991) and hence be self-conscious. This will lead to answering the question of this essay: what are the features necessary for a self-conscious robot in the light of “Consciousness Explained” by Daniel Dennett? (shrink)

In this paper I will introduce a problem for at least those Humeans who believe that the future is open. More particularly, I will argue that the following aspect of scientific practice cannot be explained by openfuture- Humeanism: There is a distinction between states that we cannot bring about (which are represented in scientific models as nomologically impossible) and states that we merely happen not to bring about. Open-future-Humeanism has no convincing account of this distinction. Therefore it fails to explain (...) why we cannot bring about certain states of affairs, it cannot explain what I call the “recalcitrance of nature”. (shrink)

I make what I believe is a spirited and lively treatment for the necessary abandonment of scientific materialist ontology in light of numerous difficulties that have arisen within the materialist approach when examined in the light of contemporary physics. Every effort is made to ensure that it is aimed at a non-specialized, intelligent audience (except for this abstract). Within this approach every attempt is made to avoid the jargon employed by specialists, which still remaining accurate. I make a case (...) for the abandonment of materialism in favor of a specific brand of idealism that fits with what cutting edge science requires at its epistemological foundation, but does not lead to disqualifying shortcomings that occasionally accompany some idealist prescriptions. I move from the suggested idealist remedy to how this idealism may mitigate aspects of the arrow of time dilemma. I also suggest this its employment in conjunction with holographic modeling may be especially efficacious in the contemporary scientific endeavor. (shrink)

What is the significance of empirical moral psychology for metaethics? In this article we take up Michael Ruse’s evolutionary debunking argument against moral realism and reassess it in the context of the empirical state of the art. Ruse’s argument depends on the phenomenological presumption that people generally experience morality as objective. We demonstrate how recent experimental findings challenge this widely-shared armchair presumption and conclude that Ruse’s argument fails. We situate this finding in the recent debate about Carnapian explication and argue (...) that it illustrates the necessary role that empirical moral psychology plays in explication preparation. Moral psychology sets boundaries for reasonable desiderata in metaethics and, therefore, it is necessary for metaethics. (shrink)

Relational egalitarians claim that a situation is just only if everyone it involves relates to one another as equals. It implies that relational egalitarians believe the ideal of “living as equals” (for short) is desirable, and furthermore, necessary for justice. In this paper, I distinguish three accounts of the desirability of the ideal: the instrumental value account, the non‐instrumental value account, and the non‐consequentialist account. I argue that the former two accounts cannot provide satisfying reasons for being a relational (...) egalitarian. Instead, the ideal of “living as equals” ought to be understood as fundamentally a moral requirement in a non‐consequentialist sense. In addition, a pluralist (though fundamentally non‐consequentialist) approach is welcome. (shrink)

Coordinating competing interests can be difficult. Because law regulates human behavior, it is a candidate mechanism for creating coordination in the face of societal disagreement. We argue that findings from moral psy- chology are necessary to understand why law can effectively resolve co- occurring conflicts related to punishment and group membership. First, we discuss heterogeneity in punitive thought, focusing on punishment within the United States legal system. Though the law exerts a weak influence on punitive ideologies before punishment occurs, (...) we argue that it effectively coordinates perceptions of individuals who have already been punished. Next, we discuss intergroup conflict, which often co-occurs with disagree- ments related to punishment and represents a related domain where coor- dination can be difficult to achieve. Here, we underscore how insights from moral psychology can promote equality via the law. These examples demonstrate how contributions from moral psychology are necessary to understand the connection between social cognition and law. (shrink)

Are physics and chemistry sufficient to provide a basis for a theory of everything? The worldview of materialist naturalism that forms the foundation of NeoDarwinian evolution, Big Bang cosmogony, and molecular biology in general has been subjected to challenge for its monumental failure to explain life, consciousness and other mind-related aspects of reality. Two recent books, Why Evolution is True by Jerry Coyne [1], and Thomas Nagel’s Mind and Cosmos: Why the Materialist NeoDarwinian Conception of Nature Is Almost Certainly False (...) [2], both authors being atheists, reflect the deep rift we find, not only in the religious conflict between creation and evolution, but in the fundamental awareness we all have that we are more than just molecular matter. This common sense understanding can only escape the notice of a particularly shallow ideological dogmatism that insists it has all the answers based solely on its unprecedented technological success. Science has come to represent two different things: (a) a body of knowledge, and (b) a method for acquiring knowledge. The problem arises when it is forgotten that there is no independent body of knowledge for science apart from its method – it keeps changing according to the results of the latest findings of the scientific method. The method is not to be abandoned because of those who would like to replace it with a fixed body of knowledge, which then becomes ideology. If biogenesis is hypothesized as the law of Nature, and we observe that life comes from pre-existing life in all our experience, while the hypothesis of abiogenesis, that life comes from matter, is never backed by any observation, then according to the scientific method—which one is to be accepted as true scientific knowledge? Obviously, the one backed by empirical observation. It is necessary to get free of ideological “knowledge,” and return to science as a method for gathering evidence that may lead to conclusions beyond the material naturalist view of Nature, and conforms to what we experience and rationally understand about the world in which we live. (shrink)

“Physical premotion” is a concept associated with Baroque Catholic theological debates concerning grace and freedom. In this paper, I present an argument that the entities identified in this debate, physical premotions, are necessary for any classical theist’s account of divine causality. A “classical theist” is a theist who holds both that God is simple, that is, without inhering properties, and that humans and God are both free in the incompatibilist sense. In fact, not only does the acceptance of physical (...) premotions not entail determinism, physical premotions are the only way for classical theists to preserve the aforementioned two commitments. Nevertheless, the theory of premotions cannot help theologians resolve questions of how God causes human free acts without violating their freedom. (shrink)

In this paper, I develop two philosophically suggestive arguments that the late Justice Stevens made in Citizens United against the idea that business corporations have free speech rights. First, (1) while business corporations conceived as real entities are capable of a thin agency conceptually sufficient for moral rights, I argue that they fail to clear important justificatory hurdles imposed by interest or choice theories of rights. Business corporations conceived as real entities lack an interest in their personal security; moreover, they (...) are incapable of exercising innate powers of choice. Second, (2) I argue that the structure and functionally individualized purpose of a business corporation—to increase value for its shareholders—undermines the implicit joint commitment necessary to derive corporate rights of free speech from non-operative shareholder-member rights. Since one cannot transfer innate moral rights such as free speech, any exercise of this right on behalf of another must be limited in scope. (shrink)

In this paper, we argue that there are reasons to believe that an implicit bias for normalcy influences what are considered medically necessary treatments in psychiatry. First, we outline two prima facie reasons to suspect that this is the case. A bias for ‘the normal’ is already documented in disability studies; it is reasonable to suspect that it affects psychiatry too, since psychiatric patients, like disabled people, are often perceived as ‘weird’ by others. Secondly, psychiatry's explicitly endorsed values of (...) well-being and function are hard to measure directly, which is why we see simpler box-ticking conceptions of recovery used in large research studies. This need not be problematic, but might lead to researchers and clinicians focusing too much on treatments that promote easy-to-measure proxies for recovery, instead of what actually matters to psychiatric patients themselves. Next, we provide examples of treatments and treatment decisions within two areas – self-injury and psychosis – which are hard to explain unless we assume that an implicit and harmful normalcy bias is at work. We conclude with some suggestions for clinicians and future research. (shrink)

The work of prominent analytical Marxist G. A. Cohen provides a vision of socialism which has distributive justice and community at its core. While Cohen's view of distributive justice has been hugely influential, much less has been said about community. This article argues that community plays three distinct roles in Cohen's socialism. One is as an independent value, the second is as a necessary adjacent counterpart to justice, which serves both to restrict and facilitate distributive equality, and the third (...) is as a critique of the liberal contractualist view of humanity. We argue that each of these are distinct and valuable elements in Cohen's thought, each of which must be recognized to understand the range and implications of Cohen's socialism. (shrink)

The article analyses the necessary conditions an argument for popular punishment would need to meet, and argues that it faces the challenge of a dilemma of reasonableness: either popular views on punishment are unreasonable, in which case they should carry no weight, or they are reasonable, in which case the reasons that support them, not the views, should carry weight. It proceeds to present and critically discuss three potential solutions to the dilemma, arguing that only an argument for the (...) beneficial effects of coherence between popular views and penal policy is persuasive, but that it makes popular punishment less important than proponents claim, and offers a justification proponents will find it difficult to advance. (shrink)

In “Two Dogmas”, Quine indicates that Carnap’s Aufbau fails “in principle” to reduce our knowledge of the external world to sense data. This is because in projecting the sensory material to reconstruct the physical world, Carnap gives up the use of operating rules and switches to a procedure informed by general principles. This procedure falls short of providing an eliminative translation for the connective “is at”, which is necessary for the reduction. In dissecting Quine’s objection, I argue that Quine (...) has at best proven the claim that the use of general principles essentially fails the task of radical reductionism. However, in order to establish the conclusion that the Aufbau fails in principle, Quine needs to further vindicate two other claims. They are: first, a switch from operating rules to general principles is necessary; second, the set of general principles Carnap adopts is the best alternative. By disambiguating the notion of “explicit definition” and examining the concept of definability in the Aufbau, I explore the possibility of justifying these two claims that Quine overlooks in his objection. The result suggests that Quine’s objection stands in tension with his radical reductionist reading of the Aufbau. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...) two questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

The ability to collect fine-grained energy data from smart meters has benefits for utilities and consumers. However, a proactive approach to data privacy is necessary to maximize the potential of these data to support low-carbon energy systems, and innovative business models.

Cosmological arguments for God typically have two stages. The first stage argues for a first cause or a necessary being, and the second stage argues from there to God. T. Ryan Byerly offers a simple, abductive argument for the second stage where the best explanation for why the being is found to have necessary existence is that it is a perfect being. The reasoning behind this argument is that universal generalizations explain observations of their instances; for example, the (...) universal generalization that all ravens are black explains why some particular raven is observed to be black. Similarly, the fact that a being has all perfections explains why we find the being to have necessary existence. I distinguish between two readings of Byerly’s proposed theistic explanation, and conclude that his explanation does not offer an advantage to the theist in either case. (shrink)

The problem of synthetic judgements touches on the question of whether philosophy can draw independent statements about reality in the first place. For Kant, the synthetic judgements a priori formulate the conditions of the possibility for objectively valid knowledge. Despite the principle fallibility of its statements, modern science aims for objective knowledge. This gives the topic of synthetic a priori unbroken currency. This paper aims to show that a modernized version of transcendental philosophy, if it is to be feasible at (...) all, must “bid farewell” to the concept of being “free of empiricism” or the “purity” of the a priori. Approaches to this end can already been found in Kant’s reflections on non-pure synthetic knowledge. Moreover, the a priori validity of knowledge does not exclude the possibility that it can be discovered empirically. In keeping with Kant, Fries and Nelson anticipated this separation (usually first attributed to Reichenbach) between the validity and discovery context of knowledge and pointed out that the a priori could be discovered empirically, but never proven. There are currently still good reasons why transcendental philosophical concepts are of fundamental importance for modern science, although it must not be overlooked that even within the framework of a modernized transcendental philosophy, several unsolved problems remain or are raised. For example, the irredeemability of the universal validity and necessary claims of the a priori, the problem of a clear demarcation between the phenomenal and noumenal world. Moreover, the “beautiful structure” or the Kantian system, which constituted its persuasive power, is lost. (shrink)

The epistemic regress problem targets our ability to provide reasons for our beliefs. If we need reasons for our beliefs, then we may also need to provide reasons for those reasons, and so on into regress. Because the epistemic regress problem is often cast as an attack on our ability to achieve justification, it is often thought that epistemic positions which do not rely on notions like justification escape without difficulty. The first goal of this dissertation is to establish the (...) generality of the epistemic regress problem, beyond all technicalities regarding the nature of justification. To do this, I propose a new minimal epistemic standard, that we should hold no bald assertions to be epistemically acceptable. I then use this epistemic standard to construct two new forms of the epistemic regress problem. The first version of the problem is reminiscent of the classical problem in that it attacks our ability to locate any such reason. The second version of the problem attacks our ability to unite any such reason to a particular claim that it is supposed to support. The second goal of this dissertation is to argue that pragmatism fails as a solution to the epistemic regress problem. The pragmatist seeks to avoid the regress by provisionally accepting their beliefs to be evaluated later. In so doing, the pragmatist seeks to have reasonable beliefs, but only after having accepted them provisionally. After eliminating other theoretical alternatives that the pragmatist may use to bolster their position, I argue that the pragmatic solution is not successful because (1) it is committed to some foundational beliefs that are necessary to facilitate the evaluation of their provisional beliefs which fall prey to the regress, and (2) the employment of these criteria of evaluation encounters the regress in its second form. I conclude by advocating for an understanding of Pyrrhonian skepticism under which we are not required to eschew our everyday beliefs that is nevertheless commensurate with the epistemic regress. (shrink)

This note discusses the importance of Natural History (biology) in the development of Aristotle philosophy and scientific outlook, and so the importance of considering Aristotle's philosophy as a necessary and useful background for contemporary biology.

I became a philosopher because I was fascinated by the ethics of abortion. Not only is abortion a crucial practical issue – a matter of life or death – but it forces us to grapple with some of the hardest and yet most significant philosophical questions: If we agree that all human beings have a right to life, what entities do we count as human beings? What characteristics, if any, are necessary? What happens when one entity’s life clashes with (...) another’s bodily integrity? What are the roles of responsibility, consent and fore-knowledge? (shrink)

Although the map of technology ethics is expanding, the growing subdomains within it may raise misgivings. In a recent and very interesting article, Sætra and Danaher have argued that the current dynamic of sub-specialization is harmful to the ethics of technology. In this commentary, we offer three reasons to diminish their concern about ethical proliferation. We argue first that the problem of demarcation is weakened if we attend to other sub-disciplines of technology ethics not mentioned by these authors. We claim (...) secondly that the logic of sub-specializations is less problematic if one does adopt mixed models (combining internalist and externalist approaches) in applied ethics. We finally reject that clarity and distinction are necessary conditions for defining sub-fields within ethics of technology, defending the porosity and constructive nature of ethical disciplines. (shrink)

Advocates of dynamic systems have suggested that higher mental processes are based on continuous representations. In order to evaluate this claim, we first define the concept of representation, and rigorously distinguish between discrete representations and continuous representations. We also explore two important bases of representational content. Then, we present seven arguments that discrete representations are necessary for any system that must discriminate between two or more states. It follows that higher mental processes require discrete representations. We also argue that (...) discrete representations are more influenced by conceptual role than continuous representations. We end by arguing that the presence of discrete representations in cognitive systems entails that computationalism (i.e., the view that the mind is a computational device) is true, and that cognitive science should embrace representational pluralism. (shrink)

In Part One of Religion within the Bounds of Bare Reason, Kant repeatedly refers to a “proof” that human nature has a necessary and universal “evil propensity,” but he provides only obscure hints at its location. Interpreters have failed to identify such an argument in Part One. After examining relevant passages, summarizing recent attempts to reconstruct the argument, and explaining why these do not meet Kant's stated needs, I argue that the elusive proof must have a transcendental form (called (...) quasi‐transcendental because Kant never uses “transcendental” in Religion). With deceptive simplicity, the section titles of Part One, viewed as components in an architechtonic system of religion, constitute steps in just such a proof. (shrink)

I argue in this paper that the process of compromising needs to be deliberative if a fair compromise is the goal. More specifically, I argue that deliberation is structurally necessary in order to achieve a fair compromise. In developing this argument, this paper seeks to overcome a problematic dichotomy that is prevalent in the literature on deliberative democracy, which is the dichotomy between compromise and deliberation. This dichotomy entails the view that the process preceding the achievement of a compromise (...) is essentially a process of negotiating or bargaining, which, I claim, should not be the case if a fair compromise is the goal. The reason for this claim is, in a nutshell, that negotiation or bargaining processes do not provide for an in-depth understanding of the reasons that each party has for holding their respective position. However, an in-depth understanding of each other’s reasons, is, as I will show, a necessary condition for achieving a fair compromise. In contrast to negotiation or bargaining, the deliberative process, by its very structure, provides for mutual understanding and is therefore a necessary condition for achieving a fair compromise. (shrink)

I argue that Republic presents thumos as a limited, or flawed, principle of psychic unity. My central claim is that Plato both makes this assertion about the necessary limitations of thumos, and can defend it, because he understands thumos as the pursuit of to oikeion, or one’s own. So understood, the thumoetic part divides the world into self and other and pursues the defense of the former from the latter. As a result, when confronted with a conflicting desire, the (...) thumoetic part makes sense of that desire as an irredeemable opponent. That, in turn, precludes the persuasion of desires that Plato sees as necessary for psychic harmony. (shrink)