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

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

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)

The current study extends previous literature regarding the effectiveness of learning about academic integrity through peer instruction by assessing the impact of a peer instructional approach for actual and perceived learning gains over time. One trained residence don provided one interactive 30-min presentation covering four major aspects of academic integrity and misconduct to groups of undergraduate students. In total, 192 participants attended the workshop and were surveyed for their knowledge of academic integrity immediately before the presentation, immediately after the presentation, (...) and after a four week delay. Perceptions regarding the presentation also were assessed. Consistent with previous literature, results indicate perceived learning gains and preference for having an interactive presentation delivered by a residence don. In addition, actual gains in knowledge were found immediately after the presentation and gains remained evident over a four-week delay. Outcomes suggest that peer instruction is a viable and effective approach for educating students about academic integrity. (shrink)

Homophobia is a real and widespread problem. It results in substantial health and welfare effects. It is a legitimate issue for health and welfare reform not only because it challenges the sincerity of policy makers who talk of human rights and social justice, but because people suffer. While this paper has focused on violence as an extreme of this phenomenon, there are many other health issues that are less well documented but of considerable importance. Because homophobia is so pervasive and (...) often sanctioned by the state, it is often viewed as the status quo and its health and welfare effects overlooked. (shrink)

Resilience thinking challenges us to reconsider the meaning of sustainability in a world that must constantly adapt in the face of gradual and at times catastrophic change. This volume further asks environmental education and resource management scholars to consider the relationship of environmental learning and behaviours to attributes of resilient social-ecological systems - attributes such as ecosystem services, innovative governance structures, biological and cultural diversity, and social capital. Similar to current approaches to environmental education and education for sustainable development, resilience (...) scholarship integrates social and ecological perspectives. The authors of _Resilience in social-ecological systems: the role of learning and education_ present a wealth of perspectives, integrating theory with reviews of empirical studies in natural resource management, and in youth, adult, and higher education. The authors explore the role of education and learning in helping social-ecological systems as they respond to change, through adaptation and transformation. This book also serves to integrate a growing literature on resilience and social learning in natural resources management, with research in environmental education and education for sustainable development. This book was originally published as a special issue of _Environmental Education Research_. (shrink)

During an Australian qualitative and empirical study looking at lesbian, gay, bisexual, and transgender client's experiences of counseling, and counselor's experiences of working with minority clients, a large body of unsolicited data emerged related to experiences of religious-based homophobia. Analysis of the data suggests that a lifelong process of posttraumatic recovery for many lesbian, gay, bisexual, and transgender people follows prior experiences of religious-based homophobia. This paper discusses the sociological debate related to how counselors find themselves at the crossroad between (...) a healthy lifestyle model of homosexuality based in well established contemporary professional ethics versus long standing religious-based attitudes and constraints toward homosexuality. This intersection of conflicting beliefs generates a controversial social and political environment in which counselors must make a basic decision to either support minority clients according to ethical guidelines or to side with socially conservative constructs that, rightly or wrongly, rely largely on Western religious traditions. (shrink)

Collaborative undergraduate research has been shown to benefit both student participants and faculty mentors, but it is much more widely practiced in the natural sciences than in the humanities. We argue that one key reason why collaborative undergraduate research is seldom practiced in philosophy is because we philosophers have been trained to conceive of ourselves as doing research in the stove-heated room of Descartes rather than in the agora of Socrates. We discuss two types of collaborative undergraduate research projects that (...) philosophers can conduct with students in the agora, namely, projects in traditional subdisciplines of philosophy and projects in the scholarship of teaching and learning in philosophy. We argue that some projects of each type can benefit participating students and faculty mentors alike. (shrink)

The Problem of Perception offers two arguments against direct realism--one concerning illusion, and one concerning hallucination--that no current theory of ...

A. H. Louie's More Than Life Itself is an exploratory journey in relational biology, a study of life in terms of the organization of entailment relations in living systems. This book represents a synergy of the mathematical theories of categories, lattices, and modelling, and the result is a synthetic biology that provides a characterization of life. Biology extends physics. Life is not a specialization of mechanism, but an expansive generalization of it. Organisms and machines share some common features, but organisms (...) are not machines. Life is defined by a relational closure that places it beyond the reach of physicochemical and mechanistic dogma, outside the reductionistic universe, and into the realm of impredicativity. Function dictates structure. Complexity brings forth living beings. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

This book argues for the use of nonideal theory in social ontology. The central claim is that a paradigm shift is underway in contemporary social ontology, from ideal to nonideal, and that this shift should be fully followed through. To develop and defend this central claim, the first step is to show that the key questions and central dividing lines within contemporary social ontology can be fruitfully reconstructed as a clash between two worlds, referred to as ideal and nonideal social (...) ontology. Ideal social ontology is characterized by consensus and cooperation, while nonideal social ontology is characterized by conflict and contestation. The second step is to show that, when taken together, objections to the standard model of ideal social ontology (the dominant version of ideal social ontology) imply that this model needs to be given up in favor of nonideal social ontology. In other words, we should look to nonideal rather than ideal social ontology for core concepts. The third step is to offer a positive account, called the power view, of nonideal social ontology. This account places the concept of social power at the core of a general theory of the social world and replaces the flat and narrow conception of power in ideal social ontology with a richer and more extensive conception. In addition, it rectifies a shortcoming in nonideal social ontology by attending to class, which has been notably and oddly overlooked in the literature. (shrink)

This companion is a cutting-edge primer to critical forms of the posthumanities and the feminist posthumanities, aimed at students and researchers who want to catch up with the recent theoretical developments in various fields in the humanities, such as new media studies, gender studies, cultural studies, science and technology studies, human animal studies, postcolonial critique, philosophy and environmental humanities. It contains a collection of nineteen new and original short chapters introducing influential concepts, ideas and approaches that have shaped and developed (...) new materialism, inhuman theory, critical posthumanism, feminist materialism, and posthuman philosophy. A resource for students and teachers, this comprehensive volume brings together established international scholars and emerging theorists, for timely and astute definitions of a moving target – posthuman humanities and feminist posthumanities. (shrink)