In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version (...) of the type-identity theory. (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)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider (...) the possibility of imagining one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

Manzotti (2021) surveys recent variants of identity theories, defending his own preferred version, mind-object identity theory (MOI). According to this view, experiences are identical with the external objects, and the mind is thus literally “spread” in the world. Manzotti supports this view with considerations about indiscernibility of properties and other theoretical considerations. He claims that brain-mind accounts of identity commit the “fallacy of the center,” locating conscious mind inside the skull. Amongst other recent works, he comments on (...) our (Polák and Marvan, 2018) article, in which we defended a standard, neurocentrist version of type identity theory, and supplemented it with a sketch of neuro-phenomenal typing. Manzotti holds that although we appeal to neuro-phenomenal types in our account of mind-brain identity, we nevertheless “lack a convincing explanation as to why the type of neural processes should be identical to the type of one's experience.” This is a fair point. We didn't do much in our 2018 article to support our views on the principles of neuro-phenomenal typing, either by detailed theoretical considerations or by empirical evidence. In this short rejoinder, we offer the missing argument. By doing so, we also respond both to Manzotti's cited objection and to the charge of the “fallacy of the center.” -/- . (shrink)

I sketch a philosophical program called ‘Empirical Fundamentalism,’ whose signature feature is the extensive use of a distinction between fundamental and derivative reality. Within the framework of Empirical Fundamentalism, derivative reality is treated as an abstraction from fundamental reality. I show how one can understand reduction and supervenience in terms of abstraction, and then I apply the introduced machinery to understand the relation between water and H2O, mental states and brain states, and so on. The conclusion is that such relations (...) can be understood either as metaphysical contingencies or as necessary type-identities. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

While concerns of the mental being causally excluded by the physical have persistently plagued non-reductive physicalism, such concerns are standardly taken to pose no problem for reductive type physicalism. Type physicalists have the obvious advantage of being able to countenance the reduction of mental properties to their physical base properties by way of type identity, thereby avoiding any causal competition between instances of mental properties and their physical bases. Here, I challenge this widely accepted advantage of (...) type physicalism over non-reductive physicalism in avoiding the causal exclusion of the mental. In particular, I focus on Jaegwon Kim’s influential version of the causal exclusion argument, namely, his supervenience argument. I argue that type physicalism’s advantage is undermined by the following two things: (1) the generalizability of the supervenience argument, and (2) type physicalism’s incompatibility with mental properties at the fundamental level. This involves evaluating the generalization objection to the supervenience argument, probing the metaphysics of physicalism, and showing how (1) and (2) combine in a way that appears underappreciated given the general confidence in type physicalism’s advantage. (shrink)

Recently, several philosophers have defended an explanatory argument that supposedly provides novel empirical grounds for accepting the type identity theory of phenomenal consciousness. They claim that we are justified in believing that the type identity thesis is true because it provides the best explanation for the correlations between physical properties and phenomenal properties. In this paper, I examine the actual role identities play in science and point out crucial shortcomings in the explanatory argument. I show that (...) the supporters of the argument have failed to show that the identity thesis provides a satisfactory explanation for the correlations between physical and phenomenal properties. Hence, the explanatory argument, as it stands, does not provide new grounds for accepting the type identity theory. (shrink)

According to Originalism, word types are non-eternal continuants which are individuated by their causal-historical lineage and have a unique possible time of origination. This view collides with the intuition that individual words can be added to the lexicon of a language at different times, and generates other problematic consequences. The paper shows that such undesired results can be accommodated without abandoning Originalism.

When talking about personal identity in the context of medical ethics, ethicists tend to borrow haphazardly from different philosophical notions of personal identity, or to abjure these abstract metaphysical concerns as having nothing to do with practical questions in medical ethics. In fact, however, part of the moral authority for respecting a patient’s self-regarding decisions can only be made sense of if we make certain assumptions that are central to a particular, psychological picture of personal identity, namely, (...) that patients will remain psychologically connected to a certain degree with their future selves. I draw this out, show problems with approaches in medical ethics based on alternate theories of personal identity that do not recognise this, and explore some important implications. Namely, I show how this recognition can better explain the circumstances under which we should respect advance directives and why, and how it can better make sense of patient fears that they will not "survive" personality-altering deep brain stimulation procedures, and provide guidance on approaching patient decisions concerning this type of procedure in a manner that captures and addresses such concerns. (shrink)

