An Arithmetization of Logical Oppositions

In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237 (2016)
Download Edit this record How to cite View on PhilPapers
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. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
PhilPapers/Archive ID
Revision history
Archival date: 2019-03-09
View upload history
References found in this work BETA
“Setting” N-Opposition.Pellissier, Régis
Logic in Opposition.Schang, Fabien

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total views
152 ( #26,200 of 50,092 )

Recent downloads (6 months)
40 ( #15,563 of 50,092 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.