Visual Methods to Validate Arguments and Semantic Analysis
No hay miniatura disponible
Fecha
Autores
Director de trabajo de grado
Título de la revista
ISSN de la revista
Título del volumen
Editor
Logos
Altmetric
Código QR
Descripción
In this paper I will present a visual method that I have created to demonstrate the validity of propositional arguments and predicates, based on the traditional Venn diagrams. This idea was born after becoming aware of how useful visual methods are in other scientific fields, such as geometrical representations of arithmetic and algebraic concepts. This method illustrates the relationship between propositional logic, predicate logic and set theory, and it can be used to explain linguistic semantic concepts such as synonymy, antonymy, hyponymy, entailment, paraphrases, contradiction and lexical substitution.
En este artículo presentaré un método visual, el cual he creado a partir de los tradicionales diagramas de Venn para verificar la validez de argumentos proposicionales y de predicados. Esta idea surge de ver lo útil que es usar métodos visuales en otras ramas de la ciencia, como las representaciones geométricas de conceptos aritméticos y algebraicos. La técnica ilustra la relación entre la lógica de proposiciones, la lógica de predicados y la teoría de conjuntos, y puede usarse también para explicar conceptos de semántica lingüística: hiponimia, hiperonimia, sinonimia, antonimia, implicación, paráfrasis, contradicción y sustitución léxica.
En este artículo presentaré un método visual, el cual he creado a partir de los tradicionales diagramas de Venn para verificar la validez de argumentos proposicionales y de predicados. Esta idea surge de ver lo útil que es usar métodos visuales en otras ramas de la ciencia, como las representaciones geométricas de conceptos aritméticos y algebraicos. La técnica ilustra la relación entre la lógica de proposiciones, la lógica de predicados y la teoría de conjuntos, y puede usarse también para explicar conceptos de semántica lingüística: hiponimia, hiperonimia, sinonimia, antonimia, implicación, paráfrasis, contradicción y sustitución léxica.
Palabras clave
validez argumentativa, argumentos proposicionales y de predicados, matemática, semántica, método visual