Online research in philosophy

Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. W. (...) Tait; 7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson; 8. On the outside looking in: a caution about conservativeness John P. Burgess; Part III. Set Theory: 9. Gödel and set theory Akihiro Kanamori; 10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman; 11. On the question of absolute undecidability Peter Koellner; Part IV. Philosophy of Mathematics: 12. What did Gödel believe and when did he believe it? Martin Davis; 13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual realism Donald A. Martin. (shrink)

As humanity becomes increasingly interconnected through globalization, the question of whether community is possible within culturally diverse societies has returned as a principal concern for contemporary thought. Lorenzo Simpson charges that the current discussion is stuck at an impasse--between postmodernism's notions of fragmented cultural difference and what some see as humanism's homogeneous versions of community. Simpson proposes an alternative--one that bridges cultural differences without erasing them. He argues that we must establish common languages for articulating aesthetic and (...) ethical standards that incorporate a sensitivity to difference if we are to achieve cross-cultural understanding. (shrink)

Technology, Time, and the Conversations of Modernity takes as its impetus the idea that technology is an embodiment of our uneasiness with finitude. Lorenzo Simpson arguest that technology has succeeded in granting our wish to domesticate time. He shows how this attitude affects our understanding of the meaning of action and our ability to discern meaning in our lives. Simpson addresses the question of the price exacted by modernity in its scientific and technological guises; at the same time, (...) he examines a number of critical responses that take measure of our modern or, arguably, postmodern condition. The book thus poses the question of technology in the context of a range of philosophical issues and themes, from hermeneutics and critical theory to neo-pragmatism, the rationality debates, narrative theory, and postmodernism. Simpson's main aim is to elaborate a critique of technological rationality that does justice to our contemporary situation. In the course of this, he examines philosophical nihilism and the affinities between postmodern sensibilities and the technological attitude toward the world--illustrated by a discussion of Virtual Reality technology--as well as providing critical discussions of the work of Rorty, Habermas, and MacIntyre. (shrink)

One unique part of Rousseau's Social Contract is his argument that a just society must have a specific constitutional arrangement of powers centred around what he calls the Sovereign and the Prince. This makes his philosophy different from other contractualists, such as Hobbes and Locke, who think that the principles of good government are compatible with any number of institutional structures. Rousseau's constitutional theory is thus significant in a way that has no parallel in Hobbes or Locke. More to the (...) point, any problems that exist in his constitutional theory will have consequences for his political thought as a whole. This article argues that there is a contradiction at the center of Rousseau's theory of institutions that threatens the cogency of the Social Contract. Key Words: Rousseau • separation of powers • social contract • sovereignty. (shrink)

I perform an economic and ethical analysis on wealth and income inequality. Economists have performed many statistical studies that reveal a number of, often contradictory, findings in connection with the distribution of wealth and income. Hence, the statistical findings leave us with no better knowledge of the effects that inequality has on economic progress. At the same time, the existing theoretical results have not provided us with a definitive answer concerning the effects of inequality on progress. By gaining knowledge of (...) the nature of inequality, and bringing basic economic principles to bear on the subject, we can come to an understanding of what the causal relationship is between inequality and economic progress. Furthermore, I apply a new theory of ethics – rational egoism – to assess economic inequality. I show that, in the right context, economic inequality is both economically and morally desirable. (shrink)

The purpose of this investigation is to extend earlier research on the relationship between corporate social and financial performance. The unique contribution of the study is the empirical analysis of a sample of companies from the banking industry and the use of Community Reinvestment Act ratings as a social performance measure. The empirical analysis solidly supports the hypothesis that the link between social and financial performance is positive.

Within the philosophy of language, irony is not a terribly popular topic. For the most part its status is that of a peripheral and derivative oddity, and when it has been discussed, it has tended to be as an aside to a discussion of its more popular purported cousin, metaphor. My major goal here is to help drag irony towards the centre of attention, in two ways. First, in the course of sorting through the account of verbal irony I want (...) to show how this phenomenon, to the extent that it is a communicative-interactive phenomenon, challenges a supposed centrality for literal assertion in our accounts of meaning, communication and interaction. Second, I want to show how the ironic process, as a psychological process and as an interactive process, ought to sit at the forefront of attempts to give an account of the self. (shrink)

Bribery is a frequently discussed problem in international business. This article looks at the problem from the North American and from the developing country perspective. It describes and analyses specific cases and highlights recurring patterns of behavior.The article is based on the experiences of the authors who have been promoting business in the developing world. In addition to ethical considerations involved with bribery there are some very practical reasons for not engaging in the practice. There are also real barriers to (...) establishing the relationships necessary to avoid the practice yet continue doing business. (shrink)