This paper focuses on three theories of personal identity that incorporate the idea that personal identity is the result of a person’s adopting certain attitudes towards certain mental states and actions. I call these theories subjective theories of personal identity. I argue that it is not clear what the proponents of these theories mean by “personal identity”. On standard theories, such as animalism or psychological theories, the term “personal identity” refers to the numerical identity (...) of persons and its analysis provides the persistence conditions for persons. I argue that if the subjective theories purport to provide a criterion of numerical personal identity, they fail. A different interpretation may suggest that they purport to provide a non-numerical type of identity for the purpose of providing plausible analyses of certain identity-related practical concerns. I argue that the criteria the subjective theories provide fail to capture several of the identity-related concerns. As a result, this interpretation must be rejected as well. (shrink)

In this paper it is argued that the multiple realizability argument and Kripke's argument are based on schemas of identifications rather than identification. In fact, "heat = molecular motion" includes a term "molecular motion" that does not capture a natural kind, nor has a unique referent. If properly framed, this schema suits also for the type identity theory of mind. Some consequences of this point are evaluated.

Although I agree with Sabine Muller’s conclusion that we should first seek to find alternatives to amputation for patients suffering from Body Integrity Identity Disorder (BIID), I disagree with one of the major premises that she uses to argue for her claim. Muller argues that patients with BIID are likely not autonomous when they request that the limb be amputated. Muller’s argument that BIID suffers are not autonomous is flawed because she conflates philosophical conceptions of autonomy with the conception (...) of autonomy that is operative in the context of medicine. (shrink)

Thomas Polger has argued in favor of the mind-brain type-identity theory, the view that mental states or processes are type-identical to states of the central nervous system. Acknowledging that the type-materialist must respond to Kripke's modal anti-materialist argument, Polger insists that Kripke's argument rests on dubious assumptions concerning the identity conditions of brain states. In brief, Polger claims that one knows that x and y are non-identical when one knows the identity conditions for both (...) x and y. Replace x and y with 'brain states' and 'sensations' and it follows that one can know that brain states and sensations are non-identical only if one knows the identity conditions for brain states. But, according to Polger, we do not know the identity conditions for brain states. Hence, we should not be so confident that brains states and sensations are non-identical after all. But Polger's account is terribly flawed. Ironically, if Polger's skepticism is warranted, then Polger himself has no good reasons to be a type-materialist. But more importantly, Polger's skepticism regarding the identity conditions of brain states is deeply defective. We do, I submit, understand the identity conditions of brain states. In the end, I submit, Kripke is safe from Polger. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this (...) gap, we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

The present research used archaeological data, i.e., the data obtained from kamekan jar burials in the Mikuni Hills of the northern Kyushu area in the Mid- dle Yayoi period, to test the parochial altruism model. This model argued that out-group hate and in-group favor coevolved via prehistoric intergroup conflicts. If this model is accurate, such an out-group hate and in-group favor could be re- flected in the archaeological remains, such as pottery making; the more frequent intergroup conflicts are and the (...) more each group is opposed, the more independent and coherent each group will be and more evident cultural identity could be estab- lished within each group. We employed an elliptic Fourier analysis for the shapes of kamekan jar burials. We examined whether frequent intergroup conflicts in the period influenced kamekan jar pottery between subareas of the Mikuni Hills. The results suggested that the shapes of kamekan jar burials after the KIIIa type are slightly different between subareas, which is partially consistent with the model. However, the results do not support the model directly. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying that (...) linguistic context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

This review aims to identify (1) sources of knowledge and (2) important themes of the ethical debate related to surgical alteration of facial features in East Asians. This article integrates narrative and systematic review methods. In March 2014, we searched databases including PubMed, Philosopher’s Index, Web of Science, Sociological Abstracts, and Communication Abstracts using key terms “cosmetic surgery,” “ethnic*,” “ethics,” “Asia*,” and “Western*.” The study included all types of papers written in English that discuss the debate on rhinoplasty and blepharoplasty (...) in East Asians. No limit was put on date of publication. Combining both narrative and systematic review methods, a total of 31 articles were critically appraised on their contribution to ethical reflection founded on the debates regarding the surgical alteration of Asian features. Sources of knowledge were drawn from four main disciplines, including the humanities, medicine or surgery, communications, and economics. Focusing on cosmetic surgery perceived as a westernising practice, the key debate themes included authenticity of identity, interpersonal relationships and socio-economic utility in the context of Asian culture. The study shows how cosmetic surgery of ethnic features plays an important role in understanding female identity in the Asian context. Based on the debate themes authenticity of identity, interpersonal relationships, and socio-economic utility, this article argues that identity should be understood as less individualistic and more as relational and transformational in the Asian context. In addition, this article also proposes to consider cosmetic surgery of Asian features as an interplay of cultural imperialism and cultural nationalism, which can both be a source of social pressure to modify one’s appearance. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system (...) which undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical (...) point of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

