paint-brush
On Syllogism.by@georgeboole

On Syllogism.

by George Boole
George Boole HackerNoon profile picture

George Boole

@georgeboole

George Boole: Self-taught English mathematician and first math professor at...

October 31st, 2023
Read on Terminal Reader
Read this story in a terminal
Print this story
Read this story w/o Javascript
Read this story w/o Javascript
tldt arrow

Too Long; Didn't Read

These examples may suffice to illustrate the employment of the method in particular instances. But its applicability to the demonstration of general theorems is here, as in other cases, a more important feature. I subjoin the results of a recent investigation of the Laws of Syllogism. While those results are characterized by great simplicity and bear, indeed, little trace of their mathematical origin, it would, I conceive, have been very difficult to arrive at them by the examination and comparison of particular cases.

People Mentioned

Mention Thumbnail

George Boole

@boolegeorge

featured image - On Syllogism.
1x
Read by Dr. One voice-avatar

Listen to this story

George Boole HackerNoon profile picture
George Boole

George Boole

@georgeboole

George Boole: Self-taught English mathematician and first math professor at Queen's College, Cork.

Learn More
LEARN MORE ABOUT @GEORGEBOOLE'S
EXPERTISE AND PLACE ON THE INTERNET.

The Calculus of Logic by George Boole, is part of the HackerNoon Books Series. You can jump to any chapter in this book here. On Syllogism.

On Syllogism.

The forms of categorical propositions already deduced are


image


image


image

the two first of which are similarly convertible into


image

If now the two premises of any syllogism are expressed by equations of the above forms, the elimination of the common symboly will lead us to an equation expressive of the conclusion.


image


the elimination of y gives


image


the interpretation of which is


image

image


image


the elimination of y gives


image


which is interpretable into Some Zs are Xs. It is always necessary that one term of the conclusion should be interpretable by means of the equations of the premises. In the above case both are so.


image


Instead of directly eliminating y let either equation be transformed by solution as in (19). The first gives


image

image


image


the interpretation of which is


No Zs are Xs.


Had we directly eliminated y, we should have had


image


the reduced solution of which is


image

in which w is an arbitrary elective symbol. This exactly agrees with the former result.


These examples may suffice to illustrate the employment of the method in particular instances. But its applicability to the demonstration of general theorems is here, as in other cases, a more important feature. I subjoin the results of a recent investigation of the Laws of Syllogism. While those results are characterized by great simplicity and bear, indeed, little trace of their mathematical origin, it would, I conceive, have been very difficult to arrive at them by the examination and comparison of particular cases.




About HackerNoon Book Series: We bring you the most important technical, scientific, and insightful public domain books.


This book is part of the public domain. George Boole (2022). The calculus of logic. Urbana, Illinois: Project Gutenberg. Retrieved October 2022 https://www.gutenberg.org/cache/epub/69512/pg69512-images.html


This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org, located at https://www.gutenberg.org/policy/license.html.

L O A D I N G
. . . comments & more!

About Author

George Boole HackerNoon profile picture
George Boole@georgeboole
George Boole: Self-taught English mathematician and first math professor at Queen's College, Cork.

TOPICS

THIS ARTICLE WAS FEATURED IN...

Permanent on Arweave
Read on Terminal Reader
Read this story in a terminal
 Terminal
Read this story w/o Javascript
Read this story w/o Javascript
 Lite
Coffee-web

Mentioned in this story

profiles