ESTUDIOS. filosofía-historia-letras
Otoño 1989
* [Nota 9]

Un lenguaje formalizado es aquél que posee: "(@) ... una lista o descripción ... en términos estructurales de todos los signos con los que las expresiones del lenguaje son formadas; (B) de entre todas las expresiones posibles que pueden ser formadas con estos signos, los llamados enunciados son distinguibles por sus propiedades estructurales... (Y) una lista, o descripción Estructural, es dada de todos los enunciados llamados axiomas o enunciados estructurales; (***IMAGEN***) en las reglas especiales, llamadas reglas de inferencia, ciertas operaciones de'tipo estructura¡ son incluidas, lo que permite la transformación de los enunciados en otros enunciados ... llamados consecuencias ..." Tarski (1956) p. 166.


Inicio del artículo