Lenguaje formalizado

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 del lenguaje 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.

Índice
El lenguaje natural y el lenguaje artificial
Proceso de formalización
El ideal de un lenguaje perfecto
La Antigüedad y la Edad Media
La Edad Moderna
La Edad Contemporánea
Intuicionismo y formalismo
La informática como lenguaje formalizado
Véase también
Notas y referencias
Bibliografía
Enlaces externos

El lenguaje natural y el lenguaje artificial

Las lenguas naturales son propias de la especie humana, y Ejemplo de un texto escrito en español
cada una de ellas es el vehículo de comunicación de una cuyo contenido requiere una información de
determinada colectividad; tienen un aprendizaje en gran formalización lingüística que poco tiene que
medida gobernado por factores innatos y culturales y un uso ver con el uso natural de dicha lengua
inconsciente en los primeros años de vida. Los lenguajes
artificiales y formales suponen una creación consciente, El tratamiento de los núcleos singulares e
metódica, regida por convenciones arbitrarias y establecidas hipersingulares se realiza de la siguiente
manera. En primer lugar, se realiza una
por los especialistas. Se requiere un aprendizaje deliberado y
elemental transformación mediante un
planificado para usarlas con algún propósito.
desarrollo en serie (Guiggiani et al., 1992,
Mantic, 1994), y posteriormente los
Mientras los lenguajes naturales tienden hacia su
términos de la ecuación resultante se
diversificación, los artificiales tienden a su universalización: regularizan analíticamente dando lugar a
las matemáticas, el esperanto o el dominio del latín en su una serie de integrales que son a lo sumo
momento y el inglés actualmente, no como lenguaje débilmente singulares y pueden
expresivo, sino como lenguaje-instrumento para el integrarse numéricamente sin dificultad.
conocimiento científico-técnico, independiente de su
Los requerimientos de continuidad en el
punto de colocación, asociados a la
dimensión de lenguaje expresivo.
Ecuación Integral de Contorno (EIC) en
tracciones, se consigue empleando una
técnica denominada Método de
Colocación Múltiple, que se basa en la
El número de campos en los que podemos considerar el idea desarrollada por Gallego y
proceso de formalización de un lenguaje es muy amplio. Los Domínguez (1966) en 2D. Todas estas
mapas, señales de tráfico, morse, etc.; el mismo arte y la
transformaciones se desarrollan de forma
analítica previamente a cualquier
publicidad en lo que tienen de moda y técnica requieren cierta
discretización, por lo que el resultado final
formalización en los procesos expresivos. es una nueva expresión de la EIC en
tracciones, de carácter general, que
En cuanto al uso, los naturales son los que empleamos en la
habrá que implementar en un código de
vida corriente, son nuestro modo de expresión habitual; elementos de contorno.
mientras que los artificiales tienden a un uso restrictivo en sus
diversos ámbitos científicos, o contextos técnicos o Solís M. (2007) Modelo numérico
comerciales.2
tridimensional de sólidos
transversalmente isótropos y
Y esto ocurre porque el lenguaje natural lo que tiene de piezoeléctricos fisurados. Tesis,
Universidad de Sevilla.
riqueza expresiva lo tiene de ambigüedad e imprecisión, y por
lo mismo de falta de rigor.

¿Cómo quieres que vaya de noche a verte si el perro de tu padre sale a morderme?

La frase anterior sólo en el contexto pragmático puede tener un significado determinado; si no es el caso que el autor de la
expresión, irónicamente, esté jugando precisamente con la equivocidad y anfibología que da un doble sentido a la expresión en un
juego meramente retórico.

Ejemplo de una expresión formalizada para ser aplicada a una situación concreta

La ciencia necesita ante todo rigor, y restringe el uso de determinados términos y expresiones a un significado preciso y
determinado, que significan lo que quieren significar para aquellos que conocen el código previo, la clave previamente codificada
de la interpretación que se pretende y no de otra.

Aunque aparentemente, para el profano, pueda parecerle El corpúsculo y la partícula elemental

