Logic is traditionally considered to be a purely syntactic discipline, at least in principle. However, prof. David Isles has shown that this ideal is not yet met in traditional logic. Semantic residue is present in the assumption that the domain of a variable should be fixed in advance of a derivation, and also in the notion that a numerical notation must refer to a number rather than be considered a mathematical object in and of itself. Based on his work, the (...) central question of this thesis is what kind of logic, if any, results from removing this semantic residue from traditional logic.We differ from traditional logic in two significant ways. The first is that the assumption that a numerical notation must refer to a number is denied. Numerical notations are considered as mathematical objects in their own right, related to each other by means of rewrite rules. The traditional notion of reference is then replaced by the notion of reduction (by means of the rewrite rules) to a normal form. Two numerical notations that reduce to the same normal form would traditionally be considered identical, as they would refer to the same number, and hence they would be interchangeable salva veritate. In the new system, called Buridan-Volpin (BV), the numerical notations themselves are the elements of the domains of variables, and two numerical notations that reduce to the same normal form need not be interchangeable salva veritate, except when they are syntactically identical (i.e., have the same Gödel number).The second is that we do away with the assumption that the domains of variables need to be fixed in advance of a derivation. Instead we focus on what is needed to guarantee preservation of truth in every step of a derivation. These conditions on the domains of the variables, accumulated in the course of a derivation, are combined in a reference grammar. Whereas traditionally a derivation is considered valid when the conclusion follows from the premisses by way of the derivation rules (and possibly axioms), in the BV system a derivation must meet the extra condition that no inconsistency occurs within the reference grammar. For if the reference grammar were to give rise to inconsistency (i.e., it would be impossible to assign domains to all the variables without breaking at least one of the conditions placed on them in the reference grammar), there is no longer a guarantee that truth has been preserved in every step of the derivation, and hence the truth of the conclusion is not guaranteed by the derivation.In Chapter 2 the BV system is introduced in some formal detail. Chapter 3 gives some examples of derivations, notably totality of addition, multiplication and exponentiation, as well as a lemma needed for the proof of Euclid’s Theorem. These examples, taken from prof. Isles’ First-Order Reasoning and Primitive Recursive Natural Number Notations, show that there is a real proof-theoretical difference between traditional logic and the BV system. Here we also find the first major point of departure between myself and prof. Isles, centered on the notion of inheritance of conditions in the reference grammar by way of lemmata. These different points of view are best illustrated in the sections on the totality of exponentiation and on Euclid’s Lemma: prof. Isles maintains that the proof of totality of exponentiation is not BV valid, while I maintain that it is. But I do agree with him that the traditional proof of Euclid’s Lemma is not BV valid. Chapter 6 also expands the arguments for my choice in this matter.Now that it has been shown that there is a difference between traditional logic and BV, the properties of BV need to be examined. In Chapter 4 we give a proof of Cut-elimination for BV minus induction and the subformula property for BV, which allows us to prove the consistency of BV minus induction. We also expand on the reasons for excluding induction. In Chapter 5 we consider in detail the proof of a finite analog to the Löwenheim–Skolem theorem given by prof. Isles in his article with the same title. He proves that under certain conditions it is always possible, given the existence of a (possibly uncountable) model for a derivation, to give a finite model for this derivation. The system he considers deviates from BV as considered in this thesis in two significant ways: it does not contain the induction rule and the domains contain numbers instead of numerical notations. We then go on to show that it is possible to extend the result to include induction, in the sense that the existence of a possibly uncountable model for a derivation guarantees the existence of a model that is at most countable. We also consider the complications that arise from taking numerical expressions instead of numbers as the elements of domains.Finally, in Chapter 6 we consider the philosophical consequences of the BV system, informed by the formal results from the previous chapters. In particular we discuss the relation between reduction and reference, the status of reference grammars, the notion of induction and its function within BV, and some brief considerations on the consequences of the BV system for the discussion regarding nominalism and realism with regard to mathematical objects. The object of the chapter is twofold. On the one hand applying the formal results to philosophical questions, on the other hand arguing that BV is not just a theoretically acceptable alternative to traditional logic, but is in fact deserving of further development and research into its properties. The latter will probably appeal most to those of a nominalist and/or finitist bent.Abstract prepared by Harrie de Swart and Sven Storms.E-mail:[email protected]:https://research.tilburguniversity.edu/files/6170 1294/Storms_The_Buridan_Volpin_04_05_2022.pdf. (shrink)

The topic of personal identity has prompted some of the liveliest and most interesting debates in recent philosophy. In a fascinating new contribution to the discussion, Peter Unger presents a psychologically aimed, but physically based, account of our identity over time. While supporting the account, he explains why many influential contemporary philosophers have underrated the importance of physical continuity to our survival, casting a new light on the work of Lewis, Nagel, Nozick, Parfit, Perry, Shoemaker, and others. Deriving (...) from his discussion of our identity itself, Unger produces a novel but commonsensical theory of the relations between identity and some of our deepest concerns. In a conservative but flexible spirit, he explores the implications of his theory for questions of value and of the good life. (shrink)

Questions of identity such as ‘Who am I?’ are often answered by appeals to one or more affiliations with a specific nation (citizenship), culture, ethnicity, religion, etc. Taking as given the idea that identity over time—including identification and re-identification—for objects of a particular kind requires that there be criteria of identity appropriate to things of that kind, I argue that citizenship, as a ‘collectivist’ concept, does not generate such criteria for individual citizens, but that the concept person—which (...) specifies the kind of entity that I am—does generate such criteria. Confusion on this point has led some writers on citizenship to equivocate between identity for individuals and what is properly called self-determination in terms of their group affiliations and commitments. In the second part of the paper, I articulate and defend a relational view of personhood, and argue that it provides adequate grounding for morality in general, and moral education in particular. While not denying the value of civics or citizenship education, the link between morality and citizenship is derivative, at best. Finally, I examine the implications of a relational conception of personhood for the specific context of schools and classrooms, arguing that this conception is appropriately represented when the classroom functions as a community of inquiry, in which each member is encouraged to see her/himself as one among others. Drawing on the theory and practice of Philosophy for Children, I conclude with a call to reunite citizenship and moral education with their philosophical roots. (shrink)

Relative Identity contains a sustained attack on the classical or absolute theory of identity and a defense of a non-classical or relative theory of identity. According to the absolute theory of identity each thing is identical with itself and with nothing other than itself. The fundamental principle of this theory is Leibniz' Law:From a variety of characteristic principles about identity can be derived, including The Indiscernibility of Identicals, The Identity of Indiscernibles, and the symmetry, (...) reflexivity, and transitivity of identity. (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 a naïve realist approach to reading an ontology off the models of a physical theory, the invariance of a given theory under permutations of its property-bearing objects entails the existence of distinct possible worlds from amongst which the theory cannot choose. A brand of Ontic Structural Realism attempts to avoid this consequence by denying that objects possess primitive identity, and thus worlds with property values permuted amongst those objects are really one and the same world. Assuming that any (...) successful ontology of objects is able to describe a universe containing a determinate number of them, I argue that no version of OSR which both retains objects and understands ‘structure’ in terms of relations can be successful. This follows from the fact that no set of relational facts is sufficient to fix the cardinality of the collection of objects implied by those facts. More broadly, I offer reasons to believe that no version of OSR is compatible with the existence of objects, no matter how ontologically derivative they are taken to be. Any such account would have to attribute a definite cardinality to a collection of objects while denying that those objects are possessed of a primitive identity. With no compelling reason to abandon the classical conception of cardinality, such an attribution is incoherent. (shrink)

