front cover of Language, Proof, and Logic
Language, Proof, and Logic
Second Edition
Dave Barker-Plummer, Jon Barwise, and John Etchemendy
CSLI, 2011

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.

[more]

front cover of The Later Works of John Dewey, Volume 12, 1925 - 1953
The Later Works of John Dewey, Volume 12, 1925 - 1953
1938, Logic: The Theory of Inquiry
John Dewey. Edited by Jo Ann Boydston
Southern Illinois University Press, 2008

Heralded as “the crowning work of a great career,” Logic: The Theory of Inquiry was widely reviewed. To Evander Bradley McGilvary, the work assured De­wey “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 phi­losophers write postscripts; Dewey has made a program. His Logic is a new charter for liberal intelligence.”

Ernest Nagel called the Logic an im­pressive work. Its unique virtue is to bring fresh illumination to its subject by stressing the roles logical principles and concepts have in achieving the ob­jectives of scientific inquiry.”

[more]

front cover of The Later Works of John Dewey, Volume 16, 1925 - 1953
The Later Works of John Dewey, Volume 16, 1925 - 1953
1949 - 1952, Essays, Typescripts, and Knowing and the Known
John Dewey. Edited by Jo Ann Boydston
Southern Illinois University Press, 2008

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.

[more]

front cover of The Later Works of John Dewey, Volume 5, 1925 - 1953
The Later Works of John Dewey, Volume 5, 1925 - 1953
1929-1930, Essays, The Sources of a Science of Education, Individualism, Old and New, and Construction and Criticism
John Dewey. Edited by Jo Ann Boydston
Southern Illinois University Press, 2008