que está leyendo el mismo lenguaje que el suyo ordinario,
cuando no entiende lo que lee, es porque esa apariencia
se rompe al no tener las claves de la formalización a la
que se ha sometido el lenguaje ordinario. Experiencia que
tenemos cuando leemos algún escrito de un nivel superior
al de nuestros conocimientos.
Por eso conviene distinguir entre significación y
comunicación. Lo primero consiste en crear códigos
según un sistema; lo segundo, un sistema de transmisión
que es interpretado conforme al sistema de códigos.4
Eso explica que el lenguaje científico tienda hacia la
codificación, formalizando palabras y expresiones con un
preciso significado en ese determinado contexto y no en
Dos términos de uso común que manifiestan
claramente la disparidad de significado
cuando son usados en un contexto
científico.3
Corpúsculo o partícula elemental en el uso
común significa una bolita muy pequeña de
materia. Entendiendo por materia, además,
su cualidad de cuerpo sólido, eso sí, muy
muy muy pero que muy pequeñito.
Un físico, sin embargo, y sin ninguna
dificultad, cuando oye estos términos, está
pensando en una expresión matemática que,
según una teoría determinada, interpreta una
trayectoria que aparece en la pantalla de un
otro; dando por supuesto que es el lector el que tiene que microscopio electrónico, más parecido a una
estar a ese nivel de la interpretación para producir la línea luminiscente en una pantalla de
posible comunicación.
ordenador, que lo que se ve en un
microscopio óptico corriente.
De ahí su tendencia a lo abstracto conceptual y genérico y
Y para el profano no es fácil hacer esta
el ideal de poder reducir todo a un cálculo en el que se
transición cuando escucha una noticia
definen los signos como átomos lógicos cuyo contenido acerca de la aparición de una "nueva
significativo quede reducido a un campo de variabilidad, partícula elemental".
o dominio de discurso previamente definido; un universo
en el que se definen las relaciones sintácticas con los
otros signos.

Es decir un lenguaje universal en el que los signos carezcan de objeto de significación individualizada pero el conjunto y sus
leyes, como lenguaje, puedan interpretar o representar un sistema, una forma de interpretar el mundo y la realidad, una teoría.

Platón en sus diálogos, tanto en el "Gorgias" como en el "Cratilo", plantea ya con profundidad el tema del lenguaje y su relación
con el conocimiento de la realidad.Representa la culminación de un proceso de exposición sistemática del conocimiento de la
realidad y su expresión lingüística, como manifestación de la verdad del conocimiento.5

Por lo mismo que los sofistas representados tanto en Gorgias como en Calicles, se preocupan por la significación de las palabras,
en tanto que convenciones sociales que hacen posible la comunicación como instrumento de la interpretación subjetiva, y
encuentra su sentido en la retórica.

Ya en este momento la cuestión planteada entre el convencionalismo del lenguaje o la naturaleza del lenguaje en relación con la
representación conceptual de las cosas aparece en toda su profundidad.

Es evidente que la ciencia procurará utilizar el lenguaje en la forma que mejor represente los conceptos que pretende explicitar,
aunque para ello tenga que violentar el lenguaje natural como instrumento de comunicación, es decir formalizándolo.

Es tradicional en la ciencia, en general, utilizar raíces de origen griego o latino para expresar conceptos precisos, pues el griego
primero y luego el latín, fueron los primeros lenguajes de la ciencia con un sentido universal: dinamis fuerza, movimiento.
Geo relativo a la tierra. Termo calor etc. lo que da lugar a numerosos términos "Geografía", "Geología", "Termodinámica"
etc.

Aristóteles decía que la ciencia requería un uso adecuado a la finalidad que se pretende que en este caso no es otro que manifestar
la verdad. Por eso llamó al lenguaje científico «lenguaje apofántico».

Ya los egipcios, los asirios etc. usaban una formalización para la expresión de las cantidades, y conocieron el cálculo aritmético y
de medidas de figuras geométricas, que no deja de ser una formalización de un conocimiento o técnica expresado en un lenguaje.

Los textos jurídicos, asimismo, representan una formalización de lenguaje, lo mismo que las expresiones rituales de las
ceremonias religiosas, las adivinaciones etc.

Cada actividad especializada, cada grupo social formado alrededor de un campo de interés común, genera una cierta
formalización del lenguaje, un uso específico para ese contexto social y cultural, que no deja de ser una formalización, por más
informal que sea. Así por ejemplo las bandas tienen sus "jergas", los deportistas "sus chistes o bromas" lo mismo que cada grupo
de amigos genera un cierto modo de expresión cuyo código de significados es únicamente percibido por los que "están al loro" es
decir, están en el ámbito o «juego» en el que dicha formalización tiene sentido.
Pero es la formalización del lenguaje científico, la formalización en la expresión del conocimiento donde se plantea la verdadera
formalización del lenguaje, con sentido universal.

