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)

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.

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it.Essential bundle theoryattempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the problem, (...) the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (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)

Though there is a wide and varied literature on ethical supererogation, there has been almost nothing written about its epistemic counterpart, despite an intuitive analogy between the two fields. This paper seeks to change this state of affairs. I will begin by showing that there are examples which intuitively feature epistemically supererogatory doxastic states. Next, I will present a positive theory of epistemic supererogation that can vindicate our intuitions in these examples, in an explanation that parallels a popular (...) theory of ethical supererogation. Roughly, I will argue that a specific type of epistemic virtue—the ability to creatively think up plausible hypotheses given a body of evidence—is not required of epistemic agents. Thus, certain exercises of this virtue can result in supererogatory doxastic states. In presenting this theory, I will also show how thinking about epistemic supererogation can provide us a new way forward in the debate about the uniqueness thesis for epistemic rationality. (shrink)

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)

Recently, the relationship between evolutionary ecology and perceptual science has received renewed attention under perception-mediated selection, a mode of natural selection linking perceptual saliency, rather than veridicality, to fitness. The Interface Theory of Perception (ITP) has been especially prominent in claiming that an organism’s perceptual interface is populated by icons, which arise as a function of evolved, species-specific perceptual interfaces that produce approximations of organisms’ environments through fitness-tuned perceptions. According to perception-mediated selection, perception and behavior calibrate one another as (...) organisms’ capacities to experience and know the objects and properties of their environments lead to responses highlighting certain environmental features selected for survival. We argue this occurs via the Umwelt/Umgebung distinction in ethology, demonstrating that organisms interact with their external environments (Umgebung) through constructed perceptual schema (Umwelt) that produce constrained representations of environmental objects and their properties. Following Peircean semiotics, we claim that ITP’s focus on icons as saliency-simplified markers corresponds to biosemiotics’ understanding of perceptual representations, which manifest as iconic (resembling objects), indexical (referring), or symbolic (arbitrary) modalities, which provide for organisms’ semiotic scaffolding. We argue that ITP provides the computational evidence for biosemiotics’ notion of iconicity, while biosemiotics provides explanation within ITP for how iconicity can build up into indices and symbols. The common contention of these separate frameworks that the process of perception tracks saliency rather than veridicality suggests that digital/dyadic perceptual strategies will be outcompeted by their semiotic/triadic counterparts. This carries implications for evolutionary theory as well as theories of cognition. (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 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)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While (...) STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Background. The literature on Theory of Mind (ToM) in antisocial samples is limited despite evidence that the neural substrates of theory of mind task involve the same circuits implicated in the pathogenesis of antisocial behaviour. Method. Eighty-nine male DSM-IV Antisocial Personality Disordered subjects (ASPDs) and 20 controls (matched for age and IQ) completed a battery of ToM tasks. The ASPD group was categorized into psychopathic and non-psychopathic groups based on a cut-off score of 18 on the Psychopathy Checklist: (...) Screening Version. Results. There were no significant group (control v. psychopath v. non-psychopathic ASPD) dif- ferences on basic tests of ToM but both psychopathic and non-psychopathic ASPDs performed worse on subtle tests of mentalizing ability (faux pas tasks). ASPDs can detect and understand faux pas, but show an indifference to the impact of faux pas. On the face/eye task non-psychopathic ASPDs showed impairments in the recognition of basic emotions compared with controls and psychopathic ASPDs. For complex emotions, no significant group differences were detected largely due to task difficulty. Conclusions. The deficits in mentalizing ability in ASPD are subtle. For the majority of criminals with ASPD and psychopathy ToM abilities are relatively intact and may have an adaptive function in maintaining a criminal lifestyle. Our findings suggest the key deficits appear to relate more to their lack of concern about the impact on potential victims than the inability to take a victim perspective. The findings tentatively also suggest that ASPDs with neurotic features may be more impaired in mentalizing ability than their low anxious psychopathic counterparts. (shrink)

Over the last decade, Axel Honneth has established himself as one of the leading social and political philosophers in the world today. Rooted in the tradition of critical theory, his writings have been central to the revitalization of critical theory and have become increasingly influential. His theory of recognition has gained worldwide attention and is seen by some as the principal counterpart to Habermass theory of discourse ethics. In this important new volume, Honneth pursues his (...) path-breaking work on recognition by exploring the moral experiences of disrespect that underpin the conduct of social and political critique. What we might conceive of as a striving for social recognition initially appears in a negative form as the experience of humiliation or disrespect. Honneth argues that disrespect constitutes the systematic key to a comprehensive theory of recognition that seeks to clarify the sense in which institutionalized patterns of social recognition generate justified demands on the way subjects treat each other. This new book by one of the leading social and political philosophers of our time will be of particular interest to students and scholars in social and political theory and philosophy. (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)

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.

