“SYMBOLIC LOGIC” IN MARY EVEREST BOOLE (1832–1916)[P] <https://ecc.historyofwomenphilosophers.org/#perma=%E2%80%9CSymbolic%20Logic%E2%80%9D%20in%20Mary%20Everest%20Boole%20(1832%E2%80%931916)>COLOMINA-ALMIÑANA JUAN J. [L] <https://ecc.historyofwomenphilosophers.org/#author=Colomina-Almi%C3%B1ana%20Juan%20J.>MILLS COLLEGE AT NORTHEASTERN UNIVERSITY
Mary Boole (*née*, Everest) understands symbolic logic not as a rigid mathematical calculus but as a method for training the mind to reason through symbols that express underlying mental operations. In her writings—especially on her commentaries to George Boole’s *Laws of Thought*—she frames symbolic logic as a developmental tool that reveals how abstract reasoning emerges from intuitive, often unconscious, cognitive patterns. Boole argues that symbolic logic should be understood as the practice of giving to our thoughts the same exactness we give our numerical calculations, for “the object of all symbolic methods is to make our mental processes as clear and exact as the symbols we use” (1890: 14). This formulation derives from the formal, algebraic method but reinterpreted through her views on educational philosophy. For she consistently stresses that symbolic logic is not merely a technical system but a form of “discipline” and “mental hygiene” (1911: 19), which cultivates clarity, self‑correction, and intellectual independence. Her pedagogical writings emphasize that children naturally engage in symbolic reasoning long before formal instruction. She famously describes symbolic logic as a way to “make conscious [in the child] the processes which Nature has already begun” (1904: 4), highlighting her belief that logical symbolism externalizes innate mental rhythms. This view aligns with her broader theory of the “laws of pulsation,” which she sees as the psychological foundation of correct reasoning. Her work, thus, aims to disseminate and humanize formal methods—particularly that of George Boole’s algebraic logic—for lay audiences, embedding it within a broader program of intellectual and moral development. To summarize, Boole sees symbolic logic as a pedagogical and psychological bridge between intuitive mental processes and formal algebraic logic. Her humanizing interpretation, thus, emphasizes the mind’s natural symbolic activity rather than the purely formal manipulation of signs. For Mary Boole, therefore, symbolic logic is not merely an algebraic system but also a psychological and educational method we can employ for cultivating disciplined, intuitive, and ethically grounded reasoning. Her interpretation remains significant for historians of logic and mathematics because it highlights the human, developmental dimension of symbolic reasoning—an aspect often overshadowed by the technical evolution of Boolean algebra. KEYWORDS - Formal logic <https://ecc.historyofwomenphilosophers.org/#keyword=formal%20logic> - Boolean algebra <https://ecc.historyofwomenphilosophers.org/#keyword=boolean%20algebra> - Pedagogy <https://ecc.historyofwomenphilosophers.org/#keyword=pedagogy> - Cognitive development <https://ecc.historyofwomenphilosophers.org/#keyword=cognitive%20development> - Intuitive reasoning <https://ecc.historyofwomenphilosophers.org/#keyword=intuitive%20reasoning> - History of mathematics <https://ecc.historyofwomenphilosophers.org/#keyword=history%20of%20mathematics> PRIMARY SOURCES - Boole, Mary Everest 1884. *Logic Taught by Love*. Boston: Alfred Mudge & Son. URL: Logic Taught by Love - Boole, Mary Everest 1904. *The Preparation of the Child for Science*. Oxford: Clarendon Press. URL: The preparation of the child for science: Boole, Mary Everest, 1832-1916: Free Download, Borrow, and Streaming: Internet Archive - Boole, Mary Everest 1911. *The Forcing of Passion into Power*. New York: Mitchell Kennerley. URL: The forging of passion into power: Boole, Mary Everest, 1832-1916: Free Download, Borrow, and Streaming: Internet Archive - Boole, Mary Everest 1931. *Collected Works* (4 volumes, edited by E. M. Cobham). London: C.W. Daniel Co. SECONDARY SOURCE - Valente, K.G 2010. Giving Wings to Logic: Mary Everest Boole’s Propagation and Fulfilment of a Legacy, in: *The British **J**ournal for the **H**istory of **S**cience*, vol. 43 (1), 49–74. URL: Giving wings to logic: Mary Everest Boole's propagation and fulfilment of a legacy | The British Journal for the History of Science | Cambridge Core doi:10.1017/S0007087409990380 ˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜ In connection with this new Entry, we would like to draw attention to one of the Center’s research projects: the *Encyclopedia of Concise Concepts by Women Philosophers <https://ecc.historyofwomenphilosophers.org/#hwps>* (ECC). The ECC is a collaborative, international project that responds to a significant gap in the history of philosophy: while many encyclopedias are organised by thinkers, schools, or disciplines, there has been no comprehensive resource dedicated specifically to the concepts developed by women philosophers. The aim of the ECC is therefore methodologically precise: leading scholars are invited to present, in a concise format (100–300 words), a specific philosophical concept as developed by a woman philosopher, accompanied by a focused bibliography. Interested in contributing to this growing repository of concepts? Further information: https://ecc.historyofwomenphilosophers.org/#hwps <https://www.instagram.com/explore/tags/hwps/> #womenhistory <https://www.instagram.com/explore/tags/womenhistory/> #philosophy <https://www.instagram.com/explore/tags/philosophy/> #symboliclogic <https://www.instagram.com/explore/tags/symboliclogic/> #logic <https://www.instagram.com/explore/tags/logic/> ˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜˜ Diversas entradas na ECC possuem, já, tradução ao português. Por favor, confiram a iniciativa, utilizem as referências e tragam mais mulheres para suas pesquisas. Há braços, G. -- Gisele D. Secco <https://philpeople.org/profiles/gisele-d-secco> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJf9ydsN0iPcT-hbXjK-skT5%3DHwZJxatwX%3DRLPKEL1TG4Q%40mail.gmail.com.
