Base legal ley administración finaciera sector público
Hemos visto como la Lógica Proposicional nos permite descubrir la validez formal de una inferencia atendiendo esencialmente a las letras enunciativas y a losconectores presentes en un argumento. El problema surge, sin embargo, cuando nos encontramos con razonamientos que, siendo formalmente válidos, no deben tal validez unicamente a la naturaleza de susletras enunciativas y sus conectores lógicos, sino que tenemos que ir más allá de los mismos con el objeto de poder demostrar tal validez. Veamos un ejemplo:
Ningún fosil puede estartraspasado de amor
Una ostra puede estar traspasada de amor
.....................................................
Las ostras no son fósiles
Sisolamente existiera la lógica de Enunciados nos encontraríamos con una inferencia que no sería válida formalmente [de ¬p y q es imposible poder derivar ¬r], y, sin embargo, el sentido común nos dice que eneste razonamiento, suponiendo que las premisas fueran ciertas, parece evidente que podría seguirse la conclusión señalada.
Por suerte la Lógica dispone de otros recursos para hacer frente a estetipo de inferencias.En este sentido, en Lógica de Predicados, este argumento podría simbolizarse así:
* x (Fx Px)
* x (0x Px)----------------------------------------------------------------------
* x (0x (Fx)
De todos modos, e independientemente de esta formalización distinta a la de la Lógica de Enunciados, la cual atendía esencialmente a sus letrasenunciativas y sus conectores, ahora, en la Lógica de Predicados es necesario tener presente otros elementos.
Otra cuestión presente en la Lógica de Predicados se refiere al problema de la Traducciónde expresiones desde el lenguaje natural al lenguaje lógico de los predicados monádicos. Es evidente que existen expresiones que no suponen problema de traducción por estar claro su sentido. Asi,...
Regístrate para leer el documento completo.