Metaphysics of Pain; Semantics of ‘Pain’

Functionalism is often used to identify mental states with physical states. A particularly powerful case is Lewis's analytical functionalism. Kripke's view seriously challenges any such identification. The dispute between Kripke and Lewis's views boils down to whether the term ‘pain’ is rigid or nonrigid. It is a strong intuition of ours that if it feels like pain it is pain, and vice versa, so that ‘pain’ should designate, with respect to every possible world, all and only states felt as pain. Hence, in order to settle the dispute, we need to check which of the two – Kripke's use of ‘pain’ as rigid, or Lewis's use of ‘pain’ as nonrigid – better meets this intuition. I show that, despite crucial differences in both their semantic and metaphysical assumptions, surprisingly, both views meet this intuition equally well. Thus it appears that this question of rigidity cannot, in principle, be solved, and so, at least with respect to this particular dispute, the jury is still out on whether mental states are identical to physical states. 1     

‘Knowledge’ as a natural kind term

Naturalists who conceive of knowledge as a natural kind are led to treat ‘knowledge’ as a natural kind term. ‘Knowledge,’ then, must behave semantically in the ways that seem to support a direct reference theory for other natural kind terms. A direct reference theory for ‘knowledge,’ however, appears to leave open too many possibilities about the identity of knowledge. Intuitively, states of belief count as knowledge only if they meet epistemic criteria, not merely if they bear a causal/historical relation to the term. I will develop this objection and show that it is grounded in modal considerations central to Kripke’s work on reference. I will also argue that a more plausible externalist semantics for natural kind terms disarms the objection.     

Necessity and Rigidly Designating Kind Terms

Kripke claims that certainkind terms, particularly natural kind terms,are, like names, rigid designators. However,kind terms are more complicated than names aseach is connected both to a principle ofinclusion and an extension. So, there is aquestion regarding what it is that rigidlydesignating kind terms rigidly designate. Inthis paper, I assume that there are rigidlydesignating kind terms and attempt to answerthe question as to what it is that they rigidlydesignate. I then use this analysis of rigidlydesignating kind terms to show how Kripke'sreasoning regarding the necessity of `Hesperusis Phosphorus' can be extended to statementsinvolving kind terms like `Water is H₂O'and `Tigers are mammals'.     

Language and metaphysics: the case of theoretical identities

Kripke holds the thesis that identity statements containing natural kind terms are if true, necessarily true; these statements can be denominated theoretical identities. Kripke alleges that the necessity of theoretical identities grounds on the linguistic feature that natural kind terms are rigid designators. Nevertheless, I argue that the conception of natural kind terms as rigid designators, in one of their most natural views, hinders the establishment of the truth of theoretical identities and thus of their necessity. However, in Kripke’s works another proposal, not linguistic but metaphysical, is found to justify the presumed necessity of theoretical identities; it grounds on essentialism concerning natural kinds. In this regard, I question some of Kripke’s main claims, focusing on one of the main examples of theoretical identities put forward by Kripke, i.e., “Water is H\(_2\)O”. I challenge his a priori claims concerning what should be the essence of a natural kind like water. Furthermore, I adduce that the character of that theoretical identity is not that claimed by Kripke, since in the term flanking the right side of the identity sign it has to be resorted to the notion of similarity or it should have the form of a disjunction of a cluster of substances.

     

Natural Kinds of Substance

This paper presents an extension of Putnam's account of how substance terms such as ‘water’ and ‘gold’ function and of how a posteriori necessary truths concerning the underlying microstructures of such kinds may be derived. The paper has three aims. (1) I aim to refute a familiar criticism of Putnam's account: that it presupposes what Salmon calls an ‘irredeemably metaphysical, and philosophically controversial, theory of essentialism’. I show how all of the details of Putnam's account—including those that Salmon believes smuggle in such essentialist commitments—can be squared with a rejection of any such essentialist metaphysics. (2) I aim to reveal why Steward is wrong to suppose that, by helping himself to the claim that ‘H₂O’ is a rigid designator of a substance, Kripke, too, presupposes something controversially ‘metaphysical’. (3) I aim to show how my proposed account also sidesteps a variety of objections raised by Needham and others who argue that Kripke's and Putnam's accounts of how ‘water’ and ‘gold’ function founder upon the sheer microstructural complexity of the phenomena in question.     

Rigidity and actuality-dependence

It is generally assumed that rigidity plays a key role in explaining the necessary a posteriori status of identity statements, both between proper names and between natural kind terms. However, while the notion of rigid designation is well defined for singular terms, there is no generally accepted definition of what it is for a general term to be rigid. In this paper I argue that the most common view, according to which rigid general terms are the ones which designate the same kind in all possible worlds, fails to deliver a posteriori necessities. I also present an alternative view, on which the work of explaining a posteriori necessities is not done by rigidity, but by a related metasemantic notion, which I call actuality-dependence.     

Scepticism About Scepticism or the Very Idea of a Global ‘Vat-Language’

