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)

W. J. Mander presents a history of metaphysics in nineteenth-century Britain. He traces the story of the development and interplay of three great schools of thought, the agnostics, the empiricists, and the idealists, and their different responses to the idea of an ultimate but unknowable way that things really are in themselves.

The traditional doctrine of God's universal causality holds that God directly causes all entities distinct from himself, including all creaturely actions. But can our actions be free in the strong, libertarian sense if they are directly caused by God? W. Matthews Grant argues that free creaturely acts have dual sources, God and the free creaturely agent, and are ultimately up to both in a way that leaves all the standard conditions for libertarian freedom satisfied. Offering a comprehensive alternative to existing (...) approaches for combining theism and libertarian freedom, he proposes new solutions for reconciling libertarian freedom with robust accounts of God's providence, grace, and predestination. He also addresses the problem of moral evil without the commonly employed Free Will Defense. Written for analytic philosophers and theologians, Grant's approach can be characterized as “neo-scholastic” as well as “analytic,” since many of the positions defended are inspired by, consonant with, and develop resources drawn from the scholastic tradition, especially Aquinas. (shrink)

Suppose that the ultimate point of ethics is to make the world a better place. If it is, we must face the question: better in what respect? If the good is prior to the right — that is, if the rationale for all requirements of the right is that they serve to further the good in one way or another — then what is this good? Is there a single fundamental value capable of underlying and unifying all of our moral (...) categories? If so, how might it defeat the claims of rival candidates for this role? If not, is there instead a plurality of basic goods, each irreducible to any of the others? In that case, how do they fit together into a unified picture of the moral life? These are the questions I wish to address, in a necessarily limited way. To many the questions will seem hopelessly old-fashioned or misguided. Some deontologists will wish to reverse my ordering of the good and the right, holding that the right constrains acceptable conceptions of the good. For many contractarians, neither the good nor the right will seem normatively basic, since both are to be derived from a prior conception of rationality. Finally, some theorists will reject the classification of moral theories in terms of their basic normative categories, arguing that the whole foundationalist enterprise in ethics should be abandoned. In the face of these challenges to the priority of the good, and in light of the many current varieties of moral skepticism and relativism, I cannot provide a very convincing justification for raising the questions I intend to discuss. (shrink)

Skinner has assigned the persistence of cognitive explanations to the literature of freedom and dignity. This view is challenged especially as it applies to behavioral scientists. It is argued that cognitive explanations persist because current behaviorism does not challenge cognitive epistomology; because behavior analysts have failed to provide research evidence at the level of human behavior, and finally because a science of behavior based solely on operant principles is necessarily incomplete. The implications of these problems for behavior analysis are addressed.

Via a reading of Cormac McCarthy’s Blood Meridian and a critical appraisal of Foucault’s break with historical materialism, W. Oliver Baker finds, at the limits of the new materialisms, space for a new post-humanist critical materialism that sees utopia not in post-human assemblages, but in the abolition of colonial and capitalist structures that condition those assemblages in the first place.

This volume, which is part of the Clarendon Aristotle Series, offers a clear and faithful new translation of Books II to IV of Aristotle's Nicomachean Ethics, accompanied by an analytical commentary focusing on philosophical issues. In Books II to IV, Aristotle gives his account of virtue of character in general and of the principal virtues individually, topics of central interest both to his ethical theory and to modern ethical theorists. Consequently major themes of the commentary are connections on the one (...) hand with other relevant Aristotelian texts and on the other with modern writings, both text-related and thematic. Since the main aim of the volume is to make Aristotle's thought as accessible as possible to readers who do not know Greek, considerable care is taken to elucidate both his technical vocabulary and significant features of his Greek idiom. C. C. W. Taylor also provides systematic comparisons with other translations into English and other languages, and frequent references to other commentaries, ancient, medieval, and modern. These features make the work useful to other scholars in the field as well as to students of philosophy, both undergraduate and graduate.In view of the widespread contemporary interest in the topic of virtue, the volume should appeal to students of ethics and to any reader who is concerned to see how fundamental questions of life and conduct were approached in a culture significantly different from our own. (shrink)

vol. I. Logic: Categoriae. De interpretatione. Analytica priora. Analytica posteriora.--vol. II. Natural philosophy: Physica. De caelo. De generatione et corruptione.--vol. III. Psychology: De anima. Parva Naturalia.--vol. IV. Metaphysics: Metaphysica.--vol. V. Ethics: Ethica Nicomachea.--vol. VI. Politics and poetics: Politica. De poetica.

Semantics, the study of meaning, combines philosophy, linguistics, psychology, and anthropology. This compilation of scholarship from all four disciplines complements the author's earlier volumes, giving comprehensive annotations and bringing the total number of entries in the 3-volume series to over 7,400. Book titles appear in the first section, followed by articles and conference papers under 22 headings: surveys of semantics, definitions and models of meaning, reference, ambiguity, synonymy, antonymy, polysemy, homonymy, morpho-semantic fields, word-association, semantic fields and componential analysis, kinship terms, (...) color terms, semantics of parts of speech, syntax and semantics, negation, modals, idioms, case grammar, child language, comparative semantics, and semantics universals. (shrink)

Excerpt from Science and Ethics: Being a Series of Six Lectures Delivered Under the Auspices of the Natural Law Research League And abroad (germany, France, America, but although within the circumscribed limits of these lectures I have not. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst (...) repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

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)