El término latino characteristica universalis , comúnmente interpretado como característica universal o carácter universal en español, es un lenguaje universal y formal imaginado por Gottfried Leibniz capaz de expresar conceptos matemáticos, científicos y metafísicos . Leibniz esperaba, por lo tanto, crear un lenguaje utilizable dentro del marco de un cálculo lógico universal o calculus ratiocinator .
La characteristica universalis es un concepto recurrente en los escritos de Leibniz. Al escribir en francés, a veces empleaba la expresión spécieuse générale con el mismo significado. Este concepto suele ir acompañado de su noción de cálculo ratiocinator y de sus planes para una enciclopedia como compendio de todo el conocimiento humano.
Usos
Comunicación internacional
Muchos estudiosos de Leibniz que escriben en inglés parecen coincidir en que su characteristica universalis , o «carácter universal», fue concebida como una forma de pasigrafía o lenguaje ideográfico . Esta se basaría en una versión racionalizada de los «principios» de los caracteres chinos , tal como los entendían los europeos en el siglo XVII. Desde esta perspectiva, es común encontrar la characteristica universalis asociada con proyectos contemporáneos de lenguaje universal como el esperanto , lenguas auxiliares como la interlingua y proyectos de lógica formal como la Begriffsschrift de Frege . La expansión global del comercio europeo en la época de Leibniz proporcionó las motivaciones mercantilistas para un lenguaje universal de comercio que permitiera a los comerciantes comunicarse en cualquier lengua natural.
Otros, como Jaenecke, por ejemplo, han observado que Leibniz también tenía otras intenciones para la characteristica universalis , y estos aspectos parecen ser una fuente de la vaguedad e inconsistencia antes mencionadas en las interpretaciones modernas. Según Jaenecke,
El proyecto de Leibniz no es una cuestión de lógica, sino de representación del conocimiento, un campo poco explorado en la epistemología y la filosofía de la ciencia actuales, centradas en la lógica. Es precisamente esta visión sesgada de estas disciplinas la responsable de la imagen distorsionada de la obra de Leibniz que se encuentra en la literatura especializada.
— Jaenecke 1996
Como escribió Louis Couturat , Leibniz criticó los sistemas lingüísticos de George Dalgarno y John Wilkins por esta razón, ya que se centraban en
...usos prácticos más que utilidad científica, es decir, por ser principalmente lenguajes artificiales destinados a la comunicación internacional y no lenguajes filosóficos que expresaran las relaciones lógicas de los conceptos. Favorece, y se opone a ellos, la verdadera «característica real», que expresaría la composición de conceptos mediante la combinación de signos que representen sus elementos simples, de modo que la correspondencia entre ideas compuestas y sus símbolos sería natural y ya no convencional.
— Couturat, 1901, cap. 3
Un lenguaje universal de la ciencia
Leibniz afirmó que su objetivo era un alfabeto del pensamiento humano , un lenguaje simbólico universal (característico) para la ciencia , las matemáticas y la metafísica . Según Couturat, «en mayo de 1676, identificó nuevamente el lenguaje universal con el característico y soñó con un lenguaje que también sería un cálculo, una especie de álgebra del pensamiento» (1901, cap. 3). Este característico era una universalización de los diversos «característicos reales». Couturat escribió que Leibniz citó los jeroglíficos egipcios y chinos , así como los signos químicos, como ejemplos de escritura de características reales .
Esto demuestra que la característica real para él era una ideografía, es decir, un sistema de signos que representan directamente cosas (o, mejor dicho, ideas) y no palabras, de tal manera que cada nación pudiera leerlas y traducirlas a su propio idioma.
— Couturat, 1901, cap. 3
En una nota a pie de página, Couturat añadió:
En otros textos, Leibniz incluso incluye entre los tipos de signos notas musicales y signos astronómicos (los signos del zodíaco y los de los planetas, incluidos el sol y la luna). Cabe señalar que Leibniz a veces emplea signos planetarios en lugar de letras en sus cálculos algebraicos.
— Couturat, 1901, cap. 3
Metafísica
Hartley Rogers enfatizó el aspecto metafísico de la characteristica universalis relacionándola con la "teoría elemental del ordenamiento de los reales", definiéndola como "un sistema precisamente definible para formular enunciados científicos" (Rogers 1963: 934). Los proyectos de lenguaje universal como el esperanto y los proyectos de lógica formal como el Begriffsschrift de Frege no suelen ocuparse de la síntesis epistémica de la ciencia empírica, las matemáticas, los pictogramas y la metafísica de la forma en que Leibniz la describió. Por lo tanto, los estudiosos han tenido dificultades para demostrar cómo proyectos como el Begriffsschrift y el esperanto encarnan la visión completa que Leibniz tenía para su characteristica .
Los escritos de Alexander Gode sugirieron que la characteristica de Leibniz tenía un sesgo metafísico que le impedía reflejar fielmente la realidad. Gode enfatizó que Leibniz primero establecía ciertos objetivos o funciones , y luego desarrollaba la characteristica para cumplir con dichas funciones.
Ciencia
En el ámbito de la ciencia, Leibniz buscaba que sus características formaran diagramas o imágenes que representaran cualquier sistema a cualquier escala y que fueran comprensibles para todos, independientemente de su lengua materna. Leibniz escribió:
Y aunque los sabios han pensado desde hace mucho tiempo en algún tipo de lenguaje o característica universal mediante la cual todos los conceptos y cosas puedan ordenarse armoniosamente, y con cuya ayuda las distintas naciones puedan comunicar sus ideas y leer cada una en su propio idioma lo que otra ha escrito en el suyo, nadie ha intentado crear un lenguaje o característica que abarque simultáneamente las artes del descubrimiento y del juicio; es decir, uno cuyos signos y caracteres cumplan la misma función que los signos aritméticos para los números y los signos algebraicos para las cantidades consideradas abstractamente. Sin embargo, parece que, puesto que Dios ha otorgado estas dos ciencias a la humanidad, ha querido indicarnos que un secreto mucho mayor yace oculto en nuestro entendimiento, del cual estos no son más que sombras.
— Leibniz, Zur allgemeinen Charakteristik. Hauptschriften zur Grundlegung der Philosophie. Philosophische Werke Band 1. páginas 30-31. Traducido por Artur Buchenau. Revisado y con introducción y notas publicadas por Ernst Cassirer . Hamburgo: Felix Meiner. 1966. (A menos que se indique lo contrario, todas las citas de Leibniz son de Sobre la característica general , traducida en Loemker 1969: 221 – 25. Este pasaje es de la página 222.)
PP Weiner puso como ejemplo una aplicación a gran escala de las características de Leibniz a la ciencia climática. Un pronosticador meteorológico inventado por Athanasius Kircher "despertó el interés de Leibniz en relación con sus propios intentos de inventar un lenguaje universal" (1940).
Leibniz habló de su sueño de un lenguaje científico universal en los albores de su carrera, de la siguiente manera:
Hemos hablado del arte de la complicación de las ciencias, es decir, de la lógica inventiva... Pero cuando se hayan formado las tablas de categorías de nuestro arte de la complicación, surgirá algo superior. Pues que los primeros términos, de cuya combinación se componen todos los demás, se designen mediante signos; estos signos constituirán una especie de alfabeto. Será conveniente que los signos sean lo más naturales posible : por ejemplo, para uno, un punto; para los números, puntos; para las relaciones de una entidad con otra, líneas; para la variación de ángulos y de extremos en las líneas, tipos de relaciones. Si estos se establecen correcta e ingeniosamente, esta escritura universal será tan fácil como común, y podrá leerse sin diccionario alguno; al mismo tiempo, se obtendrá un conocimiento fundamental de todas las cosas. Toda dicha escritura estará compuesta, por así decirlo, de figuras geométricas y de una especie de imágenes , tal como lo hacían los antiguos egipcios y como lo hacen hoy los chinos. Sin embargo, sus imágenes no se reducen a un alfabeto fijo... lo que conlleva un esfuerzo tremendo por parte de la memoria, lo cual es contrario a lo que proponemos.
— Sobre el arte de la combinación , 1666, traducido por Parkinson en 1966 : 10-11
Nicholas Rescher , al reseñar el artículo de Cohen de 1954, escribió lo siguiente:
El programa de Leibniz de una ciencia universal ( scientia universalis ) para coordinar todo el conocimiento humano en un todo sistemático comprende dos partes: (1) una notación universal ( characteristica universalis ) mediante la cual cualquier elemento de información puede registrarse de manera natural y sistemática, y (2) un medio para manipular el conocimiento así registrado de manera computacional, para revelar sus interrelaciones y consecuencias lógicas (el calculus ratiocinator ).
— Rescher 1954
Cerca del final de su vida, Leibniz escribió que combinar la metafísica con las matemáticas y la ciencia a través de un carácter universal requeriría crear lo que él llamó:
...una especie de álgebra general en la que todas las verdades de la razón se reducirían a una especie de cálculo. Al mismo tiempo, esto constituiría una especie de lenguaje o escritura universal, aunque infinitamente diferente de todos los lenguajes propuestos hasta ahora; pues los caracteres y las palabras mismas guiarían la mente, y los errores —salvo los de hecho— serían meros fallos de cálculo. Sería muy difícil crear o inventar este lenguaje o característica, pero muy fácil aprenderlo sin necesidad de diccionarios.
— Leibniz, carta a Nicolas Remond, 10 de enero de 1714, en Loemker 1969: 654. Traducción revisada.
La «representación» universal del conocimiento combinaría, por lo tanto, líneas y puntos con «una especie de imágenes» ( pictogramas o logogramas ) que se manipularían mediante su cálculo ratiocinador . Esperaba que su álgebra pictórica impulsara el tratamiento científico de los fenómenos cualitativos, constituyendo así «la ciencia en la que se tratan las formas o fórmulas de las cosas en general, es decir, la cualidad en general» ( Sobre la síntesis y el análisis universales , 1679, en Loemker 1969: 233).
Su razonamiento diagramático

