Tip:
Highlight text to annotate it
X
Hola. Proponemos un curso que es un juego formal. Es una introducción a la
lógica
en el que básicamente lo que vamos a ir
proponiendo de manera, esperamos que motivadora,
es el aprendizaje de un lenguaje en el que van a ir apareciendo nuevos símbolos
con los cuales vamos a poder
enunciar de manera bastante precisa cosas que digamos sobre el
mundo, es decir, todo lo que uno puede contar sobre personas, cosas, conceptos
y sus relaciones.
Y luego nos plantearemos, cuando conozcamos este lenguaje un poco,
preguntas del estilo de "todo esto que decimos sobre el mundo
puede ser verdad a la vez" o
"Esto otro que decimos es necesariamente consecuencia de estas otras tres frases
previas en que acordamos con el interlocutor"
Después de plantearnos esto, intentaremos facilitar algunos ejemplos
prácticos de uso; por ejemplo la resolución de un sudoku a mano
o por un sistema
de tal manera que tengamos elementos para, sobre este lenguaje, calcular,
calcular sí efectivamente estas cosas que decimos sobre del mundo
pueden ser todas ellas ciertas a la vez;
para calcular si efectivamente esto es consecuencia de estas otras cosas;
y al final
saber distinguir cuándo un razonamiento es correcto, saber
utilizarlo, saber describir restricciones sobre el mundo, y, en última instancia, saber
utilizar alguna herramienta automática con la que jugar un poco
y poder solucionar
este tipo de interrogantes sobre lenguaje que proponemos