In this paper, I wish to present Robinson’s diagram as an attempt to overcome the problem of formal language, which was indicated in 1922 by Skölem as the “relativity of set-theoretical notions”. Robinson’s diagram is a symbolic representation of information. The diagram of a mathematical structure M is the set of all elementary sentences of one of the forms j or ¬j which hold in M, where j = R(a1,….,an) for any R, a1,….,an which denotes relations of individuals a1,….,an, in M. The diagram is syntactic and semantic at the same time. Using the diagram with the philosophical position that links semantics and syntactic it is possible to find the unique model that is described by a set of axioms.
Citation: Talia Leven (2021) Robinson’s diagram as a tool for dealing with Skolem’s criticism of formal language, European Journal of Computer Science and Information Technology, Vol.9, No.4, pp.28-41
Keywords: Skolem, empirical prime model, formal language, paradox, semantic, syntactic perspective
