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
Liste complète des métadonnées

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00838937
Contributor : Sébastien Magnier <>
Submitted on : Friday, June 28, 2013 - 12:01:35 PM
Last modification on : Tuesday, July 3, 2018 - 11:37:37 AM
Document(s) archivé(s) le : Wednesday, April 5, 2017 - 4:34:26 AM

File

Leibniz_Notion_of_Conditional_...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00838937, version 1

Collections

Citation

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〉

Share

Metrics

Record views

553

Files downloads

287