138 books match the query 'Logic' and 5 start with i

cover of Image and Logic: A Material Culture of Microphysics

Image and Logic

A Material Culture of Microphysics

Peter Galison

University of Chicago Press, 1997

"I want to get at the blown glass of the early cloud chambers and the oozing noodles of wet nuclear emulsion; to the resounding crack of a high-voltage spark arcing across a high-tension chamber and leaving the lab stinking of ozone; to the silent, darkened room, with row after row of scanners sliding trackballs across projected bubble-chamber images. Pictures and pulses—I want to know where they came from, how pictures and counts got to be the bottom-line data of physics." (from the preface)

Image and Logic is the most detailed engagement to date with the impact of modern technology on what it means to "do" physics and to be a physicist. At the beginning of this century, physics was usually done by a lone researcher who put together experimental apparatus on a benchtop. Now experiments frequently are larger than a city block, and experimental physicists live very different lives: programming computers, working with industry, coordinating vast teams of scientists and engineers, and playing politics.

Peter L. Galison probes the material culture of experimental microphysics to reveal how the ever-increasing scale and complexity of apparatus have distanced physicists from the very science that drew them into experimenting, and have fragmented microphysics into different technical traditions much as apparatus have fragmented atoms to get at the fundamental building blocks of matter. At the same time, the necessity for teamwork in operating multimillion-dollar machines has created dynamic "trading zones," where instrument makers, theorists, and experimentalists meet, share knowledge, and coordinate the extraordinarily diverse pieces of the culture of modern microphysics: work, machines, evidence, and argument.
[more]
cover of Implementing Typed Feature Structure Grammars

Implementing Typed Feature Structure Grammars

Ann Copestake

CSLI, 2001

Much of the work in modern formal linguistics is concerned with creating mathematically precise accounts of human languages—accounts that are particularly useful in research involving language processing with computers. Implementing Typed Feature Structure Grammars provides a student-level introduction to the most popular approach to this issue, and includes software that allows users to experiment with modeling different aspects of language.
[more]
cover of Induction: Socrates to Popper

Induction

Socrates to Popper

John P. McCaskey

University of Chicago Press, 2026

Charts the historical development of induction and challenges contemporary understandings of the concept and its foundations.

The problem of induction continues to vex and beguile. How can we reliably draw universal conclusions from limited observations? In Induction, John P. McCaskey steps back and rethinks long-held assumptions, tracing the ideas of Socrates and Aristotle in ancient Greece to those of Karl Popper in the twentieth century.

This comprehensive account does not look at how people of the past answered the questions we ask today. Instead, it asks: How did they understand the very meaning of the words epagōgē in Greek, inductio in Latin, istiqrāʾ in Arabic, Induktion in German, and induction in English? McCaskey’s careful treatment of texts in their context dispels many long-standing myths, and importantly, he introduces us to a now-unfamiliar way to think about what induction is—a way in which there simply is no “problem of induction.” McCaskey reveals that the problem was one of our own making and that an accurate history may help us recover old ways—and thereby introduce new ways—to think about the whole idea. A must-read for philosophers, historians of ideas, and anyone interested in the scientific method.

[more]
cover of Intention, Plans and Practical Reason

Intention, Plans and Practical Reason

Michael E. Bratman

CSLI, 1987

Michael E. Bratman develops a planning theory of intention. Intentions are treated as elements of partial plans of action. These plans play basic roles in practical reasoning, roles that support the organization of our activities over time and socially. Bratman explores the impact of this approach on a wide range of issues, including the relation between intention and intentional action, and the distinction between intended and expected effects of what one intends.
[more]
cover of Introduction to Philosophical Principles: Logic, Physics, and the Human Person, Third edition

Introduction to Philosophical Principles

Logic, Physics, and the Human Person, Third edition

Brian Kemple

St. Augustine's Press, 2026

[more]