Is it rational to believe that the mind is identical to the brain? Identity theorists say it is (or looks like it will be, once all the neuroscientific evidence is in), and they base this claim on a general epistemic route to belief in identity. I re-develop this general route and defend it against some objections. Then I discuss how rational belief in mind–brain identity, obtained via this route, can be threatened by an appropriately adjusted version of (...) the anti-physicalist knowledge argument. Responses to this threat usually appeal either to different modes of presentation or to phenomenal concepts. But neither type of response is satisfactory. I provide a novel response, which appeals to an innocuous epistemic peculiarity of phenomenal states, namely their, as I shall call it, evidential insulation. (shrink)

: In The Varieties of Consciousness, Kriegel argues that it is possible to devise a method to sort out the irreducible primitive phenomenologies that exist. In this paper I argue that his neutrality notwithstanding, Kriegel assumes a form of realism that leaves unresolved many of the conundrums that characterize the debate on consciousness. These problems are evident in the centrality he assigns to introspection and his characterization of cognitive phenomenology. Keywords : Consciousness; Introspection; Realism; Type-identity; Dispositional Properties I (...) primitivi della coscienza e la loro realtà Riassunto : In The Varieties of Consciousness Kriegel sostiene la possibilità di concepire un metodo per mettere ordine tra le esperienze fenomenicamente primitive effettivamente esistenti, ciascuna nella propria irriducibilità rispetto alle altre. In questo testo intendo sostenere che, nonostante la sua neutralità, Kriegel assume una forma di realismo che lascia aperti molti dei problemi che caratterizzano il dibattito sulla coscienza. Questi problemi diventano evidenti sia nella centralità assegnata all’introspezione sia nella caratterizzazione specifica della fenomenologia cognitiva. Parole chiave : Coscienza; Introspezione; Realismo; Identità di tipo; Proprietà disposizionali. (shrink)

In this paper, I argue that whether, how, and to what extent an experience is transformative is often highly contingent. I then further argue that sometimes social conditions are a major factor in whether a certain type of experience is often or typically transformative. Sometimes social conditions make it easy for a type of experience to be transformative, and sometimes they make it hard for a type of experience to be transformative. This, I claim, can sometimes be (...) a matter of social justice: social conditions can make transformativeness too easy or too hard, in a way that harms people. (shrink)

It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual (...) schemes" (Davidson, 2001) which is constructed in the theory. Consequently I will speak about types of identity which adapts choice of ontology and of which depends ontology of a theory. Here I want to connect the different types of use of the term identity in Aristotle's writings and the different types of predications that are based on them with the concept of identity as the equivalence of symbols in modern logic. I want to reinterpret Quine's statement: "There is no entity without identity " in the form of imlication "What (kind of) identity such (kind of ) entity." . (shrink)

