During the past few years, the IRBIT domain has emerged as an important add‐on of S‐adenosyl‐L‐homocystein hydrolase (AHCY), thereby creating the new family of AHCY‐like proteins. In this review, we discuss the currently available data on this new family of proteins. We describe the IRBIT domain as a unique part of these proteins and give an overview of its regulation via (de)phosphorylation and proteolysis. The second part of this review is focused on the potential functions of the AHCY‐like proteins. We (...) propose that the IRBIT domain serves as an anchor for targeting AHCY‐like proteins towards cytoplasmic targets. This leads to regulation of (i) intracellular Ca2+ via the inositol 1,4,5‐trisphosphate receptor (IP3R), (ii) intracellular pH via the Na+/HCO3− cotransporters (NBCs); whereas inactivation of the IRBIT domain induces (iii) nuclear translocation and regulation of AHCY activity. Dysfunction of AHCY‐like proteins will disturb these three important functions, with various biological implications. BioEssays 30:642–652, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

No-platforming—the refusal to allow those who espouse views seen as inflammatory the opportunity to speak in certain forums—is very controversial. Proponents typically cite the possibility of harms to disadvantaged groups and, sometimes, epistemically paternalistic considerations. Opponents invoke the value of free speech and respect for intellectual autonomy in favor of more open speech, arguing that the harms that might arise from bad speech are best addressed by rebuttal, not silencing. In this article, I argue that there is a powerful consideration (...) in favor of no-platforming some speakers: allowing them a platform generates genuine higher-order evidence in favor of their claims. When that higher-order evidence would be misleading, we may reasonably believe it should not be generated. (shrink)

What makes an argument in a law case good or bad? This book examines this and other questions central to the study of jurisprudence. Care has been taken to make the legal elements of the book readily accessible to non-lawyers, and the philosophical elements to non-philosophers.

This paper presents the Universality Argument that pleasure is goodness. The first premise defines goodness as what should please all. The second premise reduces 'should' to perceptual accuracy. The third premise invokes a universal standard of accuracy: qualitative identity. Since the pleasure of all is accurate solely about pleasure, pleasure is goodness, or universal moral value. The argument proceeds from a moral sense theory that analyzes moral concepts as concerned with what all should hope for, feel guilty about, and admire. (...) This requires rejecting practical anti-empiricism, the view that moral judgment concerns empirically inaccessible norms governing action. (shrink)

Much of what we know we know through testimony, and knowing on the basis of testimony requires some degree of trust in speakers. Trust is therefore very valuable. But in trusting, we expose ourselves to risks of harm and betrayal. It is therefore important to trust well. In this paper, I discuss two recent cases of the betrayal of trust in (broadly) academic contexts: one involving hoax submissions to journals, the other faking an identity on social media. I consider whether (...) these betrayals suggest that we ought to be less trusting in contexts like these. I argue that we should not: the acquisition of knowledge is dependent on trust, and we cannot intentionally reduce the extent to which we trust in these kinds of contexts without risking destroying it utterly. Instead, we must trust in our epistemic networks and the way they work to filter out deception. (shrink)

Why do people endorse conspiracy theories? There is no single explanation: different people have different attitudes to the theories they say they believe. In this paper, I argue that for many, conspiracy theories are serious play. They’re attracted to conspiracy theories because these theories are engaging: it’s fun to entertain them (witness the enormous number of conspiracy narratives in film and TV). Just as the person who watches a conspiratorial film suspends disbelief for its duration, so many conspiracy theorists do (...) not believe the theories they endorse; rather, they suspend disbelief in them. I argue that the serious play hypothesis explains some characteristic features of conspiracy theories, such as their gamification and the kind of relationship they have to evidence. (shrink)

Propositionalism is the view that the contents of intentional attitudes have a propositional structure. Objectualism opposes propositionalism in allowing the contents of these attitudes to be ordinary objects or properties. Philosophers including Talbot Brewer, Paul Thagard, Michelle Montague, and Alex Grzankowski attack propositionalism about such attitudes as desire, liking, and fearing. This article defends propositionalism, mainly on grounds that it better supports psychological explanations.

The extended mind thesis is the claim that mental states extend beyond the skulls of the agents whose states they are. This seemingly obscure and bizarre claim has far-reaching implications for neuroethics, I argue. In the first half of this article, I sketch the extended mind thesis and defend it against criticisms. In the second half, I turn to its neuroethical implications. I argue that the extended mind thesis entails the falsity of the claim that interventions into the brain are (...) especially problematic just because they are internal interventions, but that many objections to such interventions rely, at least in part, on this claim. Further, I argue that the thesis alters the focus of neuroethics, away from the question of whether we ought to allow interventions into the mind, and toward the question of which interventions we ought to allow and under what conditions. The extended mind thesis dramatically expands the scope of neuroethics: because interventions into the environment of agents can count as interventions into their minds, decisions concerning such interventions become questions for neuroethics. (shrink)

