Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial (...) functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system. (shrink)

The k-provability for an axiomatic system A is to determine, given an integer k 1 and a formula in the language of A, whether or not there is a proof of in A containing at most k lines. In this paper we develop a unification-theoretic method for investigating the k-provability problem for Parikh systems, which are first-order axiomatic systems that contain a finite number of axiom schemata and a finite number of rules of inference. We show that the k-provability problem (...) for a Parikh system reduces to a unification problem that is essentially the unification problem for second-order terms. By solving various subproblems of this unification problem , we solve the k- probability problem for a variety of Parikh systems, including several formulations of Peano arithmetic. Our method for investigating the k-provability problem employs algorithms that compute and characterize unifiers. We give some examples of how these algorithms can be used to solve complexity problems other than the k-provability problem. (shrink)

This paper presents an algorithm that, given a finite set E of pairs of second-order monadic terms, returns a finite set U of ‘substitution schemata’ such that a substitution unifies E iff it is an instance of some member of U . Moreover, E is unifiable precisely if U is not empty. The algorithm terminates on all inputs, unlike the unification algorithms for second-order monadic terms developed by G. Huet and G. Winterstein. The substitution schemata in U use expressions which (...) represent sets of terms that differ only in how many times designated strings of function constants follow themselves. The substitution schemata may contain unresolved ‘identity restrictions’; consequently, the members of U generally do not characterize all the unifiers of E in a completely explicit way. The algorithm is particularly useful for investigating the complexity of formal proofs. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...) can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)

Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of an interpretation (...) of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of, an Interactive Mathematical Proof System developed at The MITRE Corporation. (shrink)

Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for reasoning about partial functions. For instance, there is no direct way of handling the application of a function to an argument outside its domain as in partial logic. There is also no utilization of lambda-notation and sorts or types as in type theory. This paper introduces a version of von-Neumann-Bernays-Gödel set theory for reasoning about sets, proper (...) classes, and partial functions represented as classes of ordered pairs. The underlying logic of the system is a partial first-order logic, so class-valued terms may be nondenoting. Functions can be specified using lambda-notation, and reasoning about the application of functions to arguments is facilitated using sorts similar to those employed in the logic of the IMPS Interactive Mathematical Proof System. The set theory is intended to serve as a foundation for mechanized mathematics systems. (shrink)

Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of an interpretation (...) of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of , an Interactive Mathematical Proof System developed at The MITRE Corporation. (shrink)

At the beginning of 2020, COVID-19 became a global problem. Despite all the efforts to emphasize the relevance of preventive measures, not everyone adhered to them. Thus, learning more about the characteristics determining attitudinal and behavioral responses to the pandemic is crucial to improving future interventions. In this study, we applied machine learning on the multi-national data collected by the International Collaboration on the Social and Moral Psychology of COVID-19 (N = 51,404) to test the predictive efficacy of constructs from (...) social, moral, cognitive, and personality psychology, as well as socio-demographic factors, in the attitudinal and behavioral responses to the pandemic. The results point to several valuable insights. Internalized moral identity provided the most consistent predictive contribution—individuals perceiving moral traits as central to their self-concept reported higher adherence to preventive measures. Similar was found for morality as cooperation, symbolized moral identity, self-control, open-mindedness, collective narcissism, while the inverse relationship was evident for the endorsement of conspiracy theories. However, we also found a non-negligible variability in the explained variance and predictive contributions with respect to macro-level factors such as the pandemic stage or cultural region. Overall, the results underscore the importance of morality-related and contextual factors in understanding adherence to public health recommendations during the pandemic. (shrink)

Genetically modified cassava is currently being developed to address problems of diseases that threaten the food security of farmers in developing countries. The technologies are aimed at smallholder farmers, in hopes of reducing the vulnerability of cassava production to these diseases. In this paper we examine barriers to farmers’ voice in the development of GM cassava. We also examine the role of a translational research process to enhance farmers’ voice, to understand the sources of vulnerability farmers in a group in (...) Kenya’s Coast face, and to determine if their concerns are consistent with those of the scientists in agriculture addressing farmers’ needs. A two-way communication participatory process provided insights into the complex vulnerability context of farmers, their primary concerns with processing and markets of cassava in order to improve livelihoods, the lack of networks with two way communication flows, and the lack of information on GM technologies. The translational research engaged farmers and scientists in an iterative process where scientists are learning what farmers need, and farmers are learning about the potential benefits and risks from GM technologies, while at the same time expressing their concerns. (shrink)