The paper considers the nature of the state understood as the political unity articulated on the basis of a collective identity which provides the state with its capacity to make decisions. The foremost decision of the state to protect and defend this identity is the source of its authority to enforce laws. Collective identity thus represents an object of special interest, unlike both “political” interests (Millian other-regarding acts) and private interests (Millian self-regarding acts). The validation of laws (...) through this special interest is a necessary condition for both of these latter kinds of interests to materialize. Hence, unlike the Millian thesis of two different kinds of interests (self- and other-regarding), here we take that there are three types or spheres of interests. Any conception of rights, then, will cover a subset of interests found in the domains of all of those three types of interests: in the domain of political interest the issue concerns selection among competing sets of legitimate interests, within the domain of private interests the point is to discern those that will be protected by law, while the third type of interests, the object of which is a unique collective identity and its defining specificity, represents an overarching interest that is embedded in any legitimate collective concern. In this scheme, well-suited for democratic theory, the majority/minority discourse is a matter of distinguishing which particular set of legitimate interests is chosen to be dominant (e.g., which political party is in power) and which ones are waiting for the opportunity to achieve their transformation from minority (opposition) to majority (i. e. government). If, however, there is no well-defined collective identity, minorities acquire a new meaning. Rather than being possible future majorities, they form a nucleus of competing collective identities with, sometimes hopeless but still alive, aspirations to sovereignty. Thus they become sources of likely conflicts that may go well beyond political controversies. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...) three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign φ(φx) (...) does not express any paradox, because the syntactic rules for its use, written in clear notation, should “show” us that φ(φx) = ψ(φx). Many researchers (Davant, Ishiguro, Mounce, Ruffino, Friedlander, Jolley, Livingston, Ladov, et al.) follow this interpretation. However, the difficulty of such a view on Wittgenstein’s theory of logical symbolism is that there hides the fallacy of petitio principii. Indeed, in examples of a functional sign of the form φ(φx), we are interested not only in the question of whether the functions φ are different symbols, but also in how this functional sign φ(φx) itself excludes the symbolization of the same object by different ways. This interpretation is contrasted with the idea that Wittgenstein’s theory of logical symbolism is in fact a modified analogue of Russell’s simple theory of types. The reciprocality principle becomes the core of Wittgenstein’s theory: the combinatorial potential of the “prototype” of a functional sign is identical to the combinatorial potential of the “prototype” of an argument. According to Wittgenstein, only describing the combinatorial potential of linguistic expressions (symbols) can vanish the illusion of paradoxes. The function cannot be its argument, because the function sign φ(φx) already contains the “prototype” of its argument, “showing” us that φ(φx) = φx. The correctness of this interpretation does not exclude the possibility that the differences between Russell and Wittgenstein are in fact nothing more than façon de parler. (shrink)

Consider a specific type of fission where psychological continuity takes a branching form, and one of the offshoots comes into being later than the other offshoot. Let us say that the earlier offshoot comes into being in the left branch at t, and the later offshoot comes into being in the right branch at t+1. With regard to the question how many persons are involved in this case, three answers are worth considering: (i) The original subject persists up to (...) t; a distinct person comes into being immediately after t and continues to exist in the left branch; and the third person comes into being in the right branch at t+1. (ii) The original subject persists up to the moment immediately before t+1; a distinct person comes into being at t+1 and continues to exist in the left branch; and the third person comes into being in the right branch at t+1. (iii) The original subject continues to exist in the left branch; a distinct person comes into being in the right branch at t+1. For those who hold that personal identity consists in psychological continuity of some sort, the aforementioned three options exhaust the sensible ways of understanding how one persists in delayed fission. However, I argue that complications arise for each answer. Hence, delayed fission poses a challenge for the psychological approach to personal identity. (shrink)

It is tempting to think that in the case of complete spatio-temporal coincidence, the statue is identical with the constituent lump of clay. However, some philosophers have thought that accepting constitution as identity in this type of case forces one to reject the necessity of identity. I show that there is no conflict here. By distinguishing between an object's being necessarily an F and an object's being necessity identical with an F, we can see that accepting the (...) necessity of identity does not, and should not, compel one to reject constitution as identity. (shrink)

What is the relationship between pain and the body? I claim that pain is best explained as a type of personal experience and the bodily response during pain is best explained in terms of a type of mechanical neurophysiologic operation. I apply the radical philosophy of identity theory from philosophy of mind to the relationship between the personal experience of pain and specific neurophysiologic mechanism and argue that the relationship between them is best explained as one of (...) type identity. Specifically, pain is a specific type of personal experience identical to a specific type of allostatic stress response comprised of interdependent nervous, endocrine and immune mechanical operations. (shrink)

Memories of our personal past are the building blocks of our narrative identity. So, when we depend on objects and other people to remember and construct our personal past, our narrative identity is distributed across our embodied brains and an ecology of environmental resources. This paper uses a cognitive niche construction approach to conceptualise how we engineer our memory ecology and construct our distributed narrative identities. It does so by identifying three types of niche construction processes that govern (...) how we interact with our memory ecology, namely creating, editing, and using resources in our memory ecology. It also conceptualises how identity-relevant information in objects and (family) stories is transmitted vertically, i.e., across different generations of people. Identifying these processes allows us to better understand the cultural information trajectories that constitute our memory ecologies. Thus, what I’ll argue is that our memory ecology distributes our narrative identity and that engineering our memory ecology is a form of narrative niche construction. (shrink)

