Lingua logica
Da Wikipedia, l'enciclopedia libera.
Lingue → Lingue artificiali → Lingua filosofica → {{{4}}} → {{{5}}} → {{{6}}} → {{{7}}} → {{{8}}} → {{{9}}} → {{{10}}} → Lingua logicaUna lingua logica (in inglese "loglang"), è una lingua artificiale, progettata per verificare o dimostrare una certa ipotesi circa il funzionamento delle lingue o il loro potenziale. Di solito questi costrutti vengono considerati degli esperimenti filosofici e in particolare logici.
Alcune lingue logiche sono state talvolta considerate candidate per una lingua ausiliaria internazionale e alcune lingue intese come lingue ausiliarie internazionali possiedono spesso aspetti di "costruzione logica" (come ad esempio il fatto di essere maggiormente regolari e sistematiche rispetto alle lingue naturali cui attingono).
Indice |
[modifica] Lingue logiche
Le lingue logiche sono progettate per permettere (o far rispettare) affermazioni prive di ambiguità. Di solito sono basate sulla logica dei predicati ma possono anche essere basate su altri sistemi della logica formale. Le due lingue logiche più note sono le lingue di predicato Loglan ed il suo successore Lojban, che mirano ad eliminare l'ambiguità sintattica ed a ridurre al minimo l'ambiguità semantica.
[modifica] Lingue filosofiche
Le lingue filosofiche sono progettate per riflettere alcuni aspetti della filosofia, rispettando in particolare la natura o il potenziale della lingua. Il Ro di John Wilkins "Personaggio reale" [1] e Edward Powell Foster costruisce le sue parole servendosi di uno schema ad albero. L'Ithkuil di John Quijaida è progettato per essere il più conciso possibile. Il Láadan di Suzette Haden Elgin è progettato per lessicalizzare a grammaticalizzare i concetti facendo importanti distinzioni per le donne, basandosi sulla teoria del gruppo muto. Il Toki Pona di Sonja Elen Kisa è invece basato sul Taoismo.
[modifica] Lingue verbali
- aUI -
- Ceqli - (1996) Creata da Rex F. May.
- Ithkuil - (1978-2004) Creata da John Quijaida.
- Láadan - (1982) Dal racconto di fantascienza Native Tongue di Suzette Haden Elgin.
- Loglan - (1955) Creata da James Cooke Brown.
- Lojban - (1987) Basata sul precedente Loglan, creata dal Logical Language Group.
- Ro - (1906) Creata da John Wilkins e Edward Powell Foster.
- Toki Pona - (2001) Basata sul Taoismo, creata da Sonja Elen Kisa.
[modifica] Rappresentazioni concettuali
- CycL - Sviluppato da Ramanathan V. Guha.
- Il progetto Distributed Language Translation usa una versione dell'Esperanto in "codice binario" come linguaggio pivot tra la lingua sorgente e la sua traduzione.
- KIF - Sviluppato da Michael Genesereth e altri collaboratori.
- Lincos - (1960) Sviluppato dal Dr. Hans Freudenthal.
- Loom - Sviluppato da un gruppo di ricerca dell'Università della California Meridionale.
- RDF -