Discussions of virtue signaling to date have focused exclusively on the signaling of the moral virtues. This article focuses on intellectual virtue signaling: the status-seeking advertising of supposed intellectual virtues. Intellectual virtue signaling takes distinctive forms. It is also far more likely to be harmful than moral virtue signaling, because it distracts attention from genuine expertise and gives contrarian opinions an undue prominence in public debate. The article provides a heuristic by which to identify possible instances of intellectual virtue signaling. (...) When people with no relevant expertise rapidly move to offer their opinions on a wide range of topics as soon as these topics become fashionable or newsworthy, and especially when these opinions are contrarian, we should suspect them of intellectual virtue signaling. (shrink)

An influential model holds that obsessive–compulsive disorder is caused by distinctive personality traits and belief biases. But a substantial number of sufferers do not manifest these traits. I propose a predictive coding account of the disorder, which explains both the symptoms and the cognitive traits. On this account, OCD centrally involves heightened and dysfunctionally focused attention to normally unattended sensory and motor representations. As these representations have contents that predict catastrophic outcomes, patients are disposed to engage in behaviors and mental (...) rituals designed to forestall these outcomes or to produce more precise information. The same representations also cause the cognitive traits characteristic of sufferers. (shrink)

Heidegger’s ontological views, his observations about liberalism and fascism, and his evaluative commitments are three premises of an argument for fascism. The ontological premise is that integrated wholes and objects of a creator or user’s will are ontologically superior, as Being and Time suggests in discussing Being-a-whole, creating art, and using equipment. The social premise is that fascist societies are wholes integrated by dictatorial will, while liberal societies are looser aggregates of free individuals, as Heidegger describes in his 1930s seminars. (...) The evaluative premise, shared with the medieval tradition and expressed in his notebook remarks about war, is that ontological superiority makes things better. The conclusion that fascism is better than liberalism should be rejected along with the evaluative premise. (shrink)

In part one, I identify the core logical structure of the precautionary principle and distinguish it from the various key concepts that appear in the many different formulations of the principle. I survey these concepts and suggest a program of further conceptual analysis. In part two, I examine a particular version of the precautionary principle dubbed “the catastrophe principle” and criticize it in light of its similarities to the principle at work in Pascal’s Wager. I conclude with some suggestions for (...) advocates of the precautionary principle who wish their formulation to avoid the pitfalls confronting the catastrophe principle. (shrink)

Most philosophers think that phenomenal consciousness underlies, or at any rate makes a large contribution, to moral considerability. This paper argues that many such accounts invoke question-begging arguments. Moreover, they’re unable to explain apparent differences in moral status across and within different species. In the light of these problems, I argue that we ought to take very seriously a view according to which moral considerability is grounded in functional properties. Phenomenal consciousness may be sufficient for having a moral value, but (...) it may not be necessary, and it may contribute relatively little to our overall considerability. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. Two attempts to specify R are (...) discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

Any consistent and sufficiently strong system of first-order formal arithmetic fails to decide some independent Gödel sentence. We examine consistent first-order extensions of such systems. Our purpose is to discover what is minimally required by way of such extension in order to be able to prove the Gödel sentence in a non-trivial fashion. The extended methods of formal proof must capture the essentials of the so-called 'semantical argument' for the truth of the Gödel sentence. We are concerned to show that (...) the deflationist has at his disposal such extended methods-methods which make no use or mention of a truth-predicate. This consideration leads us to reassess arguments recently advanced-one by Shapiro and another by Ketland-against the deflationist's account of truth. Their main point of agreement is this: they both adduce the Gödel phenomena as motivating a 'thick' notion of truth, rather than the deflationist's 'thin' notion. But the so-called 'semantical argument', which appears to involve a 'thick' notion of truth, does not really have to be semantical at all. It is, rather, a reflective argument. And the reflections upon a system that are contained therein are deflationarily licit, expressible without explicit use or mention of a truth-predicate. Thus it would appear that this anti-deflationist objection fails to establish that there has to be more to truth than mere conformity to the disquotational T-schema. (shrink)

In 'What Luck Is Not', Lackey presents counterexamples to the two most prominent accounts of luck: the absence of control account and the modal account. I offer an account of luck that conjoins absence of control to a modal condition. I then show that Lackey's counterexamples mislocate the luck: the agents in her cases are lucky, but the luck precedes the event upon which Lackey focuses, and that event is itself only fortunate, not lucky. Finally I offer an account of (...) fortune. Fortune is luck-involving, and therefore easily confused with luck, but it is not itself lucky. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

