A central problem of theories of grounded cognition concerns the grounding of abstract concepts in sensorimotor representations. The paper aims at providing a new basis for a theory of cogni-tive abstraction mechanisms. The focus will be on the notions of causal indexicals and affordances, understood as action related concepts that show different degrees of abstraction. Abstraction mechanisms will be characterized that allow the transformation of such obviously "grounded" concepts into more abstract ones. In this way, the relation between sensorimotor processes (...) and abstract concepts will be described in detail, and general principles of abstraction will be determined. (shrink)

In this paper we secure the explanatory value of affordances by treating them as relational properties and as inherently linked to unintentional movements and possible intentional actions. We distinguish between Basic affordances, which are related to unintentional movements, and Complex affordances, which are subjective and executively controlled by individuals. The linkage between affordances and motor intentions allows for accounting for the infinite number of affordances that any given object potentially has. Appealing to objective systematic contingencies that provide the actor with (...) information about the effects of her actions, allows for accounting for perception of affordances and for securing their explanatory value. (shrink)

Does thought have distinctive experiential features? Is there, in addition to sensory phenomenology, a kind of cognitive phenomenology--phenomenology of a cognitive or conceptual character? Leading philosophers of mind debate whether conscious thought has cognitive phenomenology and whether it is part of conscious perception and conscious emotion.

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

Elements of Mind (EM) has two themes, one major and one minor. The major theme is intentionality, the mind’s direction upon its objects; the other is the mind–body problem. I treat these themes separately: chapters 1, and 3–5 are concerned with intentionality, while chapter 2 is about the mind–body problem. In this summary I will first describe my view of the mind–body problem, and then describe the book’s main theme. Like many philosophers, I see the mind–body problem as containing two (...) sub–problems: the problem of mental causation and the problem of consciousness. I see these problems forming the two horns of a dilemma. Just as the problem of mental causation pushes us towards physicalism, so the problem of consciousness pushes us away from it. Each problem reveals the inadequacy of the solution to the other. Essentially the problem of mental causation is the conflict between (i) the apparent fact that mental states and events have effects in the physical world and (ii) a general principle about the causal nature of the physical world, which is sometimes called the ‘causal closure’ or the ‘causal completeness’ of the physical world. This principle says that all physical effects have physical causes which are enough to bring them about. The problem then is simple: how can a mental cause have a physical effect if that effect also has a physical cause which is enough to bring it about? Barring massive overdetermination of our actions by independent causes, it seems that the best answer is to identify the mental and the physical causes. And this is traditionally how physicalists have argued for their identity theory of mind and body. However, many physicalists reject the identity theory, and therefore they have to solve the mental causation problem in some other way. At present, there is no consensus among physicalists on which of the currently proposed solutions is correct. In chapter 2 of EM I propose an alternative, which I call ‘emergentism’. Inspired by the rejection of the identity theory, Emergentism is the idea that mental properties are genu.. (shrink)

P.F. Strawson argued that ‘mature sensible experience (in general) presents itself as … an immediate consciousness of the existence of things outside us’ (1979: 97). He began his defence of this very natural idea by asking how someone might typically give a description of their current visual experience, and offered this example of such a description: ‘I see the red light of the setting sun filtering through the black and thickly clustered branches of the elms; I see the dappled deer (...) grazing in groups on the vivid green grass…’ (1979: 97). In other words, in describing experience, we tend to describe the objects of experience – the things which we experience – and the ways they are when we are experiencing them. Some go further. According to Heidegger. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

This edition has been fully revised and updated, and includes a new chapter on consciousness and a new section on modularity. There are also guides for further reading, and a new glossary of terms such as mentalese, connectionism, and the homunculus fallacy.

This paper is about a puzzle which lies at the heart of contemporary physicalist theories of mind. On the one hand, the original motivation for physicalism was the need to explain the place of mental causation in the physical world. On the other hand, physicalists have recently come to see the explanation of mental causation as one of their major problems. But how can this be? How can it be that physicalist theories still have a problem explaining something which their (...) physicalism was intended to explain in the first place? If physicalism is meant to be an explanation of mental causation, then why should it still face the problem of mental causation? (shrink)

