i can't say i get it so far. in the 60s and now the argument seems to be: it's too formal, just quantitative data.

'it is clear that the tautological transformation per se within a logicomathematical formalism cannot lead us to new insights by providing "solutions" to a "problem" (as long as no errors in calculation occur, they are just equivalent paraphrases.) unless by such paraphrasing new semantic relations become uncovered (the solution), which were opaque in the original formulation of the state of affairs (the problem) ...' (hfv, '71)

1971 heinz von foerster published a short article about "computing in the semantic domain". just recently i was falling over the illiac iv project. the supercomputer gave the scientists some hope to be able to work and proof their ideas also in the field of semantic computing. claro, it was supposed to be the most powerful computer in the world and heinz von foerster quotes g.h. barnes in the references.

... 'the other possible avenue has been opened recently by our beginning to understand the relations between semantic and syntactic structures, and by the development of computer systems of unprecedented power (barnes, g.h., 1968. the illiac iv computer. ieee tr.comp.) together with relational program structures of unprecedented sophistication (weston, p. 1970. cylinders. a relational data structure. tech rep. no 18, bcl). the idea is to abandon the strategy of reformulating the problem into terms that smack of mathematical rigor but lack the contextual richness originally perceived, and to develop the algorithms that transform the description of certain aspects of a system into paraphrases that uncover new semantic relations pertaining to the system as a whole. this is computation in the semantic domain rather than in the syntactic domain of logicmathematical formalisms. here the possibility is opened for inductive inference, a logical modality that is denied all formalisms that rest on the infallibility of the tautological transform ...'

another paper

'argues, contrary to the claims of other workers, that formal semantics in the sense of model theory cannot provide an adequate basis for the ascription of meanings in ai programs.' ( ian d.craig: logicism and meaning. the case against. jan.24, 1995, original written in 1991.)