Limbaj logic
Un limbaj logic (în engleză „ loglang ”), este un limbaj artificial , conceput pentru a testa sau a dovedi o anumită ipoteză despre funcționarea limbilor sau potențialul lor. De obicei, aceste constructe sunt considerate experimente filosofice și în special logice .
Unele limbi logice au fost uneori considerate candidați pentru o limbă auxiliară internațională și unele limbi destinate limbilor auxiliare internaționale au adesea aspecte ale „construcției logice” (cum ar fi mai regulate și sistematice decât limbile naturale pe care le deseneaza pe).
Limbaje logice
Limbajele logice sunt concepute pentru a permite (sau impune) declarații lipsite de ambiguitate. Ele se bazează de obicei pe logica predicatului, dar se pot baza și pe alte sisteme de logică formală . Cele mai cunoscute două limbi logice sunt limbile predicate Loglan și succesorul său Lojban , care au ca scop eliminarea ambiguității sintactice și minimizarea ambiguității semantice.
Limbaje filozofice
Limbajele filozofice sunt concepute pentru a reflecta anumite aspecte ale filozofiei, respectând în special natura sau potențialul limbajului. „Personajul regal” al lui John Wilkins [1] [ link rupt ] și Edward Powell Foster's Ro își construiesc cuvintele folosind o diagramă de copac. John Quijaida lui Ithkuil este proiectat pentru a fi cât mai concis posibil. Láadan , de la Suzette Haden Elgin, este conceput pentru a lexicaliza și gramaticaliza concepte, făcând distincții importante pentru femei, pe baza teoriei grupului mut . Toki Pona din Sonja Elen Kisa se bazează în schimb pe taoism .
Limbaje verbale
- aUI - Creat de John W. Weilgart .
- Ceqli - ( 1996 ) Creat de Rex F. May .
- Ithkuil - ( anul 1978 - 2004 de ) Creat de John Quijaida .
- Laadan - ( 1982 ) Din poveste science fiction limbă nativă de Suzette Haden Elgin .
- Loglan - ( 1955 ) Creat de James Brown Cooke .
- Lojban - ( 1987 ) Pe baza Loglan anterioare, creat de Grupul de limbă logică .
- Ro - ( 1906 ) Creat de John Wilkins și Edward Foster Powell .
- Toki Pona - ( 2001 ) Pe baza taoism , creat de Sonja Elen Kisa .
Reprezentări conceptuale
- CYCL - Dezvoltat de Ramanathan V. Guha .
- Distribuit Limba de traducere Proiectul folosește o versiune de esperanto în „cod binar“ , ca o limbă pivot între limba sursă și traducerea acesteia.
- KIF - Dezvoltat de Michael Genesereth și alți colaboratori.
- Lincos - ( 1960 ) , dezvoltat de Dr. Hans Freudenthal .
- Loom - dezvoltat de o echipa de cercetare de la Universitatea din California de Sud.
- Resource Description Framework (RDF) - instrument de bază propus de W3C pentru interoperabilitatea între aplicațiile care fac schimb de informații pe Web. Acesta este format din două componente: RDF Model și sintaxă, care expune structura modelului RDF și descrie o posibilă sintaxă; și RDF Schema, care expune sintaxa pentru definirea schemelor și vocabularelor pentru metadate.
Bibliografie
- Umberto Eco , Căutarea limbii perfecte în cultura europeană , Roma-Bari, Laterza , 1993, ISBN 978-8842050285
- ( EN ) Alan Libert, A priori artificial languages , München, Lincom Europa, 2000, ISBN 3-89586-667-9
Elemente conexe
linkuri externe
- ( RO ) Listă de link-uri de limbi logice , pe minyeva.alkaline.org .