Boole: From Calculating Numbers to Calculating Thoughts

@inproceedings{Friend2010BooleFC,
  title={Boole: From Calculating Numbers to Calculating Thoughts},
  author={Mich{\`e}le Friend},
  booktitle={CiE},
  year={2010}
}
We are often taught in a first course in the history of logic or in the philosophy of mathematics that Frege singlehandedly invented second-order logic, and that there was no one close to his achievements before him. In a slightly more sophisticated version of the same course, a qualifying nod is made in the direction of Boole, who did “bring quantifiers to logic”. But the student is given the impression that Boole, like Frege, rose ex nihilo from the weedy wasteland of Aristotelian syllogistic… Expand
2 Citations
Mathematical and Technological Computability
Is the Principle of Contradiction a Consequence of $$x^{2}=x$$x2=x?
  • J. Béziau
  • Mathematics, Computer Science
  • Logica Universalis
  • 2018

References

SHOWING 1-2 OF 2 REFERENCES
An Investigation of the Laws of Thought
  • G. Boole
  • Mathematics, Computer Science
  • 1854
Elements of logic