A sketch of a way of characterizing multidimensional value commitments and the way they can come into conflict derived from my book Hard Choices is presented and applied to the question of how to characterize the relevance of identity to value commitments and conflict. The views of A.K. Sen and A. Bilgrami are examined in the light of these ideas.

This paper deals with the identity and individuality of material objects. In particular, the view that identity is derivative on the qualities of things, based on the endorsement of the Principle of the Identity of the Indiscernibles, is studied in detail. This provides what seems to be a much-needed unitary look at, and up-to-date critical analysis of, the vast literature on the Identity of the Indiscernibles. It is concluded that the ‘reductionist’ view, dating back to Quine (...) and, earlier, to Leibniz, possesses no compelling justification, neither from the conceptual, a priori point of view, nor from the methodological perspective, nor as far as empiricalevidence (as the latter is described by our best current science) is concerned. That is to say, the Principle has not been (perhaps, cannot be) shown to be either a necessary or a contingent truth. Therefore, it can be argued that the whole reductionist view of the individuality of material entities can be dispensed with in favour of an interpretation of reality in terms of objects provided with primitive identity. A suggestion in this latter sense that preserves the appeal of a property-based ontology is very briefly made. (shrink)

The dissertation is composed of five papers, each of which either deals with a topic in contemporary metaphysics or uses concepts central to contemporary metaphysics as part of the machinery of its argument. Three papers deal with the problem of personal identity. In Hume on Identity: A Defense I argue that Hume, in maintaining that we are always mistaken in ascribing identity to persons, is presenting a fundamental metaphysical problem about identity through change, not trying to (...) analyze the way we talk about change as his contemporary critics charge. I explicate Hume's argument for this alarming conclusion and show it is far more powerful than has been realized. In Parfit on Identity, I criticize recent attempts to reduce persons to series of psychophysical states or stages. I outline a Realist account of persons and argue that identity is what matters in survival. In Memories, Brains, and Identity, I attack John Locke's contention that present identity is a function of present experience. I use counter-instances derived from the literature on split-brains to show that my present experience could have belonged to someone else. A consequence is that the memory criterion of personal identity is essentially incomplete. ;Examples from the literature on personal identity involving fissioning are central to Abortion and The Control of Human Bodies in which I argue that an organism with a strong right to life has a right to the continued use of the biological equipment, the use of which it acquires through the species-typical process of its own creation. A consequence is that if a fetus is a person, he has the right to the continued use of the mother's womb whether she has given it to him or not. ;The papers on Locke and Parfit rely upon the apparatus of possible worlds, which is central to Dreaming and Certainty. If I believe that I am in a world in which I have conclusive evidence that I am awake, and there is a possible world in which I have the same belief and it is false, can I know which is actual on the basis of the evidence I believe is conclusive? I argue that being wide-awake is a self-recognizing state: when I'm not in it I can mistakenly believe that I am in it, but when my belief is true, I know it. I argue that this enables me to recognize that I am not dreaming. (shrink)

A recurrent issue in linguistic theory and psychology concerns the cognitive status of memorized lists and their internal structure. In morphological theory, the collections of inflected forms of a given noun, verb, or adjective into inflectional paradigms are thought to constitute one such type of list. This book focuses on the question of which elements in a paradigm can stand in a relation of partial or total phonological identity. Leading scholars consider inflectional identity from a variety of theoretical (...) perspectives, with an emphasis on both case studies and predictive theories of where syncretism and other "paradigmatic pressures" will occur in natural language. The authors consider phenomena such as allomorphy and syncretism while exploring questions of underlying representations, the formal properties of markedness, and the featural representation of conjugation and declension classes. They do so from the perspective of contemporary theories of morphology and phonology, including Distributed Morphology and Optimality Theory, and in the context of a wide range of languages, among them Amharic, Greek, Romanian, Russian, Saami, and Yiddish. The subjects addressed in the book include the role of featural decomposition of morphosyntactic features, the status of paradigms as the unit of syncretism, asymmetric effects in identity-dependence, and the selection of a base-of-derivation. The Bases of Inflectional Identity will interest linguists and cognitive scientists, especially students and scholars of phonological theory and the phonology-morphology and mind-language interfaces at graduate level and above. (shrink)

Bourdieu's theory of aesthetic taste shares with social identity theory the concepts of reciprocal comparison and differentiation among social groups. This study used discourse analysis of interviews with further-education students on the topic of aesthetic taste to test the hypothesis, derived from these theories, that individuals always present their tastes in line with social differentiations. Since these students were moving from working-class to middle-class identities via education, it was expected that their discourse would be rich in the inconsistencies which (...) need discourse analysis. Most respondents denied links between social class and aesthetic taste, but produced inconsistent “individualist” and “socialisation” repertoires. The individualist repertoire gave priority to individual choice in looking forward to a middle-class identity, while the socialisation repertoire favoured egalitarianism in looking backward to working-class origins and tastes. This inconsistency was resolved in one of two ways, “reconstrue society”, or “reconstrue self”. The “reconstrue society” resolution had three versions: progressivism ; reduction of class to resistible peer pressure; and subdivision of the working class into non-cultured and cultured segments, identifying the self with the latter. “Reconstrue self presented the self as overriding socialisation forces, but split identity between a social outer appearance and a private inner self. (shrink)

According to the DSM IV, a person with GID is a male or female that feels a strong identification with the opposite sex and experiences considerable stress because of their actual sex (Task Force on DSM-IV and American Psychiatric Association, 2000). The way GID is characterized by health professionals, patients, and lay people belies certain assumptions about gender that are strongly held, yet nevertheless questionable. The phenomena of transsexuality and sex-reassignment surgery puts into stark relief the following question: “What does (...) it mean to be male or female?” But while the answer to that question may be informed by contemplation of GID, we should also be aware that the answer to the question “what does it mean to have GID?” is shaped by our concepts of male and female. First, I consider the concept of transsexuality, and explain how it forces us to clarify our concepts of sex and gender, and leads to the development of what I will call the “standard view.” I then explain GID from a mental-health standpoint, question the concept of gender identity, and try to uncover some fundamental assumptions of the standard view. I argue that these assumptions are at odds with the plausible view that gender supervenes on physical, psychological, and/or social properties. I go on to argue, contra the standard view, that gender has no essence. I suggest an anti-essentialist account of gender according to which “man” and “woman” are cluster concepts. This undermines the dualistic conception of gender that grounds the standard view. An anti-essentialist view of gender cannot make sense of the concept of “gender identity” and hence sees so-called “GID” as primarily conflict between the individual and her society, and only derivatively a conflict between the individual and her body. (shrink)

