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)

When do people say that they are moved, and does this experience constitute a unique emotion? We review theory and empirical research on being moved across psychology and philosophy. We examine feeling labels, elicitors, valence, bodily sensations, and motivations. We find that the English lexeme being moved typically (but not always) refers to a distinct and potent emotion that results in social bonding; often includes tears, piloerection, chills, or a warm feeling in the chest; and is often described as pleasurable, (...) though sometimes as a mixed emotion. While we conclude that it is a distinct emotion, we also recommend studying it in a more comprehensive emotion framework, instead of using the ambiguous vernacular term being moved as a scientific term. (shrink)

Codes of ethics exist in many, if not the majority, of all large U.S. companies today. But how the impact of these written codes affect managerial attitudes and behavior is still not clearly documented or explained. This study takes a step in that direction by proposing that attention should shift from the codes themselves as the sources of ethical behavior to the persons whose behavior is the focus of these codes. In particular, this study investigates the role of code familiarity (...) as a factor impacting the influence of an ethics code on manager behavior. Data collected from 286 executives from companies in the direct selling industry are used to test hypotheses (1) that the perceived usefulness of ethics codes is positively related to the degree of familiarity with the code, and (2) that ethical climate as assessed by managers is positively related to the code''s perceived usefulness. Both hypotheses are supported, and their implications and further research directions are discussed. (shrink)

This article argues that Carol Gilligan's research in moral development psychology, work which claims that women speak about ethics in a "different voice" than men do, is applicable to business ethics. This essay claims that Gilligan's "ethic of care" provides a plausible explanation for the results of two studies that found men and women handling ethical dilemmas in business differently. This paper also speculates briefly about the management implications of Gilligan's ideas.

The major point of contention among the philosophers and mathematicians who have written about the independence results for the continuum hypothesis (CH) and related questions in set theory has been the question of whether these results give reason to doubt that the independent statements have definite truth values. This paper concerns the views of G. Kreisel, who gives arguments based on second order logic that the CH does have a truth value. The view defended here is that although Kreisel's conclusion (...) is correct, his arguments are unsatisfactory. Later sections of the paper advance a different argument that the independence results do not show lack of truth values. (shrink)

When making decisions, humans can observe many kinds of information about others' activities, but their effects on performance are not well understood. We investigated social learning strategies using a simple problem-solving task in which participants search a complex space, and each can view and imitate others' solutions. Results showed that participants combined multiple sources of information to guide learning, including payoffs of peers' solutions, popularity of solution elements among peers, similarity of peers' solutions to their own, and relative payoffs from (...) individual exploration. Furthermore, performance was positively associated with imitation rates at both the individual and group levels. When peers' payoffs were hidden, popularity and similarity biases reversed, participants searched more broadly and randomly, and both quality and equity of exploration suffered. We conclude that when peers' solutions can be effectively compared, imitation does not simply permit scrounging, but it can also facilitate propagation of good solutions for further cumulative exploration. (shrink)

The cross-fruition between analytical philosophy and continental philosophical traditions has stimulated a wide-ranging debate about the role of philosophy and the use of argument and reason in culture. Through a discussion of salient themes in the analytical tradition, in the work of the later Wittgenstein, and in critical theory,Transformative Philosophy articulates a novel conception of philosophy as a transformative care for self and others.

Examines the notion of passivity in the work of Levinas, Blanchot, and Agamben.

Ranging from his early treatises, the ’Monologion’ (a work written to show his monks how to meditate on the divine essence) and the ’Proslogion’ (best known for its advancement of the so-called ontological argument for the existence of God), to his three philosophical dialogues on metaphysical topics such as the relationship between freedom and sin, and late treatises on the Incarnation and salvation, this collection of Anselm’s essential writings will be of interest to students of the history of philosophy and (...) theology as well as to anyone interested in examining what Anselm calls "the reason of faith." (publisher). (shrink)