Proceso de formalización
La ciencia utiliza el lenguaje como instrumento necesario para lo que se
sigue una pauta general, la formalización, es decir precisar al máximo el
significado de las palabras y expresiones.

Todas las ciencias realizan un proceso de formalización del lenguaje Ejemplo de un lenguaje formalizado.
natural para acomodarlo mejor a sus necesidades. Cuanto más nivel
científico, generalmente la formalización del lenguaje es mucho más
exigente y estricta.6

Cuando la formalización es tal que los términos lingüísticos son sustituidos por variables sin significado alguno, símbolos, y la
sintaxis se define como formas de relación de dichos símbolos, se dice que el lenguaje es formalizado y simbolizado. Tal es el
proceso que siguen las Matemáticas y la Lógica. Son por eso, ciencias formales.

El ideal de un lenguaje perfecto

A lo largo de la historia ha habido numerosos intentos de encontrar un lenguaje que fuera capaz de realizar el ideal señalado por
Aristóteles, como manifestación clara de la verdad, sin error, un lenguaje perfecto.

Posiblemente muchas de las expresiones que han quedado como "latinajos" no dejan de manifestar que detrás de esa expresión,
ya no hay nada que decir, que está todo claro con ella. Un recuerdo de lo que fue el latín como instrumento de expresión universal
de la ciencia, al menos en Europa, hasta bien entrada la Edad Moderna.7

De hecho fue Descartes el primero que empezó a utilizar la lengua vernácula en los escritos científicos, si bien es verdad que
alternándolo con el latín, que todavía algunos autores utilizaban en el siglo XIX, de la misma forma que hoy día se utiliza el
inglés.

La Antigüedad y la Edad Media

Si seguimos el consejo de Bachelard (1973): No vacilemos en extremar nuestra tesis para que se vuelva bien nítida... la
aritmética no es, como tampoco la geometría, una promoción natural de la razón inmutable. La aritmética no está fundada en la
razón. Es la doctrina de la razón la que está fundada en la aritmética elemental. Antes de saber contar apenas sabíamos qué era
la razón. En general, el espíritu debe plegarse a las concidiones del saber8

Probablemente los primeros pasos de una formalización son cuestiones prácticas que resuelven situaciones comunes de la vida
diaria, sobre cuyos resultados se establece un procedimiento que viene a ser la formalización del proceso exitoso, al que,
finalmente, se le acaban encontrando las razones de su éxito en la teoría que lo confirma.9

Que la primera función del lenguaje es expresiva y comunicativa parece evidente cuando el primer sonido gutural del recién
nacido es un lloro que está llamando a la solución de una necesidad. Lo que viene a significar que el primer código de
significación vendría dado por la biología como adaptación y creencias y fuente de las primeras evidencias. Eco (1997) sostiene
que alguna conexión tiene que haber entre lo real y el signo lingüístico en la función semiótica, como proceso "a quo".10

Pero de la misma forma que primero es el lenguaje natural y después la gramática cuando la lengua está consolidada, así ocurre
con la mayoría de las ciencias, y desde luego con las matemáticas.
Tan importante era para Homero medir sus versos para contar la Iliada, como para el cabrero o el pastor, poder estar seguro de
que las ovejas que habían salido por la mañana eran las mismas que las que habían entrado por la noche en el aprisco. El cálculo
nace de las pidrecitas que juntaban para irlas moviendo por cada oveja que entraba.11 Y eso es ya una formalidad de un lenguaje.

Las formas de contar probablemente son los primeros ejemplos de formalización técnica del lenguaje. De la misma forma que los
primeros mapas de la tierra es una formalización determinada acerca del conocimiento de la tierra.

Históricamente, sin duda, la primera gran formalización, es la aparición de la escritura.

Desde los comienzos de la filosofía la relación lenguaje-pensamiento-realidad ha sido considerada como fundamento de la
ciencia.

Platón plantea con toda profundidad la relación entre palabra-concepto, concebido éste, como idea, la verdadera realidad de las
cosas, si bien esta realidad no pertenece a este mundo de la experiencia sensible.

