Aspects of a logical theory of assertion and inference

Abstract

AbstractThe aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The inference is valid if, and only if, correctness is preserved from the premiss assertions to the conclusion assertion. Most of this is a spelling out of views on assertion and inference presented by Per Martin‐Löf in lectures since 2015.