Constructing inferential contexts

Abstract

Representation of inferential contexts may need logical systems that could be different from classical ones, particularly when the pretension is to model how inferences are in concrete scientific practices. Such contexts will be represented by means of different consequence relations, the so called “consequence modulo X”, for X as a set of formulas, a set of models or a set of additional rules, which are defined by following (in part) Makinson’s method. Structural rules of the classical relation leads us to consider a variety of contexts that share a closure relation, though compactness may fail and uniform substitution is not accomplished.