This essay is the first act of a two-act play. My ultimate aim is to defend a simple proposition: time passes. To be more precise, I want to defend the claim that the passage of time is an intrinsic asymmetry in the structure of space-time itself, an asymmetry that has no spatial counterpart and is metaphysically independent of the material contents of space-time. It is independent, for example, of the entropy gradient of the universe. This view is part of common-sense, (...) but has been widely attacked by philosophers. The passage of time, we are told, is a myth, an illusion, even an incoherent notion. Because the notion that time passes is common sense, it perhaps requires little positive defence; if there are no weighty objections to the view, it ought to be accepted. So the first, and more important, act of the play is defusing the arguments which have been used to cast doubt on the passage of time. I have positive arguments to give, but not having space for them here, I will confine myself to an examination of the common philosophical arguments that have been used to cast doubt on the passage of time. (shrink)

We argue that corporate social performance (CSP) has become a legitimizing identity (brand) for researchers in the business and society field, but it has not developed into a viable theoretical or operational construct. Because measuring CSP is contingent on the operational setting (industry, issues, etc.), it is difficult to produce worthwhile comparisons across studies or generalizing beyond the boundaries of a specific study. The authors suggest that researchers remove the CSP label from their operational variables, and instead narrowly define their (...) studies in operational terms. They provide aworking example of the proposed research direction by examining the theory underlying the popular CSP–financial performance (FP) debate. In the authors’ conceptualization, stakeholder action provides the underlying logic connecting CSP-FP, and we recast the research question to investigate the conditions under which stakeholders will take action to influence the focal organization and when those actions will influence the CSP-FP link. (shrink)

Is there, or should there be, any place in contemporary philosophy of mind for the concept of an intentional object? Many philosophers would make short work of this question. In a discussion of what intentional objects are supposed to be, John Searle...

The mind-body problem in contemporary philosophy has two parts: the problem of mental causation and the problem of consciousness. These two parts are not unrelated; in fact, it can be helpful to see them as two horns of a dilemma. On the one hand, the causal interaction between mental and physical phenomena seems to require that all causally efficacious mental phenomena are physical; but on the other hand, the phenomenon of consciousness seems to entail that not all mental phenomena are (...) physical.2 One may avoid this dilemma by adopting an epiphenomenalist view of consciousness, of course; but there is little independent reason for believing such a view. Rejecting epiphenomenalism, then, leaves contemporary philosophers with their problem: mental causation inclines them towards physicalism, while consciousness inclines them towards dualism. (shrink)

Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...) strategies succeed. The article then discusses and discharges some remaining grounds for resistance to these skeptical conclusions, as well as the possibility of defending a weaker version of a normative lottery principle. The conclusion is that we have no reason to believe that where equal claims conflict, we are morally required to hold a lottery, as opposed to simply picking one of the parties on more subjective grounds or out of pure whim. In addition to the practical consequences of this skeptical view, the article sketches some theoretical implications for debates about saving the greater number and about axiomatic utilitarianism. (shrink)

A singular thought can be characterized as a thought which is directed at just one object. The term ‘thought’ can apply to episodes of thinking, or to the content of the episode (what is thought). This paper argues that episodes of thinking can be just as singular, in the above sense, when they are directed at things that do not exist as when they are directed at things that do exist. In this sense, then, singular thoughts are not object-dependent.

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

According to conventional wisdom, the split-brain syndrome puts paid to the thesis that consciousness is necessarily unified. The aim of this paper is to challenge that view. I argue both that disunity models of the split-brain are highly problematic, and that there is much to recommend a model of the split-brain—the switch model—according to which split-brain patients retain a fully unified consciousness at all times. Although the task of examining the unity of consciousness through the lens of the split-brain syndrome (...) is not a new one—such projects date back to Nagel’s seminal paper on the topic—the time is ripe for a re-evaluation of the issues. (shrink)

Workplace AI is transforming labor but decisions on which AI applications are developed or implemented are made with little to no input from workers themselves. In this piece for AI & Society, I argue for nationalization as a strategy for democratizing AI.

Godfrey-Smith ( 2001 ) has distinguished three types of adaptationism. This article builds on his analysis, and revises it in places, by distinguishing seven varieties of adaptationism. This taxonomy allows us to clarify what is at stake in debates over adaptationism, and it also helps to cement the importance of Gould and Lewontin’s ‘Spandrels’ essay. Some adaptationists have suggested that their essay does not offer any coherent alternative to the adaptationist programme: it consists only in an exhortation to test adaptationist (...) hypotheses more thoroughly than was usual in the 1970s. Here it is argued that the ‘Spandrels’ paper points towards a genuinely non-adaptationist methodology implicit in much evolutionary developmental biology. This conclusion helps to expose the links between older debates over adaptationism and more recent questions about the property of evolvability. (shrink)