The United States Supreme Court hasrecently ruled that virtual child pornographyis protected free speech, partly on the groundsthat virtual pornography does not harm actualchildren. I review the evidence for thecontention that virtual pornography might harmchildren, and find that it is, at best,inconclusive. Saying that virtual childpornography does not harm actual children isnot to say that it is completely harmless,however. Child pornography, actual or virtual,necessarily eroticizes inequality; in a sexistsociety it therefore contributes to thesubordination of women.

This paper advances three necessary conditions on a successful account of sentential negation. First, the ability to explain the constancy of sentential meaning across negated and unnegated contexts (the Fregean Condition). Second, the ability to explain why sentences and their negations are inconsistent, and inconsistent in virtue of the meaning of negation (the Semantic Condition). Third, the ability of the account to generalize regardless of the topic of the negated sentence (the Generality Condition). The paper discusses three accounts of negation (...) available to moral expressivists. The first—the dominant commitment account—fails to meet the Fregean Condition. The two remaining accounts—commitment semantics and the expression account—satisfy all three conditions. A recent argument that the dominant commitment account is the only option available to expressivists is considered and rejected. (shrink)

I respond here to an argument given recently in this journal by Erik Carlson, Jens Johansson, and Olle Risberg. The authors object to the counterfactual comparative account of harm. They argue that, on this account, an action that would harm the agent might leave her better off than would some alternative action that would benefit her, and they object to this implication. By appealing to group or plural harm, I argue that their objection fails.

Seasonal influenza kills many hundreds of thousands of people every year. We argue that the current pandemic has lessons we should learn concerning how we should respond to it. Our response to the COVID-19 not only provides us with tools for confronting influenza; it also changes our sense of what is possible. The recognition of how dramatic policy responses to COVID-19 were and how widespread their general acceptance has been allowed us to imagine new and more sweeping responses to influenza. (...) In fact, we not only can grasp how we can reduce its toll; this new knowledge entails new responsibilities to do so. We outline a range of potential interventions to alter social norms and to change structures to reduce influenza transmission, and consider ethical objections to our proposals. (shrink)

The conflict between agency and stakeholder theories of the firm has long been entrenched in organizational and management literature. At the core of this debate are two competing views of the firm in which assumptions and process contrast each other so sharply that agency and stakeholder views of the firm are often described as polar opposites. The purpose of this paper is to show how agency theory can be subsumed within a general stakeholder model of the firm. By analytically deconstructing (...) the assumptions of agency theory, it is argued that agency theory: (1) must include a recognition of stakeholders; (2) requires a moral minimum to be upheld, which places four moral principles above the interests of any stakeholders, including shareholders; (3) consists of contradictory assumptions about human nature and which give rise to the equally valid assumptions of trust, honesty and loyalty to be infused into the agency relationship. In this way, stakeholder theory is argued to be the logical conclusion of agency theory. Empirical hypotheses are presented as a means to substantiate this claim. (shrink)

The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.

This is an essay about general covariance, and what it says about spacetime structure. After outlining a version of the dynamical approach to spacetime theories, and how it struggles to deal with generally covariant theories, I argue that we should think about the symmetry structure of spacetime rather differently in generally-covariant theories compared to non-generally-covariant theories: namely, as a form of internal rather than external symmetry structure.

In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence. Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions (...) of equivalence between different logical theories; such a criterion is exhibited and shown to judge classical and intuitionistic logic to be inequivalent. (shrink)

This paper elaborates and defends an expressivist account of the claims of mind-independence embedded in ordinary moral thought. In response to objections from Zangwill and Jenkins it is argued that the expressivist 'internal reading' of such claims is compatible with their conceptual status and that the only 'external reading' available doesn't commit expressivisists to any sort of subjectivism. In the process a 'commitment-theoretic' account of the semantics of conditionals and negations is defended.

This work is a controversial collection of interrelated papers investigating and arguing about issues of concern to lawyers and politicians today. MacCormick combines a scholarly concern with leading thinkers such as John Locke, Lord Stair, Adam Smith and David Hume, John Rawls, Ronald Dworkin, and Patrick Atiyah, and stringently argued view of questions of political obligation, civil liberty, and legal rights.

Shows how to program on a computer (in Prolog) the effective skills taught in introductory and intermediate logic courses. The topics include the relevance of relevance, representing formulae and proofs, avoiding loops and blind alleys, and other aspects. Of interest to computational logicians, proof-theorists, cognitive scientists, and workers in artificial intelligence. Distributed by Columbia U. Press. Annotation copyright by Book News, Inc., Portland, OR.