A powerful argument against the resurrection of the body is based on the premise that all resurrection theories violate natural laws. We counter this argument by developing a fully naturalistic resurrection theory. We refer to it as the revision theory of resurrection (the RTR). Since Hick’s replica theory is already highly naturalistic, we use Hick’s theory as the basis for the RTR. According to Hick, resurrection is the recreation of an earthly body in another universe. The (...) recreation is a resurrection counterpart. We show that the New Testament supports the idea of resurrection counterparts. The RTR asserts that you are a node in a branching tree of increasingly perfect resurrection counterparts. These ever better counterparts live in increasingly perfect resurrection universes. We give both theological arguments and an empirical argument for the RTR. (shrink)

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)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

The twentieth-century obsession with meaning often fails to address the central questions: Why are we here? Where are we going? In this radical critique of modernity, Eugene (Rochberg-) Halton resurrects pragmatism, pushing it beyond its traditional formulations to meet these questions head on. Drawing on the works of the early pragmatists such as John Dewey, George Herbert Mead, and particularly C.S. Peirce, Meaning and Modernity is an ambitious attempt to reconstruct concepts from philosophical pragmatism for contemporary social theory. Through (...) a vigorous and illuminating dialogue with other perspectives in the social sciences, (Rochberg-) Halton reveals the value of the pragmatic attitude as a mode of thought, one which speaks to the contemporary hunger for significance in a world where rationalized technique has all too often severed subject and object from their living context... Throughout the work is a sustained critique of modern culture in which (Rochberg-) Halton brings his reconstruction of the pragmatic atttude to bear on twentieth-century thought and its counterparts in the expressive arts. His engaging analysis encompasses figures as diverse as Simmel, Freud, Wittgenstein, Schoenberg, Adolph Loos, Mumford, Melville, the "Vienna School of Fantastic Realism," and Doris Lessing. The author's semiotic approach to culture allows him to move freely and easily across many disciplines, including anthropology, sociology, communications, art, literature, and philosophy. This is a work of rare originality and power that is sure to provoke discussion, for Rochberg-Halton creates new premises for understanding the human web of meaning. In a review published in the London Times Literary Supplement, Charles Townshend said that (Rochberg-) Halton's, “answer to the dilemma of modernity is a still more striking synthesis, which he labels ‘critical animism’ (as distinct from primitive animism). Meaning and Modernity belies its conventional exterior: it is a passionate tract against the 'diabolical tyranny of the rational'...He pits his researches into the attitudes of Chicagoans to their household goods and to their city against the abstract semioticians who have emptied signs of their capacity to 'live objectively in the transactions people have with them'...Such humanism will probably strike his fellow social theorists as downright weird, but his work shows that the cracking shell of modernism will provide a rich intellectual agenda.”. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the (...) classical probability resolution of Hardy’s paradox [1] is supported with the present derivation of a commutator for sets. (shrink)

In the author’s previous contribution to this journal (Rosen 2015), a phenomenological string theory was proposed based on qualitative topology and hypercomplex numbers. The current paper takes this further by delving into the ancient Chinese origin of phenomenological string theory. First, we discover a connection between the Klein bottle, which is crucial to the theory, and the Ho-t’u, a Chinese number archetype central to Taoist cosmology. The two structures are seen to mirror each other in expressing the (...) psychophysical (phenomenological) action pattern at the heart of microphysics. But tackling the question of quantum gravity requires that a whole family of topological dimensions be brought into play. What we find in engaging with these structures is a closely related family of Taoist forebears that, in concert with their successors, provide a blueprint for cosmic evolution. Whereas conventional string theory accounts for the generation of nature’s fundamental forces via a notion of symmetry breaking that is essentially static and thus unable to explain cosmogony successfully, phenomenological/Taoist string theory entails the dialectical interplay of symmetry and asymmetry inherent in the principle of synsymmetry. This dynamic concept of cosmic change is elaborated on in the three concluding sections of the paper. Here, a detailed analysis of cosmogony is offered, first in terms of the theory of dimensional development and its Taoist (yin-yang) counterpart, then in terms of the evolution of the elemental force particles through cycles of expansion and contraction in a spiraling universe. The paper closes by considering the role of the analyst per se in the further evolution of the cosmos. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section I. (...) Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

Type identity theory was dismissed in 1967 by many philosophers due to Hilary Putnam’s multiple realisability objection seeming fatal. This paper delves into a critique of type identity theory, thereby paving the way for introducing an alternative theory of mind: emergentism. The longstanding philosophical discourse around the mind has been dominated by the binary opposition of classical physicalist and dualist theories. However, the impact of scientific discovery on contemporary thought has sparked an increasing inclination towards reductive physicalist (...) frameworks, with the aim of aligning with the scientific method. Thus, contemporary thinkers have branched out to explore new physicalistic ideas. This paper examines the inherent challenges in all reductive physicalist theories, shedding light on their limitations and proposing potential solutions to overcome the obstacles. This analysis demonstrates that type identity theory, akin to its reductive counterparts, fails to accommodate for the irreducibility of consciousness. This is consciousness as characterised by Thomas Nagel’s “what is it likeness” of experience, which is inherently subjective. Instead, this paper contends that emergentism offers a compelling alternative despite being a physicalist theory. It posits consciousness as a higher-order phenomenon, one that transcends reduction to its constituent components. I argue that this attribute of emergentism makes it a promising theory in the ongoing quest for an understanding of the mind and consciousness. (shrink)

