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)

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)

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)

Agricultural diversification in the Midwestern Corn Belt has the potential to improve socioeconomic and environmental outcomes by buffering farmers from environmental and economic shocks and improving soil, water, and air quality. However, complex barriers related to agricultural markets, individual behavior, social norms, and government policy constrain diversification in this region. This study examines farmer perspectives regarding the challenges and opportunities for both corn and soybean production and agricultural diversification strategies. We analyze data from 20 focus groups with 100 participants (...) conducted in Indiana, Illinois, and Iowa through a combined inductive and deductive approach, drawing upon interpretive grounded theory. Our results suggest that when identifying challenges and opportunities, participants center economics and market considerations, particularly income, productivity, and market access. These themes are emphasized both as benefits of the current corn-soybean system, as well as challenges for diversification. Additionally, logistical, resource and behavioral hurdles– including the comparative difficulty and time required to diversify, and constraints in accessing land, labor, and technical support– are emphasized by participants as key barriers to diversification. Agricultural policies shape these challenges, enhancing the comparative advantage and decreasing the risk of producing corn and soybeans as compared to diversified products. Meanwhile, alternative marketing arrangements, farmer networks, family relationships, and improved soil health are highlighted as important opportunities for diversification. We contextualize our findings within the theories of reasoned action and diffusion of innovation, and explore their implications for farmer engagement, markets, and agricultural policy, and the development of additional resources for business and technical support. (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)

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)

We examine the issues concerning the legality and ethicality of the Second Amendment right to bear arms balanced by the employer's duty to provide a safe workplace for its employees. Two court rulings highlight this balancing act: McDonald et al. v. City of Chicago et al. and District of Columbia v. Heller. “Stand Your Ground” and “Castle Doctrine” laws in the recent Trayvon Martin shooting on February 26, 2012 are also applicable. Various ethical frameworks examine the firearms debate by viewing (...) the Second Amendment from three perspectives. These include a pro‐gun perspective drawing upon libertarianism and fundamental rights; a moderate gun perspective drawing upon consequentialism and stakeholder theory; and finally, an anti‐gun perspective drawing upon a Public Health Ethics and peace ethics approach. We explore the issue of gun control from a business perspective as employers face ethical decisions in responding to legislation that allows guns in the workplace and/or in employer parking lots while still being responsible to provide a safe workplace for their employees. We make recommendations regarding how companies should manage by proactively avoiding legal challenges to employees' rights to own and carry guns into the workplace. This includes emphasis on enhanced security, Human Resource policies and monitoring rapidly changing laws. (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)

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)

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 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 “problem of emotions,” that is, that many of them are both meaningful and corporeal, has yet to be resolved. Western thinkers, from Augustine to Descartes to Zajonc, have handled this problem by employing various forms of mind–body dualism. Some psychologists and neuroscientists since the 1970s have avoided it by talking about cognitive and emotional “processing,” using a terminology borrowed from computer science that nullifies the meaningful or intentional character of both thought and emotion. Outside the Western-influenced contexts, emotion and (...) thought are not seen as distinct kinds of things. Here a solution of sorts is proposed by thinking of emotional expression as a dynamic activity that declares and stirs emotions at the same time. As such, its dynamism may help historians to understand the dramatic changes and trends they investigate. (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)

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)

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 title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1986.

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)

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)

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.

William M. Epstein charges that most current social welfare programs are not held to credible standards in their design or their results. Rather than spending less on such research and programs, however, Epstein suggests we should spend much more, and do the job right. The American public and policymakers need to rely on social science research for objective, credible information when trying to solve problems of employment, affordable housing, effective health care, and family integrity. But, Epstein contends, politicians treat (...) welfare issues as ideological battlegrounds; they demand immediate results from questionable data and implement policies long before social researchers can complete their analyses. Social scientists often play into the political agenda, supporting poorly conceived programs and doing little to test and revise them. Analyzing Aid to Families with Dependent Children (AFDC) and the recent welfare reform act, Food Stamps, Medicaid, job training, social services, and other programs, Epstein systematically challenges the conservative’s vain hope that neglect is therapeutic for the poor, as well as the liberal’s conceit that a little bit of assistance is sufficient. (shrink)

Virtue liberalism holds that the success of liberal politics and society depends on the citizenry possessing a set of liberal virtues, including traits like open-mindedness, toleration, and individual autonomy. Virtue liberalism is thus an ethically demanding conception of liberalism that is at odds with conceptions, like Rawlsian political liberalism andmodus vivendiliberalism, that attempt to minimize liberalism’s ethical impact in order to accommodate a greater range of ethical pluralism. Although he claims to be a Rawlsian political liberal, Richard Rorty’s pragmatic liberalism (...) is best understood as a version of virtue liberalism that, in particular, recommends a controversial civic virtue of irony for good liberal citizenship. Indeed, Rorty ultimately joins Dewey in conceiving of liberal democracy as a “way of life,” rather than merely a set of political relations that have a minimal effect on our characters or on the shape of our private commitments and projects. (shrink)

Research on this topic in Europe and North America has reached a new stage. Prior to 1970, historians told a story of progress in which modern individuals gradually gained mastery of emotions. After 1970 this older approach was put into doubt. Since 1990 research into the history of emotions has increasingly relied on a new methodology, based on the assumption that emotion is a domain of effort, and that it is possible to document variance between emotional standards, on the one (...) hand, and the greater or lesser success of individuals in conforming to them, on the other. Emotional standards are now assumed to display a history that is not progressive, but reflects distinctive features of each period. (shrink)