An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. To finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
CITATION STYLE
Schang, F. (2017). An Arithmetization of Logical Oppositions. In Studies in Universal Logic (pp. 215–237). Springer Nature. https://doi.org/10.1007/978-3-319-45062-9_13
Mendeley helps you to discover research relevant for your work.