This paper employs a case study from the history of neuroscience—brain reward function—to scrutinize the inductive argument for the so-called ‘Heuristic Identity Theory’ (HIT). The case fails to support HIT, illustrating why other case studies previously thought to provide empirical support for HIT also fold under scrutiny. After distinguishing two different ways of understanding the types of identity claims presupposed by HIT and considering other conceptual problems, we conclude that HIT is not an alternative to the traditional (...) class='Hi'>identity theory so much as a relabeling of previously discussed strategies for mechanistic discovery. (shrink)

Functionalism of robot pain claims that what is definitive of robot pain is functional role, defined as the causal relations pain has to noxious stimuli, behavior and other subjective states. Here, I propose that the only way to theorize role-functionalism of robot pain is in terms of type-identity theory. I argue that what makes a state pain for a neuro-robot at a time is the functional role it has in the robot at the time, and this state is (...) type identical to a specific circuit state. Support from an experimental study shows that if the neural network that controls a robot includes a specific 'emotion circuit', physical damage to the robot will cause the disposition to avoid movement, thereby enhancing fitness, compared to robots without the circuit. Thus, pain for a robot at a time is type identical to a specific circuit state. (shrink)

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a (...) set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

In this commentary paper, we are taking one step further in questioning the central assumptions in the bioethical debates about reproductive technologies. We argue that the very distinction between “person affecting” and “identity affecting” interventions is based on a questionable form of material-origin essentialism. Questioning of this form of essentialist approach to human identity allows treating genome editing and genetic selection as more similar than they are taken to be in the standard approaches. It would also challenge the (...) idea that normative reasons we have in these two types of cases markedly differ in strength. (shrink)

Orthodox neural materialists think mental states are neural events or orthodox material properties of neutral events. Orthodox material properties are defining properties of the “physical”. A “defining property” of the physical is a type of property that provides a necessary condition for something’s being correctly termed “physical”. In this paper I give an argument against orthodox neural materialism. If successful, the argument would show at least some properties of some mental states are not orthodox material properties of neural events. (...) Opposing philosophical orthodoxy, I show there are no posteriori identities -- identities that cannot be known of a priori. (shrink)

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: between (...) protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

In this paper, I am generally concerned with certain mental disorders and the doxastic attitudes that sometimes characterize them. According to recent Anglo-American philosophical studies on this topic, the latter involve beliefs that have somehow “gone wrong”: strange or irrational beliefs and cases of “motivated irrationality”. I aim to focus on pathological and deceptive phenomena such as delusion and self-deception. From a phenomenological perspective, these can also be investigated with regard to their experiential content. Adopting this approach, and starting in (...) particular with the eidetic connection between the living body and its own environment, I will examine disorders of the ecological self. Psychiatric delusion, which is at the core of this examination, is a symptom of a great number of mental disorders, such as Capgras disorder, Cotard disorder and schizophrenia. Integrating dominant (propositional) models of delusion which reduce this pathological phenomenon to a certain kind of belief, I propose an eco-phenomenological understanding of its contours. From this perspective, delusion reveals itself primarily as an illusory experience: a delusional value-perception. In particular, I offer a Schelerian-based description of a peculiar case of delusion: Capgras delusion. People who suffer from Capgras delusion claim that an otherwise familiar individual has been replaced by an impostor. I consider, although in its negative variations, the contextual (rather than internalist) character of this type of delusion. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity (...) but is also decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

Relationship-oriented questions have always been at the crossroads of ethnoreligious identity, religious freedom, religious conversion, religious prejudice, and religious pluralism throughout Muslim-Buddhist co-existence in the sixth century within the Malay Archipelago. Other faiths could be freely practised except for propagation towards Muslim communities with Islam being the religion of the federation. This study aimed to explore Muslim-Buddhist relation types and the issues underpinning the following themes: history, identity, and concerns. Content and thematic analysis as well discourse analysis were (...) utilised as the study method for data collection and evaluation. Resultantly, the Muslim-Buddhist interaction pattern in Malaysia has occurred (culturally and religiously) from the early establishment of both religious communities. This relation, which has shifted in ethnoreligious orientation at every interaction level, opens more avenues and complexities requiring holistic management. (shrink)