Aristóteles al concebir las ideas como formas de las cosas, en este mundo sensible y de la experiencia, establece la distinción
entre "nombre" (sustancia) y "predicado" (concepto) y justifica que la ciencia no sea solo una lógica, una dialéctica del
pensamiento, como pensaba Platón, sino un instrumento para el conocimiento del mundo, como conocimiento científico. Sin
embargo su silogismo depende excesivamente del lenguaje, al interpretar la oración enunciativa como un juicio categórico.12

El juicio aristotélico se interpreta como una unión o separación, atribución o no atribución, de un predicado (lógica) a un sujeto,
dando por supuesto la existencia real de individuos portadores de predicados.13

Los estoicos destacaron que es la «oración», como proposición, la que en verdad es portadora del sentido de verdad. Pero la
relación de la oración como conjunto de palabras, las palabras en sí mismas y su sentido lógico con la realidad de las cosas sigue
siendo un tema de investigación permanente.

La tradición aristotélica, en la llamada filosofía tradicional, tuvo gran importancia en la formalización de los razonamientos, hasta
tal punto que la escolástica se obligaba a formalizar sus argumentos según la técnica silogística.

Seguramente el primer escrito, que conocemos, concebido de una manera formalizada, según unas leyes previamente establecidas
de razonamiento lógico, es la fundamental obra de Euclides, "Elementos", siglo IV a. de C; donde se construye según un sistema
formal partiendo de unos postulados y teoremas de ellos deducibles. Esta obra ha sido el texto fundamental del conocimiento
matemático hasta entrado el Renacimiento.

Que el lenguaje condiciona el desarrollo de la ciencia fue una experiencia clara para los matemáticos con la sustitución del
sistema de numeración romana por el sistema de numeración posicional y decimal con la introducción del 0, aportación india, y
su presentación por los árabes en Europa en la Baja Edad Media.14

El sistema decimal fue fundamental para el desarrollo en primer lugar de la contabilidad, y más adelante para el desarrollo del
álgebra, y el estudio de las funciones algebraicas.

El concepto de función por tablas ya era practicado en la Universidad de Oxford en el siglo XIV, donde empezaron a ponerse en
cuestión las teorías aristotélicas del movimiento, sometiendo la experiencia a mediciones cuantitativas.15

La idea de un lenguaje o algoritmo capaz de poder determinar la verdad científica de manera clara y segura, incluidas las
verdades de la fe, ya aparecen en el intento de Ramon Llull(Raimundo Lulio), 1253-1315, en su “ars magna”.

La Edad Moderna
Ejemplo muy sencillo de formalización lingüística de una
situación concreta y su satisfacción según un cálculo
 algebraico y un cálculo gráfico conforme a la
El Renacimiento italiano, el quattrocento, interpretación de una teoría física
marca definitivamente el progreso al
plantearse el debate entre los partidarios Situación:
del algoritmo, del uso del cálculo escrito
Pepe vive en Sevilla. Su hermano Antonio vive en
con cifras arábigas y la definición de
Huelva.
operaciones, frente a los abacistas, con el
triunfo definitivo de aquellos.16 Su madre muere en Burgos y ambos quieren ir
enseguida. Hablan por teléfono.

El simbolismo es estudiado primeramente Lenguaje natural:

en Alemania, la resolución de ecuaciones
Pepe: "Antonio, como tu coche es más rápido y cómodo
en Italia17 y en Francia se da la transición
que el mío, yo salgo ahora a las 10 y tú me adelantas
de lo particular a lo general mediante una en la carretera y vamos juntos. Así no tienes que entrar
notación de gran potencia operativa, por el en la ciudad
holandés, Simon Stevin 1548-1620 y sobre
todo François Viète 1540-1603.
Antonio: "Buena idea. Yo también salgo ahora a las 10.
Yo voy a una media de 120 km/h ¿tú que medias
haces?"
El cálculo empezó a ser aplicable a
Pepe: "Yo saco 100 km/h de media. ¿A qué hora nos
cuestiones prácticas, tales como la encontramos?
descripción de los movimientos de los
planetas Kepler,18 el movimiento de caída, Formalización como problema que resolver
Galileo, quien llegó a afirmar que la
Si un coche sale de un punto a una velocidad media de
Naturaleza está escrita en lenguaje 120 km/h y al mismo tiempo sale otro con una ventaja
matemático.19 de 80 km a una velocidad media de 100 km/h ¿Cuánto
tiempo tardarán en encontrarse?

