__Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to (...) undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The software package includes four programs: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (shrink)

Booth explains that international relations are a critical level in the business of determining who gets what across the world. He gives an introduction and shows how they directly or indirectly affect all our lives.

Part I -- Scientific Composition and the New Mechanism. - 1. Laura Franklin-Hall: New Mechanistic Explanation and the Need for Explanatory Constraints. - 2. Kenneth Aizawa: Compositional Explanation: Dimensioned Realization, New Mechanism, and Ground. - 3. Jens Harbecke: Is Mechanistic Constitution a Version of Material Constitution?. - 4. Derk Pereboom: Anti-Reductionism, Anti-Rationalism, and the Material Constitution of the Mental. Part II -- Grounding, Science, and Verticality in Nature. - 5. Jonathan Schaffer: Ground Rules: Lessons from Wilson. - 6. Jessica Wilson: (...) The Unity and Priority Arguments for Grounding. - 7. Carl Gillett: The Metaphysics of Nature, Science, and the Rules of Engagement. - 8. Andrew Melnyk: Grounding and the Formulation of Physicalism. - 9. Alyssa Ney: Grounding in the Philosophy of Mind: A Defense. (shrink)

_Tarski’s World_ is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, (...) which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds. A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes. Intended as a supplement to a standard logic text, _Tarski’s World_ is an essential tool for helping students learn the language of logic. (shrink)

The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines. (...) _Words, Proofs and Diagrams_ is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them. (shrink)

It is widely held that Bayesian decision theory is the final word on how a rational person should make decisions. However, Leonard Savage--the inventor of Bayesian decision theory--argued that it would be ridiculous to use his theory outside the kind of small world in which it is always possible to "look before you leap." If taken seriously, this view makes Bayesian decision theory inappropriate for the large worlds of scientific discovery and macroeconomic enterprise. When is it correct to use Bayesian (...) decision theory--and when does it need to be modified? Using a minimum of mathematics, Rational Decisions clearly explains the foundations of Bayesian decision theory and shows why Savage restricted the theory's application to small worlds. The book is a wide-ranging exploration of standard theories of choice and belief under risk and uncertainty. Ken Binmore discusses the various philosophical attitudes related to the nature of probability and offers resolutions to paradoxes believed to hinder further progress. In arguing that the Bayesian approach to knowledge is inadequate in a large world, Binmore proposes an extension to Bayesian decision theory--allowing the idea of a mixed strategy in game theory to be expanded to a larger set of what Binmore refers to as "muddled" strategies. Written by one of the world's leading game theorists, Rational Decisions is the touchstone for anyone needing a concise, accessible, and expert view on Bayesian decision making. (shrink)

Wilber's most timely, accessible, and practical work to date. Here is a concise, comprehensive overview of Wilber's revolutionary thought and its application in today's world. Wilber has long been hailed as one of the most important thinkers of our time, but--until now--his work has seemed inaccessible to the general reader who lacks a background in consciousness studies or evolutionary theory. Integral Vision will allow a general audience to fully understand what all the excitement has been about. In clear, non-technical language, (...) Wilber presents complex, cutting-edge theories and models that integrate the realms of body, mind, soul, and spirit. He then demonstrates how these theories and models can be applied to real world problems. Finally, Wilber discusses daily practices that readers take up in order to apply this integrative vision to their own, everyday lives. Wilber begins by presenting a leading model of human evolution, a model called "spiral dynamics." He then goes on to summarize his ground-breaking "all-level, all-quadrant" model for integrating the seemingly contradictory realms of science and religion--the "all-level, all-quadrant" model has already been adopted by leading thinkers in a variety of fields. In a chapter entitle "The Real World," Wilber shows how these rather abstract theories and models are being applied to real-world issues such as politics, medicine, business, education, and the environment. Wilber goes on to present a collection of maps of the Kosmos. These are broader models that can integrate the various worldviews that have been developed around the world throughout the ages. The final chapter of the book, "One Taste," proposes that readers take up an "integral transformative practice" such as meditation to help them to apply and develop this integral vision in their personal, everyday lives. (shrink)

