Investigating Girard's new propositionnal calculus which aims at a large scale study of computation, we stumble quickly on that question: What is a multiplicative connective? We give here a detailed answer together with our motivations and expectations.

De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

The main concern of this paper is the design of a noetherian and confluent normalization for LK 2. The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different as Girard's LC and Parigot's λμ, FD, delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' to classical logic ; it is painless: since we reduce strong normalization and confluence to the same properties for linear logic using (...) appropriate embeddings ; it is unifying: it organizes known solutions in a simple pattern that makes apparent the how and why of their making. A comparison of our method to that of embedding LK into LJ brings to the fore the latter's defects for these `deconstructive purposes'. (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.

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversedviews. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certainmathematical questions as internal questions appealing to logic and convention. On the contrary, Quine wasopposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of thispaper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlosimulations, limiting mathematical inquiry to the domain of (...) logic is unjustified. Robustness studies implemented inMonte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (shrink)

The authors present a case study involving truth telling responsibilities in the setting of nonepileptic seizures. Specifically, over the course of several suspected nonepileptic seizures, a patient’s seizures stopped after he received a saline flush meant to precede the administration of anti-seizure medication. The patient and his surrogate believed he had received the medication each time, and the team wondered whether they should disclose the truth. Some worried that disclosure would reinforce the suspected psychogenic behavior, exacerbating the patient’s condition. In (...) this way, the case study presents a twist on the traditional truth telling archetype. While most truth telling cases center on navigating cultural differences or worries about emotional harm, this case presented concerns about medical harm in the form of exacerbating the patient’s condition. The authors describe the complex patient-family-team dynamic that preceded this ethical dilemma, describe the case, analyze the ethical issue, and describe the outcome. (shrink)

We define an optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic and analyse the (purely logical) linearity information thus obtained.

Postcolonial science studies entails ostensibly contradictory critical and empirical commitments. Science studies scholars influenced by Bruno Latour and Isabelle Stengers embrace forms of realist, radical empiricism, while postcolonial studies scholars influenced by Jacques Derrida trace the limits of the knowable. This essay takes their common use of the term cosmopolitics as an unexpected point of departure for reconciling Derrida’s program with Stengers’s and Latour’s. I read Derrida’s critique of hospitality and Stengers’s and Latour’s ontological politics as necessary complements for conceiving (...) a care-oriented subalternist cosmopolitics, a process of composing common worlds that remains attentive to the limits of representation. (shrink)

Do famous athletes have special obligations to act virtuously? A number of philosophers have investigated this question by examining whether famous athletes are subject to special role model obligations (Wellman 2003; Feezel 2005; Spurgin 2012). In this paper we will take a different approach and give a positive response to this question by arguing for the position that sport and gaming celebrities are ‘ambassadors of the game’: moral agents whose vocations as rule-followers have unique implications for their non-lusory lives. According (...) to this idea, the actions of a game’s players and other stakeholders—especially the actions of its stars—directly affect the value of the game itself, a fact which generates additional moral reasons to behave in a virtuous manner. We will begin by explaining the three main positions one may take with respect to the question: moral exceptionalism, moral generalism, and moral exemplarism. We will argue that no convincing case for moral exemplarism has thus far been made, which gives us reason to look for new ways to defend this position. We then provide our own ‘ambassadors of the game’ account and argue that it gives us good reason to think that sport and game celebrities are subject to special obligations to act virtuously. (shrink)

An examination of David Hume's philosophy of religion that situates his conception "true religion" within the context of his overall science of human nature, his rejection of popular religion, and his Ciceronian influence"--Provided by publisher.

In ancient China, a revered Taoist sage named Zhuangzi told many parables. In Existential Psychology and the Way of the Tao, a selection of these parables will be featured. Following each parable, an eminent existential psychologist will share a personal and scholarly reflection on the meaning and relevance of the parable for psychotherapy and contemporary life. The major tenets of Zhuangzi's philosophy are featured. Taoist concepts of emptiness, stillness, Wu Wei (i.e. intentional non-intentionality), epistemology, dreams and the nature of reality, (...) character building in the midst of pain, meaning and the centrality of relationships, authenticity, self-care, the freedom that can come from one's willingness to confront death, spiritual freedom, and gradations of therapeutic care are topics highlighted in this book. (shrink)

Relative essentialism, the view that multiple objects about which there are distinct de re modal truths can occupy the same space at the same time, is a metaphysical view that dissolves a number of metaphysical issues. The present essay constructs and defends relative essentialism and argues that it is implicit in some of the ideas of W. V. Quine and Donald Davidson. Davidson’s published views about individuation and sameness can accommodate the common-sense insights about change and persistence of Aristotle and (...) Kripke. Aristotle and Kripke have to give up unmediated direct reference resting on a unique correct articulation of reality into entities. Davidson has to acknowledge a distinction between descriptions giving accidental and those giving essential features of an object. Quine and Davidson were in a position to be a relative essentialist, but were over-impressed by supervenience. The relative essentialist view of beings developed from Quine and Davidson strongly suggests the Heideggerian distinction between beings and Being, and is the perspective from which analytic philosophy can engage that topic. Relative essentialism also connects analytic philosophy to Derrida’s thinking about differance. (shrink)

This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...) somatic dimension of reading fiction. (shrink)

We all experience loneliness at some time in our lives and it often motivates people, consciously or otherwise, to enter treatment. Yet it is rarely explicitly addressed in psychoanalytic literature. Loneliness and Longing rectifies this oversight by thoroughly exploring this painful psychological state. In this book contributors address the inner sense of loneliness âe" that is feeling alone even in the company of others âe" by drawing on different aspects of loneliness and longing. Topics covered include: loneliness in the consulting (...) room the relationship between loneliness and love the effects of social networking and the internet how loneliness changes throughout the life-cycle healing the analystâe(tm)s loneliness. Loneliness and Longing draws on both theory and practice to discuss ways to help people to understand and cope with this important emotional state, encouraging them to make loneliness and longing less pervasive in their lives. This will be ideal reading for analysts, psychotherapists, and related practitioners facing the challenges of loneliness in their consulting rooms. (shrink)

This reconsideration of Hume’s classic essay “Of Miracles” via the lens of American pragmatist ways of thinking about history and power shifts our attention from Hume’s epistemic concerns about the legitimacy of witnesses and testimony to his distaste for sacred history, his critical stance regarding the social force of revelation, and his disdain for religious authority. To view Hume’s essay both as an articulation of a critical philosophy of history and as an exercise in moral dynamism (social power or, authority, (...) is a result of epistemic transactions), is to intervene in both Hume studies and Contemporary Pragmatism. (shrink)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) (151 E-152C); as opposed to what he may have taught secretly to his pupils (152C-160D). Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken. (shrink)

This book presents translations of three dialogues Xenophon devoted to the life and thought of his teacher, Socrates. Each is accompanied by notes and an interpretative essay that will introduce new readers to Xenophon and foster further reflection in those familiar with his writing. "Apology of Socrates to the Jury" shows how Socrates conducted himself when he was tried on the capital charge of not believing in the city's gods and corrupting the young. Although Socrates did not secure his own (...) acquittal, he profoundly impressed some listeners who then helped to shape the public perception of philosophy as a noble, if highly idiosyncratic, way of life. In "Oeconomicus," Xenophon relates the conversation Socrates had on the day he turned from the study of natural philosophy to that of moral and political matters. "Oeconomicus" is concerned most directly with the character and purpose of Socrates' political philosophy. Xenophon provides entertaining portraits of Socrates' circle of friends in the "Symposium." In the process, he conveys the source of every individual's pride in himself, thus defining for each a conception of human excellence or virtue. The dialogue concludes with Socrates' beautiful speech on love (eros) and its proper place in the good or happy life. (shrink)

Biologists studying complex causal systems typically identify some factors as causes and treat other factors as background conditions. For example, when geneticists explain biological phenomena, they often foreground genes and relegate the cellular milieu to the background. But factors in the milieu are as causally necessary as genes for the production of phenotypic traits, even traits at the molecular level such as amino acid sequences. Gene-centered biology has been criticized on the grounds that because there is parity among causes, the (...) “privileging” of genes reflects a reductionist bias, not an ontological difference. The idea that there is an ontological parity among causes is related to a philosophical puzzle identified by John Stuart Mill: what, other than our interests or biases, could possibly justify identifying some causes as the actual or operative ones, and other causes as mere background? The aim of this paper is to solve this conceptual puzzle and to explain why there is not an ontological parity among genes and the other factors. It turns out that solving this puzzle helps answer a seemingly unrelated philosophical question: what kind of causal generality matters in biology? (shrink)

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

The eight essays and three responses collected in Rethinking Borders were commissioned from an exciting range of leading younger writers, artists and intellectuals whose work has raised significant questions about the border cultures in ...

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) ; as opposed to what he may have taught secretly to his pupils. Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken.In that part of the dialogue where the question is under examination whether or not knowledge and perception are the same, Socrates uses an idealized concept of knowledge. That is, he restricts the use of the word by setting down what he will consider to be the essential characteristics of knowledge, the sufficient and necessary conditions of its being instantiated. An excellent piece of philosophical procedure. (shrink)

This paper investigates what molecular biology has done for our understanding of the gene. I base a new account of the gene concept of classical genetics on the classical dogma that gene differences cause phenotypic differences. Although contemporary biologists often think of genes in terms of this concept, molecular biology provides a second way to understand genes. I clarify this second way by articulating a molecular gene concept. This concept unifies our understanding of the molecular basis of a wide variety (...) of phenomena, including the phenomena that classical genetics explains in terms of gene differences causing phenotypic differences. (shrink)

Under what circumstances if ever ought we to grant that Artificial Intelligences (AI) are persons? The question of whether AI could have the high degree of moral status that is attributed to human persons has received little attention. What little work there is employs western conceptions of personhood, while non-western approaches are neglected. In this article, I discuss African conceptions of personhood and their implications for the possibility of AI persons. I focus on an African account of personhood that is (...) prima facie inimical to the idea that AI could ever be ‘persons’ in the sense typically attributed to humans. I argue that despite its apparent anthropocentrism, this African account could admit AI as persons. (shrink)