A Leibnizian Survey
Type de document :
Partie d'ouvrage
Titre :
Suspensive Condition & Dynamic Epistemic Logic.
A Leibnizian Survey
A Leibnizian Survey
Auteur(s) :
Titre de l’ouvrage :
Past and Present Interactions in Legal Reasoning and Logic
Date de publication :
2015-05-14
ISBN :
ISBN 978-3-319-16020-7
Mot(s)-clé(s) en anglais :
Suspensive condition
Leibniz G W
Logic
Law -- Philosophy
Contract Law
Leibniz G W
Logic
Law -- Philosophy
Contract Law
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Résumé en anglais : [en]
In line with [2], [12, 13, 14] carefully studies the Leibnizian notion of suspensive condition—notion that Leibniz sometimes names moral condition.Thiercelin points out Leibniz’ will to provide a rigorous definition of ...
Lire la suite >In line with [2], [12, 13, 14] carefully studies the Leibnizian notion of suspensive condition—notion that Leibniz sometimes names moral condition.Thiercelin points out Leibniz’ will to provide a rigorous definition of that kind of condition. Leibniz not only establishes a link between the legal notion of condition and the logical notion of condition, but he also grasps the problematic of suspensive condition through its epistemic and dynamic features. In this paper we start from Thiercelin’s reflections about Leibniz’ suspensive condition. Thiercelin’s work offers an inventory of different clauses that a logical conditional must fulfill to capture the legal meaning of suspensive condition. Our aim is to compare such a definition with the Public Announcement operator semantics ([16]) taking advantage of both its model theoretic semantics and its dialogical semantics (introduced for the first time in [5]). We show that the public announcement operator entails the same dynamic and epistemic features than the ones that Leibniz requires with its notion of suspensive condition.Lire moins >
Lire la suite >In line with [2], [12, 13, 14] carefully studies the Leibnizian notion of suspensive condition—notion that Leibniz sometimes names moral condition.Thiercelin points out Leibniz’ will to provide a rigorous definition of that kind of condition. Leibniz not only establishes a link between the legal notion of condition and the logical notion of condition, but he also grasps the problematic of suspensive condition through its epistemic and dynamic features. In this paper we start from Thiercelin’s reflections about Leibniz’ suspensive condition. Thiercelin’s work offers an inventory of different clauses that a logical conditional must fulfill to capture the legal meaning of suspensive condition. Our aim is to compare such a definition with the Public Announcement operator semantics ([16]) taking advantage of both its model theoretic semantics and its dialogical semantics (introduced for the first time in [5]). We show that the public announcement operator entails the same dynamic and epistemic features than the ones that Leibniz requires with its notion of suspensive condition.Lire moins >
Langue :
Anglais
Audience :
Internationale
Vulgarisation :
Non
Projet ANR :
Collections :
Source :