Natural Justice is a bold attempt to lay the foundations for a genuine science of morals using the theory of games. Since human morality is no less a product of evolution than any other human characteristic, the book takes the view that we need to explore its origins in the food-sharing social contracts of our prehuman ancestors. It is argued that the deep structure of our current fairness norms continues to reflect the logic of these primeval social contracts, but the (...) particular fairness norm a society operates is largely a product of cultural evolution. In pursuing this point, the book proposes a naturalistic reinterpretation of John Rawls' original position that reconciles his egalitarian theory of justice with John Harsanyi's utilitarian theory by identifying the environment appropriate to each. (shrink)

Binmore argues that game theory provides a systematic tool for investigating ethical matters.

It is widely held that Bayesian decision theory is the final word on how a rational person should make decisions. However, Leonard Savage--the inventor of Bayesian decision theory--argued that it would be ridiculous to use his theory outside the kind of small world in which it is always possible to "look before you leap." If taken seriously, this view makes Bayesian decision theory inappropriate for the large worlds of scientific discovery and macroeconomic enterprise. When is it correct to use Bayesian (...) decision theory--and when does it need to be modified? Using a minimum of mathematics, Rational Decisions clearly explains the foundations of Bayesian decision theory and shows why Savage restricted the theory's application to small worlds. The book is a wide-ranging exploration of standard theories of choice and belief under risk and uncertainty. Ken Binmore discusses the various philosophical attitudes related to the nature of probability and offers resolutions to paradoxes believed to hinder further progress. In arguing that the Bayesian approach to knowledge is inadequate in a large world, Binmore proposes an extension to Bayesian decision theory--allowing the idea of a mixed strategy in game theory to be expanded to a larger set of what Binmore refers to as "muddled" strategies. Written by one of the world's leading game theorists, Rational Decisions is the touchstone for anyone needing a concise, accessible, and expert view on Bayesian decision making. (shrink)

Sometimes neuroscientists discover distinct realizations for a single psychological property. In considering such cases, some philosophers have maintained that scientists will abandon the single multiply realized psychological property in favor of one or more uniquely realized psychological properties. In this paper, we build on the Dimensioned theory of realization and a companion theory of multiple realization to argue that this is not the case. Whether scientists postulate unique realizations or multiple realizations is not determined by the neuroscience alone, but by (...) the psychological theory under examination. Thus, one might say that, in the splitting or non-splitting of properties, psychology enjoys a kind of autonomy from neuroscience. (shrink)

The following values have no corresponding Zotero field: PB - Lawrence Erlbaum Associates Ltd Hove,, UK.

v. 1. The spectrum of consciousness ; No boundary ; Selected essays -- v. 2. The Atman Project ; Up from Eden -- v. 3. A sociable god ; Eye to eye -- v. 4. Integral psychology ; Transformations of consciousness ; Selected essays -- v. 5. Grace and grit : spirituality and healing in the life and death of Treya Killam Wilber. 2nd ed. -- v. 6. Sex, ecology, spirituality : the spirit of evolution. 2nd, rev. ed. -- v. (...) 7. A brief history of everything ; The eye of spirit -- v. 8. The marriage of sense and soul ; One taste. (shrink)

The principal aim of this volume is to elucidate what freedom, sovereignty, and autonomy mean for Nietzsche and what philosophical resources he gives us to re ...

Drawing on social exchange theory, we argue that family-supportive supervisor behavior (FSSB) inhibits employees’ unethical pro-family behavior (UPFB) via the mediation of felt obligation. We further propose that employees’ positive reciprocity beliefs strengthen the hypothesized relationships. Using a sample consisting of 345 full-time employees from an Internet service company located in China, we found that felt obligation partially mediated the negative relationship between FSSB and UPFB and that the FSSB-felt obligation relationship and the mediation relationship were stronger for employees with (...) higher positive reciprocity beliefs. Theoretical and practical implications, limitations, and future directions are discussed. (shrink)

