Year: 2026
Type: article
Abstract: In this essay, I prove two general recapture theorems (the GRT and the $$\textbf{GRT}^\textsf{Dual}$$ GRT Dual ). Each of these states that any sub-logic of classical logic that is closed under six rules of inference is equivalent, in the relevant sense, to classical logic. After proving in each case that the six rules in question are independent of one another, and exploring a number of possible modifications or extensions of these results, I compare the results to Jc Beall’s recapture results in Beall (2011), Beall (2013a) and Beall (2013b). The GRT (and $$\textbf{GRT}^\textsf{Dual}$$ GRT Dual ) are shown to be more powerful and general than Beall’s more piecemeal approach.
Source: Asian Journal of Philosophy
Author: Roy T. Cook
Institution: University of Minnesota
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W7129064625