Books in the The MIT Press series

A provocative and probing argument showing how human beings can for the first time in history take charge of their moral fate.Is tribalism—the political and cultural divisions between Us and Them—an inherent part of our basic moral psychology? Many scientists link tribalism and morality, arguing that the evolved "moral mind” is tribalistic. Any escape from tribalism, according to this thinking, would be partial and fragile, because it goes against the grain of our nature. In this book, Allen Buchanan offers a counterargument: the moral mind is highly flexible, capable of both tribalism and deeply inclusive moralities, depending on the social environment in which the moral mind operates.We can't be morally tribalistic by nature, Buchanan explains, because quite recently there has been a remarkable shift away from tribalism and toward inclusiveness, as growing numbers of people acknowledge that all human beings have equal moral status, and that at least some nonhumans also have moral standing. These are what Buchanan terms the Two Great Expansions of moral regard. And yet, he argues, moral progress is not inevitable but depends partly on whether we have the good fortune to develop as moral agents in a society that provides the right conditions for realizing our moral potential. But morality need not depend on luck. We can take charge of our moral fate by deliberately shaping our social environment—by engaging in scientifically informed "moral institutional design.” For the first time in human history, human beings can determine what sort of morality is predominant in their societies and what kinds of moral agents they are.

An account of the concepts and intellectual structure of classical thermodynamics that reveals the subject's simplicity and coherence.

A Course in Game Theory presents the main ideas of game theory at a level suitable for graduate students and advanced undergraduates, emphasizing the theory's foundations and interpretations of its basic concepts. The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises.

Avant-garde theorist and architect Bernard Tschumi is equally well known for his writing and his practice. Architecture and Disjunction, which brings together Tschumi's essays from 1975 to 1990, is a lucid and provocative analysis of many of the key issues that have engaged architectural discourse over the past two decades—from deconstructive theory to recent concerns with the notions of event and program. The essays develop different themes in contemporary theory as they relate to the actual making of architecture, attempting to realign the discipline with a new world culture characterized by both discontinuity and heterogeneity. Included are a number of seminal essays that incited broad attention when they first appeared in magazines and journals, as well as more recent and topical texts.Tschumi's discourse has always been considered radical and disturbing. He opposes modernist ideology and postmodern nostalgia since both impose restrictive criteria on what may be deemed "legitimate" cultural conditions. He argues for focusing on our immediate cultural situation, which is distinguished by a new postindustrial "unhomeliness" reflected in the ad hoc erection of buildings with multipurpose programs. The condition of New York and the chaos of Tokyo are thus perceived as legitimate urban forms.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