We defend the view that we are not identical to organisms against the objection that it implies that there are two subjects of every conscious state one experiences: oneself and one’s organism. We then criticize animalism —the view that each of us is identical to a human organism—by showing that it has unacceptable implications for a range of actual and hypothetical cases of conjoined twinning : dicephalus, craniopagus parasiticus, and cephalopagus.

In The Mind and the World Order, C.I. Lewis made a famous distinction between the immediate data ‘which are presented or given to the mind’ and the ‘construction or interpretation’ which the mind brings to those data (1929: 52). What the mind receives is the datum – literally, the given – and the interpretation is what happens when we being it ‘under some category or other, select from it, emphasise aspects of it, and relate it in particular and unavoidable ways’ (...) (1929: 52). So although any attempt to describe the given will inevitably be an interpretation of it, this should not give us reason to deny its existence: ‘no-one but a philosopher could for a moment deny this immediate presence in consciousness of that which no activity of thought can create or alter’ (1929: 53). Whatever those outside philosophy might think, Lewis was certainly right about what philosophers were prepared to deny. His conception of the ‘given’ is without question one of the targets of Wilfrid Sellars’s influential critique of the notion of the ‘whole framework of givenness’ (1957).1 One of the things Sellars was attacking was the idea that something that was merely given by the senses could put one in a position to be justified in making a judgement about the empirical world. The.. (shrink)

By definition, pain is a sensory and emotional experience that is felt in a particular part of the body. The precise relationship between somatic events at the site where pain is experienced, and central processing giving rise to the mental experience of pain remains the subject of debate, but there is little disagreement in scholarly circles that both aspects of pain are critical to its experience. Recent experimental work, however, suggests a public view that is at odds with this conceptualisation. (...) By demonstrating that the public does not necessarily endorse central tenets of the “mental” view of pain (subjectivity, privacy, and incorrigibility), experimental philosophers have argued that the public holds a more “body-centric” view than most clinicians and scholars. Such a discrepancy would have important implications for how the public interacts with pain science and clinical care. In response, we tested the hypothesis that the public is capable of a more “mind-centric” view of pain. Using a series of vignettes, we demonstrate that in situations which highlight mental aspects of pain the public can, and does, recognize pain as a mental phenomenon. We also demonstrate that the public view is subject to context effects, by showing that the public’s view is modified when situations emphasizing mental and somatic aspects of pain are presented together. (shrink)

This paper argues that a notion of statistical explanation, based on Salmon’s statistical relevance model, can help us better understand deep neural networks. It is proved that homogeneous partitions, the core notion of Salmon’s model, are equivalent to minimal sufficient statistics, an important notion from statistical inference. This establishes a link to deep neural networks via the so-called Information Bottleneck method, an information-theoretic framework, according to which deep neural networks implicitly solve an optimization problem that generalizes minimal sufficient statistics. The (...) resulting notion of statistical explanation is general, mathematical, and subcausal. (shrink)

Desires move us to action, give us urges, incline us to joy at their satisfaction, and incline us to sorrow at their frustration. Naturalistic work on desire has focused on distinguishing which of these phenomena are part of the nature of desire, and which are merely normal consequences of desiring. Three main answers have been proposed. The first holds that the central necessary fact about desires is that they lead to action. The second makes pleasure the essence of desire. And (...) the third holds that the central necessary fact about desires is that they open us to reward-based learning. (shrink)

Franz Brentano’s attempt to distinguish mental from physical phenomena by employing the scholastic concept of intentional inexistence is often cited as reintroducing the concept of intentionality into mainstream philosophical discussion. But Brentano’s own claims about intentional inexistence are much misunderstood. In the second half of the 20th century, analytical philosophers in particular have misread Brentano’s views in misleading ways.1 It is important to correct these misunderstandings if we are to come to a proper assessment of Brentano’s worth as a philosopher (...) and his position in the history of philosophy. Good corrections have been made in the recent analytic literature by David Bell (1990), Dermot Moran (1996), and Barry Smith (1994) among others. But there is also another, more purely philosophical lesson to be learned from the proper understanding of Brentano’s views on this matter. This is that Brentano’s struggles with the concept of intentionality reveal a fundamental division between different ways of thinking about intentionality, an division which Brentano himself does not make fully clear. Making the nature of this division explicit is the aim of this paper. (shrink)

