As Leis do Pensamento, mais precisamente, Uma Investigação das Leis do Pensamento nas Quais são Definidas as Teorias Matemáticas da Lógica e Probabilidade, foi um influente livro do século XIX escrito por George Boole, a segunda das suas duas monografias sobre lógica algébrica. Foi publicado em 1854. Boole era professor da University College Cork, na Irlanda.[1][2][3][4][5][6]
O trabalho de Boole fundamentou a disciplina da lógica algébrica. É comum, mas erroneamente, creditado como sendo a fonte da atual Álgebra booleana. Na verdade, a álgebra de Boole difere da moderna Álgebra booleana: na álgebra de Boole, A+B não pode ser interpretado como uma união de conjuntos, devido a permissibilidade de termos não interpretáveis no cálculo de Boole. Portanto, a álgebra na explicação de Boole não pode ser interpretada sobre conjuntos com a operação de união, interseção e complemento, como no caso da moderna Álgebra booleana. O trabalho de desenvolver o relato moderno da Álgebra booleana foi passado para os sucessores de Boole na tradicional lógica algébrica (Jevons 1869, Peirce 1880, Jevons 1890, Schröder 1890, Huntingdon 1904).[1][2][3][4][5][6]
- ↑ a b Boole, George (1854). An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. Macmillan. Reprinted with corrections, Dover Publications, New York, NY, 1958. (reissued by Cambridge University Press, 2009; ISBN 978-1-108-00153-3)
- ↑ a b Hailperin, T. (1976/1986). Boole's Logic and Probability. North Holland.
- ↑ a b Hailperin, T, (1981). Boole’s algebra isn’t Boolean algebra. Mathematics Magazine 54 (4): 172–184. Reprinted in A Boole Anthology (2000), ed. James Gasser. Synthese Library volume 291, Spring-Verlag.
- ↑ a b Jevons, W.S. (1869). The Substitution of Similars. Macmillan and Co.
- ↑ a b Peirce, C.S. (1880). On the algebra of logic. In American Journal of Mathematics 3 (1880).
- ↑ a b Boole (1854). An Investigation of the Laws of Thought. Walton & Maberly