In “The Mind Incarnate” Shapiro argues that research in the area of embodied, embedded mind and cognition undermines a functionalist program. In contrast Clark, in “Pressing the Flesh”, argues that embodied, embedded approaches can be viewed as extended functionalistic approaches. In the light of these arguments my thesis is devoted to elucidating the logical relation between functionalism and embodied, embedded approaches. I argue that the functionalist programme is not undermined by embodied and embedded approaches. Shapiro argues that research (...) of embodied, embedded cognition and mind shows that characteristics of embodiment determine characteristics of mind. I label this view the body-detail model. The consequence of this model is that the very same kind of mind cannot exist in bodies with different characteristics. Thus, having a humanlike mind requires a humanlike body. This conflicts with abstract versions of functionalism that endorse multiple realization: the idea that the same mind can exist in different kinds of bodies. I argue against the body-detail model, demonstrating that for each of the research projects presented by Shapiro the strong reading that one has to have a humanlike body to have a human mind is not justified. This paves the way for an alternative reading, represented by Clark, under which the body is recognized as being part of a larger system which overall operating profile determines mind. Arguments for this position involve argumentative extensions of functionalism. On this basis I conclude that functionalism is not undermined by embodied, embedded approaches. (shrink)

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

Embodied Cognition is an approach to cognition that departs from traditional cognitive science in its reluctance to conceive of cognition as computational and in its emphasis on the significance of an organism's body in how and what the organism thinks. Three lines of embodied cognition research are described and some thoughts on the future of embodied cognition offered.

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting theories (see [12] and [13]). Here, we show that Weak König's lemma (WKL) and many of its equivalent formulations over RCA₀ from Reverse Mathematics (see [21] and [22]) can be 'pushed down' (...) into the weak theory ERNA, while preserving the equivalences, but at the price of replacing equality with equality 'up to infinitesimals'. It turns out that ERNA plays the role of RCA₀ and that transfer for universal formulas corresponds to WKL. (shrink)

Graham Priest's In Contradiction (Dordrecht: Martinus Nijhoff Publishers, 1987, chapter 3) contains an argument concerning the intuitive, or ‘naïve’ notion of (arithmetic) proof, or provability. He argues that the intuitively provable arithmetic sentences constitute a recursively enumerable set, which has a Gödel sentence which is itself intuitively provable. The incompleteness theorem does not apply, since the set of provable arithmetic sentences is not consistent. The purpose of this article is to sharpen Priest's argument, avoiding reference to informal notions, consensus, or (...) Church's thesis. We add Priest's dialetheic semantics to ordinary Peano arithmetic PA, to produce a recursively axiomatized formal system PA★ that contains its own truth predicate. Whether one is a dialetheist or not, PA★ is a legitimate, rigorously defined formal system, and one can explore its proof‐theoretic properties. The system is inconsistent (but presumably non‐trivial), and it proves its own Gödel sentence as well as its own soundness. Although this much is perhaps welcome to the dialetheist, it has some untoward consequences. There are purely arithmetic (indeed, Π0) sentences that are both provable and refutable in PA★. So if the dialetheist maintains that PA★ is sound, then he must hold that there are true contradictions in the most elementary language of arithmetic. Moreover, the thorough dialetheist must hold that there is a number g which both is and is not the code of a derivation of the indicated Gödel sentence of PA★. For the thorough dialetheist, it follows ordinary PA and even Robinson arithmetic are themselves inconsistent theories. I argue that this is a bitter pill for the dialetheist to swallow. (shrink)

Some philosophers have argued that moral agency is characteristic of humans alone and that its absence from other animals justifies granting higher moral status to humans. However, human beings do not have a monopoly on moral agency, which admits of varying degrees and does not require mastery of moral principles. The view that all and only humans possess moral agency indicates our underestimation of the mental lives of other animals. Since many other animals are moral agents (to varying degrees), they (...) are also subject to (limited) moral obligations, examples of which are provided in this paper. But, while moral agency is sufficient for significant moral status, it is by no means necessary. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...) prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma. (shrink)

