Abstract
En este trabajo nos concentramos en un análisis de los argrunentos presentados en
(Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus
opiniones, por ejemplo en el trabajo (Fetzer:l991). Si bien han aparecido criticas de los
argrunentos de Fetzer- (por ejemplo Barwise: 1989), suelen seguir citándose estos trabajos (por
ejemplo Eden:2007, o el curso de Tedre) para sostener la imposibilidad de la verificación formal
o la insuficiencia. Esto último parece ser cierto, pero no por los argrunentos presentado por
Fetzer sino por la dificultad de validar los modelos obtenidos a partir de especificaciones
formales.