La aplicación del cálculo a la balística20 Formalización gráfica

para el tiro de los cañones, y la posibilidad
de medida en la experimentación física,
constituyeron las bases de lo que va a ser el
prototipo de ciencia como tal, en el sentido
moderno, abandonando definitivamente el
aristotelismo y la explicación esencial
cualitativa , para avanzar por el camino de
la cuantificación de los fenómenos y la
experimentación de laboratorio, que hizo
posible el desarrollo de una lógica Inclusión del caso particular en el marco o sistema
empírica. de una teoría física

El espacio recorrido por un móvil es directamente

Pero el avance hacia un ideal de cálculo proporcional a su velocidad media y al tiempo que dura
definitivo lo establecieron los racionalistas,
el movimiento.
Descartes, Leibniz y Newton. Modelo teórico según la expresión de cálculo
algebraico :
Descartes concibe el «método científico»
sobre el convencimiento de que la Razón
en su penetración lógica de la realidad donde: espacio recorrido por el móvil; tiempo
podría por análisis, a partir de las que dura el movimiento y velocidad media del
intuiciones evidentes, llegar al mismo.
conocimiento de todo.21
Solución del problema según las reglas del cálculo
algebraico:
El saber conceptual para Leibniz vendría a Datos o premisas como EBF del cálculo:
consistir en las combinaciones posibles de
todos los elementos primitivos, las ; ;
mónadas, y sus conexiones como
Aplicación de las reglas de sustitución y transformación
relaciones esenciales. Ideó así una
del cálculo:
Characterística Universalis, que otorgaría a
los conceptos ciertos rasgos numéricos
cuyas relaciones lógicas podrían constituir
una especie de alfabeto del lenguaje
humano, que sometido a reglas analíticas
permitiera ampliar el conocimiento de se interpreta en el modelo teórico como 4 horas
todo, distinguiendo lo posible, lo que tardarán los móviles en encontrarse.
composible y lo real, esto último efecto de
Solución del problema según un cálculo gráfico en
una “Harmonia Preestabilita” (Armonía coordenadas cartesianas:
preestablecida) por Dios.22

Así Spinoza pudo concebir su “Ethica

ordine geométrico demonstrata” 1677.
Tanto Leibiniz como Pascal trabajaron y
construyeron máquinas de cálculo.

El éxito de la física por su matematización

viene a constituir el ejemplo más firme que
hizo pensar, mecanicismo, que es el
lenguaje matemático19 el fundamento de
toda la ciencia de la naturaleza explicada
según la mecánica de fuerzas y Ahora Pepe y Antonio de una forma o de otra están en
condiciones de determinar aproximadamente en el
movimiento de elementos atómicos, como
mapa el lugar de encuentro más conveniente; aunque
masas, materia. La síntesis fundamental es
para este caso tan simple ni existe el problema ni hace
la obra de Newton.23 falta formalización ni cálculo alguno y sólo con el
sentido común se resuelve mejor y con más
inteligencia.
Los empiristas no fueron tan optimistas. La
distinción entre palabra e idea24 así como
entre idea y objeto,25 hacían muy difícil aceptar la capacidad de la razón para tener acceso al conocimiento de la realidad como
tal. Así lo entendieron Locke, y sobre todo Hume quien con su crítica despertó al racionalista Kant de su "sueño dogmático".26

La Edad Contemporánea
Durante este tiempo asistimos a una auténtica revolución en el campo de la ciencia y sus aplicaciones técnicas, con la revolución
industrial.
Los cálculos resuelven muchos problemas del conocimiento científico que se aplican a la realidad del mundo. Pero un enorme
crecimiento del lenguaje y cálculo lógico-matemático explora nuevas formalizaciones y genera y amplía universos conceptuales,
que se van separando cada vez más del universo perceptivo natural en una especulación que parece un mero juego de lenguaje y
cálculo. Universos que, sin embargo, encuentran sentido y aplicación en la interpretación del mundo perceptivo mediante las
adecuadas teorías científicas.27

El cambio fundamental se produce superando el marco establecido por Newton con la posibilidad de formalizar matemáticamente
universos no concebidos puntualmente como cuerpos separados y situados en un espacio-tiempo inmutable, tesis fundamental de
Newton, sino en la posibilidad de concebir el universo como sistema dinámico.28