Many of us agree that we ought not to wrong future people, but there remains disagreement about which of our actions can wrong them. Can we wrong individuals whose lives are worth living by taking actions that result in their very existence? The problem of justifying an answer to this question has come to be known as the non-identity problem.[1] While the literature contains an array of strategies for solving the problem,[2] in this paper I will take what I (...) call the harm-based approach, and I will defend an account of harming—which I call the existence account of harming—that can vindicate this approach. -/- Roughly put, the harm-based approach holds that, by acting in ways that result in the existence of individuals whose lives are worth living, we can harm and thereby wrong those individuals. An initially plausible way to try to justify this approach is to endorse the non-comparative account of harming, which holds that an event harms an individual just in case it causes her to be in a bad state, such that the state’s badness does not derive from a comparison between that state and some alternative state that the individual would or could have been in. However, many philosophers argue that the non-comparative account of harming is inadequate,[3] and one might be tempted to infer from this that any harm-based approach to the non-identity problem will fail. My proposal, which I call the existence account of harming, will show that this inference is faulty: we can vindicate the harm-based approach without relying on the non-comparative account of harming. (shrink)

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting (...) from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)

Emerging developments in communications and computing technology may transform the nature of human identity, in the process rendering obsolete the traditional philosophical and scientific frameworks for understanding the nature of individuals and groups. Progress toward an evaluation of this possibility and an appropriate conceptual basis for analyzing it may be derived from two very different but ultimately connected social movements that promote this radical change. One is the governmentally supported exploration of Converging Technologies, based in the unification of nanoscience, (...) biology, information science and cognitive science. The other is the Transhumanist movement, which has been criticized as excessively radical yet is primarily conducted as a dignified intellectual discussion within a new school of philosophy about human enhancement. Together, NBIC and Transhumanism suggest the immense transformative power of today’s technologies, through which individuals may explore multiple identities by means of online avatars, semi-autonomous intelligent agents, and other identity expansions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 40.4 (2006) 65-76 MuseSearchJournalsThis JournalContents[Access article in PDF]Identity, Aesthetics, ObjectsGustavo GuerraIn September 1990 UCLA's Wright Art Gallery opened an exhibition entitled Chicano Art: Resistance and Affirmation 1965-1985 (now usually referred to as CARA). While CARA was one of several national events displaying nonmainstream art, it was also distinctive in its politics of self-representation. The artists participating in CARA insisted that they be described (...) as members of a Chicano art movement. With the term Chicano they hoped to step beyond labels preferred by the dominant culture—labels such as Mexican American, Latino, or Hispanic. For these artists, the word Chicano was appealing because it represented a complexity of meanings that they understood as being integral to both their identity and to the art they produced. The word Chicano, as Alicia Gaspar de Alba discusses in Chicano Art Inside/Outside the Master's House,1 embraces multiple meanings and axes of cultural identity; it derives from the Nahuatl pronunciation of Mexicano, often referring to a person of Aztec descent but including, as well, Native American heritage, Mexican roots, and Catholic faith. The CARA artists also embraced the label's association with a politics of liberation, popular protest, and working-class creativity. From the outset, then, the CARA exhibition was more than an art exhibition.By some lights, however, CARA was too much more than an art exhibition. When the organizers realized they needed funds, they applied for a National Endowment of the Humanities (NEH) grant and were initially turned down. While an NEH rejection might mean a number of things, the language of the rejection reports in this case narrows the possibilities down [End Page 65] to an issue that I mean to consider in this article. One rejection report states thatThe panelists understood that Chicano art arose from a variety of political movements and social causes, and therefore the political aspect of this proposal is appropriate to the subject matter.... Even so, the panelists worried that the project makes a political statement, that it is politics masquerading as culture, and that the proposal contains jargon and rhetoric and reads like a manifesto. 2Other reviewers objected to the general language of the report along similar lines. While Chicano artists made a point of representing themselves in complex, multidimensional terms, the NEH found such complexity and multidimensionality perplexing and thus their art not worthy of funding. One referee, for instance, claimed that the terminology used in the proposal was too narrow; he complained that defining Chicano in terms of struggle was too restrictive and excluded other Chicano artists for whom struggle was not a major concern. But later the same reporter objected that some of the concepts in the proposal were not inclusive enough, as they failed to include issues and topics that are central to the Chicano community. Thus the complexity and cluttered characterization that the artists felt was central to their sense of identity was dismissed as either too excessive or as too restrictive. According to the NEH, Chicano artists failed not because of their art (which the referees did describe as "visually compelling") but because of the way in which they chose to identify themselves—because, in other words, of their "rhetoric and jargon." Whatever it was that the NEH found compelling in the Chicano art they found uncompelling in the description of the Chicano artists' lives.After the organizers revised their proposal and reapplied for the grant, they were once again turned down. This second rejection highlights even more clearly the nature of the problem. This second report argues that "[T]here is a disjunction between the organizers' intentions and the exhibition. The proposal does not differentiate clearly between Chicano art and Hispanic art and, in its dependence on self-referential analysis rather than a comparative perspective, the exhibition does not place art in the bigger picture." 3I would like to consider what is at issue when descriptions of identity are said not to work, or when descriptions of art are likewise accused of failure and... (shrink)

Eric Vogelstein has defended Don Marquis’ ‘future-like-ours’ argument for the immorality of abortion against what is known as the Identity Objection, which contends that for a fetus to have a future like ours, it must be numerically identical to an entity like us that possesses valuable experiences some time in the future. On psychological accounts of personal identity, there is no identity relationship between the fetus and the entity with valuable experiences that it will become. Vogelstein maintains (...) that a non‐sentient fetus nonetheless has a future like ours because it is numerically identical with a future organism that has a mind that bears valuable experiences. Skott Brill, drawing on Jeff McMahan’s embodied mind account, denies that human organisms directly have experiences, claiming that they only have experiences derivatively by virtue of their thinking part, and the loss of a future like ours is not transferred to the organism. I show that on McMahan’s account, a strong case can be made for the organism having experiences directly, and the subject having these experiences derivatively. This negates Brill’s reasoning, although it does imply that non-sentient fetuses do not have a future like ours in quite the same way as we do. I conclude this is not problematic for Marquis’ argument. (shrink)

We derive for Bohmian mechanics topological factors for quantum systems with a multiply-connected configuration space Q. These include nonabelian factors corresponding to what we call holonomy-twisted representations of the fundamental group of Q. We employ wave functions on the universal covering space of Q. As a byproduct of our analysis, we obtain an explanation, within the framework of Bohmian mechanics, of the fact that the wave function of a system of identical particles is either symmetric or anti-symmetric.