Critics of modern agriculture decry the dominance of monocultural landscapes and look to multifunctionality as a desirable alternative that facilitates the production of public goods. In this study, we explored opportunities for multifunctional Midwestern agriculture through participatory research led by farmers, landowners, and other local actors. We suggest that agriculture typically fosters some degree of multifunctionality that arises from the divergent intentions of actors. The result is a scattered arrangement of what we term patchwork multifunctionality, a ubiquitous status quo in (...) which individuals provide public goods without coordination. In contrast, interwoven multifunctionality describes deliberate collaboration to provide public goods, especially those cases where landowners work across fence lines to weave a synergistic landscape. Using examples from two case studies, we demonstrate the spectrum of patchwork and interwoven multifunctionality that currently exists in the Corn Belt, and present underutilized opportunities for public good creation. (shrink)

In response to the chronic overuse and misuse of pesticides in agriculture, governments in Southeast Asia have sought to improve food safety by introducing public standards of good agricultural practices (GAP). Using quantitative farm-level data from an intensive horticultural production system in northern Thailand, we test if fruit and vegetable producers who follow the public GAP standard use fewer and less hazardous pesticides than producers who do not adhere to the standard. The results show that this is not the case. (...) By drawing on qualitative data from expert interviews and an action research project with local litchi (“lychee”) producers we explain the underlying reasons for the absence of significant differences. The qualitative evidence points at poor implementation of farm auditing related to a program expansion that was too rapid, at a lack of understanding among farmers about the logic of the control points in the standard, and at a lack of alternatives given to farmers to manage their pest problems. We argue that by focusing on the testing of farm produce for pesticide residues, the public GAP program is paying too much attention to the consequences rather than the root cause of the pesticide problem; it needs to balance this by making a greater effort to change on-farm practices. (shrink)

Medieval interpretations of hylomorphism, in which substances are conceived as metaphysical composites of prime matter and substantial form, are receiving attention in contemporary philosophy. It has even been suggested that a recovery of Aquinas's conception of prime matter as a ‘pure potentiality’, lacking any actuality apart from substantial form, may be expedient in hylomorphic interpretations of quantum mechanics. In this paper, we consider a recent hylomorphic interpretation of non-relativistic quantum mechanics, the theory of Cosmic Hylomorphism, which does not explicitly invoke (...) any notion of prime matter in its original formulation. We argue that prime matter does in fact play a role in constituting and individuating particles in this theory. However, we demonstrate that the notion of prime matter which features in the extended version of Cosmic Hylomorphism that we propose here is distinct from Aquinas's conception of prime matter, inasmuch as it has discrete metaphysical parts. (shrink)

Goodman draws together, in this memoir, his explorations of meaning and coincidence, and his lived experiences of chance, and his professional experiences teaching, writing, and consulting about risk. The book opens by describing the author's life-changing encounter with a Zen Buddhist monk in 1977, over a cup of tea. Returning to his beginnings, Goodman recounts his coming-of-age, from participating the 1960’s U.S. protests and Vietnam-War resistance, to finally settling down in Canada. He describes his role in a supporting, silent vigil (...) around Willard Straight Hall at Cornell University, the night after it had been occupied by protestors, and his later application for Conscientious Objector status, following the U.S. draft lottery in 1969. He reflects on the challenges and changes on his road taken, in his career and personal relationships, and in spiritual searches, to share some insights about the seamless nature of chance, and about seeing a Both/And perspective in life that encourages openness to possibilities. -/- . (shrink)

This book records almost 50 years' worth of developing and explaining a new way of thinking about behavior. It represents a journey more than a goal. I came to see that the science of behavior needed a new paradigm, and two sorts of changes were required. First, the old molecular view inherited from the nineteenth century, based on discrete responses and contiguity, had to be replaced by a view based on the dynamics of behavior. Behavior is manifestly process and cannot (...) be contained in little momentary packets. Behavior is flow and requires measures and theories that acknowledge its temporal extendedness. Such a new ("molar") view offers plausible and elegant explanations both of laboratory results and of phenomena in the everyday world. The molecular view falls short on both counts. (shrink)

Emily Carroll and Parker Crutchfield propose a new inconsistency argument against abortion restrictivism. In response, I raised several objections to their argument. Recently Carroll and Crutchfield have replied and seem to be under the impression that I’m a restrictivist. This is puzzling, since my criticism of their view included a very thinly veiled, but purposely more charitable, anti-restrictivist inconsistency argument. In this response, I explain how Carroll and Crutchfield mischaracterize my position and that of the restrictivist.