La derivación e integración de funciones ayudan a resolver la mayoría de los problemas que la ciencia física se está planteando,
pero las nuevas interpretaciones lógico-matemáticas permiten superar una mecánica vectorial newtoniana y construir una
mecánica analítica, que se convierte en una ciencia plenamente matemática.

Para ello el mundo físico deja de ser considerado como un conjunto de N partículas y se pasa a la consideración de un espacio de
configuración en el que podemos configurar cualquier sistema mecánico según la función de Joseph-Louis de Lagrange que
define al sistema por su “vis viva”, su capacidad de acción, que es la suma de la energía cinética del sistema y su energía
potencial.29

La función de Lagrange permite considerar las leyes y teorías físicas a partir de un principio variacional, y se constituye en el
principio de investigación de la ciencia física hasta el momento actual de la física cuántica.

Las ecuaciones de Euler-Lagrange de segundo grado respecto a las velocidades son transformadas por Hamilton en las
ecuaciones canónicas, que se interpretan en un espacio de 2n dimensiones respecto al espacio de configuración pero las
velocidades son lineales y aporta no sólo la posición de los puntos del sistema sino las velocidades de dichos puntos. Es lo que es
conocido como espacio de fases.

Todavía Hamilton-Jacobi reducen la transformación canónica a una sola función, que, si bien en la mecánica tradicional tuvo
poca influencia en la resolución de problemas ofrece un punto de vista fundamental para el estudio de las ondas y es fundamental
en el desarrollo posterior en la física cuántica en su doble dimensión de mecánica de matrices Heisenberg y mecánica ondulatoria
(Schrödinger).

Ocurre lo mismo con las geometrías no euclídeas de Riemann y Lobatchewsky y culmina el proceso con la Teoría de la
Relatividad y la Mecánica cuántica.

En otras palabras, el lenguaje lógico-matemático hace posible el avance de la ciencia por unos caminos de otra forma imposibles
de conocer.

Lo relevante en el tema que nos ocupa es la capacidad especulativa lógico-matemática como lenguaje formalizado; la capacidad
de formalización de sistemas consistentes e independientes de la experiencia, que acaban ofreciendo soluciones y planteando
nuevos problemas e interpretaciones del mundo según teorías que marcan el progreso del conocimiento científico.30

No procede aquí enumerar todas las situaciones que se dieron en este espacio de tiempo; corresponde a la historia de la ciencia su
consideración.

Pero los grandes matemáticos se vieron en la necesidad de encontrar la unidad de principio matemático, la unificación del
lenguaje en un fundamento definitivo, como lenguaje universal apto para manifestar la verdad científica, que es propiamente el
tema que nos ocupa.

Y de la misma forma que los principios de la lógica aparecían claros y pocos, pretendieron fundamentar la matemática en la
Lógica o, por así decir, fundamentar los principios.
Intuicionismo y formalismo
Seguramente fue Boole el primero que inició este proceso de unificación intentando matematizar la lógica. Así en sus intentos de
analizar la demostración de la existencia de Dios o matematizar la Ethica de Spinoza inicia el cálculo proposicional, que
completado con los trabajos de Augustus De Morgan inician lo que se ha dado en llamar “Lógica matemática”.

Pero es más tarde con los estudios simbólicos de Frege y los trabajos sobre axiomática y geometría de Peano, los que iniciaron el
camino para la definitiva pretensión de encontrar los principios lógicos que fundamentarían definitivamente la Matemática,
esfuerzo que fue realizado por Russell y Whitehead en sus Principia Matemática (1910-1913).

La creencia en que la lógica es anterior a la matemática, el logicismo, pareció por un momento haber conseguido definitivamente
el lenguaje perfecto, el lenguaje Bien Hecho, en que pudiera expresarse todo conocimiento verdadero en su fundamento lógico,
como imagen del mundo.31

No obstante en el mismo punto de la producción de sus Principia Matemática las paradojas lógicas estaban minando su alcance:
paradoja de Cantor, y la propia paradoja de Russell, planteaban que la fundamentación no era ni tan sencilla ni tan clara.32

Dos caminos posibles: intuicionismo y formalismo.33

Finalmente el teorema de Gödel pone de manifiesto que un sistema formalmente perfecto, esto es, consistente, decidible y
completo, no es posible; si es completo no es decidible y si es decidible no es completo.

La informática como lenguaje formalizado

