How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.

There has been renewed interest over the last twenty years in Ryle's claims and arguments about knowledge-how. Elzinga (2018) and Löwenstein (2017) have both recently defended independent Ryle-inspired accounts of knowledge-how. In what follows, I will propose and defend an amendment to accounts of knowledge-how like those of Elzinga and Löwenstein. I argue that this amendment provides an additional needed distinction between the performance robustness provided by certain performance methods (or styles), and the robustness of an agent's ability to perform (...) according to such methods (or styles). Additionally, the proposed amendment, if adopted, will make the amended views even more Rylean. I argue for this, in part, through original exegetical work on an under-discussed theme in Ryle's philosophy of mind: the relation between semi-hypothetical statements, methodological act-description, and knowledge-how. (shrink)

John Paul II frames the issue of disenchantment and re-enchantment in terms of “alienation” and “participation”--various works of human power recoil upon the person and inhibit full human development and participation. The neglect and distortion of human rights is one such form of alienation indicating the deeper issue concerning human flourishing. John Paul encourages a radical questioning about human progress so as to better understand the threats that accompany bureaucratic increase in power. Aspects of cultural and human development (...) offer a challenge to mankind to overcome alienation and to participate in community and social love. Through an appeal to the Spirit, and the search for truth, goodness, and beauty, John Paul seeks to open up a lived path to God by way of the person’s transcendence. (shrink)

This essay considers the implications for the powers metaphysic of the no-successor problem: As there are no successors in the set of real numbers, one state cannot occur just after another in continuous time without there being a gap between the two. I show how the no-successor problem sets challenges for various accounts of the manifestation of powers. For powers that give rise to a manifestation that is a new state, the challenge of no-successors is similar to that faced on (...) Bertrand Russell's analysis by causal relations. Powers whose manifestation is a processes and powers that manifest through time are challenged differently. To avoid powers appearing enigmatic, these challenges should be addressed, and I point to some possible ways this might be achieved. A prerequisite for addressing these challenges is a careful focus on the nature and timing of the manifesting and manifestation of powers. (shrink)

From its beginnings, Confucianism has vibrantly taught that each person is able to find the Way individually in service to the community and the world. For over 2,600 years, Confucianism has sustained a continual process of transformation and growth. In this comprehensive new work, John Berthrong examines the vitality and expansion of the Confucian tradition throughout East Asia and into the entire modern world.Confucianism has been credited with being the dominant social and intellectual force shaping the enduring civilizations of (...) East Asia. If we are to grasp the history of East Asia, we must understand the role that Confucianism has played in the social and cultural formation of the entire region. Just as civilizations are ever-changing, there has been nothing timeless or static about Confucianism.Berthrong’s study is unique in its discussion of each of the historical and regional phases of the development of the Confucian Tao. All too often, Confucian studies have focused exclusively on the classical early period and the great thinkers of the later neo-Confucian revival in the Sung Ming dynasties. Berthrong’s work opens the reader’s eyes to the often neglected gifts of scholars of the Han, T’ang, and the modern periods, as well as to the vast contributions of Korea and Japan. The author concludes this revelatory study with an examination of the contemporary renewal of the Confucian Way in East Asia and its recent spread to the West. (shrink)

Introduction to Medieval Philosophy combines and updates the scholarship of the two highly successful volumes Early Medieval Philosophy (1983) and Late Medieval Philosoph y (1986) in a single, reliable, and comprehensive text on the history of medieval philosophy. John Marenbon discusses the main philosophers and ideas within the social and intellectual contexts of the time, and the most important concepts in medieval philosophy. Straightforward in arrangement, wide in scope, and clear in style, this is the ideal starting point for (...) students beginning the subject. (shrink)

This article examines the historical conception of the words self and person in philosophical theory. It discusses John Locke's definition of the self as the conscious thinking thing and the person as a thinking intelligent being. It describes the Platonist view of the self as spiritual substance and Aristotelian belief that the self is a hylomorphic substance. It also explores the relevant topics of Epicureanism atomism, Cartesian dualism, and the developmental and social origin of self-concepts.

