sintaxis, semántica, validez e inferencia en la lógica de predicados.

 

SINTAXIS

 La sintaxis es una rama de la gramática que estudia los principios de ordenamiento y combinación de las palabras y de los conjuntos que éstas forman dentro de la oración, llamados sintagmas. A su vez, los sintagmas están dotados de un sentido específico y una función dentro de ella.

 

Las palabras no operan de manera individual y aislada, sino en una cadena o ristra, unas antes que otras, ya que su significado propio puede alterarse del lugar que ocupen en la oración. De hecho, la sintaxis del español establece un orden por defecto en el que se formulan las oraciones, que conocemos como SVP: Sujeto-Verbo-Predicado.

 

Sujeto: Es como se llama al sintagma nominal, o sea, al conjunto de palabras que cumplen el rol dentro de la oración de indicar sobre quién recae la acción del verbo. El sujeto tiene un núcleo, que es generalmente un sustantivo o pronombre que indica de quién o quiénes hablamos específicamente.

 

Verbo: Es la palabra que indica la acción en la oración, y por lo tanto se halla siempre en concordancia con el núcleo del sujeto.

 

Predicado: Es como llamamos al sintagma verbal, o sea, a todo aquello que no es sujeto ni verbo, y que vendría a ser todo lo que se dice del sujeto, siendo siempre su núcleo el verbo mismo.

SEMÁNTICA

Se llama semántica a una rama de la lingüística dedicada al estudio del significado. Su nombre proviene del término griego sëmantikós (“significado relevante”) y junto con la fonética, gramática y la morfosintaxis, constituye una de las principales aproximaciones al estudio organizado del lenguaje verbal.

 

 

La semántica se ocupa de los accidentes del significado, como la sinonimia, la antonimia, la polisemia y las familias léxico-semánticas, siempre y cuando el estudio no abandone el lugar de lo eminentemente verbal, ya que de las áreas no verbales de la comunicación se ocupan otras disciplinas como la pragmática.

Comúnmente, la semántica comprende dos componentes o formas de asignar el significado, que son:

·         Denotación. El significado “estándar” de las palabras, el que registran los diccionarios y constituye su sentido “oficial”, más evidente, más referencial.

 

·         Connotación. Aquellos sentidos secundarios que se atribuyen a un término y que no tienen que ver directamente con el referente enunciado, sino con ciertas características atribuidas a él por determinada cultura.

Validez e inferencia

 

Las tablas de verdad sirven no solo para definir los conectores, sino también para probar la validez de las oraciones. Si se desea considerar una oración, se construye una tabla de verdad con una hilera por cada una de las posibles combinaciones de valores de verdad correspondientes a los signos propositivos de la oración. Se calcula el valor de verdad de toda la oración, en cada una de las hileras. Si la oración es verdadera en cada una de las hileras, la oración es válida.

 

Inferencia lógica de predicados

 

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

 

Por ejemplo, la regla de inferencia modus ponendo ponens toma dos premisas, uno en la forma "Si p, entonces q" y otra en la forma "p", y devuelve la conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica de muchas otras lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.

 

Por lo general, una regla de inferencia conserva la verdad, una propiedad semántica. En muchos valores lógicos, esta conserva una designación general. Pero la acción de la regla de inferencia es puramente sintáctica, y no es necesario preservar ninguna propiedad semántica: cualquier función de conjuntos de fórmulas cuenta como una regla de inferencia.

 

 Entonces, aunque la aplicación de una regla de inferencia es un procedimiento puramente sintáctico, debe preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.

 

Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus tollens y contraposición. La lógica de predicados de primer orden usa reglas de inferencia para liderar con cuantificadores lógicos.