AI Chat AI Image Generator AI Video Text to Speech

On the Algebra in Boole's Laws of Thought

03/13/2018

∙

by Subhash Kak, et al.

∙

∙

This article explores the ideas that went into George Boole's development of an algebra for logical inference in his book The Laws of Thought. We explore in particular his wife Mary Boole's claim that he was deeply influenced by Indian logic and argue that his work was more than a framework for processing propositions. By exploring parallels between his work and Indian logic, we are able to explain several peculiarities of this work.

page 1

page 2

page 3

page 4

research

∙ 06/11/2019

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...

0 J. A. Bergstra, et al. ∙

research

∙ 04/01/2023

Logic is Algebra

Logic really is just algebra, given one uses the right kind of algebra, ...

0 Steven Obua, et al. ∙

research

∙ 04/07/2022

Three Laws of Technology Rise or Fall

Newton's laws of motion perfectly explain or approximate physical phenom...

0 Jianfeng Zhan, et al. ∙

research

∙ 07/20/2023

Logic and theory of representation

Underlying the theory of inferences, a primary task of logic is language...

0 Arnaud Plagnol, et al. ∙

research

∙ 01/13/2012

Ultrametric Model of Mind, II: Application to Text Content Analysis

In a companion paper, Murtagh (2012), we discussed how Matte Blanco's wo...

0 Fionn Murtagh, et al. ∙

research

∙ 11/13/2018

Programs as the Language of Science

Currently it is widely accepted that the language of science is mathemat...

0 Garry Pantelis, et al. ∙

research

∙ 03/05/2019

The Lustre Storage Architecture

This lengthy document often referred to as the "Lustre Book", contains a...

0 Peter Braam, et al. ∙