zbMATH — the first resource for mathematics

Meaning, function, purpose, usefulness, consequences – interconnected concepts. (English) Zbl 0989.03006
Summary: Further to the connections between meaning and use, it seems useful to consider the (explanation of the immediate) consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein’s references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the construction of a more convincing proof-theoretic semantics (than, say, assertability conditions semantics) for the mathematical language can arise out of this connection meaning/use/(explanation of the immediate) consequences.

03A05 Philosophical and critical aspects of logic and foundations
03F03 Proof theory in general (including proof-theoretic semantics)
Full Text: DOI