In this talk, I am going to argue that metainferences play an important role in logic. I’ll offer five arguments: Firstly, metainferences are important to identify a logic. Secondly, allowing to understand what properties have different notions of logical consequences. Moreover, metainferences are important to generalize non-classical behavior of entailments and mixed notions of logical consequences. Finally, metainferences are important to internalize different failures of the deduction theorem and its relationship with conditionals within many-valued logics.
Activities > Extra talks > Why do meta-inferences matter?
