Online research in philosophy

We prove that a form of the $Erd\H{o}s$ property (consistent with $V = L\lbrack H_{\omega_2}\rbrack$ and strictly weaker than the Weak Chang's Conjecture at ω1), together with Bounded Martin's Maximum implies that Woodin's principle $\psi_{AC}$ holds, and therefore 2ℵ0 = ℵ2. We also prove that $\psi_{AC}$ implies that every function $f: \omega_1 \rightarrow \omega_1$ is bounded by some canonical function on a club and use this to produce a model of the Bounded Semiproper Forcing Axiom in which Bounded Martin's Maximum (...) fails. (shrink)

This paper addresses the problem of the distinction between basic science and applied science. It also explores their differences with regard to technology. For this analysis, as well as a general epistemological and methodological approach, we study a particular case: information science. As the emphasis of the paper is on the category of applied science, it includes a critical analysis of Philip Kitcher's proposal. First, there is an examination of Ph. Kitcher's thought, because he has addressed this issue without (...) offering a clear distinction between the various categories. I then consider the contributions of I. Niiniluoto, which determine in a more genuine way the features that distinguish applied science from basic science. Here, I focus on the ideas of H. A Simon on the science of design, to the extent that it is an applied science. This then allows us to shed light on the disciplinary field of information science, which is characterized as an applied science of design. This is a case that shows the need to distinguish three epistemological and methodological domains: basic science, applied science and technology. (shrink)

This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...) presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge). (shrink)

The current paper reports on a descriptive study involving a survey of accounting educators. Survey respondents were asked to rate the extent to which certain behaviors are deemed acceptable or unacceptable. The survey identified “hypernorms” (norms reflecting a high degree of consensus of what is acceptable or unacceptable behavior). These hypernorms were used to develop example ethical standards that can be used by a professional or academic association of accountants to develop a code of ethics for accounting educators.

This study empirically examined the views of Certified Internal Auditors (CIAs) concerning the role of Code of Ethics for members of the Institute of Internal Auditors. It is a continuation of an earlier study which examined the usefulness of the Code to CIAs. Among the questions asked were what is the primary reason for the Code of Ethics, how useful is it, have you used it, should more enforcement actions be taken against members who violate the Code, and what are (...) the legal and moral responsibilities of the CIA to report serious ethical violations, e.g., environmental pollution, to outsiders when top management and the board of directors are aware of the matter but are not doing anything to correct it. The results indicate strong support for the Code, its enforcement, and use as an instrument to encourage the internal flow of ethical behavior by embers and others. (shrink)

The longstanding interest in business ethics has been given renewed emphasis by high profile scandals in the world of business and finance. At the same time, many economists--dissatisfied with the discipline's emphasis on self-interest and individualism and by the asocial nature of much economic theory--have sought to englarge the scope of economics by looking at ethical questions. In Ethics and Economic Affairs a group of interdisciplinary scholars provide contributions on international interest in this aspect of socio-economics and economic-psychology. The book (...) is divided into four parts. The first looks at Business Ethics and Management. Part Two enlivens the debate with empirical data. The third part examines the implications for economic theory and asks if the integration of ethics in the economy is possible or if they are fundamentally different systems. Part Four introduces perspectives from other disciplines, sets economics within its wider context and looks to the future. The editors have brought together a group of contributors from nine different countries and a broad range of disciplines, including: Norman E. Bowie, Monroe Burk, Amitai Etzioni, Richard H. Guerette, Ralph E. Miner, Lynne M. Rosansky, N. Craig Smith, Roberts Stallaerts, Philip Stone and John Tomer. (shrink)

The contribution of Octavia Butler's fiction to utopian studies is becoming more widely recognized, particularly in the wake of a special issue of Utopian Studies (vol. 19, no. 3) devoted to her work. The Parable of the Sower and Parable of the Talents provide an especially effective exploration of perennial issues in political philosophy, cultural studies, and psychology.1 Civil society and the cultural norms that underlay social and political institutions have crumbled. Crime, violence, and addiction are rampant. Environmental degradation and (...) economic collapse have pushed most to roam about the country searching for food, while others take refuge in walled compounds run by corporations whose power is unchecked. .. (shrink)

Philosophers on Education provides the most comprehensive history of philosphers' views and impacts on the direction of education, from Plato to Dewey. As Amelie Oksenberg Rorty explains in describing a history of education, we are essentially describing and gaining the clearest understanding of the issues that presently concern and divide us. Philosophical reflection on education has usually been directed to the education of rulers, to those who are presumed to preserve and transmit--or to redirect and transform--the culture of sociey, its (...) knowledge and values. Every historical era is marked by a struggle among claimants to that power. It is only late in the history of liberal democracies that educational policy was formulated for and directed toward autonomous individuals who structure their own lives. The contributors to this collection recognize that history remains actively embedded and expressed in society's beliefs and practices, and that the study of the history of philosophy mandates reflection on its implications for education. The all new essays are written by some of the finest contemporary philosophers: Elizabeth Anderson, Annette C. Baier, Frederick B. Beiser, Eva T. H. Brann, M.F. Burnyeat, William Galston, Daniel Garber, Peter Gay, Alvin I. Goldman, Moshe Halbertal, Tova Hartman Halbertal, Simon Harrison, Barbara Herman, Genevieve Lloyd, Alasdair MacIntyre, Richard W. Miller, Roy P. Mottahedeh, Adam Phillips, Philip L. Quinn, C.D.C. Reeve, Patrick Riley, Amelie Oksenberg Rorty, Emma Rothschild, Alan Ryan, Richard Schacht, Josef Stern, Richard Tuck, Thomas E. Uebel, Jeremy Waldron, Allen Wood, Paul Woodruff, Jean S. Yolton, John W. Yolton, Zhang LoShan (pseudonym). (shrink)

