Bitacora Logica 10 B2011: Teorias del Cambio

Saludos,

Disculpen la demora con la bitácora. Les doy razones al final.

En la clase del miércoles revisamos el capítulo 9 del texto guía que explica un conjunto de las llamadas teoría del cambio. Se trata de varios intentos sistemáticos por modelar, en lógica, los principios fundamentales en los sistemas dinámicos. En palabras menos complicadas, el tema es cómo pensamos acerca de cómo cambia el mundo. 

Curiosamente, la discusión comienza hablando de como NO cambia el mundo. Es decir, de cuáles son las estructuras que caracterizan es estado ESTATICO del mundo. Les advertí en clase sobre esa aparente redundancia de términos: ESTADO y ESTATICO como que no puede ser de otra manera. Pero sí puede. En el texto conocemos sobre estados DINAMICOS que son situaciones de cambio "que están ocurriendo" o, como diría cierto periodísta famoso, están en pleno desarrollo. 

Por ejemplo, "estoy escribiendo la bitácora" es una propiedad de este mundo (que podría referir con toda precisión a mí mismo ahora) es un estado de cambio que comenzó cuando abrí la página y terminará (espero) cuando la cierre. 

Suena trivial, lleno de lugares comunes o muy vago?. Está bien. Los humanos consideramos a estas disertaciones como "sentido común". Sin embargo, tratar de convertirlas en software ha sido una batalla impresionante que, hay que decir, todavía no ganamos. 

Voy a dejarlos con varias referencias para pensar el asunto (o los asuntos. Son varios conceptos)

La primera es a un gran amigo, el profesor Murray Shanahan, quien escribió el libro Resolviendo el Problema del Marco (Solving de Frame Problem)

Solving de Frame Problem de Murray Shanahan

Allí encontrarán el mejor recuento de esta aventura por dar cuenta del cambio en lógica hasta el siglo pasado.

Las otras referencias son a mis intentos previos por explicarlo en las bitácoras. En particular la de los políticos mentirosos (que seguro van a decir es muy vigente):

http://jacinto-davila.blogspot.com/2009/12/bitacora-logica-b2009-11.html

y la que discutimos en clase, que termina con el artículo del Prof Kowalski explicando el Cálculo de Eventos el cual les encomiendo especialmente.

http://jacinto-davila.blogspot.com/2007/05/bitcora-lgica-10-unidad-09.html

Muy pendiente a sus comentarios.

Proyecto

Respeto al proyecto, en vista de que la votación fue tan dispersa y minimal, hemos decidido hacerlo todo lo más fácil posible.

Tercer Parcial: Miércoles, 29 de Febrero, 8am. PGCOMP.

Recuperativo A: Miércoles, 29 de Febrero, 2pm. CESIMO.
Recuperativo B: Viernes, 2 de Marzo, 2pm, CESIMO.

Uds eligen con toda libertad en cual participar.  PEEERO.. por favor, definan sus proyectos recuperativos a más tardar el miércoles 15 a la medianoche. Se vale consultar cualquier duda.

Demora

La demora de la bitácora tiene que ver conque he estado ocupado en un par de asignaciones especiales. La primera es una invitación a participar en el procesos de reglamentación nacional de los estudios abiertos o de postgrado. Eso puede significar que no tengamos clases el miércoles, pero, por favor, permítanme avisar a última hora (cuando se defina). 

La otra razón es que tengo una invitación de nuestro Consejo Universitario a participar en la discusión acerca de un eventual acuerdo entre esta Universidad y la empresa Microsoft. Es un asunto importante, acerca del cuál yo fijé posición antes. Les invito a revisarla y agradezco cualquier comentario o sugerencia

http://jacinto-davila.blogspot.com/2011/05/por-que-no-una-alianza-con-microsoft-en.html

Saludos.