At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both (...) programs are undermined at a crucial point, namely when self-evidence is supported by holistic and even pragmatic considerations. (shrink)

My talk today will be about Newton’s avowed methodology, and specifically the place of experiment in his conception of science, and how his ideas changed significantly over the course of his career. I also want to look at his actual scientific practice and see how this influenced his views on the nature of the experimental sciences.

There is a parallel between the debate between Gottlob Frege and David Hilbert at the turn of the twentieth century and at least some aspects of the current controversy over whether category theory provides the proper framework for structuralism in the philosophy of mathematics. The main issue, I think, concerns the place and interpretation of meta-mathematics in an algebraic or structuralist approach to mathematics. Can meta-mathematics itself be understood in algebraic or structural terms? Or is it an exception to the (...) slogan that mathematics is the science of structure? (shrink)

The purpose of this article is to examine aspects of the development of the concept and theory of computability through the theory of recursive functions. Following a brief introduction, Section 2 is devoted to the presuppositions of computability. It focuses on certain concepts, beliefs and theorems necessary for a general property of computability to be formulated and developed into a mathematical theory. The following two sections concern situations in which the presuppositions were realized and the theory of computability was developed. (...) It is suggested in Section 3 that a central item was the problem of generalizing Gödel's incompleteness theorem. It is shown that this involved both the characterization of recursiveness and the attempt to clarify and formulate the notion of an effective process as it relates to the syntax of deductive systems. Section 4 concerns the decision problems which grew from the Hilbert program. Section 5 is devoted to the development of an informal' technique in the theory of computability often called ?argument by Church's thesis? (shrink)

Stanislaw Lesniewski’s interests were, for the most part, more philosophical than mathematical. Prior to taking his doctorate at Jan Kazimierz University in Lvov, Lesniewski had spent time at several continental universities, apparently becoming relatively attached to the philosophy of one of his teachers, Hans Comelius, to the chapters of John Stuart Mill’s System of Logic that dealt specifically with semantics, and, in general, to studies of general grammar and philosophy of language. In these several early interests are already to be (...) found the roots of the work that was to occupy Lesniewski’s life: a search for a definitive doctrine of what sorts of things there are in the world, or better, of what language must be like if it is adequately and efficiently to represent the world. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the (...) world and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

The popular media has repeatedly pointed to pride as one of the key factors motivating leaders to behave unethically. However, given the devastating consequences that leader unethical behavior may have, a more scientific account of the role of pride is warranted. The present study differentiates between authentic and hubristic pride and assesses its impact on leader ethical behavior, while taking into consideration the extent to which leaders find it important to their self-concept to be a moral person. In two experiments (...) we found that with higher levels of moral identity, authentically proud leaders are more likely to engage in ethical behavior than hubristically proud leaders, and that this effect is mediated by leaders’ motivation to act selflessly. A field survey among organizational leaders corroborated that moral identity may bring the positive effect of authentic pride and the negative effect of hubristic pride on leader ethical behavior to the forefront. (shrink)

According to ante rem structuralism a branch of mathematics, such as arithmetic, is about a structure, or structures, that exist independent of the mathematician, and independent of any systems that exemplify the structure. A structure is a universal of sorts: structure is to exemplified system as property is to object. So ante rem structuralist is a form of ante rem realism concerning universals. Since the appearance of my Philosophy of mathematics: Structure and ontology, a number of criticisms of the idea (...) of ante rem structures have appeared. Some argue that it is impossible to give identity conditions for places in homogeneous ante rem structures, invoking a version of the identity of indiscernibles. Others raise issues concerning the identity and distinctness of places in different structures, such as the the natural number 2 and the real number 2. The purpose of this paper is to take the measure of these objections, and to further articulate ante rem structuralism to take them into account. (shrink)