Few would disagree that P. F. Strawson and W. V. O. Quine have been the leading figures in Anglo-American philosophy during the second half of the twentieth century. This book brings together a number of Strawson’s widely-scattered previously-published essays from the 1970s, 1980s, and 1990s. The unity of the collection is partly provided by the internal connectedness of the essays to Strawson’s most important books Individuals, The Bounds of Sense, Logico-Linguistic Papers, and Subject and Predicate in Grammar and Logic. But (...) its unity principally lies in Strawson’s consistent and vigorous opposition to Quine’s extreme extensionalism. The extensionalist says that the meanings of terms and sentences in natural languages or logical systems are strictly determined by the objects they refer to; and the Quinean extensionalist also says that those objects are ultimately whatever the natural sciences tell us they are. The intensionalist, by contrast, says that meanings in natural language and logic are underdetermined by the functions of reference and have irreducible, autonomous structures that include primitive features of generality and modality; and the Strawsonian intensionalist says that those irreducible, autonomous structures are grounded in the person-oriented world of ordinary speech-transactions and everyday common sense. In the Introduction, Strawson helpfully divides the essays into seven groups or clusters: two on identity and universals; two on quantification and properties; three on singular reference and beliefreports; two on logical form; one on epistemic modality; two on pragmatics; and four on Kant. The essays on Kant are primarily exegeticalcritical, but also have a deeper import. For Strawson’s metaphysical commonsensism and personalism can be fairly neatly derived from Kantian metaphysics by logically detaching Kant’s plausible conception of “empirical realism” from his questionable doctrine of “transcendental idealism”, and by similarly detaching Kant’s plausible conception of a self-conscious embodied empirical subject and her a priori cognitive and practical capacities from his questionable conception of a noumenal self. It is of course impossible in a very short review even to summarize all sixteen essays, far less to explicate or criticize them. So to maximize available resources I will concentrate the rest of my remarks on what seems to me to be the most important paper. In “Logical Form and Logical Constants”, Strawson addresses a fundamental and lingering problem in the philosophy of logic: How precisely to define the logical constants and to justify their introduction into a logical theory? All logicians agree that logical constants are just those terms in a formal or natural language which hold their meanings fixed under the variable interpretations of all other terms, which enter essentially into logical truths and deductions, and which are “topic-neutral”—indifferent to all special subject-matters. But these notions do not get us very far, since the meaning of any term can be held rigidly and topic-neutrally fixed over a language and also held to enter essentially into logical truths and deductions, by sheer stipulation. Strawson’s approach to solving the problem has two basic steps. First, he joins a line of thought shared by Kant, Boole, and early Wittgenstein: “[l]ogic reveals the general essence of all thought and all language”. Secondly, he borrows and exploits Wittgenstein’s idea that all the logical constants are packed into the general form of a proposition, which is simply “this is how things are.” This leads to the proposal that we can “think of standard logic as something in principle excogitatable... by pure reflection on the general nature of statement, on what is the least that is necessarily involved in the making of empirical informative statements”. Such a line of reasoning— rather like Kant’s discovery of his “table of judgments” in the first Critique —runs backward from the notion of an empirical statement to the root logical notions of general term and singular term, of compatibility and incompatibility, and of “identifiable linguistic forms or devices with conventional forces or meaning” ; and from there by gradual steps to the notions of contradiction and entailment, the truth-functions, logical truth, first-order quantification, and so forth. I have a worry about this way of excogitating logic, however. While it neatly accounts for standard logic, I cannot see how it will be able to account for nonstandard logic—whether in the form of conservative extensions of standard logic or in the form of deviant logics. In other words, the starting point for logical reflection must be something more comprehensive than the empirical statement. Now the notion of an analytic a priori statement seems like the obvious candidate: no system, standard or nonstandard, will wholly lack logical laws or logical truths. If so, then Strawson’s disinclination to deploy the notion of analyticity directly may be a concession to Quine’s attack on the analytic-synthetic distinction. On this pivotal issue, in fact, Strawson’s intensionalism has lost out to Quine’s extensionalism—the Grice-Strawson reply to “Two Dogmas of Empiricism” from ordinary-language considerations has not generally prevailed. But we are very fortunate that Strawson has been both willing and so brilliantly able to resist the Quinean juggernaut for five decades.—Robert Hanna, University of Colorado at Boulder. (shrink)

This article examines Derek Parfit's claim in Reasons and Persons that personal identity consists in non-branching psychological continuity with the right kind of cause. It argues that such psychological accounts of our identity fail, but that their main rivals, biological or animalist accounts do not fare better. Instead it proposes an error-theory to the effect that common sense takes us to be identical to our bodies on the erroneous assumption that our minds belong non-derivatively to them, whereas they (...) in fact belong to them derivatively in virtue of belonging to some proper parts of them, namely certain features of their brains. However, these features do not meet another necessary condition of being the subject or owner of our minds: the condition of being “accessible” so that we can attribute our mental states to them in everyday life. There is also the problem of specifying these features more precisely. Nothing meets these two conditions, so we are not identical to anything. This conclusion fits well with Parfit's claim that personal identity is not what matters. But although this negative claim is true, it is suggested that Parfit's positive account of what matters is mistaken: it is rather psychological similarity than psychological continuity/connectedness that matters. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Ambedkar-Gandhi Debate: On Identity, Community and Justice by Bindu PuriMeena Dhanda (bio)The Ambedkar-Gandhi Debate: On Identity, Community and Justice. By Bindu Puri. Singapore: Springer, 2022. Pp. xv + 266, Paper $119.90, ISBN 978-981-16-8685-6.Written from a philosophical perspective, this ambitious book by Professor Bindu Puri draws attention to an old and well know opposition between two great minds of the last century. The distance between Mohandas (...) Karamchand Gandhi (1869--1948) and Dr. Bhimrao Ambedkar (1891--1956) surfaced in the political domain when both were engaged in challenging British colonial rule in their respective, unique, and often opposing ways. Faced with a common enemy from whom political independence was sought, both Indian leaders battled with each other to define the meaning of that independence for the masses they represented. How would independence from the British bring freedom and equality to the most underprivileged? Both drew on their understanding of India’s past: Gandhi at pains to revise, reform, and rewrite his complex inheritance with an eye to continuity, and Ambedkar labouring to extract and underline the undeniable, inescapable core, the scourge of caste, which the republic of India would have to break from if genuine freedom and equality were to become attainable goals.Puri’s book addresses these conflicting notions of the past and builds two incommensurable world views underpinning their political positions, thus presenting the political and intellectual rivalry between Gandhi and Ambedkar as ultimately irreconcilable. Their world views are distilled by defining the relationship between underlying conceptions of the self, community and justice. These form the foci of five chapters, each elaborating the difference between the two thinkers. A broad framework of a binary opposition between the “modern” (Ambedkar) and the “Indic” (Gandhi), inspired by authors like D.R. Nagraj and Ashish Nandy, is followed, occasionally allowing for seepage of common elements from one to the other. It is a significant feature of their life histories that both Gandhi and Ambedkar were trained as lawyers, both studied outside British India, and both returned to practice law in British India. In my view, their “modern” training shaped the argumentative methods deployed by both, albeit, when writing in the vernacular, Ambedkar (in Marathi) and Gandhi (in Gujarati), both used appeals to “native” intelligence in dissimilar ways. Ambedkar did not spare the sphere of the “sacred” from critical scrutiny, whereas Gandhi was careful to protect the “sacred” from criticism. [End Page 1]The book makes extensive use of a distinction between “itihaas” and history, borrowed from an essay by Ajay Skaria (2010), “The Strange Violence of Satyagraha: Gandhi, Itihaas, and History.” Both notions are meant to encapsulate the “past,” but apparently in different ways. This crucial distinction, stressing on the meaning of “itihaas” as “it so happened” introduced in Chapter 1 (p. 2) is followed by its extensive deployment in Chapter 2 (pp. 25-53), where Skaria’s essay is first referenced (p. 33). Many of the key references to Gandhi’s writings in this chapter are strikingly identical with those used by Skaria (2010). He, however, has used his own translations of the original Gujarati text of Hind Swaraj into English, carefully explaining the differences between his and Gandhi’s translations into English, but Puri has relied on either the Collected Works of Mahatma Gandhi or Hind Swaraj and Other Writings (ed. Anthony Parel). A long quotation from Veyne (1984) seems to be taken from Skaria’s essay—all the ellipses are exactly where Skaria placed them. The interlinkages between key Gandhian concepts—e.g., between satyagraha and atmabal; the importance of “singularity” for itihaas; khaas lakshan and humanity; unilateral obligation (ekpakshi farj); ownmost orientation (swabhava)—are all found in Skaria (2010). The reliance on Ajay Skaria’s interpretations of Gandhi’s idea of samadarshan (seeing things with an equal eye), especially in the context of the Bhagwad Gita continues in chapter 4 (pp. 152-160), in her discussion of “absolute equality,” only this time it is with reference to Skaria’s (2016) Unconditional Equality: Gandhi’s Religion of Resistance.The comparison of Gandhi’s reading of the Gita with orthodox readings by Tilak and Ramanujan (apparently also derived from... (shrink)

