We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ 0+exp.

We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.

In this paper, we prove results concerning the existence of proper end extensions of arbitrary models of fragments of Peano arithmetic. In particular, we give alternative proofs that concern a result of Clote :163–170, 1986); :301–302, 1998), on the end extendability of arbitrary models of \-induction, for \, and the fact that every model of \-induction has a proper end extension satisfying \-induction; although this fact was not explicitly stated before, it follows by earlier results of Enayat and Wong and (...) Wong. (shrink)

We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀ x, y∃ z (z = xy).

. We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of $\Sigma_n$ -induction, for $n \geq 2$.

We study problems of Clote and Paris, concerning the existence of end extensions of models of Σ n -collection. We continue the study of the notion of ‘Γ-fullness’, begun by Wilkie and Paris (Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North- Holland, Amsterdam, 1989) and introduce and study a generalization of it, to be used in connection with the existence of Σ n -elementary end extensions (instead of plain end extensions). (...) We obtain (a) alternative proofs of results (Adamowicz in Fund. Math. 136, 133–145, 1990) and (Wilkie and Paris in Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North-Holland, Amsterdam, 1989) related to the problem of Paris and (b) a partial solution to the problem of Clote. (shrink)

In June 2012, the conference Trends in Logic XI, whose main theme was Advances in Philosophical Logic, took place at the Ruhr University in Bochum. Eight of the invited papers were published in a special issue of the journal Studia Logica. The present volume contains fourteen papers, which the editors selected out of the contributed papers presented at the conference, in order to offer a panorama of the themes developed in philosophical logic in the last two decades or so, as (...) well as to indicate some promising directions for further research. In what follows, we give a brief description of each contribution, following the order in the list of contents.In the first paper, B. Armour-Garb and J.A. Woodbridge discuss a manner in which one can treat semantic pathologies, such as the Liar Paradox. According to their approach, semantically pathological sentences are s-defective, i.e. they can be understood in a sense, but they bear no content, which we can accept or reject. The a .. (shrink)

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 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 give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.

On the basis of recent work concerning the meaning of the term stoicheion in Aristotle’s Analytics, we strengthen the view that this treatise can be viewed as a precursor of Euclid’s Elements.

The volume under review contains work dedicated to the memory of Leo Esakia, who died in 2010, after having worked for over 40 years towards developing duality theory for modal and intuitionistic logics. The collection comprises ten technical contributions that follow the first chapter, in which the reader can find information on Esakia’s studies and career, as well as a complete list of his research publications. In the sequel, we will refer briefly to each of these ten chapters, following the (...) order in the list of contents.B. Jónsson and A. Tarski, in two papers they published in the early 1950s in the American Journal of Mathematics, initiated the study of duality for Boolean algebras with additional operations, via the theory of canonical extensions. Esakia was among the first researchers who studied duality for lattices with additional operations [Topological Kripke models. Soviet Math.Dokl. 15 , 147–151], in particular for Heyting algebras and S4 modal algebras. M. Gehrke, a .. (shrink)

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)

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.

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)

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)