This article employs Foucauldian and feminist analytics to advance a critical approach to wearable digital health- and activity-tracking devices. Following Foucault’s insight that the growth of individual capabilities coincides with the intensification of power relations, I argue that digital self-tracking devices (DSTDs) expand individuals’ capacity for self-knowledge and self-care at the same time that they facilitate unprecedented levels of biometric surveillance, extend the regulatory mechanisms of both public health and fashion/beauty authorities, and enable increasingly rigorous body projects devoted to the (...) attainment of normative femininity. These technologies of surveillance, normalization, and discipline thus function to augment, and facilitate the cooperation of, neoliberal-era biopower and post-feminist patriarchal power. My analysis of digital self-tracking devices’ instrumentality to biopower and patriarchy contributes to the emergent field of critical digital health studies and builds new connections between political, social, and feminist theories of embodiment; biopower studies; fat studies; and trans-disciplinary body studies. (shrink)

Envy and Jealousy in Classical Athens examines the sensation, expression, and literary representation of envy and jealousy in Classical Athens.

This study examines the linguistic construal and cognitive representation of time and viewpoint in the genre of news narratives. We present a model of mental spaces that involves a News Space in which the deictic center is construed of the news actors at the time the newsworthy events took place, and a Reality Space in which the deictic here-and-now center of journalist and reader is construed. This model explains how the dynamic representation of narrative news discourse, characterized by shifts in (...) time and viewpoint, is steered by linguistic devices. An analysis of Dutch news narratives shows that temporal adverbs such as yesterdayand shifts from present tense to past tense may signal a moveforwardin narrative time, to a viewpoint in the future relative to the narrative now-point, rather thanbackward. These atypical time shifts can be accounted for by presupposing an Intermediate Space located at a point in time between the News Space and the Reality Space where the progression of narrative time comes to a halt and experiences are rather relived than reported. The salience of the Intermediate Space may be signaled by quotative conditionals reflecting the viewpoints of implicitly quoted sources. These results clarify how tense and temporal deixis steer the linguistic construal of time and viewpoint in news narratives, demonstrating that time and viewpoint are closely linked in the cognitive representation of these narratives. (shrink)

In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows:Any mention of infinite totalities is literally meaningless.We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that ‘some infinite totalities are more meaningful than others’, the textbook example being that of infinitesimals. For instance, Bishop and Connes have made such claims regarding infinitesimals, (...) and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate ‘meaning’ and ‘computational content’, though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects in Nonstandard Analysis yields the absence of meaning. We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content, similar to the ‘reversals’ from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. (shrink)

John Taurek has argued that, where choices must be made between alternatives that affect different numbers of people, the numbers are not, by themselves, morally relevant. This is because we "must" take "losses-to" the persons into account (and these don't sum), but "must not" consider "losses-of" persons (because we must not treat persons like objects). I argue that the numbers are always ethically relevant, and that they may sometimes be the decisive consideration.

This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...) notions can contribute to the clarification and, perhaps, solution of various philosophical problems, confusions and disputes. (shrink)

This study examines how audiovisual brand stories both invite and enable consumers to enact heroic archetypes. Integrating research on the archetypal structure of narratives with research on the event structure of narratives, we distinguish singular plot stories (i.e. stories that show a Hero’s Journey) from embedded plot stories (i.e. stories that not only show but also tell one or more Hero’s Journeys) and develop a conceptual and narratological framework to analyze their structural elements. Application of the framework to 20 brand (...) stories representing 8 different brands reveals meaningful variation in elements between the singular plot stories and embedded plot stories. Differences in the expression of archetypes and event structure are argued to evoke different types of Hero enactment which in turn result in different outcomes. We specifically hypothesize that the enactment of heroic archetypes in singular plot stories primarily results in catharsis (pleasure), whereas the enactment of heroic archetypes in embedded plot stories primarily results in an outcome we describe as phronesis: a form of moral sense making of the self that advances one’s practical wisdom and prudence. The final section of the paper discusses how cathartic and phronetic outcomes of hero enactment may foster the psychological bonding between brand and consumer, and invite consumers to align their moral values with the values that are reflected by heroic character traits. The central aims of the analysis presented are to provide an exploration of narrative phenomena in a reasonably broad range of brand story videos and foremost to provide a conceptual framework with an applicable instrument suited to analyze relevant categories in these brand stories. The present study is interdisciplinary in its approach to a contemporary, developing marketing phenomenon, applying psychological modeling of archetypes and heroic values with narratological insights on perspective-taking and story structure. Its contribution is to systemize, from a narratological viewpoint, how various narrative archetypes in brand video stories may contribute to the development of brand-consumer relations. (shrink)