Three distinct but related questions can be asked about the meaningfulness of one's life. The first is 'What is the meaning of life?', which can be called 'the cosmic question about meaningfulness'; the second is 'What is a meaningful life?', which can be called 'the general question about meaningfulness'; and the third is 'What is the meaning of my life?', which can be called 'the personal question about meaningfulness'. I argue that in order to deal with all three questions we (...) should start with the personal question. There is a way of understanding the personal question which allows us to answer it independently of any consideration of the cosmic question, but which nonetheless helps us see why the cosmic question should be dismissed as a bad question. Besides, a recommendable answer to the general question can be derived from my understanding of how the personal question should be answered. Two notions are essential to my account, namely, the notion of identities and the notion of a biographical life. And the account can be epitomized in this enticing way: a person's life is meaningful if it contains material for an autobiography that she thinks is worth writing and others think is worth reading. (shrink)

This article argues that the chorus of elders in Sophocles' Oedipus Coloneus is far from ineffectual, as some scholars assume choruses of elders generally are, but exceptionally authoritative in its role as a chorus. The exceptional authority of the Elders of Colonus derives from their old age, wherefrom their sympathy for Oedipus obtains, and from the fact that they are Athenian and thus have the capacity to enact their sympathy for Oedipus by granting him special rights of residency as an (...) heroic protector of Athens. Detailed analysis of this particular chorus's speech, song, and action is helpful not only to our understanding of Oedipus Coloneus but also, more broadly, to our understanding of the ongoing, if not increasing, importance that the chorus will have maintained in ancient Greek tragedy. (shrink)

I give an account of proof terms for derivations in a sequent calculus for classical propositional logic. The term for a derivation δ of a sequent Σ≻Δ encodes how the premises Σ and conclusions Δ are related in δ. This encoding is many–to–one in the sense that different derivations can have the same proof term, since different derivations may be different ways of representing the same underlying connection between premises and conclusions. However, not all proof terms for (...) a sequent Σ≻Δ are the same. There may be different ways to connect those premises and conclusions. -/- Proof terms can be simplified in a process corresponding to the elimination of cut inferences in sequent derivations. However, unlike cut elimination in the sequent calculus, each proof term has a unique normal form (from which all cuts have been eliminated) and it is straightforward to show that term reduction is strongly normalising—every reduction process terminates in that unique normal form. Further- more, proof terms are invariants for sequent derivations in a strong sense—two derivations δ1 and δ2 have the same proof term if and only if some permutation of derivation steps sends δ1 to δ2 (given a relatively natural class of permutations of derivations in the sequent calculus). Since not every derivation of a sequent can be permuted into every other derivation of that sequent, proof terms provide a non-trivial account of the identity of proofs, independent of the syntactic representation of those proofs. (shrink)

The question of what subjects Paul addresses in his letters has been a matter of debate in New Testament scholarship. This debate shows the evolution of Pauline studies, whereby early scholars argued that Paul addressed topics ranging from questions of human existence, to relations between Jews and Gentiles, and even topics connecting Paul with the Roman Empire. Most of these scholars view Paul mainly from a religious perspective, particularly in terms of the relationship between Judaism and Christianity. However, viewing Paul (...) from a Jewish versus a Christian religious perspective only fails to present the multivalent function of the Pauline corpus. This article employs social identity theory to read Galatians 3:1–10 in order to defend the argument that Paul employs his letters to construct a superordinate identity for his community which embraces not only political perspectives but also has religious and economic trajectories.Contribution: The application of identification, contest and comparison, concepts derived from sociology, to analyze Galatians 3:1-10 in reference to 1st century economic, religious and political contexts to explain the multivalent nature of early Christian identity, contributes to multidisciplinary research aspects of Biblical studies which is in tandem with the scope of HTS Theological Journal. (shrink)

The debate about how neurotechnologies impact authenticity has focused on two inter-related dimensions: self-discovery and self-creation. In this paper, we develop a broader framework that includes the experimental and relational dimensions of authenticity, both understood as decisive for shaping one’s narrative identity. In our view, neurointerventions that alter someone’s personality traits will also impact her very own self-understanding across time. We argue that experimental authenticity only needs a minimum conception of narrative coherence of the self and that reversibility should (...) remain a key feature in the ethical assessment of neurotechnologies. The relational dimension of authenticity derives from the fact that a process of self-constitution is never a solitary business. The significant others act not just as subsequent judges of one’s life decisions, but as real co-authors of one’s self. We discuss relevant cases in which others are actively contributing to the meaning-making process, as to the direction one’s life is taking. We also claim that the experimental and the relational dimensions of authenticity should aim to correct each other. The relational dimension introduces socially approved standards as well as limitations to the array of available possibilities of self-fashioning or human enhancement. The experimental side enables us to avoid confusing one’s personal identity with a social and narrative construct that only bears the mark of social pressure and conformism. (shrink)

We discuss the symmetry basis of unified field theories, i.e., the generalized concept of local gauge symmetry, and its physical implications. The generalized Ward-Takahashi identities and the explicit constraints among renormalization constants are derived by using the path integral in a specific model. These constraints are confirmed at the one-loop level.

