Skip to Main content Skip to Navigation
Journal articles

Leibniz's Notion of Conditional Right and the Dynamics of Public Announcement

Abstract : The main aim of our paper is to implement Leibniz's analysis of the conditional right in the framework of a dialogical approach to Public Announcement Logic. According to our view, on one hand: PAL furnishes a dynamic epistemic operator which models communication exchange between different agents that seems to be very close to Leibniz understanding of the dynamics between the truth of a proposition and the knowledge of the truth of that proposition (Leibniz calls the latter certification of its truth); on the other hand, the dialogical approach provides a semantics for the dynamic epistemic operator in the context of conditional right by means of which: (i) the exchange between agents leading to a public announcement amounts to the (contractual) interaction of commitments of both the benefactor and the beneficiary of a conditional right (ii) the notion of certification is understood as an action, namely as a move where the beneficiary asks the benefactor to stand to his commitments, (iii) some restrictions specific to the logical nature of the head and the tail of the conditional right can be implemented by combining PAL with some features of linear logic within the same theory of meaning.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Sébastien Magnier <>
Submitted on : Friday, June 28, 2013 - 12:01:35 PM
Last modification on : Tuesday, November 3, 2020 - 9:54:02 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 4:34:26 AM


Explicit agreement for this submission


  • HAL Id : hal-00838937, version 1



Sébastien Magnier, Shahid Rahman. Leibniz's Notion of Conditional Right and the Dynamics of Public Announcement. Logos & Episteme, Iasi, 2012, Limits of Knowledge, pp.87-103. ⟨hal-00838937⟩



Record views


Files downloads