The use of logical systems for problem-solving may be as diverse as in
proving theorems in mathematics or in figuring out how to meet up with a
friend. In either case, the problem solving activity is captured by the search
for an \emph{argument}, broadly conceived as a certificate for a solution to
the problem. Crucially, for such a certificate to be a solution, it has be
\emph{valid}, and what makes it valid is that they are well-constructed
according to a notion of inference for the underlying logical system. We
provide a general framework uniformly describing the use of logic as a
mathematics of reasoning in the above sense. We use proof-theoretic validity in
the Dummett-Prawitz tradition to define validity of arguments, and use the
theory of tactical proof to relate arguments, inference, and search.Comment: submitte