Sentential Probability Logic

Origins, Development, Current Status, and Technical Applications

Theodore Hailperin

This study presents a logic in which probability values play a semantic role comparable to that of truth values in conventional logic. The difference comes in the semantic definition of logical consequence. It will be of interest to logicians, both philosophical and mathematical, and to investigators making use of logical inference under uncertainty, such as in operations research, risk analysis, artificial intelligence, and expert systems.

Believing in the value of historically informed presentation, author Theodore Hailperin includes three chapters tracing origins, beginning with a discussion of Leibniz, who was the first to envision a probability logic. Also discussed in detail are the initial results relating probability and logic due to Jakob Bernoulli and continued to J. H. Lambert. The next two chapters deal with the nineteenth-century work of Bolzano, De Morgan, and Boole, and the twentieth-century topic of probabilistic inference.

The fourth chapter introduces an original form of logic in which probability values play a semantic role comparable to that of truth values in conventional verity logic. Serving to distinguish probability logic from verity logic, both of which nevertheless share a common formal syntax, is the key semantic notion of logical consequence.

The fifth chapter covers an extension of probability logic that includes conventional probability. Involved is a new logical notion, that of the suppositional (B, supposing that A is the case) replacing the ordinary conditional (B, if A). Hailperin cites a number of valid logical consequences with conditional probabilities including an especially interesting example, Boole's Challenge Problem. A concluding section compares this semantically based logic with an algebraically based approach to conditional events due to I. R. Goodman and H. T. Nguyen.

The final chapter looks at some applications in which the treatment is most natural from the viewpoint of probability logic. Using the logical representation of combinational circuits having switches or gates, the problem of determining the probability of a gate being activated, given the probabilities of input gates being activated, is the same as that of a sentence being a probability logical consequence of certain other sentences. Examples of this are described in connection with circuit fault testing and fault trees. Some final examples illustrate uses of probability logic in problems of network reliability. Also noted is its close affinity to the transmission of uncertainty in (verity) logical inference.

ISBN

9781611460247 (RLPG)

9780934223459 (AUP)

Price

$85.00

Year

1996

Lehigh University Press - Sentential Probability Logic

Recent Praise for LUP Books

Poe and Women: Recognition and Revision, Edited by Amy Branam Armiento and Travis Montgomery

Review in the Journal of Gender Studies

"This engaging collection redresses the balance of Poe studies to consider his work from the perspective of women, those in his works and those reading them. . . . [It] offers a welcome emphasis on the irrepressibility of women in his work who ‘die but do not stay dead’"

-- Sara Williams, University of Hull

Book cover, Gender, Poetry, and the Form of Thought in Later Medieval Literature

Gender, Poetry, and the Form of Thought in Later Medieval Literature, Edited by Jennifer Jahner and Ingrid Nelson

Review in the Journal of English and Germanic Philology:

Very much in the spirit of Robertson's many impacts on our field, this collection opens a range of fascinating apertures into the medieval literary world that promise to be useful, both to fellow scholars and in a variety of literature classrooms.

--Emily Houlik-Ritchey, Rice University

New Directions in Medieval Mystical and Devotional Literature, Edited by Amy N. Vines and Lee Templeton

New Directions in Medieval Mystical and Devotional Literature not only makes a fitting tribute to a beloved scholar and teacher; it constitutes a significant contribution to the field in its own right. The essays in this beautifully presented book will be essential reading for anyone interested in late-medieval vernacular theology and its reception, both in England and beyond.

--Nicholas Watson, professor of English, Harvard University

Placing Charlotte Smith, Edited by Elizabeth A. Dolan and Jacqueline M. Labbe

Dolan and Labbe’s wide-ranging yet cohesive collection of essays offers a comprehensive and convincing breadth that succeeds in its mission of placing Charlotte Smith. Beyond Smithian scholarship, the volume comes at a prescient time.

--Heather Heckman-McKenna University of Missouri-Columbia

Wife of Bath in Afterlife: Ballads to Blake, by Betsy Bowden

Bowden delves into each case study so expansively that at the end of reading the book, the reader has been immersed in many different eighteenth-century cultural worlds. This is an immensely learned and valuable book that dares to be different and, as a result, breaks new ground.

-- Marion Turner, Jesus College, University of Oxford

Our Osage Hills: Toward an Osage Ecology and Tribalography of the Early Twentieth Century, Edited by Michael Snyder

Our Osage Hills: Toward an Osage Ecology and Tribalography of the Early Twentieth Century is a significant work. Snyder uses Mathews’ columns as a window into Mathews’ understanding of the Osage, its geology, its flora and fauna, as well as its human inhabitants.

-- Ruby Hansen Murray, Osage News