The author proved in his Ph.D. Thesis [W. Veldman, Investigations in intuitionistic hierarchy theory, Ph.D. Thesis, Katholieke Universiteit Nijmegen, 1981] that, in intuitionistic analysis, the positively Borel subsets of Baire space form a genuinely growing hierarchy: every level of the hierarchy contains sets that do not occur at any lower level. It follows from this result that there are natural examples of analytic and also of co-analytic sets that are not positively Borel. It turns out, however, that, in intuitionistic (...) analysis, one may give surprisingly different and, in some sense, much more simple examples of analytic and co-analytic sets that fail to be positively Borel. In the paper, two such examples are given. In proving them correct, one obtains new proofs of the Borel Hierarchy Theorem. Brouwer’s Continuity Principle plays a crucial role in arguments. (shrink)

In 1996, W. Veldman and F. Waaldijk present a constructive (intuitionistic) proof for the homogeneity of the ordered structure of the Cauchy real numbers, and so this result holds in any topos with natural number object. However, it is well known that the real numbers objects obtained by the traditional constructions of Cauchy sequences and Dedekind cuts are not necessarily isomorphic in an arbitrary topos with natural numbers object. Consequently, Veldman and Waaldijk's result does not apply to the (...) ordered structure of Dedekind real numbers in toposes. The main result to be proved in the present paper is that the ordered structure of the Dedekind real numbers object is homogeneous, in any topos with natural numbers object. This result is obtained within the framework of local set theory. (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

The _Physics_ is a foundational work of western philosophy, and the crucial one for understanding Aristotle's views on matter, form, essence, causation, movement, space, and time. This richly annotated, scrupulously accurate, and consistent translation makes it available to a contemporary English reader as no other does—in part because it fits together seamlessly with other closely associated works in the New Hackett Aristotle series, such as the _Metaphysics_, _De Anima_, and forthcoming _De Caelo_ and _On Coming to Be and Passing Away_. (...) Eventually the series will include all of Aristotle's works. Sequentially numbered endnotes provide the information most needed at each juncture, while a detailed Index of Terms indicates places where focused discussion of key notions occurs. An illuminating general Introduction describes the book that lies ahead, explaining what sort of work it is and what sorts of evidence it relies on. (shrink)

Batterman examines a form of scientific reasoning called asymptotic reasoning, arguing that it has important consequences for our understanding of what physicists call universal behavior, as well as of the scientific process as a whole.

An English language translation accompanies the original Greek text of Aristotle's book about the nature of the state, constitutions, revolutions, democracy, and oligarchy.

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 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. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Moral luck is a puzzling aspect of our psychology: Why do we punish outcomes that were not intended (i.e. accidents)? Prevailing psychological accounts of moral luck characterize it as an accident or error, stemming either from a re‐evaluation of the agent's mental state or from negative affect aroused by the bad outcome itself. While these models have strong evidence in their favor, neither can account for the unique influence of accidental outcomes on punishment judgments, compared with other categories of moral (...) judgment. Why might punishment be particularly sensitive to moral luck? We suggest that such sensitivity is easily understood from the broader perspective of punishment's ultimate adaptive goal: Changing others’ behavior by exploiting their capacity to learn. This pedagogical perspective accounts for the exceptional influence of outcomes on punitive sentiments and makes predictions for additional moderators of punishment. We review evidence supporting the pedagogical hypothesis of punishment and discuss fruitful directions for future research. (shrink)

Philosophy has much to offer psychiatry, not least regarding ethical issues, but also issues regarding the mind, identity, values, and volition. This has become only more important as we have witnessed the growth and power of the pharmaceutical industry, accompanied by developments in the neurosciences. However, too few practising psychiatrists are familiar with the literature in this area. -/- The Oxford Handbook of Philosophy and Psychiatry offers the most comprehensive reference resource for this area ever published. It assembles challenging and (...) insightful contributions from key philosophers and others to the interactive fields of philosophy and psychiatry. Each contributions is original, stimulating, thorough, and clearly and engagingly written - with no potentially significant philosophical stone left unturned. Broad in scope, the book includes coverage of several areas of philosophy, including philosophy of mind, science, and ethics. For philosophers and psychiatrists, The Oxford Handbook of Philosophy and Psychiatry is a landmark publication in the field - one that will be of value to both students and researchers in this rapidly growing area. (shrink)

