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)

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)

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)

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)

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 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)

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)

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)

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)

As a retired professor, I join in the growing concerns among educators, and others, about plagiarism, especially now that AI tools like ChatGPT are so readily available. However, I feel more caution is needed, regarding temptations to rely on supposed automatic detection tools, like Turnitin, to solve the problems. Students can be unfairly accused if such tools are used unreflectingly. The Toronto Star's online version of this published Op Ed is available at the link shown below. The version attached here (...) is a pre-print, which also includes annotations for my references, which are not displayed in the published version. (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)

Roman Frigg and others have developed a general epistemological argument designed to cast doubt on the capacity of a broad range of mathematical models to generate “decision relevant predictions.” In this article, we lay out the structure of their argument—an argument by analogy—with an eye to identifying points at which certain epistemically significant distinctions might limit the force of the analogy. Finally, some of these epistemically significant distinctions are introduced and defended as relevant to a great many of the predictive (...) mathematical modeling projects employed in contemporary climate science. (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)

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 nature of consciouness or human awareness is one of the problems of perennial concern to philosphers and psychologists alike. Here is a systematic critical and comparative study the nature of human awareness according to the most influential school of classical Indian thought. After introducing the Advaita Philosophical system and indicating the place of consciouness in this system the author presents a detailed discussion of the Advaitin`s unique non-dual understanding of man`s basic intelligence. He continues with and analysis of the (...) Advaitin`s hierarchical vision of waking dream and dreamless sleep experience and compares this analysi,. (shrink)

In this paper I argue that the appropriate analogy for “understanding what makes simulation results reliable” in global climate modeling is not with scientific experimentation or measurement, but—at least in the case of the use of global climate models for policy development—with the applications of science in applied design problems. The prospects for using this analogy to argue for the quantitative reliability of GCMs are assessed and compared with other potential strategies.

Experiments may contribute to understanding the basic processes of cultural evolution. We drew features from previous laboratory research with small groups in which traditions arose during several generations. Groups of four participants chose by consensus between solving anagrams printed on red cards and on blue cards. Payoffs for the choices differed. After 12 min, the participant who had been in the experiment the longest was removed and replaced with a naı¨ve person. These replacements, each of which marked the end of (...) a generation, continued for 10 – 15 generations, at which time the day’s session ended. Time-out duration, which determined whether the group earned more by choosing red or blue, and which was fixed for a day’s session, was varied across three conditions to equal 1, 2, or 3 min. The groups developed choice traditions that tended toward maximizing earnings. The stronger the dependence between choice and earnings, the stronger was the tradition. Once a choice tradition evolved, groups passed it on by instructing newcomers, using some combination of accurate information, mythology, and coercion. Among verbal traditions, frequency of mythology varied directly with strength of the choice tradition. These methods may be applied to a variety of research questions. D 2004 Elsevier Inc. All rights reserved. (shrink)

Aristotle, Rhetoric I: A Commentary begins the acclaimed work undertaken by the author, later completed in the second (1988) volume on Aristotle's Rhetoric. The first Commentary on the Rhetoric in more than a century, it is not likely to be superseded for at least another hundred years.

In this paper I argue that the appropriate analogy for “understanding what makes simulation results reliable” in Global Climate Modeling is not with scientific experimentation or measurement, but—at least in the case of the use of global climate models for policy development—with the applications of science in engineering design problems. The prospects for using this analogy to argue for the quantitative reliability of GCMs are assessed and compared with other potential strategies.