This book illuminates contemporary educational reform discussions regarding teacher education programs and pre-K-12 schools by providing a clear analysis and application of John Dewey's relevant educational writings and ideas. The volume addresses issues of how future teachers should be liberally educated as well as prepared to be professional educators. Pre-K-12 education is evaluated through a Deweyan lens, involving a discussion of such topics as the teacher's responsibilities, charter schools, a common curriculum, professional development schools, new curricula, school administration, and cooperative (...) learning. In the concluding chapter, the authors point out many of the questions and concerns that those who are interested in educational reform are well-advised to ask and discuss. (shrink)

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 (dssi). 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 (IZF). (shrink)

Proponents of the view which I call ‘moral antitheodicy’ call for the theistic discourse of theodicy to be abandoned, because, they claim, all theodicies involve some form of moral impropriety. Three arguments in support of this view are examined: the argument from insensitivity, the argument from detachment, and the argument from harmful consequences. After discussing the merits of each argument individually, I attempt to show that they all must presuppose what they are intended to establish, namely, that the set of (...) premises advanced in any given theodicy will be untenable. I conclude by discussing what uses there might be for the moral critique of theodicy, if it cannot be used to ground a global rejection of theodical practice. (shrink)

Readily available data are used to provide relevant decision making information on the highly subjective issue of animal rights. Two examples of alleged crowding; cattle being finished in concrete lots, and broilers in confined operations were evaluated to determine the impact on producers and consumers from increasing space per animal. It is concluded that similar policy changes, such as doubling floor space, can lead to dramatic differences in economic impact depending on the industry affected. It is shown that economic analysis (...) can provide valuable information in estimating the tradeoffs in moral issues. (shrink)

This study examines the potential effects of unethically perceived advertising executionson consumer responses to the ad. The study found that the unethical perceptions of the advertisement shown significantly and negatively affected all advertising response variables examined in the study.

During human evolutionary history, there were “trade-offs” between expending time and energy on child-rearing and mating, so both men and women evolved conditional mating strategies guided by cues signaling the circumstances. Many short-term matings might be successful for some men; others might try to find and keep a single mate, investing their effort in rearing her offspring. Recent evidence suggests that men with features signaling genetic benefits to offspring should be preferred by women as short-term mates, but there are trade-offs (...) between a mate's genetic fitness and his willingness to help in child-rearing. It is these circumstances and the cues that signal them that underlie the variation in short- and long-term mating strategies between and within the sexes. Key Words: conditional strategies; evolutionary psychology; fluctuating asymmetry; mating; reproductive strategies; sexual selection. (shrink)

Continuous recordings of brain electrical activity were obtained from a group of 176 patients throughout surgical procedures using general anesthesia. Artifact-free data from the 19 electrodes of the International 10/20 System were subjected to quantitative analysis of the electroencephalogram (QEEG). Induction was variously accomplished with etomidate, propofol or thiopental. Anesthesia was maintained throughout the procedures by isoflurane, desflurane or sevoflurane (N = 68), total intravenous anesthesia using propofol (N = 49), or nitrous oxide plus narcotics (N = 59). A set (...) of QEEG measures were found which reversibly displayed high heterogeneity of variance between four states as follows: (1) during induction; (2) just after loss of consciousness (LOC); (3) just before return of consciousness (ROC); (4) just after ROC. Homogeneity of variance across all agents within states was found. Topographic statistical probability images were compared between states. At LOC, power increased in all frequency bands in the power spectrum with the exception of a decrease in gamma activity, and there was a marked anteriorization of power. Additionally, a significant change occurred in hemispheric relationships, with prefrontal and frontal regions of each hemisphere becoming more closely coupled, and anterior and posterior regions on each hemisphere, as well as homologous regions between the two hemispheres, uncoupling. All of these changes reversed upon ROC. Variable resolution electromagnetic tomography (VARETA) was performed to localize salient features of power anteriorization in three dimensions. A common set of neuroanatomical regions appeared to be the locus of the most probable generators of the observed EEG changes. (shrink)

The ethical dilemma of large-scale multinational corporations is presented. The list of complaints and issues is summarized. A case is made for the concept of multinationals being inherently beneficial in today's world of high technology and dependence on international trade. The difficulty is extreme power wielded by some groups. It is concluded that a philosophical ideal is for control on size and power as well as international rules to prevent abuses of power. The concern is that today the worthiness (...) of being relatively small is slowly but surely being eroded. (shrink)