In Faculty Misconduct in Collegiate Teaching, higher education researchers John Braxton and Alan Bayer address issues of impropriety and misconduct in the teaching role at the postsecondary level. Braxton and Bayer define and examine norms of teaching behavior: what they are, how they come to exist, and how transgressions are detected and addressed. Do faculty members across various collegiate settings, for example, share views about appropriate and inappropriate teaching behaviors, as they share expectations regarding actions related to research? And (...) what mechanisms are utilized to correct inappropriate behavior on the part of college and university teachers? The authors' work is based on survey results obtained from faculty members at research universities, liberal arts colleges, and two-year community, junior, and technical colleges. Braxton and Bayer's focus is on undergraduate teaching in four disciplines: biology, history, mathematics, and psychology. In their analyses, the authors examine how individual, disciplinary, and institutional differences influence professorial behavior. In contrast to the more explicitly understood and enforced rules of conduct in research, the authors find that teaching norms are informally defined and observed. They argue that a formal code of ethics for undergraduate teaching would serve the dual purpose of improving undergraduate education and elevating the status of college teaching. A groundbreaking study of contemporary academe, Faculty Misconduct in Collegiate Teaching is required reading for all university and college instructors and administrators. (shrink)

Abstract:Self-ownership has fallen out of favor as a core moral and political concept. I argue that this is because the most popular conception of self-ownership, what I call the property conception, is typically linked to a libertarian (of the left or right) political program. Seeing self-ownership and libertarianism as being necessarily linked leads those who are not inclined toward libertarianism to reject the idea of self-ownership altogether. This, I argue, is a mistake. Self-ownership is a crucial moral and political concept (...) that can earn its keep if we understand it not as type of property right in the self, but rather as a set of territorial rights one has over one’s body. This territorial conception of self-ownership, which I call the sovereignty conception of self-ownership, avoids the traditional arguments raised against the property conception of self-ownership and has other benefits besides. Accepting this conception of self-ownership, I argue, has considerable moral and political benefits without taking on the costs associated with other forms of self-ownership. (shrink)

Les théoriciens sémantistes de la fiction cherchent typiquement à expliquer nos relations sémantiques au fictionnel dans le contexte plus général des théories de la référence, privilégiant une explication de la sémantique sur le psychologique. Dans cet article, nous défendons une dépendance inverse. Par l’éclaircissement de nos relations psychologiques au fictionnel, nous trouverons un guide pour savoir comment développer une sémantique de la fiction. S’ensuivra une esquisse de la sémantique.

In J. Zlatev, T. Racine, C. Sinha and E. Itkonen (Eds.) The Shared Mind: Perspectives on Intersubjectivity, Amsterdam/Philadelphia: John Benjamins, in press.

Here is an appealing position: one reason to pursue interaction with people from backgrounds that differ from our own is that doing so can improve our moral judgment. As some scholars have noticed, this position seems pedigreed by support from the famed philosophers of human sociability, David Hume and Adam Smith. But regardless of whether Hume or Smith personally held anything like the appealing position, neither might have had theoretically grounded reason to do so. In fact, both philosophers explain moral (...) judgment in ways that seem to present obstacles to the acceptance of the appealing position. This paper entertains the possibility that either of their moral theories contains resources to overcome these obstacles and implies the appealing position. I argue that Smith's theory does so more straightforwardly than Hume's does. This difference, I also argue, reveals something important about the Hume-Smith philosophical relationship. I close by sketching a way to fit the source of the appealing position in Smith's moral psychology with his focus on the desire for mutual sympathy. (shrink)

African Philosophical Adventures calls for a recognition and affirmation of African philosophy as an adventure. This understanding fosters and cultivates inquisitive open-mindedness and is animated by wonder.

Rebirth and Causation in the Yogacara Adhidharma. Robert Kritzer. Arbeitskreis für Tibetische und Buddhistische Studien Universität Wien, Vienna 1999. ix, 327 pp. ATS 410.

This chapter contains sections titled: Theology and Science Arguments from Nature Arguments from Design Arguments from Religious Experience Arguments from Morality Explanations for Reason The Ontological Argument for God The Argument from Pseudo‐science.

This chapter contains sections titled: Believing in God without Knowledge of God Believing in God without Concepts of God Belief, Faith, and Pseudo‐faith The Argument from Pseudo‐faith.

