Hicimos una presentación formal de la sintaxis de LPO haciando énfasis en las nociones de variable libre y ligada. Luego, trabajamos la semántica de LPO desde un punto de vista bastante intuitivo: hicimos traduccones del lenguaje natural a LPO dando, en cada caso, un "diccionario" que nos permita entender por qué la formula de LPO era una traducción.
Trabajando con traducciones, vimos que la estructura lógica de las formulas de LPO y la estructura gramatical de las oraciones castellanas podían llegar a diverger fuertemente. Por lo que hablamos de la estructura gramatical como algo distinto de la estructura lógica.
Dejo ejercicios sobre todos estos temas.
http://www.megaupload.com/?d=OCMNM628
domingo, 2 de octubre de 2011
clase del 19/9/11
Comenzamos a presentar un lenguaje más poderoso que el proposicional desde el punto de vista expresivo: el lenguaje de orden uno.
Al respecto vimos que había argumentos que no eran válidos proposicionalmente pero que igual los considerábamos como tales. Luego, vimos que estos argumentos eran válidos en LPO debído a que habían expresiones lingüísticas que eran importantes para la validez del argumento, pero que el lenguaje proposicional era insensible a ellas.
A partir de todo esto empezamos a trabajar las nocones de cuantificación, términos, etc.
Al respecto vimos que había argumentos que no eran válidos proposicionalmente pero que igual los considerábamos como tales. Luego, vimos que estos argumentos eran válidos en LPO debído a que habían expresiones lingüísticas que eran importantes para la validez del argumento, pero que el lenguaje proposicional era insensible a ellas.
A partir de todo esto empezamos a trabajar las nocones de cuantificación, términos, etc.
Suscribirse a:
Entradas (Atom)