The definitive edition of one of the most important scientific books of the twentieth century, setting out the conceptual structure underlying evolutionary biology.This classic work by Julian Huxley, first published in 1942, captured and synthesized all that was then known about evolutionary biology and gave a name to the Modern Synthesis, the conceptual structure underlying the field for most of the twentieth century. Many considered Huxley's book a popularization of the ideas then emerging in evolutionary biology, but in fact Evolution: The Modern Synthesis is a work of serious scholarship that is also accessible to the general educated public. It is a book in the intellectual tradition of Charles Darwin and Thomas Henry Huxley—Julian Huxley's grandfather, known for his energetic championing of Darwin's ideas. A contemporary reviewer called Evolution: The Modern Synthesis "the outstanding evolutionary treatise of the decade, perhaps the century.” This definitive edition brings one of the most important and successful scientific books of the twentieth century back into print. It includes the entire text of the 1942 edition, Huxley's introduction to the 1963 second edition (which demonstrates his continuing command of the field), and the introduction to the 1974 third edition, written by nine experts (many of them Huxley's associates) from different areas of evolutionary biology.

How the twenty-one-layer Apollo spacesuit, made by Playtex, was a triumph of intimacy over engineering. When Neil Armstrong and Buzz Aldrin stepped onto the lunar surface in July of 1969, they wore spacesuits made by Playtex: twenty-one layers of fabric, each with a distinct yet interrelated function, custom-sewn for them by seamstresses whose usual work was fashioning bras and girdles. This book is the story of that spacesuit. It is a story of the triumph over the military-industrial complex by the International Latex Corporation, best known by its consumer brand of "Playtex"—a victory of elegant softness over engineered hardness, of adaptation over cybernetics. Playtex's spacesuit went up against hard armor-like spacesuits designed by military contractors and favored by NASA's engineers. It was only when those attempts failed—when traditional engineering firms could not integrate the body into mission requirements—that Playtex, with its intimate expertise, got the job. In Spacesuit, Nicholas de Monchaux tells the story of the twenty-one-layer spacesuit in twenty-one chapters addressing twenty-one topics relevant to the suit, the body, and the technology of the twentieth century. He touches, among other things, on eighteenth-century androids, Christian Dior's New Look, Atlas missiles, cybernetics and cyborgs, latex, JFK's carefully cultivated image, the CBS lunar broadcast soundstage, NASA's Mission Control, and the applications of Apollo-style engineering to city planning. The twenty-one-layer spacesuit, de Monchaux argues, offers an object lesson. It tells us about redundancy and interdependence and about the distinctions between natural and man-made complexity; it teaches us to know the virtues of adaptation and to see the future as a set of possibilities rather than a scripted scenario.

The hidden material histories of music.Music is seen as the most immaterial of the arts, and recorded music as a progress of dematerialization—an evolution from physical discs to invisible digits. In Decomposed, Kyle Devine offers another perspective. He shows that recorded music has always been a significant exploiter of both natural and human resources, and that its reliance on these resources is more problematic today than ever before. Devine uncovers the hidden history of recorded music—what recordings are made of and what happens to them when they are disposed of. Devine''s story focuses on three forms of materiality. Before 1950, 78 rpm records were made of shellac, a bug-based resin. Between 1950 and 2000, formats such as LPs, cassettes, and CDs were all made of petroleum-based plastic. Today, recordings exist as data-based audio files. Devine describes the people who harvest and process these materials, from women and children in the Global South to scientists and industrialists in the Global North. He reminds us that vinyl records are oil products, and that the so-called vinyl revival is part of petrocapitalism. The supposed immateriality of music as data is belied by the energy required to power the internet and the devices required to access music online. We tend to think of the recordings we buy as finished products. Devine offers an essential backstory. He reveals how a range of apparently peripheral people and processes are actually central to what music is, how it works, and why it matters.

The career of the pioneering designer Muriel Cooper, whose work spanned media from printed book to software interface; generously illustrated in color.Muriel Cooper (1925-1994) was the pioneering designer who created the iconic MIT Press colophon (or logo)—seven bars that represent the lowercase letters "mitp” as abstracted books on a shelf. She designed a modernist monument, the encyclopedic volume The Bauhaus (1969), and the graphically dazzling and controversial first edition of Learning from Las Vegas (1972). She used an offset press as an artistic tool, worked with a large-format Polaroid camera, and had an early vision of e-books. Cooper was the first design director of the MIT Press, the cofounder of the Visible Language Workshop at MIT, and the first woman to be granted tenure at MIT's Media Lab, where she developed software interfaces and taught a new generation of designers. She began her four-decade career at MIT by designing vibrant printed flyers for the Office of Publications; her final projects were digital. This lavishly illustrated volume documents Cooper's career in abundant detail, with prints, sketches, book covers, posters, mechanicals, student projects, and photographs, from her work in design, teaching, and research at MIT.A humanist among scientists, Cooper embraced dynamism, simultaneity, transparency, and expressiveness across all the media she worked in. More than two decades after her career came to a premature end, Muriel Cooper's legacy is still unfolding. This beautiful slip-cased volume, designed by Yasuyo Iguchi, looks back at a body of work that is as contemporary now as it was when Cooper was experimenting with IBM Selectric typewriters. She designed design's future.

How non-IT managers can turn IT from an expensive liability into a cost-effective competitive tool.Firms spend more on information technology (IT) than on all other capital assets combined. And yet despite this significant cash outlay, businesses often end up with IT that is uneconomical and strategically feeble. What is missing in many organizations' IT strategy is the business acumen of managers from non-IT departments. This book presents tools for non-IT managers to turn IT from an expensive liability into a cost-effective competitive tool. It equips readers with the concepts and analytical skills necessary to understand IT needs and opportunities from both sides of the business-IT divide.Each chapter opens with a jargon decoder-nontechnical explanations of the key ideas in the chapter—and ends with a checklist summarizing non-IT factors to consider in IT decisions. Chapters cover such topics as infusing competitive firepower into IT strategy; amalgamating software and data for a hard-to-duplicate competitive advantage; making choices that meet today's business needs without handicapping future strategy; establishing who decides what about IT strategies; sourcing IT and its challenges; protecting IT assets against disaster in ways that IT professionals cannot; and recognizing the business potential of emerging technologies. Examples are drawn from large corporations, small businesses, and nonprofits around the world.The book is suitable for use in the MBA core IT course, and is aimed especially at students in professional or executive MBA programs. It will also be a valuable reference for managers.

A novel contribution to the age-old debate about free will versus determinism.

What altered states of consciousness—the dissolution of feelings of time and self—can tell us about the mystery of consciousness.During extraordinary moments of consciousness—shock, meditative states and sudden mystical revelations, out-of-body experiences, or drug intoxication—our senses of time and self are altered; we may even feel time and self dissolving. These experiences have long been ignored by mainstream science, or considered crazy fantasies. Recent research, however, has located the neural underpinnings of these altered states of mind. In this book, neuropsychologist Marc Wittmann shows how experiences that disturb or widen our everyday understanding of the self can help solve the mystery of consciousness. Wittmann explains that the relationship between consciousness of time and consciousness of self is close; in extreme circumstances, the experiences of space and self intensify and weaken together. He considers the emergence of the self in waking life and dreams; how our sense of time is distorted by extreme situations ranging from terror to mystical enlightenment; the experience of the moment; and the loss of time and self in such disorders as depression, schizophrenia, and epilepsy. Dostoyevsky reported godly bliss during epileptic seizures; neurologists are now investigating the phenomenon of the epileptic aura. Wittmann describes new studies of psychedelics that show how the brain builds consciousness of self and time, and discusses pilot programs that use hallucinogens to treat severe depression, anxiety, and addiction.If we want to understand our consciousness, our subjectivity, Wittmann argues, we must not be afraid to break new ground. Studying altered states of consciousness leads us directly to the heart of the matter: time and self, the foundations of consciousness.

How to rebuild higher education from the ground up for the twenty-first century.Higher education is in crisis. It is too expensive, ineffective, and impractical for many of the world's students. But how would you reinvent it for the twenty-first century—how would you build it from the ground up? Many have speculated about changing higher education, but Minerva has actually created a new kind of university program. Its founders raised the funding, assembled the team, devised the curriculum and pedagogy, recruited the students, hired the faculty, and implemented a bold vision of a new and improved higher education. This book explains that vision and how it is being realized.The Minerva curriculum focuses on "practical knowledge” (knowledge students can use to adapt to a changing world); its pedagogy is based on scientific research on learning; it uses a novel technology platform to deliver small seminars in real time; and it offers a hybrid residential model where students live together, rotating through seven cities around the world. Minerva equips students with the cognitive tools they need to succeed in the world after graduation, building the core competencies of critical thinking, creative thinking, effective communication, and effective interaction. The book offers readers both the story of this grand and sweeping idea and a blueprint for transforming higher education.

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.

An impassioned look at games and game design that offers the most ambitious framework for understanding them to date.As pop culture, games are as important as film or television—but game design has yet to develop a theoretical framework or critical vocabulary. In Rules of Play Katie Salen and Eric Zimmerman present a much-needed primer for this emerging field. They offer a unified model for looking at all kinds of games, from board games and sports to computer and video games. As active participants in game culture, the authors have written Rules of Play as a catalyst for innovation, filled with new concepts, strategies, and methodologies for creating and understanding games. Building an aesthetics of interactive systems, Salen and Zimmerman define core concepts like "play," "design," and "interactivity." They look at games through a series of eighteen "game design schemas," or conceptual frameworks, including games as systems of emergence and information, as contexts for social play, as a storytelling medium, and as sites of cultural resistance.Written for game scholars, game developers, and interactive designers, Rules of Play is a textbook, reference book, and theoretical guide. It is the first comprehensive attempt to establish a solid theoretical framework for the emerging discipline of game design.

Co-founder and co-editor of October magazine, a veteran of Artforum of the 1960s and early 1970s, Rosalind Krauss has presided over and shared in the major formulation of the theory of postmodernism.In this challenging collection of fifteen essays, most of which originally appeared in October, she explores the ways in which the break in style that produced postmodernism has forced a change in our various understandings of twentieth-century art, beginning with the almost mythic idea of the avant-garde. Krauss uses the analytical tools of semiology, structuralism, and poststructuralism to reveal new meanings in the visual arts and to critique the way other prominent practitioners of art and literary history write about art. In two sections, "Modernist Myths" and "Toward Postmodernism," her essays range from the problem of the grid in painting and the unity of Giacometti's sculpture to the works of Jackson Pollock, Sol Lewitt, and Richard Serra, and observations about major trends in contemporary literary criticism.