J. L. Mackie. Truth probability and paradox. Studies in philosophical logic. Clarendon library of logic and philosophy. The Clarendon Press, Oxford University Press, Oxford1973, xii + 305 pp.

1981 ◽  
Vol 46 (1) ◽  
pp. 174-175
Author(s):  
John T. Kearns
Keyword(s):  
Philosophical Logic ◽  
Oxford University ◽  
Oxford University Press

scholarly journals Alternative Axiomatization for Logics of Agency in a G3 Calculus

2021 ◽  
Author(s):  
Sara Negri ◽  
Edi Pavlović
Keyword(s):  
Sequent Calculus ◽  
Philosophical Logic ◽  
Oxford University ◽  
Logic Of Agency ◽  
The Future ◽  
Oxford University Press

AbstractIn a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the system is demonstrated by showing the derivability of the axiomatization of dstit from Belnap et al. (Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford, 2001). And while the influence of the latter book on the study of logics of agency cannot be overstated, we note that this is not the only axiomatization of that modality available. In fact, an earlier (and arguably purer) one was offered in Xu (J Philosophical Logic 27(5):505–552, 1998). In this article we fill this lacuna by proving that this alternative axiomatization is likewise readily derivable in the system of Negri and Pavlović (Studia Logica 1–35, 2020).

Sign in / Sign up

Export Citation Format

Share Document