Universellt språk ( allmänt språk ; lat. lingua generalis ) är ett språk , ett system av termer som är strikt och otvetydigt definierade och därför tillåter rent formella operationer på sig själva .
Ett sådant språk skulle göra det möjligt att ersätta alla logiska resonemang med kalkyl , utförda, som algebraiska , över ord och symboler i detta språk, och otvetydigt reflekterande begrepp .
Begreppet språk föreslogs av Leibniz . Han gjorde också ett försök att skapa den. Leibniz skrev:
...då kommer det inte att behövas mer i en tvist mellan två filosofer än i en tvist mellan två revisorer. För att lösa motsägelserna kommer det att räcka med att ta en penna och sitta ner vid brädorna och säga till varandra "låt oss beräkna".
Leibniz såg prototypen av en sådan metod i den matematiska metoden .
Det första försöket att skapa en lingua generalis, som Leibniz gjorde i den ungdomliga essän "Om den kombinatoriska konsten" ( 1666 ), baserades på den katalanske religiösa asketens, filosofen, författaren och poeten Raymond Lulls metod .
I februari 1678 skrev Leibniz en uppsats "Lingua Generalis" där hans idéer var nära besläktade med binär kalkyl. Leibniz talade om sin lingua generalis eller lingua universalis som ett universellt språk och siktade på det som en ordbok med symboler med vilka användaren kunde utföra beräkningar som automatiskt skulle ge sanna proportioner, och som en bieffekt utveckla binär kalkyl. [ett]
| Konstruerade språk ( lista ) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||
| |||||||||||
| |||||||||||
| Portal: Konstruerade språk | |||||||||||