Do conventions need to be common knowledge in order to work? David Lewis builds this requirement into his definition of a convention. This paper explores the extent to which his approach finds support in the game theory literature. The knowledge formalism developed by Robert Aumann and others militates against Lewis’s approach, because it shows that it is almost impossible for something to become common knowledge in a large society. On the other hand, Ariel Rubinstein’s Email Game suggests that coordinated action (...) is no less hard for rational players without a common knowledge requirement. But an unnecessary simplifying assumption in the Email Game turns out to be doing all the work, and the current paper concludes that common knowledge is better excluded from a definition of the conventions that we use to regulate our daily lives. (shrink)

Game theory has proved a useful tool in the study of simple economic models. However, numerous foundational issues remain unresolved. The situation is particularly confusing in respect of the non-cooperative analysis of games with some dynamic structure in which the choice of one move or another during the play of the game may convey valuable information to the other players. Without pausing for breath, it is easy to name at least 10 rival equilibrium notions for which a serious case can (...) be made that here is the “right” solution concept for such games. (shrink)

Ken Binmore's previous game theory textbook, Fun and Games, carved out a significant niche in the advanced undergraduate market; it was intellectually serious and more up-to-date than its competitors, but also accessibly written. Its central thesis was that game theory allows us to understand many kinds of interactions between people, a point that Binmore amply demonstrated through a rich range of examples and applications. This replacement for the now out-of-date 1991 textbook retains the entertaining examples, but changes the organization to (...) match how game theory courses are actually taught, making Playing for Real a more versatile text that almost all possible course designs will find easier to use, with less jumping about than before. In addition, the problem sections, already used as a reference by many teachers, have become even more clever and varied, without becoming too technical. Playing for Real will sell into advanced undergraduate courses in game theory, primarily those in economics, but also courses in the social sciences, and serve as a reference for economists. (shrink)

Engaging in environmental stewardship is critical for sustainability. Understanding individual differences and engagement is an important gap in present scholarship and addressing it is necessary to understand individual factors that relate to the types of activities engaged in, motivations and barriers to environmental stewardship. We surveyed 637 Canadian and American adults via Amazon Mechanical Turk, querying a range of demographic, psychological and environmental perceptions factors as well as motivations and barriers to stewardship activities. Respondents were ultimately grouped into Non-Stewards, Home-Oriented (...) Stewards and Community-Oriented Stewards. Few differences were found among these groups. However, Home-Oriented Stewards and Community-Oriented Stewards exhibited very different initial and ongoing motivations to engage in environmental stewardship. Accordingly, we identify stewardship motivations as a potential leverage point and as one of several promising avenues for future research related to enhancing engagement in environmental stewardship for the sustainability of the planet. (shrink)

Molinism promises the strongest account of God's providence consistent with our freedom. But is it a coherent view, and does it provide a satisfying account of divine providence? The essays in this volume examine the status, defensibility, and application of this recently revived doctrine, and anticipate the future direction of the debate.

Elizabeth Barnes and J. Robert G. Williams claim to offer a new ontic theory of vagueness, the kind of theory which considers vagueness to exist not in language but in reality. This paper refutes their claim. The possible worlds they employ are ersatz possible worlds, i.e., sets of sentences. Unlike reality, they don’t contain concrete and often material objects. As a result, there is nothing in Barnes and Williams’s description of the theory that the semanticist cannot or does not accept. (...) Thus, they have failed to establish their theory as a genuine intelligible ontic alternative to semantic theories. (shrink)

I argue for three conclusions. First, responsibility skeptics are committed to the position that the criminal justice system should adopt a universal nonresponsibility excuse. Second, a universal nonresponsibility excuse would diminish some of our most deeply held values, further dehumanize criminals, exacerbate mass incarceration, and cause an even greater number of innocent people (nonwrongdoers) to be punished. Third, while Saul Smilansky's ‘illusionist’ response to responsibility skeptics – that even if responsibility skepticism is correct, society should maintain a responsibility‐realist/retributivist criminal justice (...) system – is generally compelling, it would not work if a majority of society were to convert, theoretically and psychologically, to responsibility skepticism. In this (highly improbable) scenario, and only in this (highly improbable) scenario, the criminal justice system would need to be reformed in such a way that it aligned with the majority's responsibility‐skeptical beliefs and attitudes. (shrink)

