Contemporaries such as Boole and Robertson were very critical towards Jevons's use of mathematical symbols in logic.    From Wordnik.com.  [William Stanley Jevons] Reference

Boole would interpret the symbols P, Q, R as names of classes.    From Wordnik.com.  [Model Theory] Reference

How could Boole justify the procedures of his algebra of logic?.    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

Was Boole using Aristotelian semantics (where class symbols were nonempty)?.    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

In retrospect it seems quite certain that Boole did not know why his system worked.    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

Boole spoke of this assump - tion as of a case of “equal distribution of ignorance.”.    From Wordnik.com.  [Dictionary of the History of Ideas] Reference

(One might contend that Boole is an exception as far as classical propositional logic is concerned.).    From Wordnik.com.  [Chores] Reference

White is the name assoiated with the Bantry Estate Papers which are in the Boole Library, UCC, Cork.    From Wordnik.com.  [Estate Papers « Cork Genealogist] Reference

Boole probably claims first position, because software developers invoke his name and work every day.    From Wordnik.com.  [The Volokh Conspiracy » People’s Names in Computing] Reference

In 1863 he wrote to Boole that surely Boole's operation of addition should be replaced by the more natural.    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

In other cases, the addition and subtraction operations were simply undefined, or as Boole wrote, uninterpretable.    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

Other topics include Boole & Babbage’s competition with IBM, and the founding 1968 NATO Software Engineering Conference.    From Wordnik.com.  [Oral history interview with Kenneth W. Kolence] Reference

(It is curious that prior to Chapter XV Boole did not present any examples of arguments involving particular propositions.).    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

Beyond Boole, there are a few other pre-digital-computer logicians whose names show up more or less often in computer discourse.    From Wordnik.com.  [The Volokh Conspiracy » People’s Names in Computing] Reference

Babbage-Boole Digital Arithmetical and Logical Mill: Part 2.    From Wordnik.com.  [December « 2009 « The Half-Baked Maker] Reference

Babbage-Boole Digital Arithmetical and Logical Mill: Part 1.    From Wordnik.com.  [December « 2009 « The Half-Baked Maker] Reference

Boole & Babbage, Inc. Citation: Kenneth W. Kolence, OH 348.    From Wordnik.com.  [Oral history interview with Kenneth W. Kolence] Reference

Continue reading about Introducing the Babbage-Boole Rodulator.    From Wordnik.com.  [November « 2009 « The Half-Baked Maker] Reference

Introducing the Babbage-Boole Rodulator « The Half-Baked Maker.    From Wordnik.com.  [Introducing the Babbage-Boole Rodulator « The Half-Baked Maker] Reference

Boole, George | computability and complexity | epsilon calculus |.    From Wordnik.com.  [Chores] Reference

“Boole and Mill: Differing Perspectives on Logical Psychologism.”.    From Wordnik.com.  [Psychologism] Reference

Thus Carroll's logic is logic in the tradition of Boole, Jevons, and Venn.    From Wordnik.com.  [VERBATIM: The Language Quarterly Vol V No 1] Reference

Wherein the Babbage-Boole Digital Arithmetical and Logical Mill is designed.    From Wordnik.com.  [December « 2009 « The Half-Baked Maker] Reference

Continue reading about Babbage-Boole Digital Arithmetical and Logical Mill: Part 2.    From Wordnik.com.  [December « 2009 « The Half-Baked Maker] Reference

Continue reading about Babbage-Boole Digital Arithmetical and Logical Mill: Part 1.    From Wordnik.com.  [December « 2009 « The Half-Baked Maker] Reference

It's on at 8: 00pm in Boole 1 on Thursday if anyone is interested in heading along.    From Wordnik.com.  [Stephen Spillane's My Opinion] Reference

Babbage-Boole Digital Arithmetical and Logical Mill: Part 1 « The Half-Baked Maker.    From Wordnik.com.  [Babbage-Boole Digital Arithmetical and Logical Mill: Part 1 « The Half-Baked Maker] Reference

Babbage-Boole Digital Arithmetical and Logical Mill: Part 2 « The Half-Baked Maker.    From Wordnik.com.  [Babbage-Boole Digital Arithmetical and Logical Mill: Part 2 « The Half-Baked Maker] Reference

Computer industry -- United States -- History; Coleman, Bruce T.; Boole & Babbage, Inc.; ADAPSO.    From Wordnik.com.  [Oral history interview with Bruce Coleman] Reference

It was with fine fervor animating him that he entered the gloomy offices of Mainprice, Mainprice & Boole.    From Wordnik.com.  [Something New] Reference

If De Morgan and Boole have had a priority in the case, to them we cheerfully shall resign the glory and honor.    From Wordnik.com.  [A Budget of Paradoxes, Volume II (of II)] Reference

For self and Boole, I point out what would have convinced either of us that this house is divided against itself.    From Wordnik.com.  [A Budget of Paradoxes, Volume II (of II)] Reference

The shutout was avoided in the 68th minute when freshman Josh Hacunda fired a shot in the box past Boole to put the Hillers on the board.    From Wordnik.com.  [The MetroWest Daily News Homepage RSS] Reference

Wednesday, February 10th at 8pm in Boole IV Lecture Theatre.    From Wordnik.com.  [Damien Mulley] Reference

It is curious that in 1854 Boole regarded as uninterpretable.).    From Wordnik.com.  [The Algebra of Logic Tradition] Reference

I think it’s time to design an ALU, the Babbage-Boole Digital Arithmetical and Logical Mill.    From Wordnik.com.  [Babbage-Boole Digital Arithmetical and Logical Mill: Part 1 « The Half-Baked Maker] Reference

(See the entry on Boole.).    From Wordnik.com.  [The Algebra of Logic Tradition] Reference