Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
George Boole
Boole no consideraba la lógica como una rama de las matemáticas, como podría interpretarse por el título de su folleto anterior, pero señaló una profunda analogía entre los símbolos del álgebra y la representación simbólica, en su opinión, necesaria para representar formas lógicas y silogismos, haciendo coincidir la lógica formal con la matemática limitada al uso de operaciones con ceros y unos. Para unificar distintos sistemas de operadores lógicos, Boole organizó el universo de todos estos objetos imaginables; creando una notación simbólica adecuada a sus propósitos, con símbolos tales como x, y, z, v, u, etc., que utiliza para caracterizar los atributos correspondientes a adjetivos y sustantivos comunes. Propuso que las proposiciones lógicas se deben expresar en forma de ecuaciones algebraicas, de forma que la manipulación algebraica de los símbolos en las ecuaciones proporciona un método a prueba de fallos de la deducción lógica, es decir, la lógica se reduce al álgebra. Mediante el uso de símbolos, tales proposiciones se podrían reducir a la forma de ecuaciones, y la conclusión silogística a partir de dos premisas se obtiene eliminando el término medio de acuerdo con las reglas ordinarias algebraicas.