The technical results presented here on continuity and approximate implication are obviously incomplete. In particular, a syntactic characterization of approximate implication is highly desirable. Nevertheless, I believe the results above do show that the theory has considerable promise for application to the areas mentioned at the top of the paper.Formulation and defense of realist interpretations of science, for example, require approximate truth because we hardly ever have evidence that a particular scientific theory corresponds perfectly with a portion of the real (...) world. Realists need to assert, then, that evidence for a theory is evidence for its approximate truth, not its truth (see [3] and [18]). Approximate truth is, however, a vague notion, and specification of quantity terms and of a sense of approximation are needed to make precise applications of it. Suitability of both vocabulary and sense of approximation depend on the subject matter, and their selection is a partly empirical matter that raises complex issues. In light of the number of common inferences which are not continuous, realists also need to be concerned about indiscriminate use of deductive logic to derive consequences from approximately true theories. These issues will be considered further in a future paper.Approximate truth also has potential application in areas of artificial intelligence that require inference from inaccurate data. In the ‘qualitative’ physical theories of de Kleer and Brown [6], for example, ‘qualitative’ values are derived by partitioning the real numbers into regions. Inferences leading from inside to outside a region must be identified and avoided, and approximate implication and continuity may prove useful in doing this. More generally, growing use of predicate logic as a programming language invites application of the theory of approximate truth as a symbolic substitute for numerical evaluation of computation errors. This too will be the subject of a future paper. (shrink)

Scotus is notorious for occasionally making statements that, on their face at least, smack of voluntarism, but there has been a lively debate about whether Scotus is really a voluntarist after all. Now the debate is not over whether Scotus lays great emphasis on the role of the divine will with respect to the moral law. No one could sensibly deny that he does, and if such an emphasis constitutes voluntarism, then no one could sensibly deny that Scotus is a (...) voluntarist. As I am using the word, however, voluntarism is the view that (i) the goodness of almost all things, as well as the rightness of almost all acts, depends wholly on the divine will and (ii) what God wills with respect to those things and those acts is not in turn to be explained by reference to the divine intellect, human nature, or anything else. This is the view that Scotus’s critics decry and his defenders disclaim. Thus, his critics have seized on these passages and accused Scotus of believing that the moral law depends simply on “the arbitrary will of God.” His most sympathetic interpreters, however, have devoted great ingenuity to showing that Scotus did not mean anything unpalatable by these statements.1 What the critics and defenders apparently have in common is the view that voluntarism is an implausible and even discreditable doctrine. Interpreters who read Scotus as a voluntarist intend thereby to damn his moral views; interpreters sympathetic to his moral views feel compelled to mitigate his voluntarism. I wish to argue for a different approach. I agree with his defenders that Scotus’s moral philosophy ought to be taken seriously. But I think the best way to take any philosopher’s view seriously is to let him speak for himself, not to decide in advance that he must not have held a view that we find implausible. Let me suggest an analogy that will make my position clearer. Very nearly everyone finds immaterialism implausible. (shrink)

Notwithstanding considerable disagreement over certain details, writers on Plato’s theory of recollection are broadly in agreement regarding some of the main features. Setting aside for the moment those who doubt that Plato ever held any considered doctrine so well‐developed as to constitute a theory of recollection at all, we can find a substantial scholarly consensus in favor of the following account: In the Phaedo Plato argues that all human beings recollect the Forms. Such recollection is meant to account for the (...) formation of (at least certain) abstract concepts under which we classify particulars. Since all human beings engage in such conceptual thought to some degree, all human beings recollect; people could not even hold pre‐philosophical true opinions concerning such things as the good and the equal if they had not at least dimly recollected the Good or the Equal. Recollection is therefore not the exclusive prerogative of philosophers, although philosophers are the only ones who proceed beyond the initial shadowy recollection of the Forms and fully recover their knowledge.1 I have specified that this is the consensus about the Phaedo, since most scholars find a different doctrine in the Meno. Ackrill, Gallop, Gulley, and Bluck, for example, hold that the Meno is concerned with the knowledge of propositions and the Phaedo with the formation of concepts.2 Bostock finds that the Meno does not, but the Phaedo does, implicate recollection in.. (shrink)