Most of us believe that it would be unjust to act with indifference about the plight of future generations. Zipper arguments in intergenerational justice aim to show that we have duties of justice regarding future generations, regardless of whether we have duties of justice to future generations. By doing so, such arguments circumvent the foundational challenges that come with theorising duties to remote future generations, which result from the non-existence, non-identity and non-contemporaneity of future generations. I argue that zipper arguments (...) face several significant challenges. The ought-implies-can challenge points out that because prior generations determine what later generations can transfer, they determine how much they ought to transfer. In addition, both intentional and non-intentional non-compliance can break the chain of duties towards future generations on which zipper arguments rely. Some versions are surprisingly resilient especially in real-world circumstances. This paper does not show that zipper arguments inevitably fail, but all ways forward come at significant theoretical costs. Unless the challenges posed here are met (or shown as irrelevant), theorists of justice cannot side-track the foundational challenges that come with doing intergenerational justice. (shrink)

The Divine Attributes explores the traditional theistic concept of God as the most perfect being possible, discussing the main divine attributes which flow from this understanding - personhood, transcendence, immanence, omnipresence, omniscience, omnipotence, perfect goodness, unity, simplicity and necessity. It argues that the atemporalist's conception of God is to be preferred over the temporalist's on the grounds of perfect being theology, but that, if it were to be the case that the temporal God existed, rather than the atemporal God, He'd (...) still be 'perfect enough' to count as the God of Theism. (shrink)

