La idea de razonamiento basado en modelos, RBM, es hoy un tema central en lógica, filosofía de las ciencias y ciencia cognitiva. No obstante ello, su naturaleza inferencial es aún problemática. En este artículo se aborda ...

Este trabajo está dividido en tres partes. En la primera parte, presentamos brevemente el panorama de la diagramación de argumentos expresados en lenguaje natural dentro del ámbito de la lógica informal. Señalamos ...

Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ...

Este trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, ...