With the exception of The Quest for Cer­tainty (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 intel­ligence, and a lively Journal of Philoso­phy exchange with Ernest Nagel, Wil­liam 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 re­flect Dewey’s increasing involvement in social and political problems.

[more]

front cover of The Later Works of John Dewey, Volume 8, 1925 - 1953
The Later Works of John Dewey, Volume 8, 1925 - 1953
1933, Essays and How We Think, Revised Edition
John Dewey. Edited by Jo Ann Boydston
Southern Illinois University Press, 2008
This volume also includes a collection of essays entitled The Educational Fron­tier, Dewey’s articles on logic, the out­lawry of war, and philosophy for the En­cyclopedia of the Social Sciences, and his reviews of Alfred North Whitehead’s Adventures of Ideas, Martin Schutze’s Academic Illusions in the Field of Let­ters and the Arts, and Rexford G. Tugwell’s Industrial Discipline and the Governmental Arts.
[more]

front cover of Leading a Human Life
Leading a Human Life
Wittgenstein, Intentionality, and Romanticism
Richard Eldridge
University of Chicago Press, 1997
In this provocative new study, Richard Eldridge presents a highly original and compelling account of Wittgenstein's Philosophical Investigations, one of the most enduring yet enigmatic works of the twentieth century. He does so by reading the text as a dramatization of what is perhaps life's central motivating struggle—the inescapable human need to pursue an ideal of expressive freedom within the difficult terms set by culture.

Eldridge sees Wittgenstein as a Romantic protagonist, engaged in an ongoing internal dialogue over the nature of intentional consciousness, ranging over ethics, aesthetics, and philosophy of mind. The picture of the human mind that emerges through this dialogue unsettles behaviorism, cognitivism, and all other scientifically oriented orthodoxies. Leading a human life becomes a creative act, akin to writing a poem, of continuously seeking to overcome both complacency and skepticism. Eldridge's careful reconstruction of the central motive of Wittgenstein's work will influence all subsequent scholarship on it.
[more]

front cover of Lectures on Linear Logic
Lectures on Linear Logic
A. S. Troelstra
CSLI, 1992
Linear logic is an example of a "resource-sensitive" logic, keeping track of the number of times data of given types are used. Formulas in linear logic represent either the data themselves or data types, whereas in ordinary logic a formula is a proposition. If ordinary logic is a logic of truth, linear logic is a logic of actions. Linear logic and its implications are explored in depth in this volume. Particular attention has been given to the various formalisms for linear logic, embeddings of classical and intuitionistic logic into linear logic, the connection with certain types of categories, the "formulas-as-types" paradigm for linear logic and associated computational interpretations, and Girard's proof nets for classical linear logic as an analogue of natural deduction. It is also shown that linear logic is undecidable. A final section, contributed by D. Roorda, presents a proof of strong normalization for cut elimination in linear logic. Linear logic is of interest to logicians and computer scientists, and shows links with many other topics, such as coherence theorems in category theory, the theory of Petri nets, and abstract computing machines without garbage collection
[more]

front cover of Life and Action
Life and Action
Elementary Structures of Practice and Practical Thought
Michael Thompson
Harvard University Press, 2012

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.

[more]

front cover of Listening for Africa
Listening for Africa
Freedom, Modernity, and the Logic of Black Music's African Origins
David F. Garcia
Duke University Press, 2017
In Listening for Africa David F. Garcia explores how a diverse group of musicians, dancers, academics, and activists engaged with the idea of black music and dance’s African origins between the 1930s and 1950s. Garcia examines the work of figures ranging from Melville J. Herskovits, Katherine Dunham, and Asadata Dafora to Duke Ellington, Dámaso Pérez Prado, and others who believed that linking black music and dance with Africa and nature would help realize modernity’s promises of freedom in the face of fascism and racism in Europe and the Americas, colonialism in Africa, and the nuclear threat at the start of the Cold War. In analyzing their work, Garcia traces how such attempts to link black music and dance to Africa unintentionally reinforced the binary relationships between the West and Africa, white and black, the modern and the primitive, science and magic, and rural and urban. It was, Garcia demonstrates, modernity’s determinations of unraced, heteronormative, and productive bodies, and of scientific truth that helped defer the realization of individual and political freedom in the world.
[more]

front cover of The Literary Work of Art
The Literary Work of Art
An Investigation of the Borderlines of Ontology, Logic, and Theory of Language
Roman Ingarden
Northwestern University Press, 1973
This long-awaited translation of Das literarische Kunstwerk makes available for the first time in English Roman Ingarden's influential study. Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and mode of existence.

The Literary Word of Art establishes the groundwork for a philosophy of literature, i.e., an ontology in terms of which the basic general structure of all lliterary works can be determined. This "essential anatomy" makes basic tools and concepts available for rigorous and subtle aesthetic analysis.
[more]

front cover of Logic and Automata
Logic and Automata
History and Perspectives
Edited by Jörg Flum, Erich Grädel, and Thomas Wilke
Amsterdam University Press, 2008
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
 
[more]

front cover of Logic and Pragmatism
Logic and Pragmatism
Selected Essays by Giovanni Vailati
Claudia Arrighi, Paola Cantu, Mauro de Zan, and Patrick Suppes
CSLI, 2009

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.

[more]

front cover of Logic and Representation
Logic and Representation
Robert C. Moore
CSLI, 1993
Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge to a variety of problems in artificial intelligence, natural language semantics, and the philosophy of mind and language. Particular attention is paid to modeling and reasoning about knowledge and belief, including reasoning about one's own beliefs, and the semantics of sentences about knowledge and belief. Robert C. Moore begins by exploring the role of logic in artificial intelligence, considering logic as an analytical tool., as a basis for reasoning systems, and as a programming language. He then looks at various logical analyses of propositional attitudes, including possible-world models, syntactic models, and models based on Russellian propositions. Next Moore examines autoepistemic logic, a logic for modeling reasoning about one's own beliefs. Rounding out the volume is a section on the semantics of natural language, including a survey of problems in semantic representation; a detailed study of the relations among events, situations, and adverbs; and a presentation of a unification-based approach to semantic interpretation. Robert C. Moore is principal scientist of the Artificial Intelligence Center of SRI International.
[more]

logo for University of Chicago Press
Logic and Sin in the Writings of Ludwig Wittgenstein
Philip R. Shields
University of Chicago Press, 1992
Philip R. Shields shows that ethical and religious concerns inform even the most technical writings on logic and language, and that, for Wittgenstein, the need to establish clear limitations is both a logical and an ethical demand. Rather than merely saying specific things about theology and religion, major texts from the Tractatus to the Philosophical Investigations express their fundamentally religious nature by showing that there are powers which bear down upon and sustain us. Shields finds a religious view of the world at the very heart of Wittgenstein's philosophy.

"Shields argues that the appearance throughout Wittgenstein's writings of such concepts as ritual, limit, transgression, a change of will, pride, temptation, and judgment implies a relation between religion and the logical aspects of Wittgenstein's philosophy."—Choice

"Of the many recent books about Wittgenstein, Logic and Sin is one of the very few that are well worth having"—Fergus Kerr, Modern Theology

"What Shields has uncovered in Wittgenstein's religious sensibility is something genuine and profound. . . . Shields has not just written an important book on Wittgenstein but an enlightening work that invites further reflection."—Eric O. Springsted, Cross Currents
[more]

front cover of Logic and the Art of Memory
Logic and the Art of Memory
The Quest for a Universal Language
Paolo Rossi
University of Chicago Press, 2001
The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied by an examination of the history of the idea of a universal language.

Based on comprehensive analyses of original texts, Rossi traces the development of this idea from late medieval thinkers such as Ramon Lull through Bruno, Bacon, Descartes, and finally Leibniz in the seventeenth century. The search for a symbolic mode of communication that would be intelligible to everyone was not a mere vestige of magical thinking and occult sciences, but a fundamental component of Renaissance and Enlightenment thought. Seen from this perspective, modern science and combinatorial logic represent not a break from the past but rather its full maturity.

Available for the first time in English, this book (originally titled Clavis Universalis) remains one of the most important contributions to the history of ideas ever written. In addition to his eagerly anticipated translation, Steven Clucas offers a substantial introduction that places this book in the context of other recent works on this fascinating subject. A rich history and valuable sourcebook, Logic and the Art of Memory documents an essential chapter in the development of human reason.
[more]

front cover of Logic and the Foundations of Game and Decision Theory (LOFT 7)
Logic and the Foundations of Game and Decision Theory (LOFT 7)
Edited by Giacomo Bonanno, Wiebe van der Hoek, and Michael Wooldridge
Amsterdam University Press, 2008

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.

[more]

logo for Harvard University Press
Logic and the Limits of Bankruptcy Law
Thomas H. Jackson
Harvard University Press, 1986

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.

[more]

front cover of Logic and Visual Information
Logic and Visual Information
Eric M. Hammer
CSLI, 1995

front cover of Logic as a Liberal Art
Logic as a Liberal Art
An Introduction to Rhetoric and Reasoning
R. E. Houser
Catholic University of America Press, 2020
In the twenty-first century there are two ways to study logic. The more recent approach is symbolic logic. The history of teaching logic since World War II, however, casts doubt on the idea that symbolic logic is best for a first logic course. Logic as a Liberal Art is designed as part of a minority approach, teaching logic in the "verbal" way, in the student's "natural" language, the approach invented by Aristotle. On utilitarian grounds alone, this "verbal" approach is superior for a first course in logic, for the whole range of students. For millennia, this "verbal" approach to logic was taught in conjunction with grammar and rhetoric, christened the trivium. The decline in teaching grammar and rhetoric in American secondary schools has led Dr. Rollen Edward Houser to develop this book. The first part treats grammar, rhetoric, and the essential nature of logic. Those teachers who look down upon rhetoric are free, of course, to skip those lessons. The treatment of logic itself follows Aristotle's division of the three acts of the mind (Prior Analytics 1.1). Formal logic is then taken up in Aristotle's order, with Parts on the logic of Terms, Propositions, and Arguments. The emphasis in Logic as a Liberal Art is on learning logic through doing problems. Consequently, there are more problems in each lesson than would be found, for example, in many textbooks. In addition, a special effort has been made to have easy, medium, and difficult problems in each Problem Set. In this way the problem sets are designed to offer a challenge to all students, from those most in need of a logic course to the very best students.
[more]

front cover of Logic Colloquium '92
Logic Colloquium '92
Edited by Lázló Csirmaz, Dov M. Gabbay, and Maarten de Rijke
CSLI, 1995
Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszpre;m, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.
[more]

front cover of Logic, Convention, and Common Knowledge
Logic, Convention, and Common Knowledge
A Conventionalist Account of Logic
Paul F. Syverson
CSLI, 2002
One of the fundamental theses of this book is that logical consequence and logical truth are not simply given, but arise as conventions among the users of logic. Thus Syverson explains convention within a game-theoretic framework, as a kind of equilibrium between the strategies of players in a game where they share common knowledge of events—a revisiting of Lewis's Convention that argues that convention can be reasonably treated as coordination equilibria. Most strikingly, a realistic solution is provided for Gray's classic coordination problem, wherein two generals can only communicate with each other through unreliable means.
[more]

front cover of Logic, Langage and Computation, Volume 2
Logic, Langage and Computation, Volume 2
Edited by Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke
CSLI, 1999
The fields of logic, linguistics and computer science are intimately related, and modern research has uncovered a wide range of connections. This collection focuses on work that is based on the unifying concept of information. This collection of nineteen papers covers subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. They were all presented at the 1996 Conference on Information-Theoretic Approaches to Logic, Language, Information, and Computation.
[more]

front cover of Logic, Language and Computation
Logic, Language and Computation
Edited by Jerry Seligman and Dag Westerståhl
CSLI, 1996
Subject: Linguistics; Logic; Computational Linguistics
[more]

front cover of Logic, Language and Computation, Volume 3
Logic, Language and Computation, Volume 3
Edited by Patrick Blackburn, Nick Braisby, Lawrence Cavedon, and Atsushi Shimoji
CSLI, 2001
With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bringing together ideas from diverse perspectives, this book presents the emerging consensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on the underlying ideas, and technical research that pins down the richer notions of information from a mathematical point of view.

The book contains contributions to a general theory of information, while also tackling specific problems from artificial intelligence, formal semantics, cognitive psychology, and the philosophy of mind. There is focus on the dynamics of information flow, and also a consideration of static approaches to information content; both quantitative and qualitative approaches are represented.
[more]

front cover of Logic, Language, and Meaning, Volume 1
Logic, Language, and Meaning, Volume 1
Introduction to Logic
L. T. F. Gamut
University of Chicago Press, 1990
Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.

Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic.

In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.
[more]

front cover of Logic, Language, and Meaning, Volume 2
Logic, Language, and Meaning, Volume 2
Intensional Logic and Logical Grammar
L. T. F. Gamut
University of Chicago Press, 1990
Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.
[more]

front cover of Logic, Language, and the Structure of Scientific Theories
Logic, Language, and the Structure of Scientific Theories
Wesley C. Salmon
University of Pittsburgh Press, 1994
This volume honors and examines the founders of the philosophy of logical empiricism. Historical and interpretive essays clarify the scientific philosophies of Carnap, Reichenbach, Hempel, Kant, and others, while exploring the main topics of logical empiricist philosophy of science.
[more]

front cover of Logic, Laws, and Life
Logic, Laws, and Life
Some Philosophical Complications
Robert G. Colodny
University of Pittsburgh Press, 1977
This volume centers on philosophical issues of the life sciences, particularly genetics and psychology, and the relevance of statistical data as the foundation for inductive reasoning in areas such as vaccination testing, population genetics, evolutionary theory, and natural selection.  Also discussed is the role of psychology in defining thought processes, experiences, and behaviors and their subsequent relation to scientific discovery, and advancing knowledge of the human condition and human potential.
[more]

front cover of Logic, Logic, and Logic
Logic, Logic, and Logic
George Boolos
Harvard University Press, 1998
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
[more]

front cover of The Logic of Being
The Logic of Being
Realism, Truth, and Time
Paul M. Livingston
Northwestern University Press, 2017
In The Logic of Being, Paul Livingston examines the relationship of truth and time from a perspective that draws on Martin Heidegger’s thought and twentieth-century analytic philosophy. In his influential earlier work The Politics of Logic, Livingston elaborated an innovative “formal” or “metaformal" realism. Here he extends this concept into a “temporal realism” that accounts for the reality of temporal change and becoming while also preserving realism about logic and truth.

Livingston's formal and phenomenological analysis articulates and defends a realist position about being, time, and their relationship that understands that all of these are structured and constituted in a way that does not depend on the human mind, consciousness, or subjectivity. This approach provides a basis for new logically and phenomenologically based accounts of the structure of linguistic truth in relation to the appearance of objects and of the formal structure of time as given. 

Livingston draws on philosophers from Plato and Aristotle to Davidson and Heidegger in this exploration. In it, readers and scholars will discover innovative connections between continental and analytic philosophy.
[more]

front cover of The Logic of Collective Action
The Logic of Collective Action
Public Goods and the Theory of Groups, With a New Preface and Appendix
Mancur Olson, Jr.
Harvard University Press, 1965

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.

[more]

front cover of The Logic of Decision
The Logic of Decision
Richard C. Jeffrey
University of Chicago Press, 1990
"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, Journal of Philosophy
[more]

front cover of The Logic of Decision and Action
The Logic of Decision and Action
Nicholas Rescher
University of Pittsburgh Press, 1967
The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties in specifying the structure of action sentences to elucidate how their meaning depends on that structure. G. H. von Wright devises a method for describing each “state of the world” that results from an action, in a revision of his own earlier work. Additionally, a study of the logic of norms by Alan Ross Anderson is presented as an appendix, along with an appendix by Rescher outlining the aspects of action.
[more]

front cover of The Logic of Delegation
The Logic of Delegation
D. Roderick Kiewiet and Mathew D. McCubbins
University of Chicago Press, 1991
Why do majority congressional parties seem unable to act as an effective policy-making force? They routinely delegate their power to others—internally to standing committees and subcommittees within each chamber, externally to the president and to the bureaucracy. Conventional wisdom in political science insists that such delegation leads inevitably to abdication—usually by degrees, sometimes precipitously, but always completely.

In The Logic of Delegation, however, D. Roderick Kiewiet and Mathew D. McCubbins persuasively argue that political scientists have paid far too much attention to what congressional parties can't do. The authors draw on economic and management theory to demonstrate that the effectiveness of delegation is determined not by how much authority is delegated but rather by how well it is delegated.

In the context of the appropriations process, the authors show how congressional parties employ committees, subcommittees, and executive agencies to accomplish policy goals. This innovative study will force a complete rethinking of classic issues in American politics: the "autonomy" of congressional committees; the reality of runaway federal bureaucracy; and the supposed dominance of the presidency in legislative-executive relations.
[more]

front cover of The Logic of Desire
The Logic of Desire
Aquinas on Emotion
Nicholas E. Lombardo, O.P.
Catholic University of America Press, 2011
Focusing on the Summa theologiae, Nicholas Lombardo contributes to the recovery, reconstruction, and critique of Aquinas's account of emotion in dialogue with both the Thomist tradition and contemporary analytic philosophy
[more]

logo for Harvard University Press
The Logic of Disorder
The Art and Writing of Abraham Cruzvillegas
Robin Adele Greeley
Harvard University Press

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.

[more]

front cover of The Logic of Invention
The Logic of Invention
Roy Wagner
HAU, 2018
In this long-awaited sequel to The Invention of Culture, Roy Wagner tackles the logic and motives that underlie cultural invention. Could there be a single, logical factor that makes the invention of the distinction between self and other possible, much as specific human genes allow for language?
 
Wagner explores what he calls “the reciprocity of perspectives” through a journey between Euro-American bodies of knowledge and his in-depth knowledge of Melanesian modes of thought. This logic grounds variants of the subject/object transformation, as Wagner works through examples such as the figure-ground reversal in Gestalt psychology, Lacan’s theory of the mirror-stage formation of the Ego, and even the self-recursive structure of the aphorism and the joke. Juxtaposing Wittgenstein’s and Leibniz’s philosophy with Melanesian social logic, Wagner explores the cosmological dimensions of the ways in which different societies develop models of self and the subject/object distinction. The result is a philosophical tour de force by one of anthropology’s greatest mavericks.
 
[more]

logo for Northwestern University Press
The Logic of Opposites
Alane Rollings
Northwestern University Press, 1998
In her fourth collection of poetry, Alane Rollings grapples with the power and potency of philosophical and psychological opposites. Written by a poet who has suffered from bipolar illness, these paired poems represent opposites in both mood and perspective: they are confessional without being autobiographical; intimate while maintaining a curious detachment; utterly serious, yet often seductively casual in tone.
[more]

front cover of The Logic of Religion
The Logic of Religion
Jude P. Dougherty
Catholic University of America Press, 2003
The Logic of Religion presents an examination of the nature of religion from a philosophical perspective. In successive chapters classical, medieval, and modern authors are canvassed for their views.
[more]

front cover of The Logic of Social Research
The Logic of Social Research
Arthur L. Stinchcombe
University of Chicago Press, 2005
Arthur L. Stinchcombe has earned a reputation as a leading practitioner of methodology in sociology and related disciplines. Throughout his distinguished career he has championed the idea that to be an effective sociologist, one must use many methods. This incisive work introduces students to the logic of those methods.

The Logic of Social Research orients students to a set of logical problems that all methods must address to study social causation. Almost all sociological theory asserts that some social conditions produce other social conditions, but the theoretical links between causes and effects are not easily supported by observation. Observations cannot directly show causation, but they can reject or support causal theories with different degrees of credibility. As a result, sociologists have created four main types of methods that Stinchcombe terms quantitative, historical, ethnographic, and experimental to support their theories. Each method has value, and each has its uses for different research purposes.

Accessible and astute, The Logic of Social Research offers an image of what sociology is, what it's all about, and what the craft of the sociologist consists of.
[more]

front cover of The Logic of Society
The Logic of Society
A Philosophical Study
Laird Addis
University of Minnesota Press, 1975
The Logic of Society was first published in 1975.In recent years challenges have arisen from various quarters, even within analytic philosophy itself, to the positivist conception of science, especially in its application to history and other social sciences. From a neo-positivist viewpoint Professor Addis attempts to meet some of these challenges. Underlying his work are the beliefs that every even that occurs, including human choices and actions, is capable of being given an explanation of the hypothetico-deductive sort, that the task of all the sciences therefore is the search for knowledge of a lawful kind, and that this knowledge is to be had only by methods which are similar throughout the sciences.The author’s neo-positivism is qualified in various ways: among others by an insistence on the necessity of a metaphysical basis for the philosophy of history and other social sciences and the contention that none of the social sciences, at least as their limits of investigation are usually conceived, can expect ever to have theories of the scope and reliability of the most highly developed sciences.The chapters deal with several traditional and contemporary issues in the philosophy of history and social sciences. Among them are the nature of social reality, the possibility of reducing sociological explanations to psychological explanations, the limits and possibilities of social theory, historical explanation, and historicism and the laws of historical development. Thinker whose ideas are given substantial treatment are Durkheim, Marx, Ortega y Gasset, Popper, Plamenatz, and MacIntyre. Other theorists who are discussed critically include Sartre, Lenin, Hook, Brodbeck, and Donagan.
[more]

front cover of The Logic of the Lure
The Logic of the Lure
John Paul Ricco
University of Chicago Press, 2002
The attraction of a wink, a nod, a discarded snapshot—such feelings permeate our lives, yet we usually dismiss them as insubstantial or meaningless. With The Logic of the Lure, John Paul Ricco argues that it is precisely such fleeting, erotic, and even perverse experiences that will help us create a truly queer notion of ethics and aesthetics, one that recasts sociality and sexuality, place and finitude in ways suggested by the anonymity and itinerant lures of cruising. Shifting our attention from artworks to the work that art does, from subjectivity to becoming, and from static space to taking place, Ricco considers a variety of issues, including the work of Doug Ischar, Tom Burr, and Derek Jarman and the minor architecture of sex clubs, public restrooms, and alleyways.
[more]

front cover of The Logic of Women on Trial
The Logic of Women on Trial
Case Studies of Popular American Trials
Janice Schuetz
Southern Illinois University Press, 1994

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.

[more]

front cover of The Logical Alien
The Logical Alien
Conant and His Critics
Sofia Miguens
Harvard University Press, 2019

“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.

[more]

front cover of Logical Reasoning with Diagrams and Sentences
Logical Reasoning with Diagrams and Sentences
Using Hyperproof
Dave Barker-Plummer, Jon Barwise, and John Etchemendy
CSLI, 2016
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics, and computer science.

Unlike traditional formal treatments of reasoning, this package uses both graphical and sentential representations to reflect common situations in everyday reasoning where information is expressed in many forms, such as finding your way to a location using a map and an address. It also teaches students how to construct and check the logical validity of a variety of proofs—of consequence and non-consequence, consistency and inconsistency, and independence—using an intuitive proof system which extends standard proof treatments with sentential, graphical, and heterogeneous inference rules, allowing students to focus on proof content rather than syntactic structure. Building upon the widely used Tarski’s World and Language, Proof and Logic courseware packages, Logical Reasoning with Diagrams and Sentences contains more than three hundred exercises, most of which can be assessed by the Grade Grinder online assessment service; is supported by an extensive website through which students and instructors can access online video lectures by the authors; and allows instructors to create their own exercises and assess their students’ work.

Logical Reasoning with Diagrams and Sentences is an expanded revision of the Hyperproof courseware package.
[more]

front cover of Logics of Time and Computation
Logics of Time and Computation
Robert Goldblatt
CSLI, 1992
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7
[more]

front cover of Love and Logic
Love and Logic
The Evolution of Blake's Thought
Stephen Cox
University of Michigan Press, 1992
William Blake is usually regarded as the greatest poet of mysticism in the English language. His primary theme is love - love of God, love of the Divine Humanity that he often equated with God, and the sexual love that he regarded sometimes as an embodiment and sometimes as a parody of divine love. For Blake, love was not so much a virtue as a problem, a problem that he reassessed in different ways throughout his life, using a variety of logical tools. Love and logic may seem an unusual pair of concerns, especially for a visionary poet, but author Stephen Cox believes that in Blake's work the problems of love and logic evolve together, constantly influencing each other and determining the structure of the poet's vision. 

Scholars who have come to view Blake as a visionary whose work followed nonlinear processes have advanced the notion that his artistic achievement defies conventional interpretation. Love and Logic challenges the tendency in postmodern criticism to see authors and readers as confined by history, language, and logic, denied the ability discover truth or to communicate it in determinate form. Love and Logic emphasizes Blake's ambitious quest for truth, his desire to keep telling the story of human and divine love until he got it right, using all the strategies of logic available to him. 
[more]


Send via email Share on Facebook Share on Twitter