It has long been a commonplace that there is a problem understanding the role of time when one tries to quantize the General Theory of Relativity (GTR). In his "Thoroughly Modern McTaggart" (Philosophers' Imprint Vol 2, No. 3), John Earman presents several arguments to the conclusion that there is a problem understanding change and the passage of time in the unadorned GTR, quite apart from quantization. His Young McTaggart argues that according to the GTR, no physical magnitude ever changes. A (...) close consideration of Young McTaggart's arguments show that they turn on either a bad choice of formalism or an unwarranted interpretation of the implications of the formalism. This suggests that the problems that arise in quantization may be founded in similar shortcomings. (shrink)

Many philosophers want to say both that everything is determined by the physical and subject to physical laws and principles, and that certain mental entities cannot be identified with any physical entities. The problem of mental causation is to make these two assumptions compatible with the causal efficacy of the mental. The concern is that this physicalist picture of the world leaves no space for the causal efficacy of anything non-physical. The physical, as it is sometimes said, excludes anything non- (...) physical from doing causal work. (shrink)

One of the central problems in the study of consciousness concerns the ascription of consciousness. We want to know whether certain kinds of creatures—such as non-human animals, artificially created organisms, and even members of our own species who have suffered severe brain-damage—are conscious, and we want to know what kinds of conscious states these creatures might be in if indeed they are conscious. The identification of accurate markers of consciousness is essential if the science of consciousness is to have any (...) chance of success. (shrink)

In the first Critique, Kant attempts to prove what we can call the "Principle of Intensive Magnitudes," according to which every possible object of experience will possess a determinate "degree" of reality. Curiously, Kant argues for this principle by inferring from a psychological premise about internal sensations (they have intensive magnitudes) to a metaphysical thesis about external objects (they also have intensive magnitudes). Most commentators dismiss the argument as a failure. In this article I give a reconstruction of Kant's argument (...) that attempts to rehabilitate the argument back into his broader transcendental theory of experience. I argue that we can make sense of the argument's central inference by appeal to Kant's theory of empirical intuition and by an analysis of the way in which Kant thinks sensory matter constitutes our most basic representations of objects. (shrink)

False polarization (FP) is an interpersonal bias on judgement, the effect of which is to lead people in contexts of disagreement to overestimate the differences between their respective views. I propose to treat FP as a problem of applied social epistemology—a barrier to reliable belief-formation in certain social domains—and to ask how best one may debias for FP. This inquiry leads more generally into questions about effective debiasing strategies; on this front, considerable empirical evidence suggests that intuitively attractive strategies for (...) debiasing are not very effective, while more effective strategies are neither intuitive nor likely to be easily implemented. The supports for more effective debiasing seem either to be inherently social and cooperative, or at least to presuppose social efforts to create physical or decision-making infrastructure for mitigating bias. The upshot, I argue, is that becoming a less biased epistemic agent is a thoroughly socialized project. (shrink)

Christiaens argues that digital technologies are fundamentally undermining workers’ autonomy by enacting systems of surveillance that lead to exploitation, alienation, and exhaustion. For a more sustainable future of work, digital technologies should support human development instead of subordinating it to algorithmic control.

In his 1996 paper Neurophenomenology: A methodological remedy for the hard problem, Francisco Varela called for a union of Husserlian phenomenology and cognitive science. Varela''s call hasn''t gone unanswered, and recent years have seen the development of a small but growing literature intent on exploring the interface between phenomenology and cognitive science. But despite these developments, there is still some obscurity about what exactly neurophenomenology is. What are neurophenomenologists trying to do, and how are they trying to do it? To (...) what extent is neurophenomenology a distinctive and unified research programme? In this paper I attempt to shed some light on these questions. (shrink)

Anthropocentrism can intelligibly be criticised as an ontological error, but attempts to conceive of it as an ethical error are liable to conceptual and practical confusion. After noting the paradox that the clearest instances of overcoming anthropocentrism involve precisely the sort of objectivating knowledge which many ecological critics see as itself archetypically anthropocentric, the article presents the follwoing arguments: there are some ways in which anthropocentrism is not objectionable; the defects associated with anthropocentrism in ethics are better understood as instances (...) of speciesism and human chauvinism; it is unhelpful to call these defects anthropocentrism because there is an ineliminable element of anthropocentrism in any ethic at all; moreover, because the defects do not typically involve a concern with human interests as such, the rhetoric of anti-anthropocentrism is counterproductive in practice. (shrink)

Richard Healey argues that the Aharonov- Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov- Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

The meaning and truth conditions for claims about physical modality and causation have been considered problematic since Hume’s empiricist critique. But the underlying semantic commitments that follow from Hume’s empiricism about ideas have long been abandoned by the philosophical community. Once the consequences of that abandonment are properly appreciated, the problems of physical modality and causal locutions fall away, and can be painlessly solved.

In the beginning of the 1970s, Michel Foucault dismisses the terminology of ‘exclusion’ for his projected analytics of modern power. This rejection has had major repercussions on the theory of neoliberal subject-formation. Many researchers disproportionately stress how neoliberal dispositifs produce entrepreneurial subjects, albeit in different ways, while minimizing how these dispositifs sometimes emphatically refuse to produce neoliberal subjects. Relying on Saskia Sassen’s work on financialization, I argue that neoliberal dispositifs not only apply entrepreneurial norms, but also suspend their application for (...) groups that threaten to harm the population’s profitability. Neoliberal dispositifs not only produce entrepreneurial subjects, but also surplus populations that are expelled from the overall population to maintain its productivity. Here, the concept of ‘exclusion’ is appropriate if understood in Agamben’s sense of an inclusive exclusion. The surplus population is part of neoliberal dispositifs, but only as the element to be abandoned. (shrink)

Free will sceptics claim that we do not possess free will—or at least, that we do not possess nearly as much free will as we think we do. Some free will sceptics hold that the very notion of free will is incoherent, and that no being could possibly possess free will (Strawson this volume). Others allow that the notion of free will is coherent, but hold that features of our cognitive architecture prevent us from possessing free will. My concern in (...) this chapter is with views of the second kind. According to an increasingly influential line of thought, our common-sense commitment to the existence of free will is threatened in unique ways by what we are learning from the sciences of human agency. (shrink)

Although worship has a pivotal place in religious thought and practice, philosophers of religion have had remarkably little to say about it. In this paper we examine some of the many questions surrounding the notion of worship, focusing on the claim that human beings have obligations to worship God. We explore a number of attempts to ground our supposed duty to worship God, and argue that each is problematic. We conclude by examining the implications of this result, and suggest that (...) it might be taken to provide an argument against God's existence, since theists generally regard it is a necessary truth that we ought to worship God. (shrink)

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

David Papineau's question, 'Why Supervenience?' [5], is a good one. The thesis that the mental supervenes on the physi- cal is widespread, but has rarely been defended by detailed argument. Believers in supervenience should be grateful to Papineau for coming to their aid; but I think they will be disappointed in the argument he gives. In what follows, I shall show that Papineau's argument for supervenience relies on a premiss that is either trivial or as contentious as supervenience itself.

The term ‘psychologism’ is normally used for the doctrine that logical and mathematical truths must be explained in terms of psychological truths (see Kusch 1995 and 2011). As such, the term is typically pejorative: the widespread consensus is that psychologism in this sense is a paradigm of philosophical error, a gross mistake that was identified and conclusively refuted by Frege and Husserl.