Por otro lado, como abstracción formalizada de cálculo, el desarrollo lógico-matemático adquiere un papel importantísimo en la
investigación científica y una aplicación que ha transformado profundamente los modos de producción y de vida de la sociedad
actual: la informática.

Véase también
Ciencia
Lenguaje formal
Sistema formal
Cifra (matemática)
Modelo científico
Lógica matemática
Cálculo
Cálculo lógico
Notación matemática

Notas y referencias
pertenecen al sistema tardan
1. Ludovico Geymonat, op. cit. p. 40
años en aprender. No sólo es un
2.
lenguaje formalizado y
En las Naciones Unidas se ha estilizado, y de difícil
desarrollado un lenguaje propio penetración para quienes no
que no es accesible a las están familiarizados con sus
personas ajenas a la códigos, sino que también se
organización y que aquellos que expresa en declaraciones
 difusas que manifiestan el
carácter no comprometido de
una organización internacional
gestionada por agentes con
múltiples intereses enfrentados.
Øyen y Javan, 1997
3. Schrödinger. op. cit. ¿Qué es una partícula
elemental? pp. 164 y ss.
4. Umberto Eco (1976), “A primera vista, la descripción
de un campo semiótico podría parecer una lista de
comportamientos comunicativos. (...) sin embargo los
PROCESOS DE COMUNICACIÓN parecen subsistir
sólo porque debajo de ellos se encuentra un
SISTEMA DE SIGNIFICACIÓN”. (Mayúsculas en el
original)
5. Y ha sido el fundamento en el que la llamada
Filosofía tradicional en occidente ha encontrado
sobre todo a través del cristianismo su fuente más
preciada.
6. http://www.unav.es/gep/AF/Frege.html
7. "conditio sine qua non"; "in dubio pro reo"; "statu
quo"; "Dios mediante" es una expresión heredera del
ablativo absoluto latino; "quid" de la cuestión; "carpe
diem" etc. De la misma forma que hoy día estamos
continuamente haciendo un "back-up" o un "by
pass", enviamos un "e-mail", portamos un "pen", y
entendemos de "software" etc.
8. Bachelard, G. La filosofía del No: Ensayo de una
filosofía del nuevo espíritu científico. B. Aires. 1973.
Amorrortu
9. Así lo cuenta Arquímedes en su exposición sobre la
cuadratura de la parábola. Son sus experiencias
mecánicas las que le facilitan la demostración en la
geometría. Texto en: Historia de la Ciencia, op. cit.
Tomo I, págs. 153-154. Véase lógica empírica
10. Eco. Kant y el ornitorrinco. "a quo" = "desde donde"
en el sentido de término "origen" de una acción. Se
contrapone a "ad quem" que tiene el sentido de
"finalidad" como término al que se dirige la acción,
en este caso la acción de significar. Un ejemplo de
formalización latina que simplifica y universaliza un
modo claro de definir un concepto
11. cfr.cálculo
12. Hoy hablamos de proposición que puede ser
verdadera o falsa. Véase Juicio de términos y
silogismo
13. Para los griegos tras la argumentación de
Parménides no parecía posible concebir el concepto
de clase vacía. Por ello tampoco pudieron concebir
el 0 (cero). Véase Problemática de la lógica
silogística en silogismo
14. Cfr. Cálculo
15. Tras los escritos ópticos de Grosseteste y Witelo o
Teodorico de Freiberg, los primeros intentos de
aplicación de la matemática al estudio del
movimiento, en función de tiempos y distancias, da
pie a la fundamentación de la idea de las relaciones
funcionales, complemento natural de una
consideración sistemática de las relaciones entre
causa y efecto. Según este punto de vista cualquier
fenómeno podía ser explicado como función
algébrica de las condiciones necesarias y suficientes
para su producción, o lo que es lo mismo, se
establece correlación entre lo que hoy llamamos
variables independientes y dependientes, con un
claro intento de mostrar qué vinculación existe entre
los cambios de las primeras y los de las segundas
Bergadá. op.cit.
16. Sacrobosco, Algoritmos, 1488; Georg von Peurbach,
Algorithmus, 1492;Luca Paccioli, Summa de
arithmetica, proportioni et proportionalitá, 1494
17. Interesante hecho histórico es el descubrimiento por
Tartaglia de la resolución de ecuaciones de tercer
grado y la publicación traicionera por Cardano, que
nos recuerda la pelea entre Leibniz y Newton sobre
el cálculo diferencial. Bergadá, op. cit.
18. Mysterium Cosmographicum, 1596; Astronomia
Nova, 1609; Harmonice Mundi, 1619
19. La filosofía está escrita en este grandísimo libro que
continuamente está abierto ante nuestros ojos (digo:
el universo), pero no puede entenderse si antes no
se procura entender su lengua y conocer los
caracteres en los cuales está escrito. Este libro está
escrito en lengua matemática, y sus caracteres son
triángulos, círculos y otras figuras geométricas, sin
las cuales es totamente imposible entender
humanamente una palabra, y sin las cuales nos
agitamos vanamente en un oscuro laberinto, Il
Saggiatore, 1623
20. Tartaglia, Nova scientia, 1537
21. Discurso del Método. Descartes, (1637)
22. Hirschberger, J. Historia de la Filosofía, II, Barcelona.
Ed. Herder, 1967; Russell, B. A critical exposition of
the philophy of Leibniz. Londres, 1937;Ortega y
Gasset, La idea de principio en Leibniz y la evolución
de la teoría deductiva, Revista de Occidente. B.
Aires, 1958
23. Philosophiae naturalis principia mathematica [citado
"Principia"]1687
24. El concepto de idea es entendido en sentido
empirista como representación mental, que nada
tiene que ver con la idea platónica
25. entendido como contenido de experiencia, y por
tanto subjetivo
26. Prólogo a su Crítica de la Razón Pura, 1781
27. Para todo este apartado, véase, Historia de la
ciencia. op. cit.
28. Más general y generosamente, podemos concebir un
objeto físico simplemente como el contenido
material completo cuatridimensional -por esporádico
y heterogéneo que sea- de alguna porción del
espacio--tiempo. Quine, W.V. Filosofía de la Lógica,
Madrid (1981), pág. 64
29. Lluis Mas (1982)Transformaciones de fondo en las
ciencias físicas
30. En "Historia del tiempo" Stephen W. Hawking
muestra repetidamente cómo progresa la ciencia en
sus teorías a partir de especulaciones lógico-
matemáticas
31. Ludwig Wittgenstein: Tractatus logico-philosophicus
32. paradoja del viaje en el tiempo de John Richard Gott
 y
