Jump to ContentJump to Main Navigation

You are looking at 1-4 of 4 items

  • Keywords: algebraic logic x
Clear All Modify Search

View:

The Algebraic Tradition of Logic

Jan von Plato

in The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Published in print:
2017
Published Online:
May 2018
ISBN:
9780691174174
eISBN:
9781400885039
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174174.003.0004
Subject:
History, History of Science, Technology, and Medicine

This chapter explores how algebraic logic began in 1847 when George Boole presented his “calculus of deductive reasoning” in a short book titled The Mathematical Analysis of Logic. His calculus ... More


The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato

Published in print:
2017
Published Online:
May 2018
ISBN:
9780691174174
eISBN:
9781400885039
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174174.001.0001
Subject:
History, History of Science, Technology, and Medicine

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. This book draws on original sources and rare ... More


The Continued Exercise of Reason: Public Addresses by George Boole

Brendan Dooley (ed.)

Published in print:
2018
Published Online:
September 2019
ISBN:
9780262535007
eISBN:
9780262345576
Item type:
book
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262535007.001.0001
Subject:
History, History of Science, Technology, and Medicine

George Boole (1815–1864), remembered by history as the developer of an eponymous form of algebraic logic, can be considered a pioneer of the information age not only because of the application of ... More


Introduction

Brendan Dooley (ed.)

in The Continued Exercise of Reason: Public Addresses by George Boole

Published in print:
2018
Published Online:
September 2019
ISBN:
9780262535007
eISBN:
9780262345576
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262535007.003.0001
Subject:
History, History of Science, Technology, and Medicine

This introductory chapter provides an overview of the life and work of George Boole. Boole is known for developing the system of algebraic logic, which eventually found an unexpected engineering ... More


View: