¡Buenas, foro!
Les presento LogicLang (nombre 100% provisional).
Se trata de un lenguaje de programación de scripts en lenguaje semi-natural ("semi" porque usa simbolitos, en concreto y por ahora sólo "{...}" (para variables), "{{...}}" (para valores) y "[...]" (para agrupar proposiciones) : ni 1 más).
Pueden ver una demo en CodePen:
https://codepen.io/allnulled/pen/JpPpXQ
Y el proyecto, licenciado bajo GPLv3 Affero, en GitHub:
https://github.com/allnulled/logic-lang/blob/master/src/logics-grammar.js
Se trata de un lenguaje de programación que te permite escribir sentencias (sólo si son) 100% lógicas. De momento, están incluidos bastantes operadores lógicos, y por lo que he visto en Wikipedia, están todos los básicos (https://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_l%C3%B3gicos). A partir de aquí, los demás serían extensiones de la lógica base, o combinaciones de los operadores que ya existen.
Lo interesante, a partir de este punto del desarrollo, es que el código javascript válido que se genera de estos scripts vaya comprobando que cada nueva sentencia respeta las sentencias anteriores.
Lo he hecho en castellano porque era más fácil, ya se pasará a otros idiomas, eso no debería tener mucha complicación (según hacia qué idioma y quién lo traduzca, claro).
En fin. En un mundo sin demasiada lógica social y lingüística, echaba de menos una herramienta (computacional, basada en la imparcialidad de las máquinas a diferencia de un juez) con la que pueda demostrar las falacias lingüísticas a las que nos someten sistemáticamente, con la que poder explorar de manera natural (esto facilita mucho el trabajo, la profundización y la comunicación de la lógica, y no los símbolitos esos que nos enseñan para representar la lógica) los límites de este infravalorado arte, que es el de la lógica de proposiciones en el lenguaje natural cotidiano.
Espero que les guste, seguiré trabajando unos días más en ello, y abandonaré. Si alguien quiere unirse, por favor, escríbanme a:
No colocar datos personales. Contactar por MP.
Ojo, yo no tengo estudios. Que nadie se eche para atrás por eso. Sería bueno tener skills de lógica, básicamente, y de javascript, que es el lenguaje clave en este proyecto.
Saludos.
Les presento LogicLang (nombre 100% provisional).
Se trata de un lenguaje de programación de scripts en lenguaje semi-natural ("semi" porque usa simbolitos, en concreto y por ahora sólo "{...}" (para variables), "{{...}}" (para valores) y "[...]" (para agrupar proposiciones) : ni 1 más).
Pueden ver una demo en CodePen:
https://codepen.io/allnulled/pen/JpPpXQ
Y el proyecto, licenciado bajo GPLv3 Affero, en GitHub:
https://github.com/allnulled/logic-lang/blob/master/src/logics-grammar.js
Se trata de un lenguaje de programación que te permite escribir sentencias (sólo si son) 100% lógicas. De momento, están incluidos bastantes operadores lógicos, y por lo que he visto en Wikipedia, están todos los básicos (https://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_l%C3%B3gicos). A partir de aquí, los demás serían extensiones de la lógica base, o combinaciones de los operadores que ya existen.
Lo interesante, a partir de este punto del desarrollo, es que el código javascript válido que se genera de estos scripts vaya comprobando que cada nueva sentencia respeta las sentencias anteriores.
Lo he hecho en castellano porque era más fácil, ya se pasará a otros idiomas, eso no debería tener mucha complicación (según hacia qué idioma y quién lo traduzca, claro).
En fin. En un mundo sin demasiada lógica social y lingüística, echaba de menos una herramienta (computacional, basada en la imparcialidad de las máquinas a diferencia de un juez) con la que pueda demostrar las falacias lingüísticas a las que nos someten sistemáticamente, con la que poder explorar de manera natural (esto facilita mucho el trabajo, la profundización y la comunicación de la lógica, y no los símbolitos esos que nos enseñan para representar la lógica) los límites de este infravalorado arte, que es el de la lógica de proposiciones en el lenguaje natural cotidiano.
Espero que les guste, seguiré trabajando unos días más en ello, y abandonaré. Si alguien quiere unirse, por favor, escríbanme a:
No colocar datos personales. Contactar por MP.
Ojo, yo no tengo estudios. Que nadie se eche para atrás por eso. Sería bueno tener skills de lógica, básicamente, y de javascript, que es el lenguaje clave en este proyecto.
Saludos.