This paper aims to motivate a scepticism about scepticism in contemporary epistemology. I present the sceptic with a dilemma: On one parsing of the BIV (brain-in-a-vat) scenario, the second premise in a closure-based sceptical argument will turn out false, because the scenario is refutable; on another parsing, the scenario collapses into incoherence, because the sceptic cannot even save the appearances. I discuss three different ways of cashing out the BIV scenario: ‘Recent Envatment’ (RE), ‘Lifelong Envatment’ (LE) and ‘Nothing But Envatment’ (NBE). I show that RE scenarios are a kind of ‘local’ sceptical scenario that does not pose a significant threat to the possibility of perceptual knowledge as such. I then go on to consider the more radical (or global) LE and NBE scenarios, which do undermine the possibility of perceptual knowledge of an ‘external’ world by positing that it is conceivable that one has always been envatted and, hence, trapped in a ‘global’ illusion. I start by assuming that we could be in such a scenario (LE or NBE) and then spell out what we would need to presuppose for such scenarios to be capable of being actual. Drawing on some central insights from Wittgenstein’s anti-private language considerations, I show that the truth of a global scepticism would presuppose the possibility of a private ‘vat-language’, a notion that cannot be rendered coherent. But, if so, then neither can the sceptical scenarios that presuppose such a conception.

     

What we talk about when we talk about epistemic justification

Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art (rather than something we all pretheoretically understand) and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because it’s a term of art, justification talk is a better vehicle for philosophical theorizing. ‘Rational’ is too unclear for our philosophical purposes, and the fact that ‘epistemic justification’ gets fleshed out by appeal to substantive, controversial theses is no obstacle to its playing the needed role in epistemological theorizing.     

First–Person Plural Legislature: Political Reflexivity and Representation*

Abstract

In the Social Contract Rousseau gives what could be called a philosophical rule of recognition for law in Modernity: a law is law if and only if ‘the whole people rules over the whole people’. Thus, he defines self-legislation as, at bottom, collective intentional action. I will first map out the speech act structure [LEX] underlying self-legislation on this account. In particular, I argue for a first person plural counterpart of the reflexive structure inherent to intentions generally: the notion of a collective self. Then I take issue with Bratman's analysis of shared intentional activity in terms of mutuality, submitting that it misses out on the specifically political presupposition involved in ‘doing something together’. I will show why ‘mutuality’ requires representation of the unity of a polity, and how this representation can take form without either external authority or mutual responsiveness.     

The Semantics of Rigid Designation

Frege's thesis that each singular term has a sense that determines its reference and serves as its cognitive value has come to be widely doubted. Saul Kripke argued that since names are rigid designators, their referents are not determined by senses. David Kaplan has argued that the rigid designation of indexical terms entails that they also lack referent–determining senses. Kripke's argument about names and Kaplan's argument about indexical terms differ, but each contains a false premise. The referents of both names and indexical terms are determined by reflexive senses. It is reflexive sense that makes these terms rigid designators.     

A Map of Common Knowledge Logics

In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole.     

Relying on Intuitions: Where Cappelen and Deutsch Go Wrong

Abstract

In Philosophy without Intuitions (Oxford: Oxford University Press, 2012), Herman Cappelen challenges the ‘almost universally accepted’ thesis of ‘Centrality’: ‘philosophers rely on intuitions as evidence (or as a source of evidence) for philosophical theories’. Cappelen takes there to be two arguments for Centrality and rejects both. According to the first, Centrality is supported by the way philosophers characterize key premises in their arguments as ‘intuitive’. Central to Cappelen’s rejection of this is his lengthy argument that philosophers’ ‘intuition’-talk is very hard to interpret, indeed often ‘meaningless’. I argue, in contrast, that this talk is easy to interpret. The great mass of philosophers who would endorse Centrality mean by ‘intuition’ just what it ordinarily means: ‘immediate judgment, without reasoning or inference’. Cappelen claims further that philosophers’ ‘intuition’-talk, however it is interpreted, does not support Centrality. I argue that this talk, interpreted in the ordinary way, does indeed support Centrality. According to the second argument, Centrality is supported by the very practice of philosophy. Cappelen rejects this with a thorough examination of several philosophical arguments. Deutsch has attacked Centrality similarly, in effect, with a thorough examination of one famous argument from Kripke. How are we to tell whether philosophical practice relies on intuitions? Cappelen, and Deutsch to some extent, answer by looking to the opinions of intuition-theorists about the nature of intuitions. This approach is quite mistaken. Rather, we should look to our ordinary ability to recognize intuitions. Adopting this approach, and discussing Deutsch’s Kripke example in most detail, I argue that Centrality gets support from all of these examples of philosophical practice.     

An outline explanation of how therapy heals