Called the “greatest philosophical essayist of his time,” Rorty is both famous and notorious in academic philosophy for his uniquely engaging writing style. While his fellow analytic philosophers look askance at his flamboyant prose, suspicious that it lacks the care and precision that their discipline demands, literary intellectuals who champion the essay genre can have their qualms about Rorty as well: his work is too professional and specialized to be properly called essays. I argue not only that Rorty's work fits (...) into the essay genre, but also that his use of the essay form is integral to his rhetorical project of advancing his ideal of pragmatic liberalism. Rorty writes essays because the essay is a pragmatic literary genre: it is anti‐essentialist, conversational, and experimentalist and provocatively aims at “breaking the crust of convention,” in Dewey's phrase. Using the essay, Rorty “joshes” us to becoming more pragmatic and, therefore, better liberals. (shrink)

Cognitive representation is the single most important explanatory notion in the sciences of the mind and has served as the cornerstone for the so-called 'cognitive revolution'. This book critically examines the ways in which philosophers and cognitive scientists appeal to representations in their theories, and argues that there is considerable confusion about the nature of representational states. This has led to an excessive over-application of the notion - especially in many of the fresher theories in computational neuroscience. Representation Reconsidered shows (...) how psychological research is actually moving in a non-representational direction, revealing a radical, though largely unnoticed, shift in our basic understanding of how the mind works. (shrink)

Socrates (469-399 BC) is one of history's most enigmatic figures. Our knowledge of him comes to us second-hand, primarily from the philosopher Plato, who was Socrates' most gifted student, and from the historian and sometime-philosopher Xenophon, who counted himself as a member of Socrates' inner circle of friends. We also hear of Socrates in one comic play produced during his lifetime (Aristophanes' Clouds) and in passing from the philosopher Aristotle, a student of Plato. Socrates is a figure of enduring interest. (...) He is often considered the father of Western Philosophy, yet the four most famous accounts we have of him present a contradictory, confusing picture. Just who was Socrates? A brilliant philosopher, at times confounding and infuriating, morally serious and yet ironic; the ever-worldly man, sometime mystic, and uncommon martyr depicted by Plato? Or did Plato conflate Socrates' views with his own startling genius, as Aristotle suggests? Was So rates instead the less impressive, more mundane man whose commonsense impressed the laconic Xenophon? Or was Socrates the charlatan, the long-winded phony of Aristophanes' play? The Socratic works of Diogenes Laertius (3rd century AD), Libanius (AD 314 -- c. 393), Maximus of 'Tyre (2nd century AD), and Apuleius (born c. AD 125) add important dimensions to the portrait of Socrates: Diogenes Laertius' Life of Socrates emphasizes Socrates' deep ethical nature and his extraordinary personality; Libanius' Apology of Socrates is based on sources now lost to us; Maximus of Tyre's Whether Socrates Did the Right Thing When He Did Not Defend Himself makes the star ling claim (against testimony of Plato and Xenophon) that Socrates never spoke athis own trial; from Apuleius' On the God of Socrates we hear at length of Socrates' infamous daimonion: the "divine sign" only mentioned elsewhere, the sign that warned Socrates against certain courses of action. In short, from these four texts we are reintroduced to Socrates, and new wrinkles are added to an already intriguing historical figure. (shrink)

This essay draws on Ludwig Wittgenstein’s work to argue for a practice-oriented concept of expertise. We propose that conceptualizing types of expertise as having a family resemblance, relative to the problems such expertise addresses, escapes certain limitations of defining expertise as primarily epistemic. Recognizing the pragmatic purchase on actual problems a Wittgensteinian approach provides to discussions of expertise, we seek to understand the nature of expertise in situations where the people who need to make a difficult decision do not possess (...) or have access to the epistemic status that traditionally confers expertise. These are situations where people need to answer difficult questions that, while they may be informed by expertise in the epistemic register, are ultimately decided by expertise that weighs certified knowledge against the intractable characteristics of a particular situation. We suggest that there is not—even deep down on a conceptual level—only one kind of expertise, but multiple kinds of expertise that resonate with diverse kinds of problems. (shrink)

Esfeld has proposed a minimalist ontology of nature called ‘super-Humeanism’ that purports to accommodate quantum phenomena and avoid standard objections to neo-Humean metaphysics. I argue that Esfeld’s sparse ontology has counterintuitive consequences and generates two self-undermining dilemmas concerning the nature of time and space. Contrary to Esfeld, I deny that super-Humeanism supports an ontology of microscopic particles that follow continuous trajectories through space.

The guitar as such achieved aesthetic prominence starting in the mid-1950s. Formerly employed as a rhythm instrument in big bands, or as a battered tool to accompany the vocals of itinerant troubad...