The realist belief in the primacy of the world and its underlying structure answers the question ‘why is there something rather than nothing.’ The world, and all things contained in it exists because of God’s creative act. Personal death in Christian philosophy continues the gift of human existence by shifting that temporal existence into eternal life. The death and resurrection of Christ lays the foundation for the possibility of eternal life, while the will of God provides an answer to the (...) why of human existence. The aim of this paper is to examine the effects of the death and resurrection of Christ on the metaphysical strings of human existence. The phenomenon of human death takes place on the arms of consciousness and being’s unconcealment. The subjective correlate of human death is the irreversible loss of consciousness, while the objective correlate of human death presents as the infolding of the gift of existence, namely, of being’s unconcealment from consciousness. These correlates function as a dynamic unit to explain human death and resurrection. The attempt to justify a belief in the existence of life after death from the point of view of consciousness alone is dualistic and leads to several absurdities and confusions about the nature of the afterlife state. The explanation of the resurrection of Christ as a continuation of the dialogue between being and consciousness begun on earth avoids those absurdities while maintaining personal identity. (shrink)

The infamous “Sydney Tar Ponds” are well known as one of the largest toxic waste sites of Canada, due to almost 100 years of steelmaking in Sydney, a once beautiful and peaceful city located on the east side of Cape Breton Island, Nova Scotia. This article begins with a contextual overview of the Tar Ponds issue including a brief introduction and history and summaries of the effects on the earth, the people, and the biotic community (animals and vegetation). Then the (...) authors talk about the STS analysis approach, namely, a discussion of six systems to indicate what has been brought to the earth and mankind by technology and modern industry. The remaining part of the article describes the difficulties confronting China, some of which are similar to the ones Canada faces as a result of the Tar Ponds contamination, and summarizes some of the experiences at Tar Ponds and the lessons China can learn from Tar Ponds. (shrink)

In ‘‘The Myth of Original Intentionality,’’ Daniel Dennett appears to want to argue for four claims involving the familiar distinction between original (or underived) and derived intentionality. 1. Humans lack original intentionality. 2. Humans have derived intentionality only. 3. There is no distinction between original and derived intentionality. 4. There is no such thing as original intentionality. We argue that Dennett’s discussion fails to secure any of these conclusions for the contents of thoughts.

A provocative examination of how the great religious traditions can remain relevant in modern times by incorporating scientific truths learned about human nature over the last century A single purpose lies at the heart of all the great religious traditions: awakening to the astonishing reality of the true nature of ourselves and the universe. At the same time, through centuries of cultural accretion and focus on myth and ritual as ends in themselves, this core insight has become obscured. Here, Ken (...) Wilber provides a path for re-envisioning a religion of the future that acknowledges the evolution of humanity in every realm while remaining faithful to that original spiritual vision. For the traditions to attract modern men and women, Wilber asserts, they must incorporate the extraordinary number of scientific truths learned about human nature in just the past hundred years—for example, about the mind and brain, emotions, and the growth of consciousness—that the ancients were simply unaware of and thus were unable to include in their meditative systems. Taking Buddhism as an example, Wilber demonstrates how his comprehensive Integral Approach—which is already being applied to several world religions by some of their adherents—can avert a “cultural disaster of unparalleled proportions”: the utter neglect of the glorious upper reaches of human potential by the materialistic postmodern worldview. Moreover, he shows how we can apply this approach to our own spiritual practice. This, his most sweeping work since Sex, Ecology, Spirituality, is a thrilling call for wholeness, inclusiveness, and unity in the religions of tomorrow. (shrink)

