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

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)

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)

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)