Therapists are unable to provide a comprehensive account of therapy as an intelligible activity. This is at least partly due to the unresolved problem of explaining how phenomenology is even possible. An alternative to providing a comprehensive account of therapy is to take the fact of phenomenology for granted and provide just an outline account of how therapy heals. One way this can be achieved is to set therapy in the context of medical anthropology which will facilitate a view of therapy as just another healing ritual. Insight into how healing rituals heal is provided in this paper by a long and in-depth look at the so-called ‘paradox’ of the placebo effect. This will reveal the so-called ‘placebo effect’ as a misunderstood, modern example of healing ritual self-healing. In fact, the single term ‘placebo effect’ will be abandoned and replaced by the two concepts of ‘SMCH’ (‘specifically modified consultation and health care’) and ‘RMH’ (‘response to modified health care’). These two concepts provide an outline explanation of how all healing rituals heal and so provide an outline explanation of how the healing ritual of therapy heals, also. At least one problem arises out of explaining therapy as healing ritual self-healing, namely that this conception conflicts with the idea in therapy circles that, in therapy, it is the relationship that counts. Nonetheless, it will be maintained that the purpose of therapy is healing, that the healing that is achieved is self-healing and that its fulfilment is not dependent upon one-to-one relationships. Finally, it will be argued that the further development of therapy requires a better understanding of what aids and obstructs psycho-emotional self-healing.     

Systems of modal logic for impossible worlds

The intuitive notion behind the usual semantics of most systems of modal logic is that of ‘possible worlds’. Loosely speaking, an expression is necessary if and only if it holds in all possible worlds; it is possible if and only if it holds in some possible world. Of course, contradictory expressions turn out to hold in no possible worlds, and logically true expressions turn out to hold in every possible world. A method is presented for transforming standard modal systems into systems of modal logic for impossible worlds. To each possible world there corresponds an impossible world such that an expression holds in the impossible world if and only if it does not hold in the possible world. One can then talk about such worlds quite consistently, and there seems to be no logical reason for excluding them from consideration.     

Dispositions, conditionals and auspicious circumstances

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches.     

A challenge to ‘self’ centred ‘psycho’: Therapy as an introduction to an ‘inter-relational therapy’

This paper focuses on ‘psychotherapy’, particularly exploring the emphasis on the ‘psyche’. The term ‘psyche’ is described as potentially having different interpretations depending on the underlying ontological assumptions that influence its understanding and these, it is suggested, will have considerable implications for the therapy that identifies with the label ‘psychotherapy’. Two very different ontological perspectives are highlighted in this paper in order to illustrate the different conception of the term ‘psyche’; firstly, Freud’s interpretation of what is meant by ‘psyche’, which is then contrasted with a phenomenological perspective, with reference to the philosophy of Husserl and Heidegger. Both the Freudian and phenomenological approaches are then criticised for focusing on, what is described here as, an egocentric perspective and it is suggested that the term ‘psycho-therapy’ will inevitably lead to a preoccupation with putting the ‘self’ first as a basis for relating to the external world. An alternative term, ‘Inter-relational therapy’, is presented based on the ideas of Levinas and MacMurray, both of who are critical of a cultural preoccupation with focusing on the ‘self’ and suggest a need to acknowledge relationships with the external world, including the other people that populate it, prior to a ‘self’ reflective process.     

Institutionalisation in E-Sports

Abstract

Following its economic impact and rising popularity, ‘e-sports’ has become a theme within the academic debate on sports. The current discussion revolves around the definitions of sports provided by the philosophy and sociology of sports and how in turn, this can be adapted to e-sports. The premise of this article is the analysis of ‘institutionalisation’, which is claimed to be an element of modern sport. The governance and production aspects of e-sports will be the main focus where the nature of video games with their fractured production process, the lack of a monopolistic international organisation and its relative novelty will be emphasised. Furthermore, the shaky ground on which the term ‘institutionalisation’ stands will be touched on. It will conclude that the current debate on the recognition of e-sports as a sport may experience certain pitfalls if it does not solve the fundamental problems regarding institutionalisation and ignores the production process of video games and e-sports.     

Supervaluation-Style Truth Without Supervaluations

Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as a consequence, classical reasoning is no longer admissible once the notion of truth is involved. The supervaluation scheme adheres to classical reasoning but violates compositionality. Moreover, it turns Kripke’s theory into a rather complicated affair: to check whether a sentence is true we have to look at all admissible precisification of the interpretation of the truth predicate we are presented with. One consequence of this complicated evaluation condition is that under the supervaluation scheme a more proof-theoretic characterization of Kripke’s theory becomes inherently difficult, if not impossible. In this paper we explore the middle ground between the strong Kleene and the supervaluation scheme and provide an evaluation scheme that adheres to classical reasoning but retains many of the attractive features of the strong Kleene scheme. We supplement our semantic investigation with a novel axiomatic theory of truth that matches the semantic theory we have put forth.     

On Defining ‘Argument’

There is no concept more central to logic and critical thinking than the concept of an argument. I here address the definition of ‘argument’ in the logical sense of the term and defend the claim that many current proposals, once they are interpreted in a way that makes them sufficiently precise, are extensionally inadequate. Definitions found in some contemporary, prominent critical thinking textbooks will serve as a springboard. I claim that each may be interpreted in an absolutist way (i.e., as providing a definition of ‘argument’ simpliciter) or a relativistic way (as providing a definition of ‘argument-for-S’, where S is some agent or group of agents), yet all turn out to be objectionable no matter which route is taken. I finish with a proposal on which the definition of ‘argument’ is an absolutist one, yet one that avoids the problems discussed for the earlier proposals.