Loss of personal identity in dementia can raise a number of ethical considerations, including the applicability of advance directives and the validity of patient preferences that seem incongruous with a previous history of values. In this chapter, we first endorse the self-concept view as the most appropriate approach to personal continuity in healthcare. We briefly describe two different types of dementia, Alzheimer’s dementia (AD) and behavioral-variant frontotemporal dementia (bv-FTD). We identify elements considered important for the continuation of a self-concept, (...) including continuation of memories, consistency in personality traits and personal preferences, and continued endorsement of certain moral tenets. We show that, depending on which element is considered most important for personal identity, continuity of a self-concept for individuals with distinct types of dementia will be affected and assessed differently. Utilizing a variety of empirical evidence, we argue that persistence of memory, personality traits, and preferences are not the most important for the maintenance of personal identity. Instead, as studies aimed to capture the folk-psychological view of personal continuity demonstrate, judgements about continuity depend primarily on the persistent commitment to widely shared moral beliefs. Because of that, we argue that individuals with bv-FTD are more likely to lose their sense of self than individuals whose dementia primarily affects memory, such as Alzheimer’s disease. We end the chapter by showing how the importance of moral beliefs for continuity of self can be used to provide guidance to health-care professionals when considering changes in preference by individuals with dementia. (shrink)

In his genetic phenomenology, Husserl introduces types, pre-predicative frames of experience that guide the perception and cognition of objects. In this essay, I argue that there are two types that are functionally almost identical to Kant’s schemata. To support this conclusion, I first present an interpretation of Kant’s discussion of schemata. I argue that we must see schemata as pure, a priori cognitions that involve only pure intuition, pure concepts of the understanding, and the imagination. I offer two analogies to (...) explain how schemata function to subsume objects under concepts and to anticipate possible objects of experience before moving on to discuss the schema of substance. Next, I present a brief explanation of Husserl’s genetic phenomenology, organizing my presentation around the idea of apperception. This paves the way for a demonstration of how the fundamental type is best understood as standing at the center of a cluster of concepts, including apperception, passive belief, natural bodies, and the one spatio-temporal horizon of experience. I argue that the fundamental type is central to Husserl’s attempt to ground logic in pre-predicative experience. Finally, I compare two specific types with schemata on the grounds cultivated in the previous sections. The first of these types, the fundamental type, functions to pre-predicatively anticipate objects of possible experience, just as schemata do. The second of these types, which is implied by but never discussed in Husserl’s work, serves to mediate between a formal system of rules and an intuitive grasp of the world, just as schemata do. (shrink)

What does it mean to say that mind-body dualism is causally problematic in a way that other mind-body theories, such as the psychophysical type identity theory, are not? After considering and rejecting various proposals, I advance my own, which focuses on what grounds the causal closure of the physical realm. A metametaphysical implication of my proposal is that philosophers working without the notion of grounding in their toolkit are metaphysically impoverished. They cannot do justice to the thought, encountered (...) in every introductory class in the philosophy of mind, that dualism has a special problem accounting for mental causation. (shrink)

Industrial heritage as a relatively recent phenomenon is the production of mid-20th century. The industrial heritage represents the culture, historical situation, processes, technologies and outstanding achievements of each region. Based on the value of contemporary architecture, It is necessary to protect them. Nowadays, the protection of industrial heritage has become an international challenge. One of the prerequisites of the protection of industrial heritage is recognizing their value and their position. Proper protection of industrial heritage needs to study and deep understanding (...) it in a large- scale and recognition of the value of the heritage for conservation process, in a regional scale. However, these kind of buildings, due to the large-scale, locating in the proper point of the city, flexible plans (due to the modular structure) etc. have a great ability to transform into various functions, specially public and urban services. One of the most important values that can be imagined for industrial heritage, is architectural identity of the region. Therefore, it is necessary to understand the effect of this types of structures through survey survey. The aim of this paper is to evaluate the effectiveness of the industrial heritage on architectural identity in historic cities. The case study was selected by purpose - Dezful & “The MAKINEH of Flour” of Dezful, which now has become the mainstream of bazaar. The variable which is used in order to define local identity, is using this element in address, which the residents giving to someone else to mention the accurate location of specific place, near the “MAKINEH”. The statistical population are selected from among people who lives in eastern sahrabedar mahallah. The results of the paper shows that the industrial heritage has the value of architectural and urban identity in local level. The results indicate significance of comprehensive approach toward reunderstanding and redevelopment of contemporary buildings and industrial heritage sites. (shrink)

