Lenguaje formalizado

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

Contenido

El lenguaje natural y el lenguaje artificial

Ejemplo de un texto escrito en español cuyo contenido requiere una información de formalización lingüística que poco tiene que ver con el uso natural de dicha lengua
El tratamiento de los núcleos singulares e hipersingulares se realiza de la siguiente manera. En primer lugar, se realiza una elemental transformación mediante un desarrollo en serie (Guiggiani et al., 1992, Mantic, 1994), y posteriormente los términos de la ecuación resultante se regularizan analíticamente dando lugar a una serie de integrales que son a lo sumo débilmente singulares y pueden integrarse numéricamente sin dificultad. Los requerimientos de continuidad en el punto de colocación, asociados a la 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 idea desarrollada por Gallego y Domínguez (1966) en 2D. Todas estas transformaciones se desarrollan de forma analítica previamente a cualquier discretización, por lo que el resultado final es una nueva expresión de la EIC en tracciones, de carácter general, que habrá que implementar en un código de elementos de contorno.
Solís M. (2007) Modelo numérico tridimensional de sólidos transversalmente isótropos y piezoeléctricos fisurados. Tesis, Unversidad de Sevilla.

Las lenguas naturales son propias de la especie humana, y cada una de ella es el vehículo de comunicación de una determinada colectividad; tienen un aprendizaje en gran medida gobernado por factores innatos y culturales y un uso inconsciente en los primeros años de vida. Los lenguajes artificiales suponen una creación consciente, metódica, regida por convenciones arbitrarias y establecidas por los especialistas. Se requiere un aprendizaje deliberado y planificado para usarlas con algún propósito.

Mientras los lenguajes naturales tienden hacia su diversificación, los artificiales tienden a su universalización: las matemáticas, o el dominio del latín en su momento y el inglés actualmente, no como lenguaje expresivo, sino como lenguaje-instrumento para el conocimiento científico-técnico, independiente de su dimensión de lenguaje expresivo.

Los campos en los que podemos considerar el proceso de formalización de un lenguaje es muy amplio. Los mapas, señales de tráfico, morse, etc.; el mismo arte y la publicidad en lo que tienen de moda y técnica requieren cierta formalización en los procesos expresivos.

En cuanto al uso, los naturales son los que empleamos en la vida corriente, son nuestro modo de expresión habitual; mientras que los artificiales tienden a un uso restrictivo en sus diversos ámbitos científicos, o contextos técnicos o comerciales.[1]

Y esto ocurre porque el lenguaje natural lo que tiene de 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 formalización aplicada a una situación.JPG

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.

El corpúsculo y la partícula elemental
Dos términos de uso común que manifiestan claramente la disparidad de significado cuando son usados en un contexto científico.
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 microscopio electrónico, más parecido a una línea luminiscente en una pantalla de ordenador, que lo que se ve en un microscopio óptico corriente.
Y para el profano no es fácil hacer esta transición cuando escucha una noticia acerca de la aparición de una "nueva partícula elemental".

Aunque aparentemente, para el profano, pueda parecerle 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.[2]

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 otro; dando por supuesto que es el lector el que tiene que estar a ese nivel de la interpretación para producir la posible comunicación.

De ahí su tendencia a lo abstracto conceptual y genérico y el ideal de poder reducir todo a un cálculo en el que se definen los signos como átomos lógicos cuyo contenido significativo quede reducido a un campo de variabilidad, 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.[3]

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 \rightarrow fuerza, movimiento. Geo \rightarrow relativo a la tierra. Termo \rightarrow 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

Ejemplo de un lenguaje formalizado.

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 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.[4]

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.[5]

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 saber[6]

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.[7]

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".[8]

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.[9] Y eso es ya una formalidad de un lenguaje.

Las formas de contar probablemente son los primeros ejempos 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.[10]

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.[11]

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.

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.[12]

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 Ramón 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 interpretación de una teoría física
Situación:
Pepe vive en Sevilla. Su hermano Antonio vive en Huelva.
Su madre muere en Burgos y ambos quieren ir enseguida. Hablan por teléfono.
Lenguaje natural:
Pepe: "Antonio, como tu coche es más rápido y cómodo que el mío, yo salgo ahora a las 10 y tú me adelantas en la carretera y vamos juntos. Así no tienes que entrar en la ciudad
Antonio: "Buena idea. Yo también salgo ahora a las 10. Yo voy a una media de 120 km/h ¿tú que medias haces?"
Pepe: "Yo saco 100 km/h de media. ¿A qué hora nos encontramos?
Formalización como problema que resolver
Si un coche sale de un punto a una velocidad media de 120 km/h y al mismo tiempo sale otro con una ventaja de 80 km a una velocidad media de 100 km/h ¿Cuánto tiempo tardarán en encontrarse?
Formalización gráfica

Gráfica coches.JPG

Inclusión del caso particular en el marco o sistema de una teoría física
El espacio recorrido por un móvil es directamente proporcional a su velocidad media y al tiempo que dura el movimiento.
Modelo teórico según la expresión de cálculo algebraico y = xz:
e = Vmt
donde: e = espacio recorrido por el móvil; t = tiempo que dura el movimiento y Vm = velocidad media del mismo.
Solución del problema según las reglas del cálculo algebraico:
Datos o premisas como EBF del cálculo:
e = 120t; e' = 100t; e = e' + 80
Aplicación de las reglas de sustitución y transformación del cálculo:
120t=100t+80 \rightarrow 120t-100t=80 \rightarrow

\rightarrow 20t=80\rightarrow t=\frac{80}{20}\rightarrow t=4

