Saludos,
Esta semana las sesiones presenciales estuvieron dedicadas al análisis de los avisos y a la revisión del capítulo 2 del texto guía, cuya lectura completamos.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo02.html
La zorra y el cuervo es un cuento ancestral que contiene una moraleja que se puede resumir en: tenemos que pensar antes de actuar. El Prof. Kowalski usa los personas de ese cuento para ilustrar su propuesta de agentes reactivo (el cuervo, en esa historia) y proactivo (la zorra).
El tema central de la lección, sin embargo, es el razonamiento hacia atrás. Una estrategia para pensar que dice al hacerlo uno puede reducir una meta a sus submetas, haciéndo la conexión con algunas reglas lógicas.
Les decía que en clase que estamos muy familiarizados a una forma de razonar que usa esta forma de representar "si A entonces B", para construir un argumento con esta forma:
si A entonces B
A
por lo tanto, B.
He usado la palabra "forma" varias veces a propósito para ilustrar las diversas acepciones del término que usamos en el curso. En cualquiera de esos casos, una forma aspira a ser más que una palabra o símbolo particular. Ese fue uno de los detalles de fallaron en la tarea 1.
Las formas se pueden "instanciar" para convertirlas en las expresiones que usamos para transmitir un mensaje particular. Por ejemplo, en si A entonces B, podemos reemplazar la A por "emergencia" y la B por "pulse el botón" y obtenemos una nueva instancia, más particular, de aquella forma en el regla:
si emergencia entonces pulse el botón.
La forma de razonamiento que estoy mostrando es tan conocida que tiene un hermoso nombre en latín: "modus ponens".
Pero no es para nada la única forma de razonamiento lógico. En este capítulo conocimos, muy rápidamente, otra muy importante en lógica computacional.
A partir de:Esta semana las sesiones presenciales estuvieron dedicadas al análisis de los avisos y a la revisión del capítulo 2 del texto guía, cuya lectura completamos.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo02.html
La zorra y el cuervo es un cuento ancestral que contiene una moraleja que se puede resumir en: tenemos que pensar antes de actuar. El Prof. Kowalski usa los personas de ese cuento para ilustrar su propuesta de agentes reactivo (el cuervo, en esa historia) y proactivo (la zorra).
El tema central de la lección, sin embargo, es el razonamiento hacia atrás. Una estrategia para pensar que dice al hacerlo uno puede reducir una meta a sus submetas, haciéndo la conexión con algunas reglas lógicas.
Les decía que en clase que estamos muy familiarizados a una forma de razonar que usa esta forma de representar "si A entonces B", para construir un argumento con esta forma:
si A entonces B
A
por lo tanto, B.
He usado la palabra "forma" varias veces a propósito para ilustrar las diversas acepciones del término que usamos en el curso. En cualquiera de esos casos, una forma aspira a ser más que una palabra o símbolo particular. Ese fue uno de los detalles de fallaron en la tarea 1.
Las formas se pueden "instanciar" para convertirlas en las expresiones que usamos para transmitir un mensaje particular. Por ejemplo, en si A entonces B, podemos reemplazar la A por "emergencia" y la B por "pulse el botón" y obtenemos una nueva instancia, más particular, de aquella forma en el regla:
si emergencia entonces pulse el botón.
La forma de razonamiento que estoy mostrando es tan conocida que tiene un hermoso nombre en latín: "modus ponens".
Pero no es para nada la única forma de razonamiento lógico. En este capítulo conocimos, muy rápidamente, otra muy importante en lógica computacional.
Yo tengo el queso si lo sujeto.
y
Yo quiero tener el queso.
obtengo:
La forma general de este argumento es (observen con cuidado!):
A si B.
no A.
por lo tanto, no B.
Se le llama "modus tollens" y cómo llegamos desde ella hasta el procedimiento para reducir metas en submetas es parte de la historia sensacional de la programación lógica. Sigan leyendo a Kowalski.
La clase nos llevó a una muy interesante discusión sobre los avisos. Además de los que algunos de Uds entregaron, trajimos un par de avisos más a discusión y nos permitieron conversar sobre las intenciones profundas de quienes los escribieron. Eso ya es un gran logro y me alegra poder atribuírselo al curso de lógica.
Pero, además, sugieron temas muy importante, como ese de la validez de los argumentos y la "lógica democrática".
Voy a preparar otro mensaje al respecto. Por lo pronto, les sugiero releer el capítulo 2 y preguntar todo lo que se les ocurra.
Gracias.
0 comentarios:
Publicar un comentario