The naive anti-realist holds the following principle: (◊K) All truths are knowable. This unrestricted generalization (◊K), as is now well known, falls prey to Fitch’s Paradox (Fitch 1963: 38, Theorem 1). It can be used as the only suspect principle, alongside others that cannot be impugned, to prove quite generally, and constructively, that the set {p, ¬Kp} is inconsistent (Tennant 1997: 261). From this it would follow, intuitionistically, that any proposition that is never actually known to be true (by anyone, (...) at any time) is false; and it would follow, classically, that every truth is known (by someone, at some time). (shrink)

Williamson argues for the contention that substructural logics are ‘ill-suited to acting as background logics for science’. That contention, if true, would be very important, but it is refutable, given what is already known about certain substructural logics. Classical Core Logic is a substructural logic, for it eschews the structural rules of Thinning and Cut and has Reflexivity as its only structural rule. Yet it suffices for classical mathematics, and it furnishes all the proofs and disproofs one needs for the (...) hypothetico-deductive method in science. We explain exactly what Classical Core Logic is, why it is a substructural logic par excellence, and what the basic requirements would be for a logic to be ‘suited to acting as [a] background logic for science’. We also explain how Classical Core Logic meets all these requirements. We end by examining Williamson’s argument in order to expose where its error lies. (shrink)

In applied ethics, debates about responsibility have been relentlessly individualistic and synchronic, even as recognition has increased in both philosophy and psychology that agency is distributed across time and individuals. I therefore warmly welcome Brown and Savulescu’s analysis of the conditions under which responsibility can be shared and extended. By carefully delineating how diachronic and dyadic responsibility interact with the long-established control and epistemic conditions, they lay the groundwork needed for identifying how responsibility may be inter-individual and intra-individual. Unsurprisingly, I (...) don’t agree with every aspect of their rich account. I strongly suspect that the privileged place the individual continues to occupy in their taxonomy is a residue of the kind of internalist intuitions which dominate WEIRD thinking.1 2 However, I won’t pursue this line of thought here. Instead, I apply Brown and Savulescu’s analysis. Moving beyond the programmatic level at which they develop their account, I will show how it provides a basis for excusing many individuals, focusing not on the dyadic level but the diachronic. Most of the …. (shrink)

The largest work ever published in the social and behavioural sciences. It contains 4000 signed articles, 15 million words of text, 90,000 bibliographic references and 150 biographical entries.

This study continues the anti-realist’s quest for a principled way to avoid Fitch’s paradox. It is proposed that the Cartesian restriction on the anti-realist’s knowability principle ‘ϕ, therefore 3Kϕ’ should be formulated as a consistency requirement not on the premise ϕ of an application of the rule, but rather on the set of assumptions on which the relevant occurrence of ϕ depends. It is stressed, by reference to illustrative proofs, how important it is to have proofs in normal form before (...) applying the proposed restriction. A similar restriction is proposed for the converse inference, the so-called Rule of Factiveness ‘3Kϕ therefore ϕ’. The proposed restriction appears to block another Fitch-style derivation that uses the KK -thesis in order to get around.. (shrink)

This is a reply to the considerations advanced by Schroeder-Heister and Tranchini as prima facie problematic for the proof-theoretic criterion of paradoxicality, as originally presented in Tennant and subsequently amended in Tennant. Countering these considerations lends new importance to the parallelized forms of elimination rules in natural deduction.

The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logicR. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant (...) in this precisely defined sense. We survey extant results about variable-sharing in rival systems of relevance logic, and find that the variable-sharing conditions established for them are weaker than the one established here for Core Logic (and for its classical extension). Proponents of other systems of relevance logic (such asRand its subsystems) are challenged to formulate a stronger variable-sharing condition, and to prove thatRor any of its subsystems satisfies it, but that Core Logic does not. We give reasons for pessimism about the prospects for meeting this challenge. (shrink)

Power theorists are divided on the question of whether individual powers are single-track (for a single manifestation type) or are multi-track (capable of producing distinct manifestation types for distinct stimuli). EJ Lowe has recently defended single-tracking, arguing that the multi-tracker can provide no adequate reason for treating powers as capable of having multiple manifestation types, and claiming that putative instances of multi-track powers are either single-track powers in need of unifying descriptions or are merely several single-track powers. I respond to (...) Lowe on behalf of the multi-tracker, first by arguing that he overlooks the extra-empirical features of the debate, then by posing a dilemma for any single-track account of powers concerning the single-tracker’s ability to appropriately deal with fine-grained manifestation types. Finally I provide the aforementioned reason for thinking that there are multi-track powers. (shrink)