As everyone who discusses Scotus's moral theory points out, Scotus recognized two fundamental inclinations in the will: the affectio commodi and the affectio iustitiae. Everyone agrees that these two affectiones play an important role in his moral theory, and there is virtual unanimity about what that role is. I contend that the standard view is misguided, and that it obscures the true character of Scotus's very un-medieval moral theory. I shall begin by laying out the context in which Scotus develops (...) his theory of the two affectiones. The standard interpretation, I shall then argue, fails to appreciate that context; moreover, it can actually be shown to be contrary to Scotus's explicit statements. I shall then argue for my own interpretation of the two affectiones, which assigns to morality a role altogether independent of human flourishing. (shrink)

Background Community advisory boards have expanded beyond high-income countries and play an increasing role in low- and middle-income country research. Much research has examined CABs in HICs, but less is known about CABs in LMICs. The purposes of this scoping review are to examine the creation and implementation of CABs in LMICs, including identifying frequently reported challenges, and to discuss implications for research ethics. Methods We searched five databases for publications describing or evaluating CABs in LMICs. Two researchers independently reviewed (...) articles for inclusion. Data related to the following aspects of CABs were extracted from included publications: time, country, financial support, research focus, responsibilities, and challenges. Thematic analyses were used to summarize textual data describing challenges. Results Our search yielded 2005 citations, 83 of which were deemed eligible for inclusion. Most studies were published between 2010 and 2017. Upper-middle-income countries were more likely to have studies describing CABs, with South Africa, China, and Thailand having the greatest numbers. The United States National Institutes of Health was the main source of financial support for CABs. Many CABs focused on HIV research. Thirty-four studies reported how CABs influenced the informed consent process for clinical trials or other aspects of research ethics. CAB responsibilities were related to clinical trials, including reviewing study protocols, educating local communities about research activities, and promoting the ethical conduct of research. Challenges faced by CABs included the following: incomplete ethical regulations and guidance; limited knowledge of science among members of communities and CABs; unstable and unbalanced power relationships between researchers and local communities; poor CAB management, including lack of formal participation structures and absence of CAB leadership; competing demands for time that limited participation in CAB activities; and language barriers between research staff and community members. Several challenges reflected shortcomings within the research team. Conclusions Our findings examine the formation and implementation of CABs in LMICs and identify several ethical challenges. These findings suggest the need for further ethics training among CAB members and researchers in LMICs. (shrink)

The International Society of Krishna Consciousness, commonly known as the Hare Krishna Movement, has disseminated a flurry of antievolutionist media since its inception in 1966. Such communications frequently co-opt arguments employed by Christian creationists and Intelligent Design theorists. At the same time, however, there are indications that a scattering of ISKCON publications have articulated relatively ambiguous, less oppositional statements about evolutionary theory. This article reconsiders ISKCON's Darwin-skepticism by appraising recent, largely unexamined Hare Krishna publications, as well as responses to evolutionary (...) theory expressed by ISKCON's founder, A. C. Bhaktivedanta, and his immediate Vaishnava forerunners. The analysis reveals that, although the majority of contemporary ISKCON materials are vehemently opposed to evolution, some leading voices demonstrate less combative, cautiously accommodating stances. These cases are suggestive of complexities in ISKCON's responses to evolution, both past and present, which are not necessarily encapsulated in the terms Vedic creationism or antievolutionism. (shrink)

In this paper we offer a reconstruction of Anselm’s account of freedom that resolves various apparent inconsistencies. The linchpin of this account is the definition of freedom. Anselm argues that the power to preserve rectitude for its own sake requires the power to initiate an action of which the agent is the ultimate cause, but it does not always require that alternative possibilities be available to the agent. So while freedom is incompatible with coercion and external causal determination, an agent (...) can, under certain circumstances, act freely even though he cannot act otherwise than he does. (shrink)

It seems generally agreed that a theory of sensory episodes that mentions sensory objects and a sensing relation — the ‘act-object’ theory — is unacceptable and should be replaced by some other account. A chief competitor is the Adverbial Theory, and one of its chief advocates is Wilfrid Sellars. While it is clear that there are serious difficulties for the act-object theory not facing the adverbial theory, I will argue that the latter has difficulties of its own.

