Hypersequents are a natural generalization of ordinary sequents which turn out to be a very suitable tool for presenting cut-free Gentzent-type formulations for diverse logics. In this paper, an alternative way of formulating hypersequent calculi (by introducing meta-variables for formulas, sequents and hypersequents in the object language) is presented. A suitable category of hypersequent calculi with their morphisms is defined and both types of fibring (constrained and unconstrained) are introduced. The introduced morphisms induce a novel notion of translation between logics (...) which preserves metaproperties in a strong sense. Finally, some preservation features are explored. (shrink)

According to the traditional view, the following incompatibility holds true: in reasoning, either there is warrant (certainty) or there is novelty. If there is warrant, there is not novelty: that would be the case of deductive reasoning. If there is novelty, there is not warrant: that would be the case of inductive reasoning. Causal reasoning would belong to the second group because there is novelty and, therefore, there is not warrant in it. I argue that this is false: reasoning may (...) have novelty and, nevertheless, be a deductive one. That is precisely what happens in (some) causal reasoning. And I will develop the following line of argumentation: one thing is to warrant that some state of affairs exists and other thing is to warrant that warrant. So we may have correct deductive reasoning without having certainty of that correction, like in some cases of causal reasoning. (shrink)