Linguists have seen creating dictionaries of endangered languages as a key activity in language maintenance and revival work. However, like any approach to language engineering, there are concerns to address. The first is the tension between language documentation and language maintenance2. The second is the role of literacy. A lot of effort has been put into vernacular literacy, on the assumption that it assists language maintenance, as well as language documentation. In some respects this is a dubious assumption, because writing (...) a language does not necessarily lead to speaking it or maintaining the language. Moreover, in some cases putting effort into writing the language can detract from efforts to encourage learners to speak the language. It is certain that much more effort should be put into oral language development. (shrink)

This response reinforces several major themes in our target article: (a) the importance of sex-specific, within-sex variation in mating tactics; (b) the relevance of optimality thinking to understanding that variation; (c) the significance of special design for reconstructing evolutionary history; (d) the replicated findings that women's mating preferences vary across their menstrual cycle in ways revealing special design; and (e) the importance of applying market phenomena to understand the complex dynamics of mating. We also elaborate on three points: (1) Men (...) who have indicators of genetic fitness may provide more direct benefits when female demand for extra-pair and short-term sex is very low; (2) both men and women track ecological cues to make mating decisions; and (3) more research on female orgasm is needed. (shrink)

Originally published in 1988, this book provides a comprehensive anthology in English of the major texts of German literary and aesthetic theory between Lessing ...

CHAPTER ONE INTRODUCTION S 1.1: THE AIMS OF THIS BOOK ... God has not been so sparing to men to make them barely two- legged creatures, and left it to ...

Outline of the Argument REASON IS NOT passion's slave. In his famous statement to the contrary Hume supposed that reason labours only to satisfy our wants, ...

Softlifting (software piracy by individuals) is an unethical behavior that pervades today''s computer dependent society. Since a better understanding of underlying considerations of the behavior may provide a basis for remedy, a model of potential determinants of softlifting behavior is developed and tested. The analysis provides some support for the hypothesized model, specifically situational variables, such as delayed acquisition times, and personal gain variables, such as the challenge of copying, affect softlifting behavior. Most importantly, the analysis indicated that ethical perception (...) of softlifting has no significant affect on softlifting behavior. These findings suggest major implications for both software manufacturers and academicians attempting to reduce piracy behavior through ethics instruction. (shrink)

Introduction -- Caputo -- Metaphysics -- Ethics -- God and religion -- Conclusion: Divine hyperbolics, two visions, four errors.

Using experiences at Memorial University of Newfoundland as a basis, this essay suggests that leadership should be an expectation of professional academics in all the categories of their work, namely teaching, research and service. The desirability of developing the leadership of service in particular is advanced as an appropriate expectation for faculty members career progress. Developing a general leadership ethos is both philosophically appropriate and practically advantageous in collegial organisations.

Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its importance in view of (...) Hilbert's program is discussed, as well as applications of our results to functional analysis. (shrink)

Imagining a future world in which people no longer die provides a helplul tool for understanding our present ethical views. It becomes evident that the cardinal virtues of prudence, temperance, and courage are options for reasonable people rather than rational requirements. On the assumption that the medical means to immortality are not universally available, even justice becomes detached from theories that tie the supposed virtue to the protection of human rights. Several stratagems are available for defending a categorical right to (...) life under these circumstances, but none is compelling. Justice and human rights should therefore be understood as social conventions whose stability depends upon rejecting a tyranny of the immortals in favour of cultural traditions that connect rights and liberties with the means for their enjoyment.Imaginer un monde dans lequel plus personne ne mourrait peut s’avérer utile afin de comprendre l’éthique contemporaine. Il devient alors évident que les vertus cardinales que sont la réflexion, la tempérance et le courage concernent des gens raisonnables et ne sont pas des exigences de la raison. Si on suppose que les ressources médicales de l’immortalité ne sont pas disponibles pour tous, même la justice devient indépendante des théories qui relient cette hypothétique vertu à la protection des droits de l’homme. Plusieurs stratégies s’offrent à nous afin de défendre un droit catégorique de vivre selon ces conditions, mais aucune n’est imparable. La justice et les droits de l’homme devraient en ce cas être envisagés comme des conventions sociales dont la stabilité dépend du rejet de la tyrannie des immortels en faveur des traditions culturelles qui relient droits et libertés aux moyens d’en profiter. (shrink)

In Sri Lanka, termination of pregnancy, other than in extreme circumstances, is strictly illegal. Among the public and large sections of the medical community there is widespread support for some degree of liberalization of the law, particularly where this relates to serious genetic conditions which can be identified prenatally. Tension emerges out of a publicly maintained conservatism on issues of abortion on the one hand and a growing disconnection from unregulated practices of termination in the private sector on the other. (...) Social science approaches have much to contribute when understanding the ‘therapeutic gap’ that opens up and, in particular, the way that local ideas of fate, destiny and how suffering might be ameliorated become blended with the predictive power of genetic testing. (shrink)

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

