We show that Shoenfield's functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L. Krivine followed by Gödel's Dialectica interpretation. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions . As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo-Fraenkel set theory. (shrink)

We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.

Ishiharaʼs boundedness principleBD-N was introduced in Ishihara [5] and has turned out to be most useful for constructive analysis, see e.g. Ishihara [6]. It is equivalent to the statement that every sequentially continuous function from NN to N is continuous w.r.t. the usual metric topology on NN. We construct models for higher order arithmetic and intuitionistic set theory in which both every function from NN to N is sequentially continuous and in which the axiom of choice from NN to N (...) holds. Since the latter is known to be inconsistent with the statement that all functions from NN to N are continuous these models refute BD-N. (shrink)

In this paper we systematically derive a predicate transformer semantics from a direct semantics for a simple probabilistic-nondeterministic programming language . This goal is achieved by exhibiting the direct semantics as isomorphic to a continuation semantics from which the predicate transformer semantics can be read off immediately. This isomorphism allows one to identify nonempty convex compact saturated sets of valuations on the set S of states with certain “good” functionals from to in a way similar to the one how H. (...) Minkowski in 1903 related nonempty convex compact subsets of to what is nowadays called Minkowski functionals. (shrink)

In this note we exhibit a continuity principle for real-valued functions on C[–1, 1] that is not validated by realizability over domains although it is validated by Kleene's functional realizability corresponding to Weihrauch's theory of type 2 effectivity.

Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short MF, (...) completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called \, where mTT can be easily interpreted. Then to show the consistency of \ with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints \ by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment \ we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors -rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of \ correctly. In particular the universe of \ is modelled by means of \-fixpoints following a technique due first to Aczel and used by Feferman and Beeson. (shrink)

Big Ideas for Little Kids includes everything a teacher, a parent, or a college student needs to teach philosophy to elementary school children from picture books. Written in a clear and accessible style, the book explains why it is important to allow young children access to philosophy during primary-school education. Wartenberg also gives advice on how to construct a "learner-centered" classroom, in which children discuss philosophical issues with one another as they respond to open-ended questions by saying whether they agree (...) or disagree with what others have said. (shrink)

Jane Addams‘ Beitrag zur Philosophie des Pragmatismus wurde lange Zeit neben jenem der klassischen Vertreter*innen wie Peirce, James oder Dewey vernachlässigt. Auch wenn sich dies mittlerweile in eine anhaltende Addams-Rezeption gewandelt hat, so wird bis heute die Verbindung von Philosophie und Sozialer Arbeit, also der Bezug von Theorie und Praxis in Addams‘ Werk ausgeblendet, beziehungsweise ausschließlich getrennt verhandelt. Ihr Pragmatismus kann jedoch nur vor dem Hintergrund der Verschränkung von Philosophie und Sozialer Arbeit in seiner ganzen Tragweite erfasst werden. Eine verschränkte (...) Lesart macht deutlich, dass Addams ihren Pragmatismus dezidiert kritisch und orientiert am sozialen integralen Ideal der Demokratie ausrichtete. Dieser Begriff lässt sich mit zwischen den Konzepten von Solidarität und Vulnerabilität aufspannen. Diese fungieren als zwei zentrale Begrifflichkeiten in Addams‘ Sozialphilosophie, auch wenn diese nicht explizit benannt werden. Addams verknüpft darin nämlich einerseits Vulnerabilität und Solidarität miteinander und bringt beide vor dem Hintergrund ihrer Sozialphilosophie mit Demokratie in Verbindung. Darüber hinaus bringt Addams hier eine machtkritische Perspektive mit ein und ermöglicht damit andererseits auch Anknüpfungspunkte für heutige Konzepte zu Vulnerabilität und Solidarität. (shrink)

v. 1. Editorial introduction -- v. 2. The English and Latin texts (i) -- v. 3. The English and Latin texts (ii).

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

This volume is a study of the influence of Timaeus on the development of Western cosmology in three axial periods of European culture: Late Antiquity, Middle Ages and Renaissance.

The South African government’s COVID-19 pandemic risk mitigation strategies significantly limited social contact, which necessitated a novel approach to existing face-to-face career guidance practices. The Grade 9 Career Guidance Project, originally developed as a group-based career development intervention, required radical adaptation into a self-directed, manualized format to offer career guidance to Grade 9 learners from low-income communities amid a global pandemic. The adaptation and continuation of the project was deemed essential as secondary school learners in low-income communities have limited career (...) guidance support. Furthermore, a close collaboration with the teachers at eight resource-constrained South African secondary schools was vital for successful implementation. To assess the success of the adaptation to a self-directed format, a mixed-methods design was employed, and Life Orientation teachers’ evaluative feedback was solicited. Favorable quantitative results were obtained; majority of teachers agreed that learners enjoyed the booklet and that it was deemed an adequate substitute to the previous contact-based format of the Career Guidance Project. This was also confirmed by the qualitative findings revealing teachers’ satisfaction with the booklet’s content, specifically that the booklet is complementary to the Life Orientation curriculum. Qualitative findings identified specific contextual barriers that contributed to some learners struggling to use the booklet optimally. The results suggest that it is feasible and acceptable to implement a self-directed career guidance intervention among secondary school learners amid a global pandemic. Teachers recommended ways to integrate the booklet, resources, and contact sessions as a preferred way forward. These findings have important implications for similar resource-constrained settings that may not have readily access to in-person career guidance and counseling human development. (shrink)