Albert Camus’s journals of his travels to North America (1946) and South America (1949) offer his astute perspectives on literature, the arts, and Western politics in the aftermath of World War II....

In this paper my aim is to get clearer on what eliminative materialism actually does and does not entail. I look closely at one cluster of views that is often described as a form of eliminativism in contemporary philosophy and cognitive science and try to show that this characterization is a mistake. More specifically, I look at conceptions of eliminativism recently endorsed by writers such as Edouard Machery, Paul Griffiths, Valerie Hardcastle and others, and argue that although these views do (...) endorse the elimination of something, they offer only what I will call a sort of category dissolution, and should be treated as something altogether different from traditional eliminativism. Spelling out the main contrast between eliminative materialism proper and this alternative view, and defending the need to keep them distinct, is my primary objective. As I show, a central irony is that proponents of the problematic outlook often insist that divergent things should not be classified together under a single label. By characterizing their own views as a form of eliminativism, they commit a fundamental error that they themselves argue should not be made. While my focus here is on eliminative materialism, the error I intend to highlight appears across various discussions about alleged eliminativism of all sorts of things. (shrink)

_Examining inequality through the lenses of moral traditions_ Rising inequality has attracted a great deal of attention in recent years from scholars and politicians, but the moral dimensions of inequality tend to be ignored. Is inequality morally acceptable? Is it morally permissible to allow practices and systems that contribute to inequality? Is there an ethical obligation to try to alleviate inequality, and if so, who is obligated to take that action? This book addresses these and similar questions not through a (...) single lens of morality but through a comparative study of ethical traditions, both secular and religious, Western and non-Western. The moral and political traditions considered are: liberalism, Marxism, natural law, feminism, Buddhism, Judaism, Islam, Christianity, and Confucianism. The types of inequality examined include property, natural resources, products, wealth, income, jobs, and taxation. The editors open the book with an introduction providing information on contemporary dimensions of the problem of economic inequality, and the book concludes with a summary of the perspectives represented. _Economic Inequality and Morality_ is unusual in that it addresses similarities and differences on the questions of inequality within and across moral traditions. Authors of the individual studies answer a common set of topic-related questions, giving the reader a broad perspective on how a broad range of traditions view and respond to inequality. (shrink)

The last two decades have seen two significant trends emerging within the philosophy of science: the rapid development and focus on the philosophy of the specialised sciences, and a resurgence of Aristotelian metaphysics, much of which is concerned with the possibility of emergence, as well as the ontological status and indispensability of dispositions and powers in science. Despite these recent trends, few Aristotelian metaphysicians have engaged directly with the philosophy of the specialised sciences. Additionally, the relationship between fundamental Aristotelian concepts—such (...) as "hylomorphism", "substance", and "faculties"—and contemporary science has yet to receive a critical and systematic treatment. _Neo-Aristotelian Perspectives on Contemporary Science _aims to fill this gap in the literature by bringing together essays on the relationship between Aristotelianism and science that cut across interdisciplinary boundaries. The chapters in this volume are divided into two main sections covering the philosophy of physics and the philosophy of the life sciences. Featuring original contributions from distinguished and early-career scholars, this book will be of interest to specialists in analytical metaphysics and the philosophy of science. (shrink)

The primitive ontology approach to quantum mechanics seeks to account for quantum phenomena in terms of a distribution of matter in three-dimensional space and a law of nature that describes its temporal development. This approach to explaining quantum phenomena is compatible with either a Humean or powerist account of laws. In this paper, I offer a powerist ontology in which the law is specified by Bohmian mechanics for a global configuration of particles. Unlike in other powerist ontologies, however, this law (...) is not grounded in a structural power that is instantiated by the global configuration. Instead, I combine the primitive ontology approach with Aristotle’s doctrine of hylomorphism to create a new metaphysical model, in which the cosmos is a hylomorphic substance with an intrinsic power to choreograph the trajectories of the particles. (shrink)

This article reports the results of a study of confirmational response bias among social work journals. A contrived research paper with positive findings and its negative mirror image were submitted to two different groups of social work journals and to two comparison groups of journals outside social work. The quantitative results, suggesting bias, are tentative; but the qualitative findings based upon an analysis of the referee comments are clear and consistent. Few referees from prestigious or nonprestcgrous social work journals prepared (...) reviews that were knowledgeable, scientifically astute, or objective. The best reviews came from journals outside of soccal work or from journals that are accepted as social work journals but originate with other disciplines. (shrink)