In this paper, we reflect upon shame and humiliation as threats to personal and professional integrity and moral agency within contemporary health care. A personal narrative, written by a nurse about a particular shift in a British National Health Service Accident and Emergency Department, is provided as a case study. This is critically reflected and commented upon in dialogue with insights into the nature of shame and humiliation. It is suggested that Accident and Emergency is a locus that is latently (...) prone to dynamics of shame and humiliation, a potential exacerbated within a culture subject to externally‐determined time targets that are enforced by a top‐down system of surveillance and management. The result is that nurses may lose their sense of professional competence and responsibility, moral agency, and integrity, to their own personal detriment, as well as to the detriment of patients with whom they work. Insofar as examining a small part of a whole may suggest insights into the operation and ethos of a very large system, this very particular case study narrative/reflection has some important implications and lessons for the wider organization and provision of health care in Britain and beyond. (shrink)

ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.

This paper aims to call into question the customary division of logically revisionary responses to the truth-theoretic paradoxes into those that are “substructural” and those that are “ structural.” I proceed by examining, as a case study, Beall’s recent proposal based on the paraconsistent logic LP. Beall formulates his response to paradox in terms of a consequence relation that obeys all standard structural rules, though at the price of the language’s lacking a detaching conditional. I argue that the same response (...) to paradox can be given using a consequence relation that preserves detachment rules for a conditional, though at the price of restricting structural rules. The question “Is paradox being blocked by invoking a substructural consequence relation?” is thus ill-posed. The lesson of this example, I conclude, is that there is no useful explication of the idea of a substructural approach to paradox. (shrink)

The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the notion of “same meaning” (...) is itself context-sensitive, depending on the purposes of a given conversation. (shrink)

Since the 1960s a resurgence of interest in the moral foundations of politics has fueled debates about the appropriate sources of our political judgments. Ian Shapiro analyzes and advances these debates, discussing them in an accessibly style. He defends a view of politics called _critical naturalism_ as a third way between the neo-Kantian theory of John Rawl's and the contextual arguments of Richard Rorty, Michael Walzer, Alasdair MacIntyre and others. He formulates a new justification for democratic politics and an (...) innovative account of the nature of political argument. (shrink)

The present study of the psychology of animal rights activists utilizes a qualitative analytic method based on two forms of data: a set of questionnaire protocols completed by grassroots activists and of autobiographical accounts by movement leaders. The resultant account keys on the following descriptives: an attitude of caring, suffering as an habitual object of perception, and the aggressive and skillful uncovering and investigation of instances of suffering. In a final section, the investigator discusses tensions and conflicts arising from these (...) three themes and various ways of attempting to resolve them. (shrink)

Medical school curricula, although traditionally and historically dominated by science, have generally accepted, appreciated, and welcomed the inclusion of literature over the past several decades. Recent concerns about medical professional formation have led to discussions about the specific role and contribution of literature and stories. In this article, we demonstrate how professionalism and the study of literature can be brought into relationship through critical and interrogative interactions based in the literary skill of close reading. Literature in medicine can question the (...) meaning of “professionalism” itself, thereby resisting standardization in favor of diversity method and of outcome. Literature can also actively engage learners with questions about the human condition, providing a larger context within which to consider professional identity formation. Our fundamental contention is that, within a medical education framework, literature is highly suited to assist learners in questioning conventional thinking and assumptions about various dimensions of professionalism. (shrink)

Three essays discuss aspects of Nietzsche's Thus Spake Zarathustra: the place of giftgiving in the portrayed economy, the meaning of feasting and parasitism, and references to the classical myth of Alcyone.