Re: Martian conlangs?

----- Original Message -----
From: "Christophe Grandsire" <christophe.grandsire@...>

> En réponse à BP Jonsson <bpj@...>:
> > >By the way, I've heard that [Leibniz] invented a language.
> >
> > And I have looked for it with no success! :-(
>
> http://logique.uqam.8m.com/histoire6.htm
>
> Sorry, only in French, look for "lingua characteristica universalis".
Milles mercis, Christophe!  Je t'embrasse! If I may be so bold... it's what
all my friends in Geneva said to each other in letters and exclamations of
appreciation for gifts and favors and compliments, but that was Switzerland.

> He wanted to create a philosophical writing system (disconnected with any
> existing language or anything spoken at all and directly connected with
things
> and ideas). It's possibly the first loglang. What he wanted is to create a
> general algebra, which would apply not only to numbers but also to ideas.
With
> this algebra, looking for the truth value of a proposition or for the
validity
> of a theorem would be just as easy as an addition. Needless to say, he
never
> managed to finish this project :) . His ideas did influence mathematical
> notations though.
Copied and pasted from the website:

Leibniz est à l'origine de la coupure réelle entre logique classique et
logique moderne, en ce qu'il a commencé le développement d'une langue
strictement formelle pour la logique, ce qu'il nomme la lingua
characteristica universalis. Cette langue tente de substituer à l'écriture
phonétique une écriture totalement idéographique, en contact direct avec les
idées qu'elle exprime, et cherche également à remplacer la grammaire
traditionnelle par un système rationnel de syntaxe. Cette nouvelle langue
formelle permet entre autres la permanence et l'intemporalité du discours
que ne permettait pas la langue parlée. Leibniz veut ainsi transformer le
raisonnement en calcul. Cette langue est dite caractéristique puisqu'elle se
distingue de la langue naturelle par son indépendance par rapport à la
phonation. Elle est dite universelle car elle est une langue artificielle
qui se distingue des langues naturelles, particulières et multiples. Leibniz
veut développer une langue philosophique, soit une caractéristique réelle
(en rapport direct avec les choses, sans l'intermédiaire des mots) et une
caractéristique logique (faisant en sorte que la syntaxe ne dépende pas d'
une grammaire empirique). Cette écriture rationnelle devrait constituer un
instrument pour la raison.

Sally
scaves@frontiernet.net
Eskkoat ol ai sendran, rohsan nuehra celyil takrem bomai nakuo.
"My shadow follows me, putting strange, new roses into the world."