Abstract This paper sketches a mood of indecision which can affect persons of goodwill in a multiethnic educational context when confronted by apparently conflicting demands for an education which satisfies the requirement for equal opportunities for women and the due recognition of the special status accorded to the moral education of women in some cultures. It concludes that the dilemma arises from a mistaken attribution of rights to entities other than individuals, and urges teachers to adopt a positive attitude towards (...) the protection of individual freedoms. (shrink)

Ebbhinghaus, H., J. Flum, and W. Thomas. 1984. Mathematical Logic. New York, NY: Springer-Verlag. Forster, T. Typescript. The significance of Yablo’s paradox without self-reference. Available from http://www.dpmms.cam.ac.uk. Gold, M. 1965. Limiting recursion. Journal of Symbolic Logic 30: 28–47. Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam.

We have two ways of talking about liberty or freedom, one in the singular, the other in the plural. We concern ourselves in the singular mode with how far someone is free to do or not to do certain things, or with how far someone is a free person or not a free person. But, equally, we concern ourselves with the plural question as to how far the person enjoys the liberties that we take to be important or basic. What (...) are those plural liberties, however? What does it take for something to count as a basic liberty? e usual approach to this question is to give a list of some presumptive basic liberties — say, those of thought, speech, and association — and then to add a gestural ‘and so on’. My aim in this paper is to do a little better in elaborating a conception of the sorts of liberties at which the ‘and so on’ gestures. I argue that the basic liberties can be usefully identifi ed as the liberties required for living the life of a free person or citizen and I spell out that requirement in three constraints, which I describe as feasible extension, personal signifi cance and equal co-enjoyment. ere are many candidate sets of basic liberties that might be proposed for protection, whether in general or for a particular society. e claim that I defend is that in order to count as a set of basic liberties, the types of choice protected under any proposal should be capable of being equally enjoyed at the same time by everyone (equal co-enj oyment), should be important in the life of normal human beings (personal signifi cance), and should not be unnecessarily restricted: they should be as extensive as the other constraints allow (feasible extension). e aim of the paper being quite limited, I abstract from many important issues. I do not provide an argument for why it is important that some set of basic liberties be protected, nor do I rate the importance of such protection against other social goals. I say nothing on how far it should be a requirement of democracy that certain sorts of liberties are entrenched—whether constitutionally or otherwise—and how far democratic process should be allowed to vary the specifi - cation and protection of basic liberties.. (shrink)

We define a propositionally quantified intuitionistic logic Hπ + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that Hπ+ is recursively isomorphic to full second order classical logic. Hπ+ is the intuitionistic analogue of the modal systems S5π +, S4π +, S4.2π +, K4π +, Tπ +, Kπ + and Bπ +, studied by Fine.

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field containing the reals and the ordinals as well as a great many less familiar numbers including -ω, ω/2, 1/ω, \sqrt{ω} and ω-π to name only a few. Indeed, this particular real-closed field, which Conway calls No, is so remarkably inclusive that, subject to the proviso that numbers—construed here as members of ordered fields—be individually definable in terms of sets of NBG (von Neumann—Bernays—Gödel set theory with global (...) choice), it may be said to contain “All Numbers Great and Small.” In this respect, No bears much the same relation to ordered fields that the system ℝ of real numbers bears to Archimedean ordered fields. In Part I of the present paper, we suggest that whereas ℝ should merely be regarded as constituting an arithmetic continuum (modulo the Archimedean axiom), No may be regarded as a sort of absolute arithmetic continuum (modulo NBG), and in Part II we draw attention to the unifying framework No provides not only for the reals and the ordinals but also for an array of non-Archimedean ordered number systems that have arisen in connection with the theories of non-Archimedean ordered algebraic and geometric systems, the theory of the rate of growth of real functions and nonstandard analysis. In addition to its inclusive structure as an ordered field, the system No of surreal numbers has a rich algebraico-tree-theoretic structure—a simplicity hierarchical structure—that emerges from the recursive clauses in terms of which it is defined. In the development of No outlined in the present paper, in which the surreals emerge vis-à-vis a generalization of the von Neumann ordinal construction, the simplicity hierarchical features of No are brought to the fore and play central roles in the aforementioned unification of systems of numbers great and small and in some of the more revealing characterizations of No as an absolute continuum. (shrink)

A more complete understanding of the biocultural evolutionary origins of the concept of ought as developed by David Hume and G. E. Moore may lower the philosophical barrier between is and ought and provide new insights about the separations between the domains of religion and science. If this conjecture is correct, the resulting wisdom will help transcend a major source of irony that Philip Hefner has so aptly identified in his essay.

