“The primary purpose of this book has been to provide a single source of containing the basic information about systematic and theoretical psychology which any student of psychology should have. It is mainly directed at the senior undergraduate major and the beginning of the graduate student.”-Publisher.

A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.

This book contains new essays in honor of Melvin J. Lerner, a pioneer in the psychological study of justice. The contributors to this volume are internationally renowned scholars from psychology, business, and law. They examine the role of justice motivation in a wide variety of contexts, including workplace violence, affirmative action programs, helping or harming innocent victims and how people react to their own fate. Contributors explore fundamental issues such as whether people's interest in justice is motivated by self-interest (...) or a genuine concern for the welfare of others, when and why people feel a need to punish transgressors, how a concern for justice emerges during the development of societies and individuals, and the relation of justice motivation to moral motivation. How an understanding of justice motivation can contribute to the amelioration of major social problems is also examined. (shrink)

We present a logic programming language, which we call Proflog, with an operational semantics based on tableaus, and a denotational semantics based on supervaluations. We show the two agree. Negation is well-behaved, and semantic non-computability issues do not arise. This is accomplished essentially by dropping a domain closure requirement. The cost is that intuitions developed through the use of classical logic may need modification, though the system is still classical at a level once removed. Implementation problems are discussed very briefly (...) — the thrust of the paper is primarily theoretical. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal contact (...) between communities. In this paper we summarize one variety of approaches to the semantics of logic programs: that based on fixpoint theory. We do not attempt to cover much beyond this single area, which is already remarkably fruitful. We hope readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies. (shrink)

In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \ can be read as asserting (...) there is implicit evidence for X, where we understand evidence to permit contradictions. We show BLE embeds into KX4 in the same way that Intuitionistic logic embeds into S4. Then we formulate a new justification logic, JX4, in which the implicit evidence motivating KX4 is made explicit. KX4 embeds into JX4 via a realization theorem. Thus BLE has both implicit and explicit possibly contradictory evidence interpretations in a formal sense. (shrink)

LP can be seen as a logic of knowledge with justifications. See [S. Artemov, The logic of justification, The Review of Symbolic Logic 1 477–513] for a recent comprehensive survey of justification logics generally. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikka-style logic of knowledge S4, in which they are not explicitly present. Justifications, however, are far from unique. There are many ways of realizing each theorem of S4 in the logic LP. If (...) the machinery of justifications is to be applied to artificial intelligence, or better yet, to everyday reasoning, we will need to work with whatever justifications we may have at hand—one version may not be interchangeable with another, even though they realize the same S4 formula. In this paper we begin the process of providing tools for reasoning about justifications directly. The tools are somewhat complex, but in retrospect this should not be surprising. Among other things, we provide machinery for combining two realizations of the same formula, and for replacing subformulas by equivalent subformulas. The results are algorithmic in nature—semantics for LP plays no role. We apply our results to provide a new algorithmic proof of Artemov’s Realization Theorem itself. This paper is a much extended version of [M.C. Fitting, Realizations and LP, in: S. Artemov, A. Nerode , Logical Foundations of Computer Science—New York ’07, in: Lecture Notes in Computer Science, vol. 4514, Springer-Verlag, 2007, pp. 212–223]. (shrink)

This paper attempts to make more explicit the relationship between narrativity and feminist care ethics. The central concern is the way in which narrativity carries the semantic load that some accounts of feminist care ethics imply but leave hanging. In so doing, some feminist theorists of care-based ethics then undervalue the major contribution that narrativity provides to care ethics: it carries the semantic load that is essential to the best care. In this article, I defend the narrative as the central (...) medium though which we make sense of and communicate our lives and their attendant hopes and cares. More than just working with the narrative of the cared-for, caring is about investing in the narrative of the cared-for in order to meet the needs of this cared-for and how this narrative might turn out. I will further demonstrate how the attitude of caring or investing in a narrative would amount to what Gabriel Marcel has described as the attitude of disponibilité. (shrink)

In creative cognition research, the Romantic view about creative cognition is traditionally rejected in favor of the modern view. The modern view about creative cognition maintains that creativity is neither mysterious nor unintelligible and that it is indeed susceptible to analysis. The paradigmatic objects of analysis in creative cognition research have been creative output and the creative process. The degree of creativity of an output is assessed in accordance with certain criterial definitions. The degree of creativity of a cognitive process (...) is assessed in accordance with certain models of creative cognition, psychometric test measures, and neuroimaging studies that are grounded in certain criteria for assessment. The reliance on criterial definitions and criteria for assessment in analyzing either the creative output or the creative process suggests that creative cognition researchers remain under the sway of the classical, bundles-of-criteria theory of meaning. In this paper, I will critically evaluate the criterial problems that confront both criterial definitions and criteria for assessment before proposing an alternative theory of meaning. (shrink)