It is commonly thought that exploitation is unjust; some think it is part of the very meaning of the word ‘exploitation’ that it is unjust. Those who think this will suppose that the just society has to be one in which people do not exploit one another, at least on a large scale. I will argue that exploitation is not unjust by definition, and that a society might be fundamentally just while nevertheless being pervasively exploitative. I do think that exploitation (...) is nearly always a bad thing, and wul try to identify the moral belief which makes most of us think it is. But I will argue that its badness does not always consist in its being unjust. (shrink)

THE PROBLEM OF THE INTERPRETATION OF HAMANN Johann Georg Hamann is an intriguing but poorly known figure in the contemporary intellectual world. Yet this is the man whom Kierkegaard saluted as "Emperor!", whose writings were to have been arranged for publication by none other than Goethe himself, and whom Dilthey numbered among the primordial figures in the rise of modern historical consciousness. There are reasons for the persistence of this general ignorance. Hamann is deep. And, in addition, there is his (...) forbidding style. The readers of Kierkegaard and Dilthey, two other giants who them selves achieved late recognition, have not had to face this kind of imposing obstacle. Not only does Hamann expect his readers to handle themselves in deep water, but to intuit their way between his ideas which bob up like islands with no visible connection between them. Like Kierkegaard too, Hamann has had his troubles with the public. He himself referred to the hope that he would be understood by a "better posterity". In fact only the last few years have seen the printing of some of his more controversial writings, in particular his theories on the nature of human sexuality. (shrink)

An intense and lively debate on literature and art between thinkers who became some of the great figures of twentieth-century philosophy and literature.

St Anselm (1033-1109) devised an ontological “proof” of the existence of God based on the impossibility of conceiving of God's non-existence. This famous argument inspired a much less-widely known atheistic ontological “proof” of God's non-existence by Melbourne philosopher Douglas Gasking (1911-1994). Juxtaposing Gasking’s argument for the non-existence of God with Anselm’s “proof” brings the basic defect of Anselm’s argument into sharp relief.

This is the third of five chapters on good, and inquires into what kinds of things are intrinsically good. The first thing claimed as intrinsically good is virtuous disposition and action; the second is pleasure in itself. These two approaches are briefly analysed, with the goodness or badness of pleasure given particular attention. Ross concludes that four things can be seen to be intrinsically good—virtue, pleasure, the allocation of pleasure to the virtuous, and knowledge. He is unable to discover anything (...) that is intrinsically good that is not either one or a combination of these. (shrink)

This essay is concerned with six linguistic moves that we commonly make, each of which is considered in turn. These are: stating rules of representation; representing things categorically; mentioning expressions; saying truly or falsely how things are; saying vaguely how things are; and stating rules of rules of representation. A common-sense view is defended of what is involved in our doing each of these six things against a much more sceptical view emanating from the idea that linguistic behavior is fundamentally (...) messy. Both the fifth move and the sixth move involve vague concepts, and much of the essay is concerned with developing an approach to various problems and puzzles that attach to such concepts, most notably the sorites paradoxes. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard (2010) contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, (...) all mechanisms are more or less general (or abstract), and on the other, many (if not all) design principles are causal systems. (shrink)

[Open access] In this book symposium the author takes up questions from phenomenology, hermeneutics, ethical theory, and intellectual history raised by a group of scholarly interlocutors from a range of backgrounds. In the course of engaging with these issues, he discusses, inter alia, McDowell’s realism, Jonathon Lear’s work on the end of a world, Michael Oakeshott’s view of selfhood, Heidegger’s conception of Jemeinigkeit, Uexküll’s notion of Umwelt, and Gadamer’s hermeneutic conception of truth.

In this volume, Brakel raises questions about conventions in the study of mind in three disciplines—psychoanalysis, philosophy of mind, and experimental philosophy. She illuminates new understandings of the mind through interdisciplinary challenges to views long-accepted. Here she proposes a view of psychoanalysis as a treatment that owes its successes largely to its biological nature—biological in its capacity to best approximate the extinction of problems arising owing to aversive conditioning. She also discusses whether or not "the mental" can have any real (...) ontological standing, arguing that a form of reductive physicalism can be sufficient ontologically, but that epistemological considerations require a branch of non-reductive physicalism. She then notes the positive implications of this view for psychiatry and psychoanalysis, Finally, she investigates the role of "consistency" in method and content, toward which experimental philosophers strive. In essence, Brakel articulates the different sets of challenges pertaining to: a) ancient dilemmas such as the mind/body problem; b) longstanding debates about the nature of therapeutic action in psychoanalysis; and c) new core questions arising in the relatively young discipline of experimental philosophy. (shrink)