Capítulo IV. Lógica y formalidad en los lenguajes formales: un análisis en la ciencias computacionales

• Autores: Edgar Serna M., Alexei Serna A
• Localización: Métodos formales, ingeniería de requisitos y pruebas del software / Edgar Serna M. (ed. lit.), 2021, ISBN 978-958-53278-0-1, págs. 46-69
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • Originalmente la idea era buscar el papel que desempeñan los lenguajes formales en el desarrollo de la lógica, observándola como una disciplina que practica una comunidad. Pero en los primeros momentos se descubrió que el enfoque real de esta relación era muy diferente, así que la pregunta clave se orientó a encontrar la relación de la lógica y la formalidad en el desarrollo de los lenguajes formales. Se realizó un estudio descriptivo con el objetivo de encontrar la relación de la lógica y la formalidad en el desarrollo de los lenguajes formales y los resultados que se reportan en los estudios de caso. Los datos para el análisis se recogieron desde los estudios de caso publicados acerca del tema de consulta mediante un método de investigación mixta. El resultado principal es que, dadas las similitudes subyacentes con el principio de la tecnología de los Métodos Formales, la integración de la filosofía y de las perspectivas cognitivas acerca de lógica y formalidad en los lenguajes formales es un desarrollo natural. De acuerdo a la conceptualización que se presenta en esta investigación, las características más importantes de un lenguaje formal son: es escrito, su dimensión semántica no es representacional sino basada en el uso de los agentes, su función es predominantemente operativa en lugar de expresiva, y es formal porque es el producto de un proceso de de-semantificación y muestra propiedades computacionales clave.