We wish here to consider the theory of a population or system made up of individuals whose number and size change with time. As usual, the description of these changes will be referred to as the kinetics, whereas the description of the special circumstances under which unchanging conditions subsist will be called the statics of the population. A third category, the conditions for a steady state, i.e., when the variables inside the system do not change, but linked variables outside do, (...) will be described by what we shall call the rheostatics of the system. All three, statics, rheostatics, and kinetics are subdivisions of the general dynamics of the system. (shrink)

A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of leanTAP as a sequent calculus provides a new perspective on it and, in some ways, makes it easier to understand. It is also easier to verify correctness and completeness of the Prolog implementation. In addition, it suggests extensions to other logics, some of which are considered here.

Modal logic is an enormous subject, and so any discussion of it must limit itself according to some set of principles. Modal logic is of interest to mathematicians, philosophers, linguists and computer scientists, for somewhat different reasons. Typically a philosopher may be interested in capturing some aspect of necessary truth, while a mathematician may be interested in characterizing a class of models having special structural features. For a computer scientist there is another criterion that is not as relevant for the (...) other disciplines: a logic should be ‘well-behaved.’ This is, admittedly, a vague notion, but some things are clear enough. A logic that can be axiomatized is better than one that can’t be; a logic with a simple axiomatization is better yet; and a logic with a reasonably implementable proof procedure is best of all. My current interests are largely centered in computer science, and so I will only discuss well-behaved modal logics. My talk is organized into three sections, depending on the expressiveness of the modal logics considered: propositional; first-order with rigid designators; first-order with non-rigid designators. Even limited as I have said, the subject is a big one, and this talk can be no more than an outline. For a general discussion of propositional modal logic see [2]; for this and first-order modal logic see [9], [10] and [8]; for tableau systems in modal logic see [6]. (shrink)

This vibrant collection of papers by an interdisciplinary group of authors -- psychologists, theologians, and social scientists -- presents brilliant new perspectives on spirituality, ethics, and relationship. In their diversity of views, their Intellectual and spiritual dynamism, the authors bring power and hope to this subject so central to the human experience.

Addressing himself to basic ethical questions -- What is the essential value of life? What is right action? What is the nature of a good social order? -- the author seeks to find his answers in the humanist spirit of philosophy. The author takes his quest beyond the limits of personal ethics. Viewing man both as an individual and as a member of society, he examines, among various themes, the meaning and implications of the community as an ethical concept. In (...) so doing, he refers to such related fields as religion, law, sociology and political theory, but the primary focus of the book is on basic sources and central issues. Far more than most writers on ethics, he deals with the concept of justice, and with human rights and liberties; the values of democracy he treats at length and relates to the individual. The result is a text of depth and distinction that deals with the total human personality in the dynamic context of a functioning society. (shrink)

We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.

First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, definite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, natural way. We present a semantic tableaux system for the enhanced logic, and (very) briefly discuss implementation issues.

Few thinkers exerted a greater influence upon British thought and public policy between 1880 and 1914 than T. H. Green. In his appraisal Richter applies to Green, usually studied as a philosopher, the techniques of analysis taken from sociology and the history of ideas. The result is important both as a study of a man who considerably affected the thought of his time and also as a contribution to the social and intellectual history of Victorian England. The chapter headings include: (...) Idealism and the Crisis of the Evangelical Conscience; Metaphysical Foundations; the Principles of Political Obligation; From the Old Liberalism to the New: Private Property, Capitalism and State Intervention; and the Life of Citizenship. (shrink)

Could translation be fully automated? We must first acknowledge the complexity, ambiguity, and diversity of natural languages. These aspects of natural languages, when combined with a particular dilemma known as the computational dilemma, appear to imply that the machine translator faces certain obstacles that a human translator has already managed to overcome. At the same time, science has not yet solved the problem of how human brains process natural languages and how human beings come to acquire natural language understanding. We (...) will then distinguish between the task of translation and the responsibility of the translator. Thereafter, we will conduct a survey of the methods of machine translation (viz. RBMT, SMT, NMT, foundation models or large language models). These methods will then be critically evaluated both in general and relative to Bar-Hillel’s hypothesis about the impossibility of fully automatic, high-quality machine translation (Fahqmt). Some concluding remarks will be made about the scope, prospects, and limits of machine translation. (shrink)

