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

I appreciate very much the thoroughness with which Jocelyne St-Arnaud has analyzed the text of my paper. As she points out, the major source of difference between our approach to the authors under consideration derives from a preference for an ethical and political perspective on her side and a preference for a metaphysical perspective on mine. However, there are a few key points in interpretation that need to be addressed which go beyond this central difference in orientation.

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

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)

This pioneering study by Sister Prudence Allen traces the concept of woman in relation to man in more than seventy philosophers from ancient and medieval traditions. The fruit of ten years' work, this study uncovers four general categories of questions asked by philosophers for two thousand years. These are the categories of opposites, of generation, of wisdom, and of virtue. Sister Prudence Allen traces several recurring strands of sexual and gender identity within this period. Ultimately, she shows the (...) paradoxical influence of Aristotle on the question of woman and on a philosophical understanding of sexual coomplemenarity. Supplemented throughout with helpful charts, diagrams, and illustrations, this volume will be an important resource for scholars and students in the fields of women's studies, philosophy, history, theology, literary studies, and political science. (shrink)

Why is it that we watch _Mad Men_ and think it represents a period? Flashes of patterned wallpaper, whiskey neat, babies born that are never mentioned, contact lining for kitchen drawers, Ayn Rand, polaroids, skinny ties, Hilton hotels, Walter Cronkite, and a time when Don Draper can ask ‘What do women want?’ and dry old Roger Sterling can reply ‘Who Cares?’ This essay explores the embrace of period detail in _Mad Men_ finding it to be both loving and fetishistic, and (...) belonging, like all period film, to the politics of the present. (shrink)

This Collision explores the relationship between Object-Oriented Ontology theory, the “aesthetic experience” of a contemporary artwork (Iris Haussler’s He dreamed overtime from 2012) and the creeping hand of fiction. OOO is a useful theory to apply to contemporary art, as it charts a philosophical return to all things as objects, rather than their relations or networks. It is also timely for understanding the changing nature of multi-media art, wherein experience, interactivity, spectatorial agency and contingent narratives are key.

“Hijack” has etymological connotations of force. It is intended here as a purposeful turn away from expert authority and from singular authorship, towards a more expanded sphere of multiple experience in art aesthetics. If there is a hijacking force in art, it is the dynamic desire to reclaim the impossible and the unexpected. These qualities are evident in telepathy as a system of transmitted aesthetic information. Isabelle Stengers, who has investigated the role of the charlatan, might urge us to follow (...) such a turn away from regulated forms of sensory information and repurpose telepathy as a propagated extra-sensory activity. Like the charlatan or other maligned characters of ill repute, the art writer who responds to the essence of the artwork through participation rather than judgment becomes the outsider and, in this case, the telepath. This paper addresses the work of Australian artist Jacquelene Drinkall as an aggregate of telepathic transmissions, ripe for hijacking. I argue that a telepathic hijack, as an unexpected reclamation and as a method of aesthetic experimentation, can be enacted as a speculative form of art writing. Telepathy in art and of art allows a writing with the artwork. By this I mean that a super-sensory and speculative mode of writing can exist beside the artwork, rather than in judgment of it. This is a divergence from an overt critique of art through established constructs of history, origin or relations alone. In this paper I will explore the concept of telepathy as a quality of speculative aesthetics, which is distinguished by contingent change, variable outcomes and meandering. I will focus on: telepathic art transmissions as a hijack of conventional aesthetics; Jacquelene Drinkall’s telepathic artwork as an interrupted experience; and Isabelle Stengers’ figure of the charlatan. (shrink)

The wasteland and the wilding: the aesthetic of abandoned and reclaimed green spaces -- Green man: human-plant hybrids -- Robotany and aesthetics -- Bio rights: earth of agonies and eco-punks -- Eco-feminism: plants as becoming-woman -- Ungrounding plant life: the after-effects -- On rhizomes and dead trees.

This study examines rivers as a literary phenomenon, particularly in the poetry of Vergil. It first considers the Greco-Roman understanding of the river in its primary symbolic roles, cosmological, ritual and ethnographical, and then analyzes the river as a literary device, arguing that descriptions of rivers in Roman poetry are, in many cases, a form of authorial comment on the progress or structure of a narrative.

v. 1. The Aristotelian revolution, 750 BC-AD 1250 -- v. 2. The early humanist Reformation, 1250-1500.

To know the shape is to enjoy the information it embodies.In his classic work of lithic scrying, The Writing of Stones, Roger Caillois suggests that the pareidoliac's interpretation of a stone's pattern depends upon her own personal internalized database of stored images, a database defined by the cultural stock of mediated imagery forged and embellished by personal memory, emotion and psychical topography. For Caillois, "the vision the eye records is always impoverished and uncertain. Imagination fills it with the treasures of (...) memory and knowledge." Caillois's own database was one defined in a pre-digitized, barely computerized world. His meditations on Agates, Jaspers and Septaria evoked for him a world of... (shrink)

Abstract:Water lilies flourish in clusters and hormonally communicate together within their community. They can self-reproduce and have mobility across the water surface, being both earthed and waterborne. The capacities of water lilies are further evidence that plants require critical and cultural examination, as companion species, and that plants require an accompanying shift in human perception of their vegetal status. This paper addresses the feminist nature of the water lily and develops a connection between plant biology and the creation of models (...) for cultural practice, ethical living and a better understanding of plants. (shrink)

Today a “new” field of philosophy has emerged which can be called simply “The Philosophy of Man and Woman”. Paradoxically, it is a field of study with a long and impressive history which began when the pre-Socratic philosophers first questioned their own identity in the midst of the world. Their questions fall into four broad areas:1. How is the male “opposite” to the female?2. What roles do male and female play in the generation and identity of offspring?3. Are women and (...) men wise in the same or different ways?4. Are women and men good in the same or different ways? (shrink)