Jerry Fodor (Concepts: Where cognitive science went wrong. New York: Oxford University Press, 1998) famously argued that lexical concepts are unstructured. After examining the advantages and disadvantages of both the classical approach to concepts and Fodor's conceptual atomism, I argue that some lexical concepts are, in fact, structured. Roughly stated, I argue that structured lexical concepts bear a necessary biconditional entailment relation to their structural constituents. I develop this account of the structure of lexical concepts within the framework of Pavel (...) Tichy's (The foundations of Frege's logic. Berlin, New York: De Gruyter, 1988) theory of constructions. I argue that concepts are constructions which can be combined by way of Tichy's construction-forming operations of composition and closure and an additional operation, simplification, which I propose in section 6. The last of these construction-forming operations plays a central role in my account of lexical concept structure. Stated generally, structured lexical concepts are a result of simplifying their structural constituents. (shrink)

In this paper we show that being blameworthy for not blaming and being blameworthy for victim blaming are structurally similar. Each involve the two traditional contours of moral responsibility: a knowledge condition and a control condition. But interestingly, in these cases knowledge and control are importantly interrelated. Being in a relationship with another person affords us varying degrees of knowledge about them. This knowledge in turn affords agents in relationships varying degrees of influence over one another. Cases where an agent (...) is especially blameworthy for failing to blame a friend, a close colleague, or a spouse highlight this. The interdependence of these two conditions in interpersonal relationships sheds (partial) light on why victim blaming is morally wrong. We argue that victim blamers suffer from a kind of moral myopia by only focusing on what the victim could do, in virtue of their being in a relationship of some sort with their abuser, to avoid abuse. We focus specifically on cases where such moral myopia is fueled by misogynistic and hierarchical gender schema and scripts. (shrink)

The ethical nature of transformational leadership has been hotly debated. This debate is demonstrated in the range of descriptors that have been used to label transformational leaders including narcissistic, manipulative, and self-centred, but also ethical, just and effective. Therefore, the purpose of the present research was to address this issue directly by assessing the statistical relationship between perceived leader integrity and transformational leadership using the Perceived Leader Integrity Scale (PLIS) and the Multi-Factor Leadership Questionnaire (MLQ). In a national sample of (...) 1354 managers a moderate to strong positive relationship was found between perceived integrity and the demonstration of transformational leadership behaviours. A similar relationship was found between perceived integrity and developmental exchange leadership. A systematic leniency bias was identified when respondents rated subordinates vis-à-vis peer ratings. In support of previous findings, perceived integrity was also found to correlate positively with leader and organisational effectiveness measures. (shrink)

The Spectrum of Consciousness (1977)--one of the founding texts of transpersonal psychology--introduces the full-spectrum model, showing how the psychological systems of the West can be integrated with the contemplative traditions of the East. No Boundary: Eastern and Western Approaches to Personal Growth (1979) is a simple yet comprehensive guide to psychologies and therapies available from both Western and Eastern sources. Several important early articles: "The Psychologia Perennis," "Are the Chakras Real?" and "Where It Was, I Shall Become.".

The growing availability and consumption of Fairtrade products is recognised as one of the most widespread ethically inspired market developments, and as an example of activist-driven change within the wider marketing system. The Fairtrade Towns movement, now operating in over 1700 towns and cities globally, represents a comparatively recent extension of Fairtrade marketing driven by local activists seeking to promote positive change in production and consumption systems. This paper briefly explores the conventional framing of the role that ethically related activism (...) plays in the operation of markets and in influencing market participants. It then presents key insights gathered from a grounded theory exploration of Fairtrade Towns as activist-driven marketing systems, revealing the atypical nature of the activism involved. The findings demonstrate how local activists leverage their social networks to exert pressure and generate support to promote ethical consumption. The study suggests that Fairtrade Towns offer a new role for activists as Fairtrade itself becomes more mainstream, and considers the role they are fulfilling as ‘informal’ local marketers. The marketing dynamics revealed represent a complex and distinctive form of relational activism that seeks to build Fairtrade markets and highlight their positive benefits, with potential lessons for other local ethical market-building efforts in future. (shrink)