It is a widespread view that Marx did not apply dialectics to nature, and that Engels’s writings on this subject are a distortion of his outlook. This paper examines Marx’s discussion of elliptical motion and some other physical phenomena, and shows that he did indeed find contradictions and oppositions in nature, and thus recognised a dialectics of nature. In addition to analysing relevant passages in Marx’s texts, his study of the physics and mathematics of elliptical motion is reviewed and compared (...) with Hegel’s position. Marx’s conception of how dialectical contradictions are resolved is reviewed in order to interpret his claim that the contradiction in elliptical motion is ‘solved’ but not ‘overcome’ by that motion. Textual evidence is presented that Marx regarded ‘real contradictions’ as resolved only by ‘development’, a process in which the conflict between the opposing sides of the contradiction becomes more intense. The consequences of this interpretation for Marx’s analysis of elliptical motion are explored, and some alternative interpretations are discussed. (shrink)

In the European Enlightenments it was often argued that moral conduct rather than adherence to certain theological doctrines was the true measure of religious belief. Thomas Ahnert argues that this characteristically “enlightened” emphasis on conduct in religion was less reliant on arguments from reason alone than is commonly believed. In fact, the champions of the Scottish Enlightenment were deeply skeptical of the power of unassisted natural reason in achieving “enlightened” virtue and piety. They advocated a practical program of “moral (...) culture,” in which revealed religion was of central importance. Ahnert traces this to theological controversies going back as far as the Reformation concerning the key question of early modern theology, the conditions of salvation. His findings present a new point of departure for all scholars interested in the intersection of religion and Enlightenment. (shrink)

Nineteenth-century spiritism was a blend of religious elements, the philosophy of mind, science and popular science and contacts with extraterrestrials were a commonplace phenomenon during spiritistic séances. Using the example of Carl du Prel I show how his comprehensive mystic philosophy originated in a theory of extraterrestrial life. Carl du Prel used a Darwinian and monistic framework, theories of the unconscious and a Neo-Kantian epistemology to formulate a philosophy of astronomy and extraterrestrial life. He claimed that the mechanism of Darwinian (...) selection is responsible for the distribution of stars and the orbits of the planets. In his speculations on the nature of extraterrestrial life he used the concept of organ projection to argue that technical solutions on earth will be realized organically on other planets and claimed that superior extraterrestrials have quantitatively and qualitatively different senses and thus different forms of intuition. A comparison with Camille Flammarion, spiritist and populariser of astronomy, demonstrates the contextual complexities of spiritism. In contrast to du Prel’s sober Neo-Kantian philosophical speculations, Flammarion was a late proponent of a French esoteric tradition that was rooted in romantic socialism, painted grand cosmological vistas and emphasized reincarnation. I put forward the hypothesis that current discourses on extraterrestrial life are affected by the spiritist tradition mainly through the ‘Golden Age’ science fiction literature of the 1940s and 50s and its successors. However, neither Carl du Prel nor Camille Flammarion contributed significantly to this tradition, which is mainly shaped by the psychical research of J. B. Rhine.Keywords: Spiritism; Carl du Prel; Camille Flammarion; Organ projection; Science fiction. (shrink)

John Duns Scotus (1265/66-1308) was one of the most important and influential philosophertheologians of the High Middle Ages. His brilliantly complex and nuanced thought, which earned him the nickname "the Subtle Doctor," left a mark on discussions of such disparate topics as the semantics of religious language, the problem of universals, divine illumination, and the nature of human freedom. This essay first lays out what is known about Scotus's life and the dating of his works. It then offers an overview (...) of some of his key positions in four main areas of philosophy: natural theology, metaphysics, the theory of knowledge, and ethics and moral psychology. (shrink)

