Lenguaje formalizado

El lenguaje formalizado es un lenguaje sometido a unas

reglas jas de formacin de expresiones y signicados.
Es una de las caractersticas esenciales del lenguaje cien-
tco.
[1]
Incluso hay autores que llegan a opinar que la
ciencia en s misma no es ms que un lenguaje. Esto
es especialmente notable e importante en la lgica y las
matemticas.
1 El lenguaje natural y el lenguaje
articial
Las lenguas naturales son propias de la especie humana,
y cada una de ellas es el vehculo de comunicacin de
una determinada colectividad; tienen un aprendizaje en
gran medida gobernado por factores innatos y culturales
y un uso inconsciente en los primeros aos de vida. Los
lenguajes articiales y formales suponen una creacin
consciente, metdica, regida por convenciones arbitra-
rias y establecidas por los especialistas. Se requiere un
aprendizaje deliberado y planicado para usarlas con al-
gn propsito.
Mientras los lenguajes naturales tienden hacia su diversi-
cacin, los articiales tienden a su universalizacin: las
matemticas, el esperanto o el dominio del latn en su mo-
mento y el ingls actualmente, no como lenguaje expresi-
vo, sino como lenguaje-instrumento para el conocimiento
cientco-tcnico, independiente de su dimensin de len-
guaje expresivo.
El nmero de campos en los que podemos considerar el
proceso de formalizacin de un lenguaje es muy amplio.
Los mapas, seales de trco, morse, etc.; el mismo arte y
la publicidad en lo que tienen de moda y tcnica requieren
cierta formalizacin en los procesos expresivos.
En cuanto al uso, los naturales son los que empleamos en
la vida corriente, son nuestro modo de expresin habitual;
mientras que los articiales tienden a un uso restrictivo
en sus diversos mbitos cientcos, o contextos tcnicos
o comerciales.
[2]
Y esto ocurre porque el lenguaje natural lo que tiene de
riqueza expresiva lo tiene de ambigedad e imprecisin,
y por lo mismo de falta de rigor.
Cmo quieres que vaya de noche a verte si el perro de tu
padre sale a morderme?
La frase anterior slo en el contexto pragmtico puede
tener un signicado determinado; si no es el caso que el
autor de la expresin, irnicamente, est jugando preci-
samente con la equivocidad y anbologa que da un doble
sentido a la expresin en un juego meramente retrico.
Ejemplo de una expresin formalizada para
ser aplicada a una situacin concreta
La ciencia necesita ante todo rigor, y restringe el uso
de determinados trminos y expresiones a un signicado
preciso y determinado, que signican lo que quieren sig-
nicar para aquellos que conocen el cdigo previo, la cla-
ve previamente codicada de la interpretacin que se pre-
tende y no de otra.
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 formalizacin a la
que se ha sometido el lenguaje ordinario. Experiencia que
tenemos cuando leemos algn escrito de un nivel superior
al de nuestros conocimientos.
Por eso conviene distinguir entre signicacin y
comunicacin. Lo primero consiste en crear cdigos
segn un sistema; lo segundo, un sistema de transmisin
que es interpretado conforme al sistema de cdigos.
[4]
Eso explica que el lenguaje cientco tienda hacia la co-
dicacin, formalizando palabras y expresiones con un
preciso signicado 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 interpretacin para producir la po-
sible comunicacin.
De ah su tendencia a lo abstracto conceptual y genrico
y el ideal de poder reducir todo a un clculo en el que se
denen los signos como tomos lgicos cuyo contenido
signicativo quede reducido a un campo de variabilidad,
o dominio de discurso previamente denido; un universo
en el que se denen las relaciones sintcticas con los otros
signos.
Es decir un lenguaje universal en el que los signos ca-
rezcan de objeto de signicacin individualizada pero el
conjunto y sus leyes, como lenguaje, puedan interpretar o
representar un sistema, una forma de interpretar el mun-
do y la realidad, una teora.
1
2 3 EL IDEAL DE UN LENGUAJE PERFECTO
Platn en sus dilogos, tanto en el Gorgias como
en el Cratilo, plantea ya con profundidad el tema
del lenguaje y su relacin con el conocimiento de la
realidad.Representa la culminacin de un proceso de ex-
posicin sistemtica del conocimiento de la realidad y su
expresin lingstica, como manifestacin de la verdad
del conocimiento.
[5]
Por lo mismo que los sostas representados tanto
en Gorgias como en Calicles, se preocupan por la
signicacin de las palabras, en tanto que convenciones
sociales que hacen posible la comunicacin como instru-
mento de la interpretacin subjetiva, y encuentra su sen-
tido en la retrica.
Ya en este momento la cuestin planteada entre el
convencionalismo del lenguaje o la naturaleza del lengua-
je en relacin con la representacin conceptual de las co-
sas aparece en toda su profundidad.
Es evidente que la ciencia procurar utilizar el lenguaje
en la forma que mejor represente los conceptos que pre-
tende explicitar, aunque para ello tenga que violentar el
lenguaje natural como instrumento de comunicacin, es
decir formalizndolo.
Es tradicional en la ciencia, en general, utilizar races de
origen griego o latino para expresar conceptos precisos,
pues el griego primero y luego el latn, fueron los prime-
ros lenguajes de la ciencia con un sentido universal: di-
namis fuerza, movimiento. Geo relativo a la tierra.
Termo calor etc. lo que da lugar a numerosos trminos
Geografa, Geologa, Termodinmica etc.
Aristteles deca que la ciencia requera un uso adecua-
do a la nalidad que se pretende que en este caso no es
otro que manifestar la verdad. Por eso llam al lenguaje
cientco lenguaje apofntico.
Ya los egipcios, los asirios etc. usaban una formalizacin
para la expresin de las cantidades, y conocieron el clcu-
lo aritmtico y de medidas de guras geomtricas, que no
deja de ser una formalizacin de un conocimiento o tc-
nica expresado en un lenguaje.
Los textos jurdicos, asimismo, representan una formali-
zacin de lenguaje, lo mismo que las expresiones rituales
de las ceremonias religiosas, las adivinaciones etc.
Cada actividad especializada, cada grupo social forma-
do alrededor de un campo de inters comn, genera una
cierta formalizacin del lenguaje, un uso especco para
ese contexto social y cultural, que no deja de ser una for-
malizacin, por ms 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 expresin cuyo cdigo de signicados es
nicamente percibido por los que estn al loro es decir,
estn en el mbito o juego en el que dicha formaliza-
cin tiene sentido.
Pero es la formalizacin del lenguaje cientco, la forma-
lizacin en la expresin del conocimiento donde se plan-
tea la verdadera formalizacin del lenguaje, con sentido
universal.
2 Proceso de formalizacin
Ejemplo de un lenguaje formalizado.
La ciencia utiliza el lenguaje como instrumento necesario
para lo que se sigue una pauta general, la formalizacin,
es decir precisar al mximo el signicado de las palabras
y expresiones.
Todas las ciencias realizan un proceso de formalizacin
del lenguaje natural para acomodarlo mejor a sus ne-
cesidades. Cuanto ms nivel cientco, generalmente la
formalizacin del lenguaje es mucho ms exigente y
estricta.
[6]
Cuando la formalizacin es tal que los trminos lings-
ticos son sustituidos por variables sin signicado alguno,
smbolos, y la sintaxis se dene como formas de relacin
de dichos smbolos, se dice que el lenguaje es forma-
lizado y simbolizado. Tal es el proceso que siguen las
Matemticas y la Lgica. Son por eso, ciencias formales.
3 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
sealado por Aristteles, como manifestacin clara de la
verdad, sin error, un lenguaje perfecto.
Posiblemente muchas de las expresiones que han queda-
do como latinajos no dejan de manifestar que detrs
de esa expresin, ya no hay nada que decir, que est todo
claro con ella. Un recuerdo de lo que fue el latn como ins-
trumento de expresin 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 verncula en los escritos cientcos, si bien es
verdad que alternndolo con el latn, que todava algunos
autores utilizaban en el siglo XIX, de la misma forma que
hoy da se utiliza el ingls.
3.1 La Antigedad y la Edad Media
Si seguimos el consejo de Bachelard (1973): No vacile-
mos en extremar nuestra tesis para que se vuelva bien nti-
da... la aritmtica no es, como tampoco la geometra, una
promocin natural de la razn inmutable. La aritmtica
3.2 La Edad Moderna 3
no est fundada en la razn. Es la doctrina de la razn la
que est fundada en la aritmtica elemental. Antes de sa-
ber contar apenas sabamos qu era la razn. En general,
el espritu debe plegarse a las concidiones del saber
[8]
Probablemente los primeros pasos de una formalizacin
son cuestiones prcticas que resuelven situaciones co-
munes de la vida diaria, sobre cuyos resultados se es-
tablece un procedimiento que viene a ser la formaliza-
cin del proceso exitoso, al que, nalmente, se le acaban
encontrando las razones de su xito en la teora que lo
conrma.
[9]
Que la primera funcin del lenguaje es expresiva y comu-
nicativa parece evidente cuando el primer sonido gutural
del recin nacido es un lloro que est llamando a la so-
lucin de una necesidad. Lo que viene a signicar que el
primer cdigo de signicacin vendra dado por la biolo-
ga como adaptacin y creencias y fuente de las prime-
ras evidencias. Eco (1997) sostiene que alguna conexin
tiene que haber entre lo real y el signo lingstico en la
funcin semitica, como proceso a quo.
[10]
Pero de la misma forma que primero es el lenguaje natural
y despus la gramtica cuando la lengua est consolidada,
as ocurre con la mayora de las ciencias, y desde luego
con las matemticas.
Tan importante era para Homero medir sus versos pa-
ra contar la Iliada, como para el cabrero o el pastor, po-
der estar seguro de que las ovejas que haban salido por
la maana eran las mismas que las que haban entrado
por la noche en el aprisco. El clculo nace de las pidreci-
tas 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
ejempos de formalizacin tcnica del lenguaje. De la mis-
ma forma que los primeros mapas de la tierra es una for-
malizacin determinada acerca del conocimiento de la
tierra.
Histricamente, sin duda, la primera gran formalizacin,
es la aparicin de la escritura.
Desde los comienzos de la losofa la relacin lenguaje-
pensamiento-realidad ha sido considerada como funda-
mento de la ciencia.
Platn plantea con toda profundidad la relacin entre
palabra-concepto, concebido ste, como idea, la verdade-
ra realidad de las cosas, si bien esta realidad no pertenece
a este mundo de la experiencia sensible.
Aristteles al concebir las ideas como formas de las co-
sas, en este mundo sensible y de la experiencia, esta-
blece la distincin entre nombre (sustancia) y predi-
cado (concepto) y justica que la ciencia no sea solo
una lgica, una dialctica del pensamiento, como pen-
saba Platn, sino un instrumento para el conocimiento
del mundo, como conocimiento cientco. Sin embargo
su silogismo depende excesivamente del lenguaje, al in-
terpretar la oracin enunciativa como un juicio categri-
co.
[12]
El juicio aristotlico se interpreta como una unin o se-
paracin, atribucin o no atribucin, 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 oracin, como
proposicin, la que en verdad es portadora del sentido de
verdad. Pero la relacin de la oracin como conjunto de
palabras, las palabras en s mismas y su sentido lgico con
la realidad de las cosas sigue siendo un tema de investi-
gacin permanente.
La tradicin aristotlica, en la llamada losofa tradi-
cional, tuvo gran importancia en la formalizacin de
los razonamientos, hasta tal punto que la escolstica se
obligaba a formalizar sus argumentos segn la tcnica
silogstica.
Seguramente el primer escrito, que conocemos, concebi-
do de una manera formalizada, segn unas leyes previa-
mente establecidas de razonamiento lgico, es la funda-
mental obra de Euclides, Elementos, siglo IV a. de C;
donde se construye segn 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 matemticos con la susti-
tucin del sistema de numeracin romana por el sistema
de numeracin posicional y decimal con la introduccin
del 0, aportacin india, y su presentacin 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 ms adelante para el
desarrollo del lgebra, y el estudio de las funciones alge-
braicas.
El concepto de funcin por tablas ya era practicado en
la Universidad de Oxford en el siglo XIV, donde em-
pezaron a ponerse en cuestin las teoras aristotlicas
del movimiento, sometiendo la experiencia a mediciones
cuantitativas.
[14]
La idea de un lenguaje o algoritmo capaz de poder de-
terminar la verdad cientca de manera clara y segura,
incluidas las verdades de la fe, ya aparecen en el intento
de Ramn Llull(Raimundo Lulio), 1253-1315, en su ars
magna.
3.2 La Edad Moderna
El Renacimiento italiano, el quattrocento, marca deniti-
vamente el progreso al plantearse el debate entre los par-
tidarios del algoritmo, del uso del clculo escrito con ci-
fras arbigas y la denicin de operaciones, frente a los
abacistas, con el triunfo denitivo de aquellos.
[15]
El simbolismo es estudiado primeramente en Alemania,
la resolucin de ecuaciones en Italia
[16]
y en Francia se
4 3 EL IDEAL DE UN LENGUAJE PERFECTO
da la transicin de lo particular a lo general mediante
una notacin de gran potencia operativa, por el holan-
ds, Simon Stevin 1548-1620 y sobre todo Franois Vite
1540-1603.
El clculo empez a ser aplicable a cuestiones prcticas,
tales como la descripcin de los movimientos de los pla-
netas Kepler,
[17]
el movimiento de cada, Galileo, quien
lleg a armar que la Naturaleza est escrita en lenguaje
matemtico.
[18]
La aplicacin del clculo a la balstica
[19]
para el tiro de
los caones, y la posibilidad de medida en la experimen-
tacin fsica, constituyeron las bases de lo que va a ser
el prototipo de ciencia como tal, en el sentido moderno,
abandonando denitivamente el aristotelismo y la expli-
cacin esencial cualitativa , para avanzar por el camino
de la cuanticacin de los fenmenos y la experimenta-
cin de laboratorio, que hizo posible el desarrollo de una
lgica emprica.
Pero el avance hacia un ideal de clculo denitivo lo esta-
blecieron los racionalistas, Descartes, Leibniz y Newton.
Descartes concibe el mtodo cientco sobre el con-
vencimiento de que la Razn en su penetracin lgica de
la realidad podra por anlisis, a partir de las intuiciones
evidentes, llegar al conocimiento de todo.
[20]
El saber conceptual para Leibniz vendra a consistir en
las combinaciones posibles de todos los elementos pri-
mitivos, las mnadas, y sus conexiones como relaciones
esenciales. Ide as una Characterstica Universalis, que
otorgara a los conceptos ciertos rasgos numricos cuyas
relaciones lgicas podran constituir una especie de alfa-
beto del lenguaje humano, que sometido a reglas anal-
ticas permitiera ampliar el conocimiento de todo, distin-
guiendo lo posible, lo composible y lo real, esto ltimo
efecto de una Harmonia Preestabilita (Armona prees-
tablecida) por Dios.
[21]
As Spinoza pudo concebir su Ethica ordine geomtrico
demonstrata 1677.
Tanto Leibiniz como Pascal trabajaron y construyeron
mquinas de clculo.
El xito de la fsica por su matematizacin viene a consti-
tuir el ejemplo ms rme que hizo pensar, mecanicismo,
que es el lenguaje matemtico
[18]
el fundamento de toda
la ciencia de la naturaleza explicada segn la mecnica
de fuerzas y movimiento de elementos atmicos, como
masas, materia. La sntesis fundamental es la obra de
Newton.
[22]
Los empiristas no fueron tan optimistas. La distincin
entre palabra e idea
[23]
as como entre idea y objeto,
[24]
hacan muy difcil aceptar la capacidad de la razn pa-
ra tener acceso al conocimiento de la realidad como
tal. As lo entendieron Locke, y sobre todo Hume quien
con su crtica despert al racionalista Kant de su sueo
dogmtico.
[25]
3.3 La Edad Contempornea
Durante este tiempo asistimos a una autntica revolucin
en el campo de la ciencia y sus aplicaciones tcnicas, con
la revolucin industrial.
Los clculos resuelven muchos problemas del conoci-
miento cientco que se aplican a la realidad del mun-
do. Pero un enorme crecimiento del lenguaje y clculo
lgico-matemtico explora nuevas formalizaciones y ge-
nera y ampla universos conceptuales, que se van sepa-
rando cada vez ms del universo perceptivo natural en
una especulacin que parece un mero juego de lenguaje
y clculo. Universos que, sin embargo, encuentran senti-
do y aplicacin en la interpretacin del mundo perceptivo
mediante las adecuadas teoras cientcas.
[26]
El cambio fundamental se produce superando el marco
establecido por Newton con la posibilidad de formalizar
matemticamente universos no concebidos puntualmente
como cuerpos separados y situados en un espacio-tiempo
inmutable, tesis fundamental de Newton, sino en la po-
sibilidad de concebir el universo como sistema dinmi-
co.
[27]
La derivacin e integracin de funciones ayudan a re-
solver la mayora de los problemas que la ciencia fsi-
ca se est planteando, pero las nuevas interpretaciones
lgico-matemticas permiten superar una mecnica vec-
torial newtoniana y construir una mecnica analtica, que
se convierte en una ciencia plenamente matemtica.
Para ello el mundo fsico deja de ser considerado como
un conjunto de N partculas y se pasa a la consideracin
de un espacio de conguracin en el que podemos con-
gurar cualquier sistema mecnico segn la funcin de
Joseph-Louis de Lagrange que dene al sistema por su
vis viva, su capacidad de accin, que es la suma de la
energa cintica del sistema y su energa potencial.
[28]
La funcin de Lagrange permite considerar las leyes y
teoras fsicas a partir de un principio variacional, y se
constituye en el principio de investigacin de la ciencia
fsica hasta el momento actual de la fsica cuntica.
Las ecuaciones de Euler-Lagrange de segundo grado res-
pecto a las velocidades son transformadas por Hamilton
en las ecuaciones cannicas, que se interpretan en un es-
pacio de 2n dimensiones respecto al espacio de congu-
racin pero las velocidades son lineales y aporta no slo
la posicin de los puntos del sistema sino las velocidades
de dichos puntos. Es lo que es conocido como espacio de
fases.
Todava Hamilton-Jacobi reducen la transformacin ca-
nnica a una sola funcin, que, si bien en la mecnica tra-
dicional tuvo poca inuencia en la resolucin de proble-
mas ofrece un punto de vista fundamental para el estudio
de las ondas y es fundamental en el desarrollo posterior
en la fsica cuntica en su doble dimensin de mecnica
de matrices Heisenberg y mecnica ondulatoria (Schr-
dinger).
5
Ocurre lo mismo con las geometras no eucldeas de Rie-
mann y Lobatchewsky y culmina el proceso con la Teora
de la Relatividad y la Mecnica cuntica.
En otras palabras, el lenguaje lgico-matemtico 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 es-
peculativa lgico-matemtica como lenguaje formaliza-
do; la capacidad de formalizacin de sistemas consisten-
tes e independientes de la experiencia, que acaban ofre-
ciendo soluciones y planteando nuevos problemas e inter-
pretaciones del mundo segn teoras que marcan el pro-
greso del conocimiento cientco.
[29]
No procede aqu enumerar todas las situaciones que se
dieron en este espacio de tiempo; corresponde a la historia
de la ciencia su consideracin.
Pero los grandes matemticos se vieron en la necesidad
de encontrar la unidad de principio matemtico, la uni-
cacin del lenguaje en un fundamento denitivo, como
lenguaje universal apto para manifestar la verdad cient-
ca, que es propiamente el tema que nos ocupa.
Y de la misma forma que los principios de la lgica apa-
recan claros y pocos, pretendieron fundamentar la ma-
temtica en la Lgica o, por as decir, fundamentar los
principios.
4 Intuicionismo y formalismo
Seguramente fue Boole el primero que inici este proce-
so de unicacin intentando matematizar la lgica. As
en sus intentos de analizar la demostracin de la existen-
cia de Dios o matematizar la Ethica de Spinoza inicia el
clculo proposicional, que completado con los trabajos de
Augustus De Morgan inician lo que se ha dado en llamar
Lgica matemtica.
Pero es ms tarde con los estudios simblicos de Frege
y los trabajos sobre axiomtica y geometra de Peano,
los que iniciaron el camino para la denitiva pretensin
de encontrar los principios lgicos que fundamentaran
denitivamente la Matemtica, esfuerzo que fue realiza-
do por Russell y Whitehead en sus Principia Matemtica
(1910-1913).
La creencia en que la lgica es anterior a la matemti-
ca, el logicismo, pareci por un momento haber conse-
guido denitivamente el lenguaje perfecto, el lenguaje
Bien Hecho, en que pudiera expresarse todo conocimien-
to verdadero en su fundamento lgico, como imagen del
mundo.
[30]
No obstante en el mismo punto de la produccin de sus
Principia Matemtica las paradojas lgicas estaban mi-
nando su alcance: paradoja de Cantor, y la propia para-
doja de Russell, planteaban que la fundamentacin no era
ni tan sencilla ni tan clara.
[31]
Dos caminos posibles: intuicionismo y formalismo.
[32]
Finalmente el teorema de Gdel pone de maniesto 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.
5 La informtica como lenguaje
formalizado
Por otro lado, como abstraccin formalizada de clculo,
el desarrollo lgico-matemtico adquiere un papel impor-
tantsimo en la investigacin cientca y una aplicacin
que ha transformado profundamente los modos de pro-
duccin y de vida de la sociedad actual: la informtica.
6 Vase tambin
Lenguaje formal
Sistema formal
Cifra (matemtica)
Modelo cientco
Lgica matemtica
Clculo
Clculo lgico
Notacin matemtica
7 Notas y referencias
[1] [[Ludovico Geymonat, op. cit. p. 40
[2] En las Naciones Unidas se ha desarrolla-
do un lenguaje propio que no es accesible a
las personas ajenas a la organizacin y que
aquellos que pertenecen al sistema tardan
aos en aprender. No slo es un lenguaje
formalizado y estilizado, y de difcil pene-
tracin para quienes no estn familiarizados
con sus cdigos, sino que tambin se expresa
en declaraciones difusas que maniestan el
carcter no comprometido de una organi-
zacin internacional gestionada por agentes
con mltiples intereses enfrentados.
yen y Javan, 1997
[3] Schrdinger. op. cit. Qu es una partcula elemental? pp.
164 y ss.
6 7 NOTAS Y REFERENCIAS
[4] Umberto Eco (1976), A primera vista, la descripcin de
un campo semitico podra parecer una lista de comporta-
mientos comunicativos. (...) sin embargo los PROCESOS
DE COMUNICACIN parecen subsistir slo porque de-
bajo de ellos se encuentra un SISTEMA DE SIGNIFICA-
CIN. (Maysculas en el original)
[5] Y ha sido el fundamento en el que la llamada Filosofa
tradicional en occidente ha encontrado sobre todo a travs
del cristianismo su fuente ms 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 expresin heredera del ablativo
absoluto latino; quid de la cuestin; carpe diem etc.
De la misma forma que hoy da estamos continuamen-
te haciendo un back-up o un by pass, enviamos un
e-mail, portamos un pen, y entendemos de software
etc.
[8] Bachelard, G. La losofa del No: Ensayo de una losofa
del nuevo espritu cientco. B. Aires. 1973. Amorrortu
[9] As lo cuenta Arqumedes en su exposicin sobre la cua-
dratura de la parbola. Son sus experiencias mecnicas
las que le facilitan la demostracin en la geometra. Texto
en: Historia de la Ciencia, op. cit. Tomo I, pgs. 153-154.
Vase lgica emprica
[10] Eco. Kant y el ornitorrinco. a quo = desde donde en el
sentido de trmino origen de una accin. Se contrapone
a ad quem que tiene el sentido de nalidad como tr-
mino al que se dirige la accin, en este caso la accin de
signicar. Un ejemplo de formalizacin latina que simpli-
ca y universaliza un modo claro de denir un concepto
[11] cfr.clculo
[12] Hoy hablamos de proposicin que puede ser verdadera o
falsa. Vase Juicio de trminos y silogismo
[13] Para los griegos tras la argumentacin de Parmnides no
pareca posible concebir el concepto de clase vaca. Por
ello tampoco pudieron concebir el 0 (cero). Vase Proble-
mtica de la lgica silogstica en silogismo
[14] Tras los escritos pticos de Grosseteste y Witelo o Teodorico
de Freiberg, los primeros intentos de aplicacin de la ma-
temtica al estudio del movimiento, en funcin de tiempos
y distancias, da pie a la fundamentacin de la idea de las
relaciones funcionales, complemento natural de una consi-
deracin sistemtica de las relaciones entre causa y efecto.
Segn este punto de vista cualquier fenmeno poda ser ex-
plicado como funcin algbrica de las condiciones necesa-
rias y sucientes para su produccin, o lo que es lo mismo,
se establece correlacin entre lo que hoy llamamos varia-
bles independientes y dependientes, con un claro intento de
mostrar qu vinculacin existe entre los cambios de las pri-
meras y los de las segundas Bergad. op.cit.
[15] Sacrobosco, Algoritmos, 1488; Georg von Peurbach, Algo-
rithmus, 1492;Luca Paccioli, Summa de arithmetica, pro-
portioni et proportionalit, 1494
[16] Interesante hecho histrico es el descubrimiento por Tar-
taglia de la resolucin de ecuaciones de tercer grado y la
publicacin traicionera por Cardano, que nos recuerda la
pelea entre Leibniz y Newton sobre el clculo diferencial.
Bergad, op. cit.
[17] Mysterium Cosmographicum, 1596; Astronomia Nova,
1609; Harmonice Mundi, 1619
[18] La losofa est escrita en este grandsimo libro que conti-
nuamente 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 matemtica, y sus caracte-
res son tringulos, crculos y otras guras geomtricas, sin
las cuales es totamente imposible entender humanamente
una palabra, y sin las cuales nos agitamos vanamente en
un oscuro laberinto, Il Saggiatore, 1623
[19] Tartaglia, Nova scientia, 1537
[20] Discurso del Mtodo. Descartes, (1637)
[21] Hirschberger, J. Historia de la Filosofa, II, Barcelona. Ed.
Herder, 1967; Russell, B. A critical exposition of the phi-
lophy of Leibniz. Londres, 1937;Ortega y Gasset, La idea
de principio en Leibniz y la evolucin de la teora deducti-
va, Revista de Occidente. B. Aires, 1958
[22] Philosophiae naturalis principia mathematica [citado
Principia"]1687
[23] El concepto de idea es entendido en sentido empirista co-
mo representacin mental, que nada tiene que ver con la
idea platnica
[24] entendido como contenido de experiencia, y por tanto sub-
jetivo
[25] Prlogo a su Crtica de la Razn Pura, 1781
[26] Para todo este apartado, vase, Historia de la ciencia. op.
cit.
[27] Ms general y generosamente, podemos concebir un obje-
to fsico simplemente como el contenido material completo
cuatridimensional -por espordico y heterogneo que sea-
de alguna porcin del espacio--tiempo. Quine, W.V. Filo-
sofa de la Lgica, Madrid (1981), pg. 64
[28] Lluis Mas (1982)Transformaciones de fondo en las cien-
cias fsicas
[29] En Historia del tiempo Stephen W. Hawking muestra
repetidamente cmo progresa la ciencia en sus teoras a
partir de especulaciones lgico-matemticas
[30] Ludwig Wittgenstein: Tractatus logico-philosophicus
[31] paradoja del viaje en el tiempo de John Richard Gott
[32] Sobre este tema interesante lectura en Geymonat: Filoso-
fa y Filosofa de la Ciencia
7
8 Bibliografa
Trueta i Raspall, J. et alii. (1977). Historia de la
Ciencia. I. BARCELONA. ED.PLANETA. ISBN
84-320-0841-9.
BERGAD, D. (1979). La matemtica rena-
centista. Historia de la Ciencia. BARCELONA.
ED.PLANETA. ISBN 84-320-0842-7.
PERELL I VALLS, C. (1979). El clculo en los
siglos XVII y XVIII. Historia de la Ciencia. BARCE-
LONA. ED.PLANETA. ISBN 84-320-0842-7.
HONDERICH, T. (Editor) (2001). Enciclopedia
Oxford de Filosofa. Trd. Carmen Garca Trevijano.
Madrid. Editorial Tecnos. ISBN 84-309-3699-8.
NAVARRO, C. Y NADAL, B. (1982). Aspectos de
la Matemtica en el siglo XX. Historia de la Ciencia.
BARCELONA. ED.PLANETA. ISBN81-320-0840-
0.
BUNGE, M. (1972). Teora y realidad. Barcelona.
Ariel. ISBN 84-344-0725-6.
STEWART I. (1977). Conceptos de matemtica mo-
derna. Madrid. Alianza Universidad. ISBN 84-206-
2187-0.
FREGE, G. (1972). Conceptografa. Universidad
Nacional Autnoma de Mxico.
QUINE, W.V. (1968). Palabra y objeto. Barcelona,
Labor. ISBN 84-320-0841-9.
Quine, W.V. (1981). Filosofa de la Lgica. Alianza
Editorial. Madrid. ISBN 84-206-2043-2.
Geymonat, L. (1965). Filosofa y Filosofa 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.
Schrdinger, E. (1975). Qu es una ley de la natu-
raleza. Mexico. Fondo de Cultura Econmica.
9 Enlaces externos
La diferencia entre las ciencias y el conocimiento
residira en el grado de formalizacin del lenguaje
de unos y otros.
8 10 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES
10 Text and image sources, contributors, and licenses
10.1 Text
Lenguaje formalizado Fuente: http://es.wikipedia.org/wiki/Lenguaje_formalizado?oldid=73093651 Colaboradores: Robin Hood,
Tano4595, Petronas, BOT-Superzerocool, GermanX, CEM-bot, Davius, Rosarinagazo, MONIMINO, VolkovBot, Technopat, Muro Bot,
PaintBot, BOTarate, Copydays, Farisori, LucienBOT, Dorieito, Luis Felipe Schenone, Josuejiar, MAfotBOT, Jerowiki, Tuc negre, KLBot2,
Acratta y Annimos: 25
10.2 Images
Archivo:All_services_road_sign.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/ef/All_services_road_sign.svg Licen-
cia: Public domain Colaboradores: File:Ravintola 724 tunnusosa.svg, File:Htpuhelin 791 tunnusosa.svg, File:Huoltoasema 722 tun-
nusosa.svg, File:Aamiaismajoitus 774b tunnusosa.svg. Artista original: Beao (<a href='//commons.wikimedia.org/wiki/User_talk:Beao'
title='User talk:Beao'>talk</a>)
Archivo:Commons-emblem-question_book_yellow.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/dd/
Commons-emblem-question_book_yellow.svg Licencia: CC-BY-SA-3.0 Colaboradores: <a href='//commons.wikimedia.org/wiki/File:
Commons-emblem-query.svg' class='image'><img alt='Commons-emblem-query.svg' src='//upload.wikimedia.org/wikipedia/commons/
thumb/c/c5/Commons-emblem-query.svg/25px-Commons-emblem-query.svg.png' width='25' height='25' srcset='//upload.wikimedia.
org/wikipedia/commons/thumb/c/c5/Commons-emblem-query.svg/38px-Commons-emblem-query.svg.png 1.5x, //upload.wikimedia.
org/wikipedia/commons/thumb/c/c5/Commons-emblem-query.svg/50px-Commons-emblem-query.svg.png 2x' data-le-width='48'
data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img alt='Question
book.svg' src='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_book.svg.png' width='25'
height='20' srcset='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/38px-Question_book.svg.png 1.5x,
//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_book.svg.png 2x' data-le-width='252'
data-le-height='199' /></a> Artista original: GNOME icon artists, Linfocito B
Archivo:Clculo_grfico.JPG Fuente: http://upload.wikimedia.org/wikipedia/commons/3/3f/C%C3%A1lculo_gr%C3%A1fico.JPG
Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: MONIMINO
Archivo:Ejemplo_de_formalizacin_aplicada_a_una_situacin.JPG Fuente: http://upload.wikimedia.org/wikipedia/commons/
4/4d/Ejemplo_de_formalizaci%C3%B3n_aplicada_a_una_situaci%C3%B3n.JPG Licencia: CC-BY-SA-3.0 Colaboradores: ? Artista
original: ?
Archivo:Grfica_coches.JPG Fuente: http://upload.wikimedia.org/wikipedia/commons/5/54/Gr%C3%A1fica_coches.JPG Licencia:
CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
10.3 Content license
Creative Commons Attribution-Share Alike 3.0