Abstract

En este trabajo se define formamente el concepto de representacion en química utilizando homomorfismos desde estructuras algebraicas, que llamamos sistemas de tipo C, en otras estructuras especiales de símbolos muy relacionados con los que son habituales en la qímica experimental. Para la definicion de los sistemas de tipo C se ha seleccionado un conjunto minimo de relaciones y funciones, que son necesarias para expresar proposiciones significativas en química. Tambien se define un lenguaje formal de primer orden adecuado a los sistemas de tipo C, que llamamos L(C). EI resultado principal que se demuestra es que toda representación que verifica las mismas sentencias de L(C) que un sistema de tipo C, es necesariamente isomorfo a él. Se concluye por lo tanto que puede existir un problema linguístico subyacente en la aplicacion que de la mecaníca cuántica se hace en la química teórica.The concept of representation in chemistry bas been formallv defined by means of homomorphisms from algebraical structures, which we call type-C systems, to some special sets of symbols which can be related to the symbols ordinarily used in experimental chemistry. A minimum number of relations and functions, which would suffice to express significant propositions in chemistry, have been chosen to define type-C systems. A first order formal language L(C) adequate to type-C systems has been defined. It has been shown that each representation that verifies the same sentences of L(C) as a type-C system is necessarily isomorphic to it. It is concluded that a systematic study of the representation problem in chemistry is in order because a deep language problem underlies the application of quantum mechanies to chemical problems