Although the view dies hard that the poetry which Ovid wrote during his years in exile at Tomi consists largely of the ‘querulous and sycophantic’ complaints of a weak man unable to come to terms with a personal disaster, it has been recognized for many years that the Tristia and the Epistolae ex Ponto are not mere expressions of emotion but are as well thought out and constructed as any other of the doctus poeta's products. Of these poems, Tristia 2 (...) must be placed in a category by itself-if only because of its length and because it purports to be a plea by Ovid to Augustus, the man responsible for his exile, on the very practical matter of mitigating the sentence. (shrink)

Many segments of society have systems of values arising from collective beliefs and motivations. For agriculture, and our food system, increasing production to feed the growing human population clearly is a core value. However, a survey we conducted, together with a previously reported survey, showed that the curricula of most U.S. colleges of agriculture do not offer ethics courses that examine the basis of this core value or include discussion of agriculture’s ethical dilemmas such as misuse of pesticides, not progressing (...) rapidly enough toward sustainability goals, relative lack of involvement in addressing diet-related health issues, and lack of commitment to reducing agriculture’s role as a contributor to global climate change. These surveys provide strong evidence that few students have an opportunity to learn ethical concepts and apply them to issues of importance to the agriculture/food system. We suggest that such issues are both growing societal concerns and serious ethical problems that demand attention if our agricultural/food system is not see its relationship with the public further imperiled. Further, we suggest that there is a need for, indeed an obligation of, the faculty of colleges of agriculture to embrace a thorough analysis and discussion of agriculture’s values and their ethical foundation. We offer our thoughts on why curricula of colleges of agriculture do not provide such opportunities and on the importance of agricultural faculties providing leadership in ethical analysis and discussion. (shrink)

Saint Anselm of Canterbury (1033-1109) was the outstanding Christian philosopher and theologian of the eleventh century. He is best known for the celebrated “ontological argument” for the existence of God in chapter two of the Proslogion, but his contributions to philosophical theology (and indeed to philosophy more generally) go well beyond the ontological argument. In what follows I examine Anselm's theistic proofs, his conception of the divine nature, and his account of human freedom, sin, and redemption.

An overview of the life and philosophical works of John Duns Scotus.

In recent years many historians have rightly emphasised aggressive imperialism as a key element in Roman political life in the Middle and Late Republic. This has led to reconsideration of the significance of the ‘just war’ theory associated with the college of fetiales. ‘On the basis of this fetial law of the Roman people, it can be understood that no war is justified unless it is waged after compensation has been demanded , or the war has been announced in advance (...) and formally proclaimed.’ Earlier this century, scholars were happy to accept that this ‘fetial law’ implied that the Romans never initiated wars of aggression but fought only if they felt they were the aggrieved party. Scullard believed that ‘…in fact Roman religious law did not countenance wars of aggression designed to gain new territory’ ; for Tenney Frank, ‘ the Roman mos maiorum did not recognise the right of aggression or a desire for more territory as just causes for war. That the institution was observed in good faith for centuries there can be no doubt.’ Recent scholars have been more sceptical. Harris sees the activities of the fetiales primarily as a psychological mechanism for assuaging the guilt feelings which even Romans will have been unable to escape when initiating totally unjustified wars of aggression: ‘the significance of the fetial procedure for declaring war was solely psychological’. Other writers have gone further in stressing its mystificatory and propaganda function. Our scepticism about the efficacy of ‘fetial law’ in restraining the Romans' belligerence should be accompanied by a re-evaluation of our evidence regarding the fetiales and what they actually did. Such a re-evaluation will not affect our picture of the Romans of the Middle and Late Republic as aggressive and militaristic, but we may have to revise our views on how the fetiales fit into that picture. This paper makes no claim to analyse exhaustively every piece of evidence which might throw some light on the fetiales, let alone every interpretation to be found in the secondary literature; but it may be worthwhile to reconsider the main types of operations which the fetiales are said by our ancient sources to have been involved in. (shrink)

The history of the Euclidean Steiner tree problem, which is the problem of constructing a shortest possible network interconnecting a set of given points in the Euclidean plane, goes back to Gergonne in the early nineteenth century. We present a detailed account of the mathematical contributions of some of the earliest papers on the Euclidean Steiner tree problem. Furthermore, we link these initial contributions with results from the recent literature on the problem.