In the two related works in this volume, Bentham offers a detailed critique of William Blackstone's Commentaries on the Laws of England (1765-9). In 'Comment on the Commentaries', on which Bentham began work in 1774, he exposes the fallacies which he claims to have detected in Blackstone, and criticizes the theory of the Common Law. He goes on to provide important reflections on the nature of law, and more particularly on the nature of customary and of statute law, and on (...) judicial interpretation. -/- A Fragment on Government, which was published in 1776, was detached from the 'Comment on the Commentaries'. Concentrating on a passage of five or six pages in which Blackstone discusses the origin of society and government, Bentham offers three main criticisms. First, he criticizes Blackstone's methodology for failing to distinguish between the role of the expositor and the role of the censor, and thereby confusing the question of what the law is with the question of what the law ought to be. Second, he criticizes Blackstone's assumption that the theory of the social contract represents an adequate justification of the obligation to obey government. Third, he criticizes Blackstone's theory of sovereignty, which claims that in every state there must exist some absolute, undivided power, whose commands are law. Bentham points to the existence of states where sovereign power is both divided and limited. -/- In these two works, published by OUP for the first time, Bentham outlines a number of themes which he goes on to develop in his later works: the principle of utility; the importance of a 'natural arrangement' for a legal system; the point at which resistance to government becomes justifiable; the exposition of legal terms; and much more. -/- The volume also contains Bentham's 'Preface' intended for, but not published in, the second edition of A Fragment on Government, which appeared in 1823. Having by this committed himself to political radicalism, Bentham uses this occasion to reflect on the text and the circumstances in which it was produced. -/- The text has been edited by H.L.A. Hart and J.H. Burns, whose reputations in their respective fields of legal theory and history of political thought are unsurpassed. The volume contains an Editorial Introduction which explains the provenance of the text, and the method of presentation. The texts are fully annotated with textual and historical notes, and the volume is completed with a detailed subject index, based on a methodology devised by Hart. (shrink)

Claims about the economic motivations of population groups in the American past are a staple of contemporary political argument, as polemicists of one side seek to impeach the moral standing of the other side by impeaching the moral standing of the forebears of the people on the other side. Sometimes such polemics are presented to the public in the guise of nonpartisan works of popular history. This paper, applying the training of a litigator in preparing an "opposition" or "reply" brief, (...) examines and exposes the "spin" in the economic history offered by popular author Nathaniel Philbrick in his 207 book Mayflower, in the sections of the book addressing the bloody conflict in New England in 1675-76 known as "King Philip's War." The paper uses the facts Mr. Philbrick himself reports in his book to refute his conclusions, showing that the English colonists fought in legitimate self-defense and not out of greed or racism, against certain (not all) Indian tribes whose warriors, in the words of one of their own chiefs, were like "sticks laid on a heap, till by the multitude of them a great fire came to be kindled.". (shrink)

H. E. Longino maintains ('Scientific Objectivity and the Logics of Science?, Inquiry, Vol. 26 [1983], pp. 85?106) that scientific objectivity is constituted jointly by the intersubjective criticism and corroboration of the community of scientists, and by ?the formal requirement of demonstrable evidential relevance . . . independent of and external to any particular research program or scientific theory?. Not only do these two constituents of objectivity seem incompatible, but several additional problems arise from her account, the main one of which (...) is her failure to recognize that background assumptions are of several kinds, operative on several levels. An alternative version of objectivity, grounded in Heidegger's analytic of Dasein, is briefly offered. (shrink)

Novel (categorical) axiomatizations of the classical arithmetic and geometric continua are provided and it is noted that by simply deleting the Archimedean condition one obtains (categorical) axiomatizations of J.H. Conway's ordered field No and its elementary n-dimensional metric Euclidean, hyperbolic and elliptic geometric counterparts. On the basis of this and related considerations it is suggested that whereas the classical arithmetic and geometric continua should merely be regarded as arithmetic and geometric continua modulo the Archimedean condition, No and its geometric counterparts (...) may be regarded as absolute arithmetic and geometric continua modulo von Neumann-Bernays-Godel set theory. (shrink)

Moral philosophy and education, by H. D. Aiken.--The moral sense and contributory values, by C. I. Lewis.--Realms of value, by P. W. Taylor.--The role of value theory in education, by J. D. Butler.--Does ethics make a difference? By K. Price.--Educational value statements, by C. Beck.--Educational values and goals, by W. K. Frankena.--Conflicts in values, by H. S. Broudy.--Levels of valuational discourse in education, by J. F. Perry and P. G. Smith.--Education and some moves toward a value methodology, by A. S. (...) Clayton.--You can't pray a lie, by M. Twain.--Men, machines, and morality, by J. F. Soltis.--Teaching and telling, by I. Scheffler.--Reason and habit, by R. S. Peters.--The two moralists of the child, by J. Piaget.--Causes and morality, by R. S. Peters.--On education and morals, by R. W. Sleeper.--Moral autonomy and reasonableness, by T. D. Perry. (shrink)