33. Sobre este tema interesante lectura en Geymonat:
Filosofía y Filosofía de la Ciencia

Bibliografía
Trueta i Raspall, J. et alii. (1977). Historia de la Ciencia. I. BARCELONA. ED.PLANETA. ISBN 84-320-0841-9.

BERGADÁ, D. (1979). La matemática renacentista. Historia de la Ciencia. BARCELONA. ED.PLANETA. ISBN 84-
320-0842-7.

PERELLÓ I VALLS, C. (1979). El cálculo en los siglos XVII y XVIII. Historia de la Ciencia. BARCELONA.
ED.PLANETA. ISBN 84-320-0842-7.

HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano. Madrid.
Editorial Tecnos. ISBN 84-309-3699-8.

BUNGE, M. (1972). Teoría y realidad. Barcelona. Ariel. ISBN 84-344-0725-6.

STEWART I. (1977). Conceptos de matemática moderna. Madrid. Alianza Universidad. ISBN 84-206-2187-0.

FREGE, G. (1972). Conceptografía. Universidad Nacional Autónoma de México.

QUINE, W.V. (1968). Palabra y objeto. Barcelona, Labor. ISBN 84-320-0841-9.

Quine, W.V. (1981). Filosofía de la Lógica. Alianza Editorial. Madrid. ISBN 84-206-2043-2.

Geymonat, L. (1965). Filosofía y Filosofía de la Ciencia. Editorial Labor, S.A. Barcelona. B.30291-65.

ECO.U. (1999). Kant y el ornitorrinco. Barcelona. Editorial Lumen. ISBN 84-264-1265-3.

Schrödinger, E. (1975). ¿Qué es una ley de la naturaleza. Mexico. Fondo de Cultura Económica.

Enlaces externos
La diferencia entre las ciencias y el conocimiento residiría en el grado de formalización del lenguaje de unos y
otros. (http://www.ub.es/geocrit/b3w-529.htm#nota3.)

Obtenido de «https://es.wikipedia.org/w/index.php?title=Lenguaje_formalizado&oldid=112543413»

Esta página se editó por última vez el 8 dic 2018 a las 21:28.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.