Causal reasoning is an aspect of learning, reasoning, and decision-making that involves the cognitive ability to discover relationships between causal relata, learn and understand these causal relationships, and make use of this causal knowledge in prediction, explanation, decision-making, and reasoning in terms of counterfactuals. Can we fully automate causal reasoning? One might feel inclined, on the basis of certain groundbreaking advances in causal epistemology, to reply in the affirmative. The aim of this paper is to demonstrate that one still has (...) good skeptical grounds for resisting any conclusions in favour of the automation of causal reasoning. If by causal reasoning is meant the entirety of the process through which we discover causal relationships and make use of this knowledge in prediction, explanation, decision-making, and reasoning in terms of counterfactuals, then one relies besides on tacit knowledge, as might be constituted by or derived from the epistemic faculty virtues and abilities of the causal reasoner, the value systems and character traits of the causal reasoner, the implicit knowledge base available to the causal reasoner, and the habits that sustain our causal reasoning practices. While certain aspects of causal reasoning may be axiomatized and formalized and algorithms may be implemented to approximate causal reasoning, one has to remain skeptical about whether causal reasoning may be fully automated. This demonstration will involve an engagement with Meno’s Paradox. (shrink)

Tinbergen’s classic “On Aims and Methods of Ethology” (_Zeitschrift für Tierpsychologie, 20_, 1963) proposed four levels of explanation of behavior, which he thought would soon apply to humans. This paper discusses the need for multilevel explanation; Huxley and Mayr’s prior models, and others that followed; Tinbergen’s differences with Lorenz on “the innate”; and Mayr’s ultimate/proximate distinction. It synthesizes these approaches with nine levels of explanation in three categories: phylogeny, natural selection, and genomics (ultimate causes); maturation, sensitive period effects, and routine (...) environmental effects (intermediate causes); and hormonal/metabolic processes, neural circuitry, and eliciting stimuli (proximate causes), as a respectful extension of Tinbergen’s levels. The proposed classification supports and builds on Tinbergen’s multilevel model and Mayr’s ultimate/proximate continuum, adding intermediate causes in accord with Tinbergen’s emphasis on ontogeny. It requires no modification of Standard Evolutionary Theory or The Modern Synthesis, but shows that much that critics claim was missing was in fact part of Neo-Darwinian theory (so named by J. Mark Baldwin in _The American Naturalist_ in 1896) all along, notably reciprocal causation in ontogeny, niche construction, cultural evolution, and multilevel selection. Updates of classical examples in ethology are offered at each of the nine levels, including the neuroethological and genomic findings Tinbergen foresaw. Finally, human examples are supplied at each level, fulfilling his hope of human applications as part of the biology of behavior. This broad ethological framework empowers us to explain human behavior—eventually completely—and vindicates the idea of human nature, and of humans as a part of nature. (shrink)

_The Undiscovered Dewey_ explores the profound influence of evolution and its corresponding ideas of contingency and uncertainty on John Dewey's philosophy of action, particularly its argument that inquiry proceeds from the uncertainty of human activity. Dewey separated the meaningfulness of inquiry from a larger metaphysical story concerning the certainty of human progress. He then connected this thread to the way in which our reflective capacities aid us in improving our lives. Dewey therefore launched a new understanding of the modern self (...) that encouraged intervention in social and natural environments but which nonetheless demanded courage and humility because of the intimate relationship between action and uncertainty. Melvin L. Rogers explicitly connects Dewey's theory of inquiry to his religious, moral, and political philosophy. He argues that, contrary to common belief, Dewey sought a place for religious commitment within a democratic society sensitive to modern pluralism. Against those who regard Dewey as indifferent to moral conflict, Rogers points to Dewey's appreciation for the incommensurability of our ethical commitments. His deep respect for modern pluralism, argues Rogers, led Dewey to articulate a negotiation between experts and the public so that power did not lapse into domination. Exhibiting an abiding faith in the reflective and contestable character of inquiry, Dewey strongly engaged with the complexity of our religious, moral, and political lives. (shrink)

The evolution of development has become a central concern in both evolu­tionary and developmental research, and human immaturity is no less a proper focus for evolutionary analysis than that of other species-if anything, it is more so. Two new books by David F. Bjorklund, a founder of evolutionary developmental psychology, summarize what we know now and propose that children invented our species. Due to the new phe­nomenon of partly heritable epigenetic modification of genes and the old one of the Bald­win (...) Effect, this claim must be at least partly true. The inherent plasticity of children’s behavior, including play, accelerat­ed the evolution of humanity as instantiated in the human brain. Evolution cannot be understood without extensive reference to development, and nothing in childhood makes sense except in the light of evolution. (shrink)

Mevlin Konner's explanations of why we behave and feel the way we do are relevant to many new stories, both good and bad. He disavows the extreme nature-nurture arguments, and shows how Mother Nature has drawn from both to create the most successful creature on the planet.