Lenguaje científico
Una misma lengua no se emplea siempre igual. Hay circunstancias que hacen
que aparezcan rasgos especiales, siendo la misma lengua. Cuando esas
peculiaridades están motivadas por el tema del que se trata, hablamos
de lenguajes especiales (lenguaje humanístico, lenguaje técnico, etcétera).
Cada área del saber exige expresiones y rasgos de estilo propios.
Lenguaje formalizado
Para otros usos de este término, véase Lenguaje formal.
El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de
expresiones y significados». Es una de las características esenciales dellenguaje
científico.1 Incluso hay autores que llegan a opinar que la ciencia en sí misma no es más
que un lenguaje. Esto es especialmente notable e importante en la lógica y
las matemáticas.
lógica simbólica
La lógica se define como la ciencia del razonamiento, o como el estudio de los
métodos y principios usados para distinguir el razonamiento correcto del
incorrecto. Por su parte, lalógica simbólica es el estudio de la lógica mediante la
matemática, es decir, que incorpora la exactitud y rigor matemáticos.
George Boole
(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemático
británico. Procedía de una familia venida a menos y tuvo que desestimar la
idea de convertirse en monje al verse obligado a mantener a sus padres.
A los dieciséis años enseñaba matemáticas en un colegio privado y más
tarde fundó uno propio. A los veintecuatro años, tras la publicación de su
primer escrito, pudo ingresar en Cambridge, pero desestimó la oferta, de
nuevo a causa de sus deberes respecto a su familia. En 1849 fue nombrado
profesor de matemáticas del Queen’s College, en Cork, donde permaneció
el resto de su vida.
El gran descubrimiento de Boole fue aplicar una serie de símbolos a
operaciones lógicas y hacer que estos símbolos y operaciones –por elección
cuidadosa– tuvieran la misma estructura lógica que el álgebra convencional.
En el álgebra de Boole, los símbolos podían manipularse según reglas fijas
que producirían resultados lógicos.
Gottfried Wilhelm Leibniz
(Gottfried Wilhelm von Leibniz; Leipzig, actual Alemania, 1646 - Hannover,
id., 1716) Filósofo y matemático alemán. Su padre, profesor de filosofía
moral en la Universidad de Leipzig, falleció cuando Leibniz contaba seis
años. Capaz de escribir poemas en latín a los ocho años, a los doce empezó