Thomas Reid is now recognized as one of the towering figures of the Enlightenment. Best known for his published writings on epistemology and moral theory, he was also an accomplished mathematician and natural philosopher, as an earlier volume of his manuscripts edited by Paul Wood for the Edinburgh Reid Edition, Thomas Reid on the Animate Creation, has shown. The Correspondence of Thomas Reid collects all of the known letters to and from Reid in a fully annotated form. (...) Letters already published by Sir William Hamilton and others have been reedited, and roughly half of the letters included appear in print for the first time. Writing in 1802, Reid's disciple and biographer Dugald Stewart doubted that Reid's correspondence &"would be generally interesting.&" This collection proves otherwise, for the letters illuminate virtually every aspect of Reid's life and career and, in some instances, provide us with invaluable evidence about activities otherwise undocumented in his manuscripts or published works. Through his correspondence we can trace Reid's relations with contemporaries such as David Hume and his colleagues at both King's College, Aberdeen, and the University of Glasgow, as well as his engagement with the most controversial philosophical, scientific, and political issues of his day. If anything, the letters assembled here serve as the starting point for understanding Reid and his place in the Enlightenment. (shrink)

Feeling good: four ways -- Finding that feeling -- The place of pleasure -- Knowing what's what -- Making things happen -- Being good -- Love and friendship -- Putting it together.

Thomas Hill, a leading figure in the recent development of Kantian moral philosophy, presents a set of essays exploring the implications of basic Kantian ideas for practical issues. The first part of the book provides background in central themes in Kant's ethics; the second part discusses questions regarding human welfare; the third focuses on moral worth-the nature and grounds of moral assessment of persons as deserving esteem or blame. Hill shows moral, political, and social philosophers just how valuable moral (...) theory can be in addressing practical matters. (shrink)

Respect, Pluralism, and Justice is a series of essays which sketches a broadly Kantian framework for moral deliberation, and then uses it to address important social and political issues. Hill shows how Kantian theory can be developed to deal with questions about cultural diversity, punishment, political violence, responsibility for the consequences of wrongdoing, and state coercion in a pluralistic society.

The word “emotion” has named a psychological category and a subject for systematic enquiry only since the 19th century. Before then, relevant mental states were categorised variously as “appetites,” “passions,” “affections,” or “sentiments.” The word “emotion” has existed in English since the 17th century, originating as a translation of the French émotion, meaning a physical disturbance. It came into much wider use in 18th-century English, often to refer to mental experiences, becoming a fully fledged theoretical term in the following century, (...) especially through the influence of two Scottish philosopher-physicians, Thomas Brown and Charles Bell. This article relates this intellectual and semantic history to contemporary debates about the usefulness and meaning of “emotion” as a scientific term. (shrink)

Nietzsche is often regarded as a paradigmatically anti-theoretical philosopher. Bernard Williams has said that Nietzsche is so far from being a theorist that his text “is booby-trapped not only against recovering theory from it, but, in many cases, against any systematic exegesis that assimilates it to theory.” Many would apply this view especially to Nietzsche’s moral philosophy. They would say that even when he is making positive normative claims, as against just criticizing existing morality, his claims have neither the content (...) nor the organization characteristic of moral theory. (shrink)

For early modern metaphysician Anne Conway, the world comprises creatures. In some sense, Conway is a monist about creatures: all creatures are one. Yet, as Jessica Gordon-Roth has astutely pointed out, that monism can be understood in very different ways. One might read Conway as an ‘existence pluralist’: creatures are all composed of the same type of substance, but many substances exist. Alternatively, one might read Conway as an ‘existence monist’: there is only one created substance. Gordon-Roth has done the (...) scholarship a great favor by illuminating these issues in Conway. However, this article takes issue with Gordon-Roth's further view that Conway ‘oscillates’ between the extremes of existence pluralism and monism. In its place, I argue we should read Conway as a priority monist: the whole of creation is ontologically prior to its parts. (shrink)

Serena Olsaretti brings together new essays by leading moral and political philosophers on the nature of desert and justice, their relations with each other and with other values.

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.

