@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024}, author = {Logic Texts}, subject = {Proof Theory}, note = {Hoyningen-Huene II 257ff Proof Theory/Hoyningen-Huene: here the abstraction trend is driven even further than with the model theory. - To define the metalogical terms we abstract from the meaning of the connectives. - The procedure is purely syntactic. - A calculus is nothing more than a system of production rules for printing images. > Uninterpreted formal system - the calculi differ in their use of the operators. >Model theory, >Calculus, >Interpretation, >Valuation, >Syntax, >Connective. },