Let X be a compact metric space. A closed set K $\subseteq$ X is located if the distance function d(x, K) exists as a continuous real-valued function on X; weakly located if the predicate d(x, K) $>$ r is Σ 0 1 allowing parameters. The purpose of this paper is to explore the concepts of located and weakly located subsets of a compact separable metric space in the context of subsystems of second order arithmetic such as RCA 0 , WKL (...) 0 and ACA 0 . We also give some applications of these concepts by discussing some versions of the Tietze extension theorem. In particular we prove an RCA 0 version of this result for weakly located closed sets. (shrink)

We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL 0 over RCA 0 . We show that the separation theorem for separably closed convex sets is equivalent to ACA 0 over RCA 0 . Our strategy for proving these geometrical Hahn-Banach theorems is to reduce to the finite-dimensional case (...) by means of a compactness argument. (shrink)

We initiate the reverse mathematics of general topology. We show that a certain metrization theorem is equivalent to Π2 1 comprehension. An MF space is defined to be a topological space of the form MF(P) with the topology generated by $\lbrace N_p \mid p \in P \rbrace$ . Here P is a poset, MF(P) is the set of maximal filters on P, and $N_p = \lbrace F \in MF(P) \mid p \in F \rbrace$ . If the poset P is countable, (...) the space MF(P) is said to be countably based. The class of countably based MF spaces can be defined and discussed within the subsystem ACA0 of second order arithmetic. One can prove within ACA0 that every complete separable metric space is homeomorphic to a countably based MF space which is regular. We show that the converse statement, "every countably based MF space which is regular is homeomorphic to a complete separable metric space," is equivalent to Π2 1-CA0. The equivalence is proved in the weaker system Π1 1-CA0. This is the first example of a theorem of core mathematics which is provable in second order arithmetic and implies Π2 1 comprehension. (shrink)

The authors present a balanced critique of the adaptation/exaptation debate and specify some of the hard evidentiary criteria that are needed to advance our understanding of human evolution. Investigators must build more “special design” criteria into their theorizing and research. By documenting that certain traits meet these rigorous criteria, the evolutionary sciences will ultimately rest on a firmer theoretical foundation.

A distinguished critic explores the term "situatedness" - the self's position in time and place in the world and its treatment seen in legal theory, social ...

Human mating and parenting are more complex than has been implied by many evolutionarily based theories of sex differences. While focusing on sex differences might shed some light on the evolution of mating and parenting, this level of analysis is rather imprecise. More important, it ignores several ecological variables that should have influenced mating/parenting decisions and behaviors in both sexes.

A Turing degree a is said to be almost everywhere dominating if, for almost all $X \in 2^{\omega}$ with respect to the "fair coin" probability measure on $2^{\omega}$ , and for all g: $\omega \rightarrow \omega$ Turing reducible to X, there exists f: $\omega \rightarrow \omega$ of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in (...) the reverse mathematics of measure theory. (shrink)

Status characteristics theory predicts the emergence and structure of power and prestige orders in task groups from members' status attributes. This paper argues that application of the burden of proof assumption, central to the theory, is inconsistent with a key concept, generalized expectation state. A reformulation is proposed that eliminates the inconsistency and gives competing predictions for a wide range of situations. The reformulation predicts that, when not directly relevant to task performance, specific characteristics (e.g., athletic or analytical ability) have (...) less impact than diffuse characteristics (race, gender, or education) on performance expectations. The original formulation predicts equal effects. Critical tests are proposed and the paper concludes with additional comparisons of the two formulations on the grounds of parsimony and implications for intervention in settings characterized by status-based inequalities. (shrink)

We combine prior research on ethical decision-making in organizations with a rational choice theory of corporate crime from criminology to develop a model of corporate offending that is tested with a sample of U.S. managers. Despite demands for increased sanctioning of corporate offenders, we find that the threat of legal action does not directly affect the likelihood of misconduct. Managers’ evaluations of the ethics of the act, measured using a multidimensional ethics scale, have a significant effect, as do outcome expectancies (...) that result from being associated with the misconduct but not facing formal sanctions. The threat of formalsanctions appears to operate indirectly, influencing ethical evaluations and outcome expectancies. Obedience to authority also affects illegal intentions, with managers reporting higher prospective offending when they are ordered to engage in misconduct by a supervisor. (shrink)