The wave function of quantum mechanics can be understood in terms of the dispositional role it plays in the dynamics of a distribution of matter in three-dimensional space (or four-dimensional spacetime). There is more than one way, however, of specifying its dispositional role. This paper considers Suárez’s theory of ‘Bohmian dispositionalism’, in which the particles are endowed with their own ‘Bohmian dispositions’, and Simpson’s theory of ‘Cosmic Hylomorphism’, in which the particle configuration comprises a hylomorphic substance which has an intrinsic (...) power. I argue that Bohmian dispositionalism fails to capture intuitively correct counterfactuals about what would happen in Small Worlds which have only a small number of particles, but that this problem is avoided by Cosmic Hylomorphism, in which the cosmic power manifests a teleological process. (shrink)

PC Wars: Politics and Theory in the Academy addresses the very issue of political correctness and the current skirmishes in the culture wars. It includes statements from many of our leading contemporary public intellectuals, including Joan Wallach Scott, Michael Be;rube;, Bruce Robbins, Henry Giroux, and Gerald Graff. The collection marks a watershed in the debate about "pc" in that it presents serious considerations and analyses of the factors, causes, and consequences of the culture wars. Carefully examining the construction of "pc," (...) PC Wars analyses political correctness by focusing on the mass media, class politics, and the ideology of managerial democracy. It places the disputes around "pc" in the context of contemporary developments in critical and cultural theory and the current backlash against theory, manifested in the recent attacks on Marxism, feminism and deconstruction. The book also scrutinizes the undercurrents of anti-intellectualism and anti-professionalism which have tended to create a fertile ground for the "pc" hysteria. Offering much more than slogans and slinging arrows, PC Wars provides a spirited and critical look at the reaction, ideology, and political forces that have coalesced around the term. Contributors: Michael Be;rube;, Reed Way Dasenbrock, Frank Farmer, Henry Giroux, Gerald Graff, Darlene Hantzis and Devoney Looser, John S. Howard and James M. Lang, Tom Lewis, James Neilson, Christopher Newfield, Richard Ohmann, Burce Robbins, Barry Sarchett, Joan W. Scott, Michael Sprinker, Jeffrey Williams. (shrink)

Sullivan and Kymlicka seek to provide an alternative to post-9/11 pessimism about the ability of serious ethical dialogue to resolve disagreements and conflict across national, religious, and cultural differences. It begins by acknowledging the gravity of the problem: on our tightly interconnected planet, entire populations look for moral guidance to a variety of religious and cultural traditions, and these often stiffen, rather than soften, opposing moral perceptions. How, then, to set minimal standards for the treatment of persons while developing moral (...) bases for coexistence and cooperation across different ethical traditions? The Globalization of Ethics argues for a tempered optimism in approaching these questions. Its distinguished contributors report on some of the most globally influential traditions of ethical thought in order to identify the resources within each tradition for working toward consensus and accommodation among the ethical traditions that shape the contemporary world. (shrink)

This article reports original research examining characteristics of the active followers of the American animal rights movement. Typical respondents were Caucasian, highly educated urban professional women approximately thirty years old with a median income of $33,000. Most activists think of themselves as Democrats or as Independents, and have moderate to liberal political views. They were often suspicious of science and made no distinctions between basic and applied science, or public versus private animal-based research. The research suggests that animal rights activism (...) is in part a symbolic manifestation of egalitarian social and political views concerning scientific and technological change. (shrink)

The publication of this unique three-volume set represents the culmination of years of work by a large number of scholars, researchers, and professionals in the field of moral development. The literature on moral behavior and development has grown to the point where it is no longer possible to capture the “state of the art” in a single volume. This comprehensive multi-volume Handbook marks an important transition because it provides evidence that the field has emerged as an area of scholarly activity (...) in its own right. Spanning many professional domains, there is a striking variety of issues and topics surveyed: anthropology, biology, economics, education, philosophy, psychology, psychiatry, sociology, social work, and more. By bringing together work on diverse topics, the editors have fostered a mutually-beneficial exchange not only between alternative approaches and perspectives, but also between “applied” and “pure” research interests. The Theory volume presents current and ongoing theoretical advances focusing on new developments or substantive refinements and revisions to existing theoretical frameworks. The Research volume summarizes and interprets the findings of specific, theory-driven, research programs; reviews research in areas that have generated substantial empirical findings; describes recent developments in research methodology/techniques; and reports research on new and emerging issues. The Application volume describes a diverse array of intervention projects — educational, clinical, organizational, and the like. Each chapter includes a summary report of results and findings, conceptual developments, and emerging issues or topics. Since the contributors to this publication are active theorists, researchers, and practitioners, it may serve to define directions that will shape the emerging literature in the field. (shrink)