Socrates is one of the most important yet enigmatic philosophers of all time; his fame has endured for centuries despite the fact that he never actually wrote anything. In 399 B.C.E., he was tried on the charge of impiety by the citizens of Athens, convicted by a jury, and sentenced to death (ordered to drink poison derived from hemlock). About these facts there is no disagreement. However, as the sources collected in this book and the scholarly essays that follow them (...) show, several of even the most basic facts about these events were controversial in antiquity, and the questions persist today: How and why was Socrates brought to trial? Why did the jurors, members of the world's first democracy, find him guilty? When he was given an opportunity to escape execution, why did he refuse to do so and instead accept the punishment that he and his friends agreed was unjustly assigned to him? How exactly did Socrates die? Differences of opinion on these and other issues continue to arouse our curiosity and to challenge new generations of students and scholars. The Trial and Execution of Socrates: Sources and Controversies is the first work to collect in one place all of the major ancient sources on Socrates' death--those of both his critics and his defenders--as well as recent scholarly views. Part I includes new translations of Plato's Euthyphro, Apology, Crito, and the death scene from Phaedo, as well as other ancient sources that shed light on Socrates' trial and execution. Part II features some of the most influential recent scholarship on this historically momentous event with work by M. F. Burnyeat, Robert Parker, Mark L. McPherran, Thomas C. Brickhouse and Nicholas D. Smith, Richard Kraut, Christopher Gill, and Enid Bloch (whose essay is published here for the first time). Ideal for undergraduate surveys of ancient Greek philosophy and upper-level courses on Socrates and Socratic philosophy, this unique collection provides an unprecedented look into the many perplexing questions surrounding the trial and execution of this remarkable man. (shrink)

Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.

This is a new edition of T. H. Green's Prolegomena to Ethics (1883), a classic of modern philosophy, in which Green sets out his perfectionist ethical theory. In addition to the text of the Prolegomena itself, this new edition provides an introductory essay, a bibliographical essay, and an index. Brink's extended editorial introduction examines the context, themes, and significance of Green's work and will be of special interest to readers working on the history of ethics, ethical theory, political philosophy, and (...) nineteenth century philosophy. (shrink)

Issues concerning patients' rights are at the center of bioethics, but the political basis for these rights has rarely been examined. In Bioethics in a Liberal Society: The Political Framework of Bioethics Decision Making , Thomas May offers a compelling analysis of how the political context of liberal constitutional democracy shapes the rights and obligations of both patients and health care professionals. May focuses on how a key feature of liberal society -- namely, an individual's right to make independent (...) decisions -- has an impact on the most important relational facets of health care, such as patients' autonomy and professionals' rights of conscience. Although a liberal political framework protects individual judgments, May asserts that this right is based on the assumption of an individual's competency to make sound decisions. May uses case studies to examine society's approach to medical decision making when, for reasons ranging from age to severe mental disorder, a person lacks sufficient competency to make independent and fully informed choices. To protect the autonomy of these vulnerable patients, May emphasizes the need for health care ethics committees and ethics consultants to help guide the decision-making process in clinical settings. Bioethics in a Liberal Society is essential reading for all those interested in understanding how bioethics is practiced within our society. (shrink)

This book is a fiftieth anniversary republication of Thomas Nagel's "What Is It Like to Be a Bat?", a classic in the philosophy of mind. Through its argument for the irreducible subjectivity of consciousness, it played an essential role in making the study of consciousness a central part of philosophy, psychology, and neuroscience. It also spurred the now flourishing scientific attention to the consciousness of non-human creatures: mammals, birds, fish, mollusks, and insects. The book also includes a second essay (...) offering Nagel's more recent thoughts on the most promising positive response to the mind-body problem, as posed in the original essay. (shrink)

La 4e de couverture indique : "Si la philosophie la plus contemporaine s'articule autour de la critique de la représentation et dénonce dans la métaphysique classique la volonté d'unir en un seul concept (celui de "représenter") la multiplicité des dimensions de la pensée, elle tend parfois à négliger le fait que cette assomption de la représentation fut souvent accompagnée de sa remise en question. L'idéalisme allemand est l'un des moments de la crise de la représentation, l'une des figures les plus (...) radicales de sa critique. C'est, sur la base d'une étude de la philosophie de Fichte, ce que cet ouvrage vise à démontrer. En effet, Fichte substitue à la pensée comme représentation (Kant), la pensée comme acte, à la notion de connaissance, celle de savoir, à la notion de figuration, celle de réflexion. Ce modèle de la réflexion a ceci de spécifique que le problème, qui préside à son élaboration n'est pas, comme dans la philosophie classique de la subjectivité, de savoir comment le sujet peut revenir sur lui-même, mais comment le philosophe peut dire ce qu'il dit sans se contredire en le disant. Cette question du statut du discours du philosophe et la nécessité, pour lui, de dégager, dans tout ce qu'il dit, la forme et l'instance de son dire explique les thèmes les plus marquants de la doctrine de la science (acte, savoir et infini), la structure - totalement inédite - de son argumentation et en garantit la cohérence ; cohérence tant entre les différentes versions de la doctrine de la science qu'entre cette doctrine et les disciplines particulières (éthique, droit, religion). Dépasser la dimension traditionnellement spéculaire de la pensée et, pour ce faire, passer de la connaissance au savoir, de la validité objective à la vérité réflexive, de l'objectivation qui limite à la raison qui infinitise, tel est donc le sens de cette philosophie qu'il devient loisible de comparer aux figures les plus actuelles de la critique de la représentation.". (shrink)