Since Durkheim’s characterization of the sacred and profane as “antagonistic rivals,” the strict dichotomy has been framed in such a way that “being religious” evokes images of a life filled with profound meaning and value, while “being secular” evokes images of a meaningless, self-centered, superficial life, often characterized by materialistic consumerism and the cold, heartless environment of corporate greed. Consequently, to identify as “neither religious nor spiritual” runs the risk of being stigmatized as superficial, untrustworthy, and immoral. Conflicts and confusions (...) encountered in the process of negotiating a nonreligious/nonspiritual identity, caused by the ambiguous nature of religious language, were explored through qualitative interviews with 14 ex-ministers and 1 atheist minister—individuals for whom supernaturalist religion had formed the central core of identity, but who have deconverted and no longer hold supernatural beliefs. The cognitive linguistics approach of Frame Semantics was applied to the process of “oppositional identity work” to examine why certain identity labels are avoided or embraced due to considerations of the cognitive frames evoked by those labels. -/- Through the constant comparative method of grounded theory, a host of useful theoretical concepts emerged from the data. Several impediments to the construction of a “secular but not superficial” identity were identified, and a framework of new theoretical concepts developed to make sense of them: sense disparity, frame disparity, identity misfire, foiled identity, sense conflation, and conflated frames. Several consequences arising from these impediments were explored: (1) consequences of sense conflation and conflated frames for the study of religion; (2) consequences of conflated frames for religious terminology; and (3) consequences of the negation of conflated frames for those who identify as not religious, not spiritual, or not Christian. Additionally, four types of oppositional identity work were identified and analyzed: (1) avoidance identity work, (2) dissonant identity work, (3) adaptive identity work, and (4) alternative identity work. Finally, the concept of conflated frames was applied to suggest a new interpretation of the classic Weberian disenchantment narrative. (shrink)

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, Kripke (...) conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

There is no specific trans perspective on romantic love. Trans people love and do not love, fall in love and fall out of love, just like everyone else. Trans people inhabit different sexual identities, different relationship types, and different kinds of loving. When it comes to falling in love as or with a trans person, however, things can get more complicated, as questions of gender and sexual identity emerge. In a study by Blair & Hoskin from 2018, 87.5% of (...) the interviewed participants said they would not consider dating a trans person (Blair & Hoskin, 2018). Among those who were open to dating trans people, a pattern emerged: the subjects were disproportionately willing to date trans men but not trans women, even if this preference did not match their own sexual identity; for example, a woman who identifies as a lesbian may be open to dating a trans man but not a trans woman. This seems like a clash of sexual and gender identities: why are women who identify as lesbians willing to date men? This chapter aims to analyze this phenomenon: love between clashing sexual and gender identities – e.g., the love between a man, who identifies as being romantically interested in men, and a trans woman, – and thereby evaluates the limits of romantic love for trans people. Limits of love, in this chapter, are conceived of as normative restrictions on whom and how we love. By exploring cases of clashing sexual and gender identities in romantic love, this chapter analyzes how trans people’s opportunities for love are often limited. (shrink)

Health Level 7 (HL7) is an organization seeking to provide universal standards for the exchange of healthcare information. In a document entitled ‘HL7 Version 3 Standard: Data Types’, the HL7 organization advances descriptions of data types recom- mended for use as identifiers. We will argue that the descriptions supplied provide insufficient guidance as to what exactly the entities are which these data types uniquely identify. Are they real things, such as persons or pieces of equipment? Or are they representations of (...) such real things in information artifacts? We here outline the problems faced by HL7 in providing answers to such questions, problems which arise because of the lack of anything like a coherent ontology in the HL7 standard, and we make some recommendations for future improvements. (shrink)

The aim of this article is to show how the integration of new nursing assistants in nursing homes in Quebec can be analyzed as a process of “enablement” or identity construction of the recruits by peer group through two specific phases: experienced nursing assistants quickly judge the ability of the recruit to support the heavy workload during the phase known as “orientation”, selecting recruits by this criterion; and they will transmit some informal competences to recruits selected and considered able (...) to be part of the peer group. L’objectif de cet article est de montrer en quoi l’intégration de nouveaux préposés aux bénéficiaires dans les CHSLD au Québec peut être analysée comme un processus d’habilitation, c'est-à-dire de construction identitaire des recrues par le groupe de pairs, à travers deux phases spécifiques : les préposés expérimentés jugent rapidement la capacité de la recrue à supporter la lourde charge de travail durant la phase dite d’ « orientation », en sélectionnant les recrues selon ce critère ; puis ils transmettront certaines compétences informelles aux recrues sélectionnées et considérées comme capables de faire partie du groupe de pairs. (shrink)

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)