On the basis of an analysis of the relevant parts of Tractatus logico-philosophicus, a definition of the property of saying something, and of the obviously correlated property of saying nothing, is given. By applying that definition, both tautologies and contradictions are sanctioned as saying nothing, as lacking sense, in full agreement with Wittgenstein's explicit statements. On the other hand, a recent systematic attempt by A. Negro to extract from the Tractatus a criterion for sense containment and a criterion for saying (...) more, that is, for comparing the amount of sense of propositions, leads to the conclusion that the sense of any proposition is contained in the sense of a contradiction and that contradictions say more than any other propositions. The problem faced in this paper is that of restoring consistency between Negro's criteria, which on the whole give a correct interpretation of the text of the Tractatus, and Wittgenstein's thesis that, not only tautologies, but also contradictions say nothing. (shrink)

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...