Dado que la characteristica universalis es diagramática y emplea pictogramas (véase la imagen), los diagramas en la obra de Leibniz merecen un estudio minucioso. En al menos dos ocasiones, Leibniz ilustró su razonamiento filosófico con diagramas. Uno de ellos, el frontispicio de su obra De Arte Combinatoria (Sobre el arte de las combinaciones), publicada en 1666, representa la teoría aristotélica de cómo todas las cosas materiales se forman a partir de combinaciones de los elementos tierra, agua, aire y fuego.

Estos cuatro elementos forman los cuatro vértices de un rombo (véase la imagen). Los pares opuestos se unen mediante una barra denominada "contrarios" (tierra-aire, fuego-agua). En los cuatro vértices del cuadrado superpuesto se encuentran las cuatro cualidades que definen los elementos. Cada par adyacente se une mediante una barra denominada "combinación posible"; las diagonales que los unen se denominan "combinación imposible". De arriba abajo, el fuego se forma a partir de la combinación de sequedad y calor; el aire, de humedad y calor; el agua, de frío y humedad; y la tierra, de frío y sequedad. Este diagrama se reproduce en varios textos, entre ellos Saemtliche Schriften und Briefe ( Saemtliche Schriften und Briefe , Reihe VI, Band 1: 166, Loemker 1969: 83, 366, Karl Popp y Erwin Stein 2000: 33).
Leibniz reconstruye sus pasos y realiza un descubrimiento.
Leibniz comprendió acertadamente que crear la characteristica sería difícil, fijando el tiempo necesario para idearla de la siguiente manera: «Creo que algunos hombres selectos podrían terminar el asunto en cinco años» (Loemker 1969: 224), y más tarde comentó: «Y así repito lo que he dicho a menudo: que un hombre que no es ni profeta ni príncipe puede jamás emprender nada de mayor bien para la humanidad ni más apropiado para la gloria divina» (Loemker 1969: 225). Pero más adelante en su vida, surgió una nota más sobria. En una carta de marzo de 1706 a la electora Sofía de Hannover , esposa de su mecenas, escribió:
Es cierto que en el pasado planeé un nuevo método de cálculo adecuado para asuntos que nada tienen en común con las matemáticas, y si este tipo de lógica se pusiera en práctica, todo razonamiento, incluso el probabilístico, sería como el del matemático: si fuera necesario, las mentes menos brillantes, con la aplicación y la buena voluntad necesarias, podrían, si no acompañar a las mentes más brillantes, al menos seguirlas. Porque siempre se podría decir: calculemos y juzguemos correctamente mediante esto, en la medida en que los datos y la razón nos lo permitan. Pero no sé si alguna vez estaré en condiciones de llevar a cabo un proyecto así, que requiere más de una mano; e incluso parece que la humanidad aún no está lo suficientemente madura como para reclamar las ventajas que este método podría ofrecer.
— Strickland 2011: 355
En otra carta de 1714 dirigida a Nicholas Remond, escribió:
He hablado con el marqués de l'Hôpital y otros sobre mi álgebra general, pero no le han prestado más atención que si les hubiera contado un sueño. Tendría que respaldarla con alguna aplicación práctica evidente, pero para ello sería necesario desarrollar al menos una parte de mi personalidad, una tarea nada fácil, sobre todo en mi estado actual y sin la posibilidad de conversar con personas que pudieran estimularme y ayudarme en este tipo de trabajo.
— Loemker 1969: 656
Finalmente, al redescubrir los dígitos binarios en obras chinas, concretamente en el I Ching , Leibniz llegó a lo que consideró un descubrimiento que le permitiría crear su characteristica universalis. Esto sentó las bases de la lógica simbólica y la filosofía moderna, en particular la filosofía analítica basada en predicados y la lógica booleana .
Tres criterios
C.J. Cohen (1954) estableció tres criterios que cualquier proyecto de lenguaje filosófico debería cumplir para poder considerarse una versión de la characteristica universalis . Al exponer estos criterios, Cohen hizo referencia al concepto de «logística». Este concepto no es el mismo que el utilizado en el análisis estadístico. En 1918, Clarence Irving Lewis , el primer lógico angloparlante en traducir y analizar algunos de los escritos lógicos de Leibniz, desarrolló el concepto de «logística» de la siguiente manera:
La logística puede definirse como la ciencia que se ocupa de los tipos de orden en sí mismos. No es tanto una disciplina como un método. Si bien la mayor parte de la logística se fundamenta en los principios de la lógica simbólica o hace un amplio uso de ellos, una ciencia del orden en general no necesariamente presupone ni comienza con la lógica simbólica.
— Lewis 1960: 3, 7 – 9 (Lewis se hizo eco aquí del pensamiento de su maestro Josiah Royce; véase "Orden" en los Escritos lógicos recopilados de Royce de 1951 ).
A partir de esto, Cohen estipuló que el carácter universal tendría que servir como:
- Un " idioma auxiliar internacional " que permite a las personas que hablan diferentes idiomas comunicarse entre sí;
- Simbolismo para la expresión exacta y sistemática de todo el conocimiento presente, lo que posibilita un tratamiento "logístico" de la ciencia en general. Este simbolismo también podría ampliarse para dar cabida al conocimiento futuro;
- Un instrumento de descubrimiento y demostración.
Estos criterios, junto con la noción de logística, revelan que tanto Cohen como Lewis asociaron las características con los métodos y objetivos de la teoría general de sistemas .
Un lenguaje científico común
La inconsistencia , la vaguedad y la falta de especificidad tanto en las traducciones al inglés como en las interpretaciones modernas de los escritos de Leibniz dificultan una exposición clara. Al igual que con el cálculo racional de Leibniz , dos escuelas de pensamiento filosófico diferentes han enfatizado dos aspectos distintos presentes en su obra. El primer punto de vista destaca la lógica y el lenguaje , y se asocia con la filosofía analítica y el racionalismo . El segundo punto de vista se alinea más con las ideas de Couturat, expresadas anteriormente, que enfatizan la ciencia y la ingeniería . Este punto de vista se asocia con la filosofía sintética y el empirismo . Leibniz esperaba que uno o ambos aspectos guiaran el razonamiento humano como el hilo de Ariadna y, de este modo, propusieran soluciones a muchos de los problemas urgentes de la humanidad.
Gödel alega conspiración
Dado que Leibniz nunca describió la characteristica universalis con detalle operativo, muchos filósofos la han considerado una fantasía absurda. En este sentido, Parkinson escribió:
Las ideas de Leibniz sobre el carácter sistemático de todo conocimiento están vinculadas a sus planes para un simbolismo universal, una Characteristica Universalis . Este concebido como un cálculo que abarcaría todo el pensamiento y sustituiría la controversia por el cálculo. El ideal ahora parece absurdamente optimista...
— Parkinson 1973: ix
Por otro lado, el lógico Kurt Gödel creía que la characteristica universalis era factible y que su desarrollo revolucionaría la práctica matemática (Dawson 1997). Sin embargo, notó que un tratamiento detallado de la characteristica estaba notablemente ausente en las publicaciones de Leibniz. Al parecer, Gödel reunió todos los textos de Leibniz que mencionaban la characteristica y se convenció de que se había producido algún tipo de censura sistemática y conspirativa, una creencia que se convirtió en una obsesión. Es posible que Gödel no apreciara la magnitud de la tarea que afrontaban los editores de los manuscritos de Leibniz, dado que este dejó alrededor de 15 000 cartas y 40 000 páginas de otros manuscritos. Incluso hoy en día, la mayor parte de este inmenso legado permanece inédito.
Proyectos relacionados del siglo XVII
Otros autores del siglo XVII, como George Dalgarno , intentaron proyectos filosóficos y lingüísticos similares, algunos bajo el nombre de mathesis universalis . Un ejemplo notable fue John Wilkins , autor de Ensayo sobre un carácter real y un lenguaje filosófico , quien escribió un tesauro como primer paso hacia un lenguaje universal. Su intención era añadir a su tesauro un alfabeto del pensamiento humano (un sistema organizativo, similar a un tesauro o al sistema decimal Dewey ) y un «álgebra del pensamiento», que permitiera la manipulación basada en reglas. Los filósofos y lingüistas que emprendieron tales proyectos a menudo pertenecían a grupos pansóficos (de conocimiento universal) y de conocimiento científico en Londres y Oxford, conocidos colectivamente como el « Invisible College » y considerados hoy precursores de la Royal Society .
Proyectos más recientes
En los últimos 150 años ha surgido una gran variedad de lenguajes construidos que pueden considerarse un apoyo a algunas de las intuiciones de Leibniz.
- Raymond F. Piper (1957; 432 – 433) afirmó que el Simbolismo unificado para la comprensión del mundo en la ciencia (1955) de OL Reiser, una ampliación de su Filosofía para la unificación del mundo (1946), se inspiró en la characteristica universalis de Leibniz y se consideró necesario para la comprensión del mundo y las comunicaciones imparciales para que "la guerra pueda ser eliminada eventualmente y se pueda establecer gradualmente un organismo mundial de seres humanos pacíficos" (Piper Ibid.).
- El estudio de las álgebras booleanas y la teoría de grupos en el siglo XIX demostró la intuición de Leibniz de que los métodos algebraicos podían utilizarse para razonar sobre fenómenos cualitativos y no numéricos. En concreto, los elementos del conjunto universal de un álgebra o grupo booleano no tienen por qué ser números. Además, gran parte de la filosofía y la ciencia teórica pueden formalizarse como teorías axiomáticas que incorporan la lógica de primer orden y la teoría de conjuntos . Cabe destacar también cómo la teoría de modelos se ha empleado para formalizar y razonar sobre temas tan enfáticamente no numéricos como la semántica y la pragmática de las lenguas naturales . Sin embargo, estos enfoques aún no han dado lugar a notaciones pictográficas .
- Fearnley-Sander (1986) fue un paso más allá, definiendo la characteristica de Leibniz como una combinación del álgebra de la lógica (que Fearnley-Sander definió como el cálculo ratiocinator ) y el álgebra de la geometría (definida como la characteristica geometrica ). Fearnley-Sander sugirió que esta combinación se había "concretado" con el surgimiento del álgebra universal . Algunas personas, además de Fearnley-Sander, que trabajan en el área del "álgebra universal" (el estudio de las propiedades matemáticas y lógicas de las estructuras algebraicas en general), no creen que el álgebra universal tenga relación alguna con la characteristica .
- Palko, Gy Bulcsu (1986) consideró el análisis estructurado para analizar y diseñar sistemas jerárquicos mediante el uso de un lenguaje icónico, y sugirió que tal era una aplicación de las características universales del proyecto de Leibniz al lenguaje del análisis estructurado y la formalización de un sistema de control icónico.
- Kluge (1980) argumentó que el Begriffsschrift, obra fundamental de Frege , se inspiró conscientemente en la characteristica universalis .
- Aunque Charles Sanders Peirce , fundador de la semiótica , creía que todo razonamiento era diagramático, la relación, si la hay, de la characteristica con sus grafos existenciales y con la semiótica aún no se ha explorado en la literatura inglesa.
- Varios aspectos del positivismo lógico , específicamente:
- Las teorías de primer orden de Aufbau de Rudolf Carnap (1928, traducción al inglés 1967) y de su sucesor, Goodman (1977), son leibnizianas en su amplitud y ambición, aunque Leibniz habría objetado enérgicamente la resuelta hostilidad de Carnap hacia toda metafísica .
- El movimiento de unificación de la ciencia de la década de 1930, liderado por Otto Neurath , Rudolf Carnap y Charles W. Morris , y más tarde por Edward Haskell y otros, se puede comparar con la characteristica .
- El sistema de pictogramas isotipos de Otto Neurath y el "lenguaje pictórico internacional". [ 1 ]
- Los siguientes intentos de reformular partes de la ciencia teórica como teorías axiomáticas de primer orden pueden considerarse como intentos de desarrollar partes de la characteristica :
- Relatividad especial , por Hans Reichenbach , Rudolf Carnap y otros durante la década de 1920 (Carnap 1958: 197 – 212);
- Biología , por Joseph Woodger (1937), también durante la década de 1930 (Carnap 1958: 213 – 20):
- Mecánica , por Suppes (1957: 291 – 305) y otros durante la década de 1950.
- Los objetivos del 'Symbolator' o 'computadora de ideas' (Goppold 1994) se asemejan en algunos aspectos a una versión menos ambiciosa de la characteristica universalis .
- También se han establecido conexiones con la Cábala judía y con la política lingüística auxiliar internacional de la Fe Baháʼí .
- También se ha afirmado que esta característica es un antecesor del lenguaje pictográfico de sistemas energéticos y la síntesis de emergy asociada de la ecología de sistemas de Odum (Cevolatti y Maud, 2004). El lenguaje de sistemas energéticos combina líneas y puntos con "una especie de imágenes" manipuladas mediante ordenadores digitales y paquetes de software como EXTEND (Odum, Odum y Peterson, 1995) y el simulador de emergy de Valyi. [ 2 ] Fue diseñado para proporcionar un lenguaje general de sistemas que permitiera la contabilidad cuantitativa y la simulación matemática de las relaciones energéticas cualitativas entre entidades ecológicas: "esa ciencia en la que se tratan las formas o fórmulas de las cosas en general, es decir, la calidad en general". Un álgebra general conocida como álgebra de emergy surgió del uso repetido de este lenguaje en el modelado y la simulación de los principios energéticos de las relaciones ecológicas. En particular, permitió el descubrimiento y la demostración del principio de máxima potencia , propuesto como la cuarta ley de la termodinámica. Si se concede esta reivindicación ancestral, entonces el software de simulación como EXTEND y el Simulador de Emergia de Valyi pueden verse como una combinación de la characteristica y el cálculo ratiocinador , si y solo si la computadora digital se interpreta como una encarnación física del cálculo ratiocinador .
- El trabajo de Mario Bunge en la frontera entre la física y la metafísica parece fundamentado en presupuestos metafísicos similares a los de las characteristica de Leibniz (Radnitzky 1981: 246).
- El Álgebra Trascendente de Jacob Linzbach , una pasigrafía diseñada para permitir el "cálculo de la verdad" mediante la manipulación de hechos dados siguiendo principios básicos muy similares a los utilizados en matemáticas, se inspiró en la characteristica de Leibniz .
- Lojban (y su versión anterior, Loglan ) son lenguajes artificiales derivados de la lógica de predicados y destinados a ser utilizados en la comunicación humana.
- Se dice que el Blissymbols o Blissymbolics de Charles K. Bliss , utilizado actualmente como un "lenguaje alternativo y aumentativo" para personas con discapacidad, pero originalmente concebido como un "Auxlang" internacional, sigue el modelo de la characteristica (Bliss 1978).
- Los emojis , aunque todavía se encuentran en una etapa relativamente temprana de desarrollo, podrían considerarse una fase inicial en el desarrollo orgánico de un lenguaje logográfico universal.
- Ithkuil es un lenguaje artificial creado por John Quijada, diseñado para expresar niveles más profundos de la cognición humana de forma breve, pero a la vez explícita y clara, especialmente en lo que respecta a la categorización humana.
- La Organización Internacional de Normalización (ISO), con una historia que se remonta a la década de 1920, fue fundada con su nombre actual en 1947 como una organización no gubernamental con estatus consultivo general ante el Consejo Económico y Social de las Naciones Unidas . Está integrada por los organismos nacionales de normalización de 164 Estados Miembros de la ONU. Gracias al trabajo de sus más de 250 comités técnicos, la ISO ha emitido más de 20 000 normas sobre terminología científica, nombres y abreviaturas, pesos y medidas, y pictogramas relacionados con la seguridad y otros.
- El Lenguaje Unificado de Modelado (UML, por sus siglas en inglés) es un lenguaje de modelado de desarrollo de propósito general en el campo de la ingeniería de software, cuyo objetivo es proporcionar una forma estándar de visualizar el diseño de un sistema.
- Bennett, John G.; Bortoft, Henri; y Pledge, Kenneth: "Hacia un lenguaje objetivamente completo: un ensayo sobre la descripción objetiva aplicada al procedimiento científico", Systematics: The Journal of the Institute for the Comparative Study of History, Philosophy and the Sciences , vol. 3, n.º 3, (diciembre de 1965), págs. 185-229.
- El Alfabeto Fonético Internacional (AFI) es un sistema alfabético de notación fonética basado principalmente en el alfabeto latino . Fue ideado por la Asociación Fonética Internacional a finales del siglo XIX como una representación estandarizada de los sonidos del lenguaje hablado .
Véase también
- Lenguaje filosófico : cualquier lenguaje construido que se construye a partir de primeros principios.
- Emporio Celestial del Conocimiento Benevolente – Sistema de taxonomía chino ficticio
Referencias
- ↑ "Libros sobre isotipos y FUTURO - Neurath" . Junio de 2003. Consultado el 10 de julio de 2016 .
- ↑ "Emergy Simulator" . SourceForge.net . 16 de abril de 2013. Consultado el 10 de julio de 2016 .
Sobre el interés de Leibniz a lo largo de su vida por la characteristica y similares, véanse los siguientes textos en Loemker (1969): 165 – 66, 192 – 95, 221 – 28, 248 – 50 y 654 – 66.
Sobre la characteristica , véase Rutherford (1995) y el análisis aún clásico de Couturat (1901: caps. 3,4). También es relevante para la characteristica el análisis de Mates (1986: 183-188 ) sobre lo que él denominó lingua philosophica .
- Bliss, Charles K., 1978. Semantografía: Blissymbolics . 3.ª edición ampliada. Sydney: Semantography-Blissymbolics Publications.
- Brown, MT, 2004. "Una imagen vale más que mil palabras: lenguaje y simulación de sistemas energéticos", Ecological Modelling 178 : 83-100 .
- Bulcsu PG, 1986. "Formalización del lenguaje icónico para el análisis estructurado y la lógica simbólica", [A STRUKTURALT ANALIZIS (SA) IKONIKUS NYELVENEK FORMALIZALASA ES A SZIMBOLIKUS LOGIKA.] Meres es Automatika 34 : 315 – 22.
- Carnap, Rudolph , 1958. Introducción a la lógica simbólica con aplicaciones . Dover.
- — , 1967. La estructura lógica del mundo: pseudoproblemas en filosofía . Prensa de la Universidad de California. Traducción de su Der Logische Aufbau der Welt de 1928 . Leipzig: Felix Meiner Verlag.
- Cevolatti, D., y Maud, S., 2004. "Realizando la Ilustración: el lenguaje de los sistemas energéticos de H.T. Odum en comparación con la Characteristica Universalis de G.W. Leibniz ", Ecological Modelling 178 : 279-92 .
- Cohen, C. Jonathan, 1954. "Sobre el proyecto de un carácter universal," Mind (Nueva Serie) 63 : 249, pp. 49–63.
- Couturat, Louis , 1901. La Logique de Leibniz . París: Félix Alcán. ( La traducción al inglés de Donald Rutherford está en progreso ) .
- Couturat, Louis , O. Jespersen, R. Lorenz, Wilhelm Ostwald y L. Pfaundler, 1910. Lenguaje internacional y ciencia: consideraciones sobre la introducción de un lenguaje internacional en la ciencia , Constable and Company Limited, Londres.
- Dascal, M., 1987. Leibniz: Lenguaje, signos y pensamiento, una colección de ensayos . Filadelfia: John Benjamins.
- Davis, Martin , 2001. Motores de lógica: matemáticos y el origen de la computadora . WW Norton.
- Dawson, Jr., JW, 1997. Dilemas lógicos: la vida y obra de Kurt Gödel . Wellesley, MA: AK Peters.
- Fearnley-Sander, Desmond, 1982. "Hermann Grassmann y la prehistoria del álgebra universal", The American Mathematical Monthly 89 : 161-66 .
- Gode, Alexander , 1951. Interlingua-English: A Dictionary of the International language . Nueva York: Storm Publishers.
- Goodman, Nelson , 1977 (1951). La estructura de la apariencia . Reidel.
- Hintikka, Jaakko , 1997. Lingua Universalis versus Calculus Ratiocinator. Un presupuesto último de la filosofía del siglo XX . Kluwer.
- Jaenecke, P., 1996. "Principios elementales para la representación del conocimiento," Organización del conocimiento 23 : 88 – 102.
- Kluge, EHW, 1980. "Frege, Leibniz y la noción de lenguaje ideal", Studia Leibnitiana 12 : 140 – 54.
- Lewis, CI , 1960 (1918). Un estudio de la lógica simbólica . Dover.
- Loemker, Leroy, ed. y trad., 1969. Leibniz: Escritos y cartas filosóficas . Synthese Historical Library. Dordrecht: D. Reidel.
- Mates, Benson, 1986. La filosofía de Leibniz . Oxford Univ. Press.
- Odum, EC, Odum, HT y Peterson, NS, 1995. "Uso de la simulación para introducir el enfoque de sistemas en la educación" en Hall, CS, ed., Maximum Power: The Ideas and Applications of HT Odum . Colorado Univ. Press: 346 – 52.
- Parkinson, GHR, ed. y trad., 1966. Leibniz: Ensayos lógicos . Oxford Univ. Press.
- — y Mary Morris, trad., 1973. Leibniz: Escritos filosóficos . Londres: JM Dent.
- Piper, RF 1957. "Reseña de 'Simbolismo unificado para la comprensión del mundo en la ciencia' de Oliver L. Reiser," Philosophy and Phenomenological Research 17 : 432 – 33.
- Radnitzky, Gerard, 1981. «La filosofía analítica como confrontación entre los wittgensteinianos y Popper» en Agassi, J. y Cohen, RS (eds.), Filosofía científica hoy (pp. 239-286 ) . Dordrecht: Springer Verlag.
- Reiser, Oliver Leslie, 1946. Una filosofía para la unificación mundial: el humanismo científico como ideología para la integración cultural , Haldeman-Julius Publications.
- — , 1940. La promesa del humanismo científico hacia una unificación del pensamiento científico, religioso, social y económico , Oskar Piest.
- – 1955. Simbolismo unificado para la comprensión del mundo en la ciencia: Incluyendo símbolos de Bliss (semantografía) y lógica, cibernética y semántica , Semantography Pub. Co.
- Rescher, Nicholas , 1954. "Reseña de Sobre el proyecto de un carácter universal de Jonathan Cohen", Journal of Symbolic Logic 19 : 133.
- Rogers, Jr., Hartley , 1963. "Un ejemplo de lógica matemática", The American Mathematical Monthly 70 : 929-45 .
- Rutherford, Donald, 1995, "Filosofía y lenguaje" en Jolley, N., ed., The Cambridge Companion to Leibniz . Cambridge Univ. Press.
- Strickland, Lloyd , ed., 2011. Leibniz y las dos Sophies: la correspondencia filosófica . Toronto: Iter Inc.
- Suppes, Patrick , 1999 (1957). Introducción a la lógica . Dover.
- van Heijenoort, Jean , 1967. "La lógica como cálculo y la lógica como lenguaje", Synthese 17 : 324 – 330. Reimpreso en Hintikka (1997).
- Wiener, Philip P., 1940. "El proyecto de Leibniz de una exposición pública de inventos científicos", Journal of the History of Ideas 1 : 232-240 .
- Woodger, Joseph H., 1937. El método axiomático en biología , Cambridge University Press.
Enlaces externos
- Corazón, Raúl, 2010, El lenguaje como cálculo frente al lenguaje como medio universal . Incluye bibliografía, enlaces a artículos en línea y fragmentos de los escritos de Jaakko Hintikka y Jean Van Heijenoort .
- Smith, Barry, 1978, Ensayo sobre ontología formal , Grazer Philosophische Studien 6 : 39 – 62.
- — , 1990, Characteristica Universalis en K. Mulligan, ed., Language, Truth and Ontology , (Philosophical Studies Series). Kluwer: 50 – 81.
- La revista Characteristica Universalis se centra en la filosofía alemana moderna y clásica ; fue lanzada en 2020. Su objetivo es "promover la investigación interdisciplinaria sobre las filosofías desarrolladas entre los siglos XVII y XIX, con especial énfasis en la filosofía alemana clásica (desde Kant hasta Hegel)".
- Gottfried Wilhelm Leibniz
- Lenguajes diseñados
- Historia intelectual
- Sistemas de clasificación