As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: first we revisit the semantics of action theory (...) contraction proposed in previous work, giving more robust operators that express minimal change based on a notion of distance between Kripke-models. Second we give algorithms for syntactical action theory contraction and establish their correctness with respect to our semantics for those action theories that satisfy a principle of modularity investigated in previous work. Since modularity can be ensured for every action theory and, as we show here, needs to be computed at most once during the evolution of a domain description, it does not represent a limitation at all to the method here studied. Finally we state AGM-like postulates for action theory contraction and assess the behavior of our operators with respect to them. Moreover, we also address the revision counterpart of action theory change, showing that it benefits from our semantics for contraction. (shrink)

In this paper I adopt Kaplan’s framework for distinguishing between descriptive and expressive content. Racial slurs are an especially difficult challenge for truth-conditional semantics because of their projection behaviors. That is to say, the offensive content of slurs “scopes out” of logical operators. I argue that racial slurs express contempt and lack descriptive content, so that many sentences containing slurs are not truth apt. My theory accounts for the intuition of the ordinary speaker who refuses to assent to the (...) truth of a sentence containing a slur, but accepts the same statement made using a neutral counterpart of that slur. Weaknesses of rival theories are briefly discussed. (shrink)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. Overall, a (...) broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

Kant’s distinction between intuitions and concepts attracts perennial interpretive interest. To the extent that they discuss the imagination at all, most Kant scholars maintain that the imagination’s primary role is to generate intuitions. This dissertation argues that “image” (Bild, Einbildung) is an overlooked technical term in Kant’s work and that images—and not intuitions—are products of the imagination. The project explains how, for Kant, the imagination (as image-maker) and the senses (as intuition-maker) make distinct but essential contributions to cognition and perception. (...) I begin by showing that “image” is a terminologically marked notion in Kant, and that the imagination is responsible for generating images (chapter 1). I call these claims the Image Thesis. I then show that for Kant, intuitions are representations that depend only on the senses for their essential features (chapter 2). I call this the Strong Independence Thesis. -/- How should we understand Kant’s ubiquitous references to the imagination, then? I argue that we should understand the imagination’s activities as image-producing activities (chapter 3). I argue that images and intuitions are fundamentally distinct representations, which I label the Distinctness Thesis. Though intuitions and images are had by both rational and non-rational beings, the capacity for consciousness or apperception found in rational beings makes a difference in the structure of images but not the structure of intuitions (chapter 4). I call this the penetration view of the imagination. With this account of images in hand, I indicate why images are a necessary ingredient in theoretical cognition for Kant (chapter 5). I call this the Image-Centric Cognition Thesis. The result is a novel account of sensibility—the counterpart of the understanding—that recognizes Kant’s systematic discussion of mental imagery. (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)

Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence on (...) a similar point supports this analysis. - I - Unbestritten bis heute gilt, formwissenschaftliche und ikonologische Methoden scheinen sich grundsätzlich auszuschließen, da die ersteren auf ahistorischen und die letzteren auf historischen Grundlagen aufbauen. Dem entgegen soll mit diesem Beitrag gezeigt werden, wie insbesondere die Forschungen Susanne K. Langers und ergänzend diejenigen von John M. Krois eine Annäherung beider Positionen ermöglichen. (shrink)

Rather than answering the question "What are possible worlds?", I wish to discuss what I think is a more tractable question, namely, "What what theoretical roles are possible worlds supposed to play, and are they cut out to play those roles?" The question is tractable because we can simply look and see to what purposes possible worlds have been put and whether possible worlds analyses have survived the test of time, or whether they have been succeeded by superior analyses which (...) either do away with worlds altogether or else demote them to a lesser role. In giving a partial answer to the question, we will begin by looking at traditional possible worlds analyses of intensional and modal concepts (§2). We will then look at three possible worlds analyses that have played an important role in their perceived success, viz. the analyses of (i) modality and possibilities in counterpart theory (§3), (ii) belief contents (§4), and (iii) conditionals (§5). (shrink)

In Dilek Huseyinzadegan’s analysis of Kant’s ‘impure’ politics what we have is a startling, innovative, and ultimately convincing portrait of Kant’s systematic attention to the material conditions underlying the everyday world of political subjects. Much as theorists have sought to enrich scholarly discussions of Kant’s moral philosophy by way of attention to Kant’s ‘practical anthropology’—the empirical counterpart to an a priori formal account of morals—in this book Huseyinzadegan provides us with a parallel look at Kant’s ‘political anthropology.’ By paying (...) close attention to Kant’s systematic appeal to a teleological, heuristic, and regulative approach to the nonideal political conditions faced by political subjects what we discover is not just a robust counterpart to his better-known ideal theory, but indeed a set of orientational tools or maps by which we might hope to better navigate the transition from politics to morals. Teleology provides reason with a ‘compass,’ as Huseyinzadegan puts it, ready to guide us as we set out on our political adventure. (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 essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

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)