Language Proof and Logic is available as a physical book with the software included and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at gradegrinder.net.
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 (philosophy, mathematics, and computer science) to a first graduate logic course.
The software package includes four programs:
Tarski's World, 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 (tautology, tautological consequence, etc.);
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 and Macintosh 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 gradegrinder.net.
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.
Heralded as “the crowning work of a great career,” Logic: The Theory of Inquiry was widely reviewed. To Evander Bradley McGilvary, the work assured Dewey “a place among the world’s great logicians.”
William Gruen thought “No treatise on logic ever written has had as direct and vital an impact on social life as Dewey’s will have.”
Paul Weiss called it “the source and inspiration of a new and powerful movement.”
Irwin Edman said of it, “Most philosophers write postscripts; Dewey has made a program. His Logic is a new charter for liberal intelligence.”
Ernest Nagel called the Logic an impressive work. Its unique virtue is to bring fresh illumination to its subject by stressing the roles logical principles and concepts have in achieving the objectives of scientific inquiry.”
Typescripts, essays, and an authoritative edition of Knowing and the Known, Dewey’s collaborative work with Arthur F. Bentley.
In an illuminating Introduction T. Z. Lavine defines the collaboration's three goals—the "construction of a new language for behavioral inquiry," "a critique of formal logicians, in defense of Dewey’s Logic," and "a critique of logical positivism." In Dewey’s words: "Largely due to Bentley, I’ve finally got the nerve inside of me to do what I should have done years ago."
"What Is It to Be a Linguistic Sign or Name?" and "Values, Valuations, and Social Facts,’ both written in 1945, are published here for the first time.
With the exception of The Quest for Certainty (Volume 4) this fifth volume brings together Dewey’s writings for the 1929–1930 period.
During this time Dewey published 4 books and 50 articles on philosophical, educational, political, and social issues. His philosophical essays include “What Humanism Means to Me” and “What I Believe,” both of which express Dewey’s faith in man’s potentialities and intelligence, and a lively Journal of Philosophy exchange with Ernest Nagel, William Ernest Hocking, C. I. Lewis, and F. J. E. Woodbridge. Educational writings include The Sources of a Science of Education. The contents of this volume reflect Dewey’s increasing involvement in social and political problems.
Any sound practical philosophy must be clear on practical concepts—concepts, in particular, of life, action, and practice. This clarity is Michael Thompson’s aim in his ambitious work. In Thompson’s view, failure to comprehend the structures of thought and judgment expressed in these concepts has disfigured modern moral philosophy, rendering it incapable of addressing the larger questions that should be its focus.
In three investigations, Thompson considers life, action, and practice successively, attempting to exhibit these interrelated concepts as pure categories of thought, and to show how a proper exposition of them must be Aristotelian in character. He contends that the pure character of these categories, and the Aristotelian forms of reflection necessary to grasp them, are systematically obscured by modern theoretical philosophy, which thus blocks the way to the renewal of practical philosophy. His work recovers the possibility, within the tradition of analytic philosophy, of hazarding powerful generalities, and of focusing on the larger issues—like “life”—that have the power to revive philosophy.
As an attempt to relocate crucial concepts from moral philosophy and the theory of action into what might be called the metaphysics of life, this original work promises to reconfigure a whole sector of philosophy. It is a work that any student of contemporary philosophy must grapple with.
Logic and Pragmatism features a number of the key writings of Giovanni Vailati (1863–1909), the Italian mathematician and philosopher renowned for his work in mechanics, geometry, logic, and epistemology. The selections in this book—many of which are available here for the first time in English—focus on Vailati’s significant contributions to the field of pragmatism. Accompanying these pieces are introductory essays by the volume’s editors that outline the traits of Vailati’s pragmatism and provide insights into the scholar’s life.
This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
As headlines about cash-rich corporations filing for Chapter 11 are appearing more and more frequently, bankruptcy law has come under sharp public scrutiny. Critics feel that irresponsible corporations and individuals may be using the law unfairly. In this clearly written book, legal scholar Thomas H. Jackson identifies the underlying principles of bankruptcy law and develops an economic/psychological analysis of its main problems—a framework that permits him to view the field as a whole rather than as a collection of disparate policies and historical artifacts.
Dealing first with the use of bankruptcy to adjust creditors’ relations among themselves, Jackson shows that individual creditors will attempt to recover as much of the bankrupt firm’s assets as they can. But to maximize the value of the assets, the creditors must act collectively to apportion them according to the priority of entitlements that existed before the bankruptcy.
This is a claim with sweeping implications, and Jackson not only supports it convincingly but examines in some detail the various consequences of adopting it. He takes up several of the most controversial issues in bankruptcy policy today, including the treatment in bankruptcy of collective labor agreements and the recognition of unmatured tort claims of the kind involved in the Manville bankruptcy. His thoughtful analysis arrives at results that are consistent with his economic framework but that espouse no single political ideology.
Turning then to the right of a financial fresh start for debtors who are not firms but human beings, Jackson thaws on recent ideas in psychology to explain why the right exists and why it cannot be waived.
He thus provides a comprehensive scheme for evaluating the principal features of the existing bankruptcy system and for comparing them with past and future alternatives. The book will be of keen interest not only to the specialist but also to those who want to know more about the institution of bankruptcy and its place in our legal system.
This book develops an original theory of group and organizational behavior that cuts across disciplinary lines and illustrates the theory with empirical and historical studies of particular organizations. Applying economic analysis to the subjects of the political scientist, sociologist, and economist, Mancur Olson examines the extent to which the individuals that share a common interest find it in their individual interest to bear the costs of the organizational effort.
The theory shows that most organizations produce what the economist calls “public goods”—goods or services that are available to every member, whether or not he has borne any of the costs of providing them. Economists have long understood that defense, law, and order were public goods that could not be marketed to individuals, and that taxation was necessary. They have not, however, taken account of the fact that private as well as governmental organizations produce public goods.
The services the labor union provides for the worker it represents, or the benefits a lobby obtains for the group it represents, are public goods: they automatically go to every individual in the group, whether or not he helped bear the costs. It follows that, just as governments require compulsory taxation, many large private organizations require special (and sometimes coercive) devices to obtain the resources they need. This is not true of smaller organizations for, as this book shows, small and large organizations support themselves in entirely different ways. The theory indicates that, though small groups can act to further their interest much more easily than large ones, they will tend to devote too few resources to the satisfaction of their common interests, and that there is a surprising tendency for the “lesser” members of the small group to exploit the “greater” members by making them bear a disproportionate share of the burden of any group action.
All of the theory in the book is in Chapter 1; the remaining chapters contain empirical and historical evidence of the theory’s relevance to labor unions, pressure groups, corporations, and Marxian class action.
The Logic of Disorder presents for the first time to the English-speaking world the writings of seminal Mexican contemporary artist Abraham Cruzvillegas. Renowned for his sculptures and drawings, Cruzvillegas’s artistic practice ranges from pedagogy to performance. It is through his writings, however, that we can best recognize the impressive depth of knowledge and theoretic clarity of an artist whose work never ceases to impress audiences across the globe.
Each of the texts included in this volume is fully annotated and is accompanied by a number of critical studies by leading curators and scholars, including Claudio Lomnitz of Columbia University and Mark Godfrey from Tate Modern.
Janice Schuetz investigates the felony trials of nine American women from colonial Salem to the present: Rebecca Nurse, tried for witchcraft in 1692; Mary E. Surratt, tried in 1865 for assisting John Wilkes Booth in the assassination of Abraham Lincoln; Lizzie Andrew Borden, tried in 1892 for the ax murder of her father and stepmother; Margaret Sanger, tried in 1915, 1917, and 1929 for her actions in support of birth control; Ethel Rosenberg, tried in 1951 for aiding the disclosure of secrets of the atom bomb to the Soviets; Yvonne Wanrow, tried in 1974 for killing a man who molested her neighbor’s daughter; Patricia Campbell Hearst, tried in 1975 for bank robbery as a member of the Symbionese Liberation Army; Jean Harris, tried in 1982 for killing Herman Tarnower, the Diet Doctor; and Darci Kayleen Pierce, tried in 1988 for kidnapping and brutally murdering a pregnant woman, then removing the baby from the woman’s womb.
In her analysis, Schuetz is careful to define these trials as popular trials. Characteristically, popular trials involve persons, issues, or crimes of social interest that attract extensive public interest and involvement. Such trials make a contribution to the ongoing historical dialogue about the meaning of justice and the legal system, while reflecting the values of the time and place in which they occur.
Schuetz examines the kinds of communication that transpired and the importance of gender in the trials by applying a different current rhetorical theory to each trial text. In every chapter, she explains her chosen interpretive theory, compares that framework with the discourse of the trial, and makes judgments about the meaning of the trial texts based on the interpretive theory.
“A remarkable book capable of reshaping what one takes philosophy to be.”
—Cora Diamond, Kenan Professor of Philosophy Emerita, University of Virginia
Could there be a logical alien—a being whose ways of talking, inferring, and contradicting exhibit an entirely different logical shape than ours, yet who nonetheless is thinking? Could someone, contrary to the most basic rules of logic, think that two contradictory statements are both true at the same time? Such questions may seem outlandish, but they serve to highlight a fundamental philosophical question: is our logical form of thought merely one among many, or must it be the form of thought as such?
From Descartes and Kant to Frege and Wittgenstein, philosophers have wrestled with variants of this question, and with a range of competing answers. A seminal 1991 paper, James Conant’s “The Search for Logically Alien Thought,” placed that question at the forefront of contemporary philosophical inquiry. The Logical Alien, edited by Sofia Miguens, gathers Conant’s original article with reflections on it by eight distinguished philosophers—Jocelyn Benoist, Matthew Boyle, Martin Gustafsson, Arata Hamawaki, Adrian Moore, Barry Stroud, Peter Sullivan, and Charles Travis. Conant follows with a wide-ranging response that places the philosophical discussion in historical context, critiques his original paper, addresses the exegetical and systematic issues raised by others, and presents an alternative account.
The Logical Alien challenges contemporary conceptions of how logical and philosophical form must each relate to their content. This monumental volume offers the possibility of a new direction in philosophy.
READERS
Browse our collection.
PUBLISHERS
See BiblioVault's publisher services.
STUDENT SERVICES
Files for college accessibility offices.
UChicago Accessibility Resources
home | accessibility | search | about | contact us
BiblioVault ® 2001 - 2024
The University of Chicago Press