t = 4 se interpreta en el modelo teórico como 4 horas que tardarán los móviles en encontrarse.
Solución del problema según un cálculo gráfico en coordenadas cartesianas:

Cálculo gráfico.JPG

Ahora Pepe y Antonio de una forma o de otra están en condiciones de determinar aproximadamente en el mapa el lugar de encuentro más conveniente; aunque para este caso tan simple ni existe el problema ni hace falta formalización ni cálculo alguno y sólo con el sentido común se resuelve mejor y con más inteligencia.


El Renacimiento italiano, el quattrocento, marca definitivamente el progreso al plantearse el debate entre los partidarios del algoritmo, del uso del cálculo escrito con cifras arábigas y la definición de operaciones, frente a los abacistas, con el triunfo definitivo de aquellos.[13]


El simbolismo es estudiado primeramente en Alemania, la resolución de ecuaciones en Italia[14] y en Francia se da la transición de lo particular a lo general mediante una notación de gran potencia operativa, por el holandés, Simon Stevin 1548-1620 y sobre todo François Viète 1540-1603.


El cálculo empezó a ser aplicable a cuestiones prácticas, tales como la descripción de los movimientos de los planetas Kepler,[15] el movimiento de caída, Galileo, quien llegó a afirmar que la Naturaleza está escrita en lenguaje matemático.[16]


La aplicación del cálculo a la balística[17] 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 empírica.


Pero el avance hacia un ideal de cálculo definitivo lo establecieron los racionalistas, Descartes, Leibniz y Newton.


Descartes concibe el «método científico» sobre el convencimiento de que la Razón en su penetración lógica de la realidad podría por análisis, a partir de las intuiciones evidentes, llegar al conocimiento de todo.[18]


El saber conceptual para Leibniz vendría a consistir en las combinaciones posibles de todos los elementos primitivos, las mónadas, y sus conexiones como relaciones esenciales. Ideó así una 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 todo, distinguiendo lo posible, lo composible y lo real, esto último efecto de una “Harmonia Preestabilita” (Armonía preestablecida) por Dios.[19]


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ático[16] el fundamento de toda la ciencia de la naturaleza explicada según la mecánica de fuerzas y movimiento de elementos atómicos, como masas, materia. La síntesis fundamental es la obra de Newton.[20]


Los empiristas no fueron tan optimistas. La distinción entre palabra e idea[21] así como entre idea y objeto,[22] 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".[23]


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.[24]

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.[25]

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.[26]

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.[27]

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.[28]

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.[29]

Dos caminos posibles: intuicionismo y formalismo.[30]

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

Notas y referencias

  1. En las Naciones Unidas se ha desarrollado un lenguaje propio que no es accesible a las personas ajenas a la organización y que aquellos que pertenecen al sistema tardan años en aprender. No sólo es un lenguaje formalizado y estilizado, y de difícil penetración para quienes no están familiarizados con sus códigos, sino que también se 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
  2. 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)
  3. 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.
  4. http://www.unav.es/gep/AF/Frege.html
  5. "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.
  6. Bachelard, G. La filosofía del No: Ensayo de una filosofía del nuevo espíritu científico. B. Aires. 1973. Amorrortu
  7. 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
  8. 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
  9. cfr.cálculo
  10. Hoy hablamos de proposición que puede ser verdadera o falsa. Véase Juicio de términos y silogismo
  11. 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
  12. 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.
  13. Sacrobosco, Algoritmos, 1488; Georg von Peurbach, Algorithmus, 1492;Luca Paccioli, Summa de arithmetica, proportioni et proportionalitá, 1494
  14. 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.
  15. Mysterium Cosmographicum, 1596; Astronomia Nova, 1609; Harmonice Mundi, 1619
  16. a b 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
  17. Tartaglia, Nova scientia, 1537
  18. Discurso del Método. Descartes, (1637)
  19. 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
  20. Philosophiae naturalis principia mathematica [citado "Principia"]1687
  21. El concepto de idea es entendido en sentido empirista como representación mental, que nada tiene que ver con la idea platónica
  22. entendido como contenido de experiencia, y por tanto subjetivo
  23. Prólogo a su Crítica de la Razón Pura, 1781
  24. Para todo este apartado, véase, Historia de la ciencia. op. cit.
  25. 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
  26. Lluis Mas (1982)Transformaciones de fondo en las ciencias físicas
  27. 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
  28. Ludwig Wittgenstein: Tractatus logico-philosophicus
  29. paradoja del viaje en el tiempo de John Richard Gott
  30. 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. 
  • NAVARRO, C. Y NADAL, B. (1982). Aspectos de la Matemática en el siglo XX. Historia de la Ciencia. BARCELONA. ED.PLANETA. ISBN 81-320-0840-0. 
  • 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. (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. 

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Lenguaje formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. En matemáticas,… …   Wikipedia Español

  • Lenguaje formal — En matemáticas, lógica, y las ciencias computacionales, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito. Informalmente, el término lenguaje… …   Enciclopedia Universal

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… …   Wikipedia Español

  • Evidencia (filosofía) — Saltar a navegación, búsqueda Una evidencia (del latín, video, ver) es un conocimiento que se nos aparece intuitivamente de tal manera que podemos afirmar la validez de su contenido, como verdadero, con certeza, sin sombra de duda. Todos tenemos… …   Wikipedia Español

  • Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

  • Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Proposición (lógica) — Saltar a navegación, búsqueda En lógica y filosofía, el término proposición se usa para referir a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias y de otras actitudes proposicionales.[ …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”