The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

Nonreductive physicalism faces serious problems regarding causal exclusion, causal heterogeneity, and the nature of realization. In this paper I advance solutions to each of those problems. The proposed solutions all depend crucially on embracing modal counterpart theory. Hence, the paper’s thesis: counterpart theory saves nonreductive physicalism. I take as my inspiration the view that mental tokens are constituted by physical tokens in the same way statues are constituted by lumps of clay. I break from other philosophers who have pursued this (...) line, however, in that I hold that constitution is identity. Much of the value of the comparison to statues and lumps is that it calls to mind the resources used to defend constitution-as-identity, most notably that of counterpart theory. Along the way, I discuss the virtues of a trope ontology, modal objections to token identity theories, the prospects of conditional analyses of causal powers, the subset account of realization, and the grounding problem. I also endorse a novel, empirical argument in favor of counterpart theory. (shrink)

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence (...) properties of those items. (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 paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a (...) counterpart and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

One popular theodicy says that good can’t exist without evil, and so God must allow evil in order to allow good. Call this the counterpart theodicy. The counterpart theodicy relies on a metaphysical claim about existence—good cannot exist without evil. A second popular theodicy says that we would be unable to know/recognize/appreciate the good without evil, and so God is forced to allow evil in order to allow for such appreciation. Call this the appreciation theodicy. The appreciation theodicy relies on (...) an epistemological claim about recognition or appreciation—we are unable to know/recognize/appreciate good without evil (even if it is possible for good to exist without evil). Determining whether either of these theodicies is a success requires a careful discussion of whether either meets the conditions on a successful theodicy. I argue that both fail. (shrink)

Standard accounts of counterfactuals with metaphysically impossible antecedents take them to by trivially true. But recent work shows that nontrivial countermetaphysicals are frequently appealed to in scientific modeling and are indispensable for a number of metaphysical projects. I focus on three recent discussions of counterpossible counterfactuals, which apply counterpossibles in both scientific and metaphysical modeling. I show that a sufficiently developed modal counterpart theory can provide a semantics for a wide range of counterpossibles without any inconsistent possibilities or other forms (...) of impossible worlds. But such a view faces problems: in order for the metaphysical views I discuss to bear weight, there must be a significant difference between the metaphysical possibilities and impossibilities. I will show how the counterpart-theoretic view delineates the possible from impossible, while still making room for the impossible. (shrink)

Recent pragmatic accounts of slurs argue that the offensiveness of slurs is generated by a speaker's free choice to use a slur opposed to a more appropriate and semantically equivalent neutral counterpart. I argue that the theoretical role of neutral counterparts on such views is overstated. I consider two recent pragmatic analyses, Bolinger (Noûs, 51, 2017, 439) and Nunberg (New work on speech acts, Oxford University Press, 2018), which rely heavily upon the optionality of slurs, namely, that a speaker (...) exercises a deliberate lexical choice to use a slur when they could have easily used a neutral counterpart instead. Against such views, I argue that across a range of different offensive uses of slurs, a speaker's choice to use a slur opposed to a neutral counterpart plays little to no role in accounting for why the slur generates offence. Such cases cast serious doubt upon the explanatory depth of these pragmatic analyses, and raise more general concerns for views which draw upon the relationship between a slur and its neutral counterpart. The main upshot is this: theorists should exercise caution in assuming that neutral counterparts play any fundamental or systemic role in explaining why slurs are offensive. (shrink)

One of the primary burdens of the mereological nihilist is accounting for our ordinary intuitions about material objects. It certainly *seems* as if I am typing on a keyboard, which has particular keys and buttons as parts. But such intuitions are mistaken if mereological nihilism is right, leading to widespread error. So nihilists often propose paraphrases of our everyday utterances as compensation. Cotnoir aims to deliver a new paraphrase strategy on behalf of the nihilist: one that interprets parthood and composition (...) modally, and interprets (spatial) parts as (modal) counterparts. He advertises this view as the spatial analog of Sider’s stage-theoretic view. Unfortunately, I argue, it isn't. The spatial analog to the above views would be something like the following: individuals are region-bound spatial bits. Certain spatial claims about these objects may be true if the relevant spatial bits have the appropriate spatial counterparts. The table is flat iff the table (a spatial bit) has a spatial counterpart that is flat. That is, spatial *counterparts* make certain spatial claims true. Call this the *bit-theoretic* view. In this paper, I use the bit-theoretic view as a foil for highlighting certain aspects of Cotnoir’s proposal, as well as to show that the very ways in which Cotnoir’s view differs from the bit-theoretic view are ways in which it undermines advantages of nihilism. (shrink)

We propose and investigate an Analogy Principle in the context of Unary Inductive Logic based on a notion of support by structural similarity which is often employed to motivate scientific conjectures.

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate (...) account of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

In my book *Resemblance Nominalism* I argued that the truthmakers of ´a and b resemble each other´ are just a and b. In his "Resemblance Nominalism and counterparts" Alexander Bird objects to my claim that the truthmakers of ´a and b resemble each other´ are just a and b. In this paper I respond to Bird´s objections.

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

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Recently, Jim Stone has argued that counterpart theory is incompatible with the existence of temporal parts. I demonstrate that there is no such incompatibility.

Slurs have been standardly assumed to bear a very direct, very distinctive semantic relationship to what philosophers have called “neutral counterpart” terms. I argue that this is mistaken: the general relationship between paradigmatic slurs and their “neutral counterparts” should be assumed to be the same one that obtains between ‘chick flick’ and ‘romantic comedy’, as well a huge number of other more prosaic pairs of derogatory and “less derogatory” expressions. The most plausible general relationship between these latter expressions — (...) and thus, I argue, between paradigmatic slurs and “neutral counterpart” terms — is one of overlap in presumed extension, grounded in overlap in associated stereotypes. The resulting framework has the advantages of being simple, unified, and, unlike its orthodox rivals, neatly accommodating of a much wider range of data than has previously been considered. More importantly, it positions us to better understand, identify, and confront the insidious mechanisms of ordinary bigotry. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. Everyone (...) also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

David Lewis may be regarded as an antiessentialist. The reason is that he is said to believe that individuals do not have essential properties independent of the ways they are represented. According to him, indeed, the properties that are determined to be essential to individuals are a matter of which similarity relations among individuals are salient, and salience, in turn, is a contextual matter also determined to some extent by the ways individuals are represented. Todd Buras argues that the acknowledgment (...) of natural properties in counterpart theoretic ontology affects Lewis’s theory with regard to essentialism. Buras’s reasoning is appealing. He claims that, since natural properties determine the existence of similarity relations among individuals that are salient independent of context, Lewis can no longer be claimed to be an antiessentialist. The aim of this paper is to argue, against Buras, that if counterpart theory was antiessentialist before natural properties were taken into account, then it remains so afterwards. (shrink)

This paper proposes a metaphysical framework for distinguishing between human and machine intelligence. By drawing an analogy from Kant’s incongruent counterparts, it posits two identical deterministic worlds -- one comprising a human agent and the other comprising a machine agent. These agents exhibit different types of information processing mechanisms despite their apparent sameness in a causal sense. By postulating the distinctiveness of human over machine intelligence, this paper resolves what it refers to as “the vantage point problem” – namely, (...) how to legitimize a determinist’s assertion of determinism by placing the determinist within the universe. (shrink)

William of Ockham seems to have endorsed the view (i) that a whole is its parts, (ii) that some things are such that whether they together compose a whole is contingent, and (iii) that parts are ontologically prior to the whole they compose. Ockhamist Composition as Identity is the conjunction of these three claims. It seems doubly absurd since Leibniz’s Law arguments can be run against both the conjunction of (i) and (ii) and that of (i) and (iii). In this (...) article, I appeal to recent developments in counterpart theory to block these arguments and adequately interpret the Ockhamist version of the view that composition is identity. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

The aim of this paper is to explore Deleuze's use of Kant's argument from incongruent counterparts, which Kant uses to show the existence of what he calls an “internal difference” within things. I want to explore how Deleuze draws out an important distinction between the concept and the Idea, and provides an incisive account of his relationship to both the Kantian and Leibnizian projects. First, I look at Kant's use of the argument to provide a refutation of the Leibnizian (...) account of space, before showing how this criticism in fact rests on the question of the conceptual determination of object. Second, I show how Deleuze develops a taxonomy of difference on the basis of his reading of Kant's argument. Finally, I look at what Deleuze sees as the limitations in Kant's understanding of this concept and Deleuze's attempt to overcome these limitations through the introduction of the notion of the Idea, which will provide a genetic and nonconceptual account of the object. In doing so, I show why Deleuze takes the formulation of an adequate account of difference to be one of the central aims of his own metaphysics. (shrink)

Paper begins: I have two gloves, a left glove and a right glove. I can fit the left glove onto my left hand, but not the right glove. Why? Because the right glove is the wrong shape to go on my left hand. So the two gloves are different shapes….

Two main cognitive theories predict that people find refuting evidence that falsifies their theorising difficult, if not impossible to consider, even though such reasoning may be pivotal to grounding their everyday thoughts in reality (i.e., Poletiek, 1996; Klayman & Ha, 1987). In the classic 2-4-6 number sequence task devised by psychologists to test such reasoning skills in a simulated environment – people fail the test more often than not. In the 2-4-6 task participants try to discover what rule the number (...) triple 2-4-6 conforms to. The rule is ‘ascending numbers’, but it is tricky to discover this rule. Participants tend to generate hypotheses with the properties of the 2-4-6 triple, for example, ‘even numbers ascending in twos’. They must search for evidence to test whether their hypothesis is the rule. But experimental evidence has shown that they tend to generate confirming triples that they expect to be consistent with their hypothesis rather than inconsistent falsifying triples. Counter to the two main hypothesis testing theories this paper demonstrates that falsification is possible in five 2-4-6 task experiments when participants consider an Imaginary Participant’s hypothesis. Experiment 1 and 2 show that competition with an opponent hypothesis tester facilitates falsification. Experiments 3 to 5 show that the consideration of an alternative hypothesis helps this falsification of hypotheses lead to rule discovery. The implications of the results for theories of hypothesis testing and reasoning are discussed. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

The Lewisean counterpart theorist– despite not defending a genuinely essentialist view of what is possible, de re, of individuals – generally has a way to make essentialist claims come out as true, in those contexts in which they are endorsed by a committed essentialist. In this paper, I am going to show that the normal system that the Lewisean adopts when she wants to make the essentialist a truth-teller does not work with Kit Fine: his essentialist beliefs, which support his (...) counterexamples to the modal account of essentialism, cannot come out as true, in any contexts whatsoever, under the Lewisean view. After arguing that this represents a genuine problem for Lewis’s theory, I will propose a solution. I will indeed show that the Lewisean has a principled way to account for Fine’s essentialist beliefs, consistently with her own counterpart-theorist reading of them. (shrink)

Divers (2014) argues that a Lewisian theory of modality which includes both counterpart theory and modal realism cannot account for the truth of certain intuitively true modal sentences involving cross-world comparatives. The main purpose of this paper is to defend the Lewisian theory against Divers’s challenge by developing a response strategy based on a degree-theoretic treatment of comparatives and by showing that this treatment is compatible with the theory.

A number of philosophers have recently found it congenial to talk in terms of grounding. Grounding discourse features grounding sentences that are answers to questions about what grounds what. The goal of this article is to explore and defend a counterpart-theoretic interpretation of grounding discourse. We are familiar with David Lewis's applications of the method of counterpart theory to de re modal discourse. Counterpart-theoretic interpretations of de re modal idioms and grounding sentences share similar motivations, mechanisms, and applications. I shall (...) explain my motivations and describe two applications of a counterpart theory for grounding discourse. But, in this article, my main focus is on counterpart-theoretic mechanisms. (shrink)

This paper proposes a new metaphysical framework for distinguishing between human and machine intelligence by drawing on Kant’s incongruent counterparts as an analogy. Specifically, the paper posits two deterministic worlds that are superficially identical but ultimately different. Using ideas from Wittgenstein, Gödel, and Cantor, the paper defines “deterministic knowledge” and investigates how this knowledge is processed differently in those two worlds. The paper considers computationalism and causal determinism for the new framework. Then, the paper introduces new concepts to illustrate (...) why human and machine agents display different causal characteristics in processing verbal information. Overall, the paper’s framework provides a theoretical basis for the uniqueness of the human mind. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

The problem of communication in de se thoughts is the problem of communication of first-person or self-locating thoughts across the speakers of a conversation. The problem mainly stems from the lack of a proper account of attitude and content — an account that is supposed to explain whether or how the context of linguistic utterances is related to the semantic content of a sentence, assertion and belief. In this paper, after introducing two new semantic items, namely, almost-impossible and almost-necessary propositions, (...) that could be taken as theoretically primitive entities in the semantic framework I wish to draw, I propose an account of modified Lewisian-centered content and attitude based on the metaphysical framework of the Lewisian counterpart-theoretic semantics for quantified modal logic to the extent that the modification relies on those new semantic items. I then show that we can solve the problem by using our modified account. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

the Mona Lisa, the Mondscheinsonate, the Chanson d’automne are works of art, the salt shaker on your table, the car in your garage, or the pijamas on your bed are not. the basic question of the metaphysics of works of art is this: what makes a thing a work of art? that is: what sort of property do works of art have in virtue of which they are works of art? or more simply: what sort of property being a work (...) of art is? In this paper we argue that things are works of art in virtue of what they are like, their intrinsic features, that is, in virtue of the fact that they have the perceptual (auditory, visual, etc.) properties they have. In other words: being a work of art supervenes on perceptual-intrinsic features. Currently, this metaphysical view is extremely unpopular within the philosophy of art. It is unpopular because there allegedly exists a knock-down objection to it, the well-known argument from indiscernible counterparts. our thesis implies, among other things, that every perceptual duplicate of a work of art is also a work of art. according to the argument from indiscernible counterparts, however, there could be (or even: there are) indiscernible counterparts such that one of them is a work of art while the other is not. hence things cannot be works of art solely in virtue of what they are like. Our paper divides into three parts. In the first part we state our views. In the second part we defend it against various versions of the argument from indiscernible counterparts. (In doing so our position will become more plausible, we hope). In the final part we provide some meta-reflections on the matter. (shrink)

Matti Eklund has argued that a new problem in metanormative theory arises when we consider the possibility of "normative counterparts"—normative concepts with the same normative roles as OUGHT and RIGHT, but with different extensions. I distinguish two versions of the problem, and propose a solution: when we attend to the attitudinal commitments involved in the possession and application of some normative concepts, we find that tolerance for the possibility of normative counterparts is rationally ruled out.

Expressions typically thought to be rigid designators can refer to distinct individuals in the consequents of counterfactuals. This occurs in counteridenticals, such as “If I were you, I would arrest me”, as well as more ordinary counterfactuals with clearly possible antecedents, like “If I were a police officer, I would arrest me”. I argue that in response we should drop rigidity and deal with de re modal predication using something more flexible, such as counterpart theory.

The infamous Hole Argument has led philosophers to develop various versions of substantivalism, of which metric essentialism and sophisticated substantivalism are the most popular. In this journal, Trevor Teitel has recently advanced novel arguments against both positions. However, Teitel does not discuss the position of Jeremy Butterfield, which appeals to Lewisian counterpart theory in order to avoid the Hole Argument. In this note I show that the Lewis-Butterfield view is immune to Teitel’s challenges.

This paper proposes a new metaphysical framework for distinguishing between human and machine intelligence. By drawing an analogy from Kant’s incongruent counterparts, it posits two deterministic worlds -- one comprising a human agent and the other comprising a machine agent. Using ideas from Wittgenstein and Gödel, the paper defines “deterministic knowledge” and investigates how this knowledge is processed differently in those worlds. By postulating the distinctiveness of human intelligence, this paper addresses what it refers to as “the vantage point (...) problem” – namely, how to make a qualitative distinction between the determinist and the universe where the determinist belongs. (shrink)

Imagine your mirror‐inverted counterpart on Mirror Earth, a perfect mirror image of Earth. Would her experiences be the same as yours, or would they be phenomenally mirror‐inverted? I argue, first, that her experiences would be phenomenally the same as yours. I then show that this conclusion gives rise to a puzzle, one that I believe pushes us toward some surprising and philosophically significant conclusions about the nature of perception. When you have a typical visual experience as of something to your (...) left, the following three claims seem very plausible: (1) No one could have an experience phenomenally just like yours without thereby having an experience as of something to her left. (2) Your experience is veridical. (3) Your experience doesn't differ from that of your mirror‐inverted counterpart with respect to veridicality. But (1)‐(3) jointly contradict the claim that you and your mirror‐inverted counterpart would have the same experiences. I argue that any viable response to this puzzle will embrace the following disjunction: either there is a degree of independence between perceptual phenomenology and representational content, contrary to popular intentionalist views of perception, or spatial subjectivism is true, where spatial subjectivism is the view that the spatial properties presented in perception are either mind‐dependent or illusory. (shrink)

If a counterpart theorist’s understanding of the counterpart relation precludes haecceitist differences between possible worlds, as David Lewis’s does, how can he admit haecceitist possibilities, as Lewis wants to? Lewis (Philosophical Review 3–32, 1983; On the Plurality of Worlds, 1986) devised what he called a ‘cheap substitute for haecceitism,’ which would allow for haecceitist possibilities while preserving the counterpart relation as a purely qualitative one. The solution involved lifting an earlier (Journal of Philosophy 65(5):113–126, 1968; 68(7):203–211, 1971) ban on there (...) being multiple intra-world counterparts. I argue here that serious problems for ‘cheap haecceitism’ lurk very close to its surface, and they emerge when we consider the effect of using an actuality operator in our language. Among the most serious of the problems is the result that being the case in some possible world does not always suffice for possibly being the case. The result applies to any counterpart theory that employs a purely qualitative counterpart relation. The upshot is that if we are to admit haecceitist possibilities, as we should, then we must reject any purely qualitative relation as the one involved in the analysis of what might have been for an individual. (shrink)

I argue that the offense generation pattern of slurring terms parallels that of impoliteness behaviors, and is best explained by appeal to similar purely pragmatic mechanisms. In choosing to use a slurring term rather than its neutral counterpart, the speaker signals that she endorses the term. Such an endorsement warrants offense, and consequently slurs generate offense whenever a speaker's use demonstrates a contrastive preference for the slurring term. Since this explanation comes at low theoretical cost and imposes few constraints on (...) an account of the semantics of slurs, this suggests that we should not require semantic accounts to provide an independent explanation of the offense profile. (shrink)

Like many of their counterparts in the West, Buddhist philosophers realized a long time ago that our linguistic and conceptual practices are rooted in pre-predicative modes of apprehension that provide implicit access to whatever is immediately present to awareness. This paper examines Dignāga’s and Dharmakīrti’s contributions to what has come to be known as “Buddhist epistemology” (sometimes referred in the specialist literature by the Sanskrit neologism pramāṇavāda, lit. “doctrine of epistemic warrants”), focusing on the phenomenological and epistemic role of (...) perception and self-awareness. The central argument is that reliance on accurate observations and on an understanding of the contextual and dispositional factors that constrain, condition, and direct our perceptual and intentional states gives this tradition of epistemic inquiry a pragmatic focus unique in premodern Indian philosophy. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

What is scientific progress? On Alexander Bird’s epistemic account of scientific progress, an episode in science is progressive precisely when there is more scientific knowledge at the end of the episode than at the beginning. Using Bird’s epistemic account as a foil, this paper develops an alternative understanding-based account on which an episode in science is progressive precisely when scientists grasp how to correctly explain or predict more aspects of the world at the end of the episode than at the (...) beginning. This account is shown to be superior to the epistemic account by examining cases in which knowledge and understanding come apart. In these cases, it is argued that scientific progress matches increases in scientific understanding rather than accumulations of knowledge. In addition, considerations having to do with minimalist idealizations, pragmatic virtues, and epistemic value all favor this understanding-based account over its epistemic counterpart. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)