To determine what deductions are it does not seem sufficient to know that the premises and conclusions are propositions, or something in the field of propositions, like commands and questions. It seems equally, if not more, important to know that deductions make structures, which in mathematics we find in categories, multicategories and polycategories. It seems also important to know that deductions should be members of particular kinds of families, which is what is meant by their being in accordance with rules.
CITATION STYLE
Došen, K. (2016). On the Paths of Categories. In Trends in Logic (Vol. 43, pp. 65–77). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-319-22686-6_4
Mendeley helps you to discover research relevant for your work.