Humanist education, within families and at school, is best understood in its historical context. It involves a shedding, over time, of religion‐dependent features belonging to a more devout age. This chapter focuses on British history, although many of the points apply more widely, especially to other countries with a Protestant background, like the USA. Liberal humanist approaches to children's education in the home are best understood in terms of the rejection, over time, of the religious setting within which it formerly (...) took place. A modern knowledge‐based education suited the requirements of seventeenth‐century Protestant merchants and rulers better than an impractical scholasticism. If education in the arts has been held back, historically, by religious views on the division between soul and body, the same is truer for sex education. The individualism built into the traditional model of headship is echoed in the ways children have been traditionally expected to learn. (shrink)

While sport has been practised since pre-historic times, it is a relatively new subject of systematic philosophical enquiry. Indeed, the philosophy of sport as an academic sub-field dates back only to the 1970s. Yet, in this short time, it has grown into a vibrant area of philosophical research that promises both to deepen our understanding of sport and to inform sports practice. Recent controversies at the elite and professional level have highlighted the ethical dimensions of sport in particular. Lance Armstrong’s (...) use of performance-enhancing drugs raised new issues in the ethics of cheating, middle-distance runner Caster Semenya has challenged prevailing rules around sex classification in sport, and Oscar Pistorius’s prosthesis has problematized the distinction between able-bodied and disabled sport. While philosophical analysis may help to achieve a deeper understanding of sport, such analysis may also illuminate problems of philosophy beyond sport, ranging from the nature of skill to the ethics of altruism. -/- This entry proceeds in three sections. Section 1 introduces the philosophy of sport with particular emphasis on the history of systematic philosophical thinking about sport. Section 2 examines the nature and value of sport, and it considers the main normative theories of sport developed in the literature. Section 3 addresses a cluster of topics that are central to the philosophy of sport, including: sportsmanship; cheating; performance enhancement; violent and dangerous sport; sex, gender, and race; fans and spectators; disability sport; and the aesthetics of sport. (shrink)

Claims have been made that the current COVID-19 pandemic is a message from nature to stop exploiting the earth to the extent that we have been. While there is no direct evidence that this pandemic is a result of human actions with respect to the earth, ample evidence exists that deforestation and other environmental changes, together with climate change, do make it more likely that viruses will cross from wildlife to humans. We humans are mammals and our welfare depends on (...) the health of the earth. We are not so different from other living creatures in this regard. It is in our interests to look after the earth, something that Indigenous Australians knew well. Mother Earth must be cared for if she is to care for us. Nature perhaps is sending us a message in the same sense that my car does if I do not maintain it. It stops functioning properly. We have to modify nature to satisfy our needs but we must be careful how we modify it. (shrink)

There is a familiar argument for the falsity of determinism, an argument that proceeds from the claim that agents are morally responsible. A number of authors have challenged the soundness of this argument. I pose a different challenge, one that grants its soundness. The challenge is that, given certain plausible assumptions, one cannot know the conclusion of this argument on the basis of knowing its premises. That is, one cannot know that determinism is false on the basis of this argument (...) even if agents are in fact morally responsible and moral responsibility is in fact incompatible with determinism. A slightly different version of the challenge tells also against the claim that one can be justified in believing that determinism is false on the basis of the argument, so that the challenge cannot be evaded by a retreat to an epistemic position weaker than knowledge. I compare my challenge to the challenge posed by the external world sceptic, and argue that there are asymmetries between these challenges that make it reasonable to accept the former and reject the latter. I close by considering the prospects for developing an epistemology of moral responsibility that is adequate to answer the challenge. (shrink)

This study of Plato's Phaedo promotes better understanding of its arguments for the soul's immortality by showing how Plato intended them, not as proofs, but as properly dialectical arguments functioning in accordance with the method of hypothesis. Unlike the argument for the soul's immortality in the Phaedrus, which does seem intended as a proof, the Phaedo arguments are proceeding toward the first principles that could serve as the basis for a proof - the most important being an account of the (...) soul's own essential nature. This study attends to the substantial progress the Phaedo makes toward such an account. It also considers Socrates' epistemic situation in the dialogue and the problem of whether his confidence in the face of death is misplaced if his arguments have not been proofs before considering how the concluding myth draws together several of the dialogue's main themes. (shrink)