Mental files serve as individual or singular concepts. Like singular terms in the language, they refer, or are supposed to refer. What they refer to is not determined by properties which the subject takes the referent to have (i.e. by the information stored in the file), but through relations to various entities in the environment in which the file fulfills its function. Files are based on acquaintance relations, and the function of the file is to store whatever information is made (...) available through the relations in question. I offer a typology of files. The most important distinction is between proto-files and conceptual files. In contrast to proto-files, conceptual files can host not only information derived through the specific relation on which the file is based, but also information about the same object gained in some other way. In this framework identity comes into the picture twice. (i) Identity is presupposed when two pieces of information occur in the same file. Such 'presumptions of identity' ground the linguistic phenomenon of de jure coreference, which takes place when two singular terms, or two occurrences of a singular term, are associated with the same file. (ii) Judgments of identity work by linking two distinct files, thereby enabling information to flow freely between them. This corresponds to de facto coreference. (Linking is not merging ; identity judgments have the effect of merging files only when the files belong to a very specific category, that of 'encyclopedia entries' -- a type of conceptual file based on a higher-order relation rather than on a specific acquaintance relation.) In the last part of the paper I will discuss, and attempt to rebut, two objections to the mental-file account. According to the first objection, the account is circular ; according to the second objection, de jure coreference cannot be accounted for it in terms of identity of the associated mental files because de jure coreference is not a transitive relation. (shrink)

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property (...) with respect to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:David Hume on Personal Identity and the Indirect Passions Robert S. Henderson Scholarly reflection on Hume's "doctrine" ofselfand personal identity continues to focus on the sections "Of Personal Identity" and the "Appendix" toA Treatise ofHuman Nature. To answer the question of why we have so great a propension to ascribe an identity to these successiveperceptions which make up experience, Hume says that we must distinguish (...) betwixtpersonal identity, as it regards our thought or imagination, and as it regards our passions or the concern we take in ourselves. He considers only the former in these sections. Towards the end of the personal identity section he writes that our identity with regard to the passions serves to corroborate that with regard to the imagination, by the making our distant perceptions influence each other, and by giving us a present concern for ourpast or future pains or pleasures (T 261). In the advertisement to the Treatise Hume says that the subjects of the understanding and passions make a compleat chain of reasoning by themselves (T xii). In light of the importance Hume attaches to the distinction, and since there are many indications that the Treatise should be read as an integral whole, it is surprising that so little attention is given to what he says of personal identity in the other books. As the title suggests, this paper concentrates on the second part of the distinction and especially on the discussion ofthe indirectpassions in Book II of the Treatise. This is not to suggest that self does not play an important role elsewhere in Hume's science ofman; for example, it is selfwhich experiences the impression ofwill and the direct passions. However, the indirect passions have a particularly important part to play in ascriptions of personal identity and this justifies the present investigation. II We can safely predict that personal identity as it regards our passions will not be the idea??some philosophers whose views of self as having the philosophical (strict) relation ofidentity Hume has rejected in "Of Personal Identity." The relationship between thought and passion to which he draws attention suggests that the idea of selfin this context has a relation to the positive suggestions in that earlier section of why Volume XVI Number 1 33 ROBERT S. HENDERSON we do speak meaningfully of the identity of the self. We are able so to speak because ofarelationship which is felt to exist between a person's distinct and changing perceptions. The relationship has to do with the discovery by memory of the connection of a person's perceptions through the association ofideas by resemblance and causation (T 261). Examination of the idea of self to which Hume makes frequent reference in Book II requires some review ofthe method ofthe Treatise. Perceptions make up human experience. Perceptions are either impressions or ideas which derive from impressions. Hume describes the indirect passions as secondary or reflective impressions and these stem from original impressions or from their ideas. He distinguishes between direct andindirect passions. Directpassionsarise immediately fromgood or evil, frompain orpleasure (T 276). Examples are joy, hope and fear. Indirect passionsproceed from the same principles, but by the conjunction ofother qualities (T 276). That is, the indirect passions not onlyhave a cause (an impression which excites them), but also an object (to which the passion directs our view when excited). We shall see that a significant quality of the indirect passions is the relation of these impressions to their objects, which are either one's own or another's self. In Book II of the Treatise Hume examines the indirect passions: love, hate, pride and humility. These passions are evaluations of persons; of selfin the case of pride and humility, and of another in the case of love and hatred. Evaluation of persons is a central feature of Hume's moral philosophy: To have the sense ofvirtue, is nothing but to feel a satisfaction of a particular kind from the contemplation of a character. The very feeling constitutes our praise or admiration (T 471). We shall see that the indirect passions in particular make an important contribution to the answer ofHume's original question ofthe source?? owe propension to ascribe an identity. Ill... (shrink)

I defend the view that episodic memory judgments do not depend on any kind of identification of oneself as the person whose past is being remembered, and are therefore logically (rather than merely de facto) immune from error through misidentification relative to “I”. There are two challenges to this view that have been pressed in the literature. One appeals to the idea of background presuppositions of identity and says that “I am the person from whom my memory impression derives” (...) is a background presupposition of any memory judgment. The other appeals to wh-misidentification and says there are possible cases in which memory goes astray that should be counted as cases of error through wh-misidentification. Although the details are different, the core thought behind both challenges is the same: Shoemaker’s thought that there could be a memory-like relation that one stands in to another’s past. I think this thought is a mistake. (shrink)

The gap in the mathematical derivation of Noether’s theorem, and also of the Ward-Takahashi identities, caused by performing variation before quantization is closed by introduction of variational calculus for operator fields. It is demonstrated that both Noether’s theorem and the Ward-Takahashi identities retain full validity in quantum field theory.

In his famous essentialist account of identity, Kripke holds that it is necessary to the identity of individual people that they have the parents they do in fact have. Some have disputed this requirement, treating it either as a reason to reject essentialism or as something that should be eliminated in order to make essentialism stronger. I examine the reasoning behind some of these claims and argue that it fails to acknowledge the complex and multi-faceted importance of biological (...) process in determining identity and distinguishing significant differences between biological and non-biological cases. In fact, this failure derives from an inherent tendency to treat the biological case in just the same way as the non-biological case at least at one important point in its history—the point of formation. This analysis offers a way of salvaging Kripke’s original claims. I focus in particular on the views of Graeme Forbes and Teresa Robertson, but also discuss the views of Nathan Salmon, M. S. Price and E. J. Lowe. (shrink)

We derive, in path integral approach, the (anomalous) master Ward identity associated with an infinite set of nonlocal conservation laws in two-dimensional principal chiral models.

A non-universal Immediate Dominance Condition on identity deletion is proposed to explain the systematic differences between languages like Chinese and languages like English in their respective patterns of coordination, topicalization, dislocation, and relativization. By assuming that this condition holds for languages of the Chinese-type, but not for those of the English-type, it is possible to account for the well-formed coordinations of all languages by means of a single universal principle of coordination reduction, and it is possible to derive the (...) well-formed topicalizations, dislocations, and relative clause constructions of all languages by means of the same set of universal principles of Copying, Deletion, and Pronominalization. (shrink)

I introduce a thin concept of ad hoc identity -- distinct from metaphysical accounts of either relative identity or absolute identity -- and an equally thin account of concepts and their content. According to the latter minimalist view of concepts, the content of a concept has behavioral consequences, and so content can be bounded if not determined by appeal to linguistic and psychological evidence. In the case of counting practices, this evidence suggests that the number concept depends (...) on a notion of identity at least as strong as ad hoc identity. In the context of nonrelativistic QM in particular, all of the counting procedures appealed to in the existing literature on nonindividuality are shown to involve ad hoc identity. I then show that Goyal Complementarity and the associated derivation of a strong symmetrization principle in QM can be understood in terms ad hoc identity. Specifically, persistence and non-persistence models of quantum processes are seen to be complementary in the sense that they involve two relations of ad hoc identity that occasionally overlap in empirically meaningful ways. Finally, I attempt to draw out consequences for theories of nonindividuality from the above conceptual analysis. The upshot is that counting and definite cardinality are incompatible with nonindividuality, and that none of the counting procedures cited for quantum phenomena offer positive support for an interpretation in terms of nonindividuals. (shrink)

