George Boole

Definition and stakes

Portrait of George Boole George Boole,  The calculus of logic (1848)

“ We do not intend to say that those things which are not-s are s, but that things which are s are not-s. Now the class not-s is expressed by 1 - ; hence the proposition No s are s, or rather All s are not-s, will be expressed by
I. In the proposition Some s are s, or Some s are Some s, we might regard the Some in the subject and the Some in the predicate as having reference to the same arbitrary class , and so write
but it is less of an assumption to refrain from doing this. Thus we should write
' referring to another arbitrary class '.
”
Source: Gutenberg

Portrait of George Boole George Boole,  The calculus of logic (1848)

“ Undoubtedly the final aim of speculative logic is to assign the conditions which render reasoning possible, and the laws which determine its character and expression. The general axiom (A) and the laws (1) , (2) , (3) , appear to convey the most definite solution that can at present be given to this question. When we pass to the consideration of hypothetical propositions, the same laws and the same general axiom which ought perhaps also to be regarded as a law, continue to prevail ”
Source: Gutenberg

Get perspective with Kwize: daily news enlightened by great literature