This article attempts to bring into discussion concepts from contemporary theories of republicanism from the vantage point of the particular theory of republican citizenship advocated by David Miller, and based on national identity. It emerges from the discussion of his notions of national identity and republican citizenship that he works with two parallel notions of political obligation: one that can be intimated from Miller’s Rousseauian vision of a political community as a community of common will, and another that (...) can be derived from his discussion of republican citizenship as a practice of deliberation. After identifying these two notions of political obligation as ancestral obligation and political obligation as public practice I proceed to show that they work independently of one another, and that the latter is to be preferred to the former. I conclude by suggesting that these findings entitle us to think that national identity is neither a necessary nor a desirable foundation for republican citizenship. (shrink)

The diverse and paradoxical nature of globalization processes has given rise to new social constellations that shape transnational, national and local spaces. The historicity of identities, their past and present conditions, the changes they went through, the ways they influence the feeling of full membership in a community and the differentiation derived from cultural diversity and pluralism underscore the need for revisiting theoretical explorations. This paper addresses past and present social, cultural and religious processes in an era of transformations derived (...) from the complexity of today’s interconnected world and on the light of historical encounters. The need for revising the singularity of social and cultural trajectories and the religious trends gravitating in society is approached through snapshots of a twofold historical encounter: between Modernity and Latin America, and between Judaism and Modernity. Both express entrenched dilemmas of the binaries periphery-center and universal-particular. While one of them raised the issue of the dominant program of Modernity as a Western project, the other was entailed in the assumptions of one hegemonic religious constellation. (shrink)

By what process was the Jacobin identity transplanted into nineteenth-century Russian radical culture? According to the conventional account, the Jacobin label was coined by proponents like Zainevskij and Tkaev. Lenin, in turn, is said to have derived his Jacobin identity from them, thus revealing the non-Marxian source of his political ideas. This article contests that interpretation through a study of the origin and spread of the Jacobin terminology in post-emancipation Russia. I show that the Jacobin identity in (...) Russia was invented by anti-Jacobin populists and that there were scarcely any self-proclaimed Jacobins prior to Lenin. I also reconstruct the path by which Lenin came to identify with French Jacobinism. That path remained within the territory of Marxist theory from beginning to end. (shrink)

The article proposes a novel approach to the much discussed question of which symmetries have ‘direct empirical significance’ and which do not. The approach is based on a development of a recently proposed framework by Hilary Greaves and David Wallace, who claim that, contrary to the standard folklore among philosophers of physics, ‘local’ symmetries may have direct empirical significance no less than ‘global’ ones. Partly vindicating the standard folklore, a result is derived here from a number of plausible assumptions, that (...) states that local symmetries can indeed have no direct empirical significance. Ways to interpret the result are considered and possible morals are outlined. 1 Introduction2 Greaves and Wallace on Interior versus Non-interior Symmetries3 Elaborating on the Greaves/Wallace Framework4 The Result5 Problems with ’t Hooft’s Beam Splitter6 Summary and Conclusion. (shrink)

New technological developments have fundamentally transformed human life. Throughout this process, fundamental questions about human beings have once again been posed. The paper examines how technological change affects understandings of human beings and their bodies, thereby requiring new approaches to anthropology. First, Section 2 illustrates how the use of technology has changed the understanding of human beings and their bodies. A new connection between the human being or the body and technology has emerged. Section 3 then moves onto considering the (...) increasing blurring of the boundaries between organisms and machines, showing how the understanding of humans and bodies is constantly being renegotiated in relation to machines. Based on this, Section 4 explores how the understanding of the human being and the body can be redesigned in the context of modern technology. To this end, approaches for a contemporary anthropology can be derived from critical posthumanism. Section 5 addresses concrete practice and examines the construction of identity in social media platforms such as Instagram. The paper argues that technological processes and social media are places where theology is constructed and appeals for a responsible theological co-creation of these places. It advocates that technology offers the opportunity to question traditional anthropological concepts and to renegotiate understandings of the human being and the body. -- Puzio, Anna: Digital and Technological Identities – In Whose Image? A philosophical-theological approach to identity construction in social media and technology. In: Cursor (2021). (shrink)

Are the first principles in the philosophy of Thomas Reid derived inductively from particular experience, or are they self-evident? Is Reid an epistemic particularist, or a methodist? Some scholars interpret him as an epistemic particularistic, while others hold that he is a methodist like other philosophers of his time. This debate was central to an exchange between Roderick Chisholm and Keith Lehrer. Taking the general belief in personal identity as an example, this paper aims to show which interpretation is (...) more consistent with Reid's whole philosophical system. Although Reid believes that the general belief is self-evident without reasoning, it is not self-evident in the way that beliefs in particular cases are. Reid's overall philosophical method makes the self-evidence of particular beliefs more basic, the self-evidence of general beliefs being transferred from particular beliefs by means of habit. I conclude that the particularistic interpretation is more consistent with his whole philosophical sys.. (shrink)

We study the coherence, that is the equality of canonical natural transformations in non-free symmetric monoidal closed categories . To this aim, we use proof theory for intuitionistic multiplicative linear logic with unit. The study of coherence in non-free smccs is reduced to the study of equivalences on terms in the free category, which include the equivalences induced by the smcc structure. The free category is reformulated as the sequent calculus for imll with unit so that only equivalences on (...) class='Hi'>derivations in this system are to be considered. We establish that any equivalence induced by the equality of canonical natural transformations over a model can be axiomatized by some set of “critical” pairs of derivations. From this, we derive certain sufficient conditions for full coherence, and establish that the system of identities defining smccs is not Post-complete: extending this system with an identity that does not hold in the free smcc does not in general cause the free smcc to collapse into a preorder. In order to give a larger context to these results, we study the equality of canonical morphisms in non-free symmetric monoidal categories, and establish that w.r.t. a broad subclass of smccs, the equivalences induced by the equality of canonical natural transformations over a model coincide with the equivalences induced by the equality of canonical morphisms for all interpretations in that model. (shrink)

Decisions about brain surgery pose existential challenges because they are often decisions about life or death, and sometimes about possible personality changes. Therefore they require rigorous neuroethical consideration. However, we doubt whether metaphysical interpretations of ambiguous statements of patients are useful for deriving ethical and legal conclusions. Particularly, we question the application of psychological theories of personal identity on neuroethical issues for several reasons. First, even the putative “standard view” on personal identity is contentious. Second, diverse accounts of (...) personal identity have been introduced into the neuroethical debate, which are incompatible. Third, the criteria for “diagnosing” the supposed changes in “identity” are ambiguous and indeterminate. Fourth, the metaphysical theories of personal identity imply highly questionable ethical and legal revisions, namely the denial of advance directives, particularly of Ulysses contracts, and, for patients with brain cancer, even therapeutic nihilism.We discuss three examples in which ideas from the personal identity debate in metaphysics are straightforwardly applied to discuss ethical issues of neurosurgery. We discuss revisions of the current medico-legal practice that have been proposed on grounds of psychological theories of personal identity. We argue that the established status quo in law and clinical practice is beneficial to the patients concerned. Furthermore, it is metaphysically neutral, which is an important principle of liberal, democratic, pluralistic societies.We recommend a pragmatic approach: empirical research on personality changes arising from brain disorders or interventions, comprehensive information about risks of personality changes, and advance directives, particularly Ulysses contracts. (shrink)

Greaves and MacAskill argue for ​axiological longtermism​, according to which, in a wide class of decision contexts, the option that is ​ex ante best is the option that corresponds to the best lottery over histories from ​t onwards, where ​t ​is some date far in the future. They suggest that a ​stakes-sensitivity argument may be used to derive ​deontic longtermism from axiological longtermism, where deontic longtermism holds that in a wide class of decision contexts, the option one ought to choose (...) is the option that corresponds to the best lottery over histories from ​t onwards, where ​t is some date far in the future. This argument appeals to the ​Stakes Principle​: when the axiological stakes are high, non-consequentialist constraints and prerogatives tend to be insignificant in comparison, so that what one ought to do is simply whichever option is best. I argue that there are strong grounds on which to reject the ​Stakes Principle​. Furthermore, by reflecting on the Non-Identity Problem, I argue that there are plausible grounds for denying the existence of a sound argument from axiological longtermism to deontic longtermism insofar as we are concerned with ways of improving the value of the future of the kind that are focal in Greaves and MacAskill’s presentation. (shrink)

The need to fill three gaps in ethics research in a business context sparked the current study. First, the distinction between the concepts of “ethical” and “legal” needs to be incorporated into theory building and empiricism. Second, a unifying theory is needed that can explain the variables that influence managers to emphasize ethics and legality in their judgments. Third, empirical evidence is needed to confirm the predictive power of the unifying theory, the discernable influence of personal and organizational variables, and (...) the importance of the issue to the managers in determining their emphasis on the ethical and legal values of their judgments. Focused on these needs, the current research combines social identity theory with empirical findings from business ethics research. This theory building initiative framed hypothesis-driven research to investigate the influences on managers’ emphasis on ethical and legal values in making business judgments. An empirical research study was conducted involving 252 practicing managers who judged 12 newsworthy business events. Data was collected on the managers’ individual factors, on the groups that influence their judgments, and on the importance that the managers place on ethics and legality in judging the 12 scenarios. The research findings contribute to theory development (1) By successfully utilizing a blended extension of social identity and issue-contingent theories to understand managers’ judgments, and (2) By providing evidence on the relationships between the perceived importance of an issue and the emphases managers place on ethical and legal values in their judgments. The analysis of the data was extended to provide insights on the needs of employers to tailor management training on legal and ethical decision-making. The participating managers were clustered according to their emphases on Ethical Importance and Legal Importance in judging business situations. Analysis of Variance was then combined with Scheffé Multiple Comparison Tests to assess whether the factors derived from a blended extension of social identity and issue-contingent theories were significantly different across the clusters. The product of this analysis is unique sets of attributes that describe each cluster of managers, and provide an empirical basis for determining training priorities. Finally, the carefully constructed and thoroughly tested 12 research scenarios that form the core of the survey instrument enable their redeployment in subsequent research and their use by practicing executives who wish to compare data provided by their managers to results from the study participants. (shrink)

According to the ‘starting-gate’ interpretation of equality of opportunity, individuals who enjoy equal starts can legitimately become unequal to the extent that their differences derive from choices for which they can be held responsible. There can be no coercive transfers of resources in favour of individuals who disregarded their own futures, and no limits on the right of an individual to distribute resources intrapersonally. This paper assesses two ways in which advocates of equality of opportunity might depart from the starting-gate (...) interpretation. The first involves limiting the degree to which people are liable to pay the costs of their past choices. The second involves limiting their initial opportunities so as to prevent certain risky or apparently short-sighted choices. The paper compares these alternatives in terms of their compatibility with a particular conception of persons as morally equal and temporally extended. It constructs this conception by combining reductionist premises about personal identity with the premise that our status as equals is based on the fundamental requirement of opacity respect. Two conclusions about equality of opportunity are shown to follow from this conception of persons as morally equal and temporally extended: the first is that an individual’s liability to pay the costs of her past choices does not diminish over time; the second is that the individual’s initial scope of choice, in bringing about intrapersonal distributions between her current and future selves, can nevertheless be permissibly limited. The two conclusions are consistent, and the second allows for departures from starting-gate equality of opportunity. (shrink)

This article considers Utopia’s unethical practices alongside The City of God’s understanding of the earthly polity’s relationship to eschatology. In Augustine’s view, within the earthly city every person could potentially become a friend of the heavenly city in time, and the existing political situation must always be rendered partial and incomplete against the telos of eternity. These convictions stand in conspicuous contrast with Utopia. The Utopian system is in important ways founded on institutionalized practices which not only exclude non-Utopians (or (...) ex-Utopians), but also habituate them to vice. Examining Utopia alongside The City of God illuminates how this ethical problem in Utopia is not just a matter of individual practices or institutions, but rather derives from a more fundamental metaphysical and theological outlook. Not only is Utopia invested in a Utopian/non-utopian distinction; more significantly, this distinction has a tacit eschatological role, since Utopian thinking implies that degradation of one’s capacity for virtue decreases one’s potential to be saved. (shrink)

The minimal perimeter enclosing N planar regions, each being simply connected and of the same area, is an open problem, solved only for a few values of N . The problems of how to construct the configuration with the smallest possible perimeter E and how to estimate the value of E are considered. Defect-free configurations are classified and we start with the naïve approximation that the configuration is close to a circular portion of a honeycomb lattice. Numerical simulations and analysis (...) that show excellent agreement to within one free parameter are presented; this significantly extends the range of values of N for which good candidates for the minimal perimeter have been found. We provide some intuitive insight into this problem in the hope that it will help the improvement in future numerical simulations and the derivation of exact results. (shrink)

The very formal structure of quantum mechanics implies the loss of individuality of physical systems and it requires to look at the Universe as an unbroken whole. The main reason for which, within such a theory, one must renounce to a clear identification of the parts and the whole is the superposition principle which stays at the basis of the theory. It implies, as well known, the phenomenon of entanglement which, in the most extreme case, entails that the constituents of (...) a composite system do not possess any objective property; only the system as a whole, when it is isolated, has some properties. Another source of difficulties derives from the symmetry requests that the theory imposes in the case of systems containing identical constituents. We discuss these points in detail and we outline recent proposals yielding a consistent solution to the problems arising from the entanglement between a microsystem and a macrosystem which unavoidably occurs in a measurement process. In particular we take into account the so called “collapse” theories which embody a mechanism forbidding, at an appropriate level, the persistence of superpositions and, as a consequence, lead, in general, to the emergence of precise individual properties for macroscopic systems. We then pass to a critical analysis of the difficulties related to the identity of the constituents. We stress that various misunderstandings characterize the treatment of this problem and we make fully clear how one has to deal with the very concept of entangled systems when identical constituents are involved. The ensuing picture should make clear to which extent one can still consistently ground the distinction between the parts and the whole in a genuinely quantum context. (shrink)