Utilisateur:Pa2chant.bis/Vacuous truth

Biblio :

• Lennart Åqvist, 1994, "Deontic Logic" in D. Gabbay and F. Guenthner, ed., Handbook of Philosophical Logic: Volume II Extensions of Classical Logic, Dordrecht: Kluwer. Logique déontique, citant Von Wright 1956

Philo : "vide de sens"

• proposition vide = prop. analytique = vérité formelle (non empirique). Un machin vide de sens peut par exemple être une tautologie ( Hottois conclut qu'il ne s'agit pas d'une proposition mais d'une forme inférentielle valide. p.202)

Rupture entre philo et logique ? Selon la tradition, les contrefactuels dont l'antécédent est impossible (ou contrepossibles) sont tous vrais par défaut (Stalnaker 1968, Lewis 1973, Williamson 2017). Cependant, un nombre croissant de réformistes défend l'idée que certains contrepossibles sont faux et que tous ceux qui sont vrais ne le sont pas par défaut (Brogaard et Salerno 2013, Berto et al. 2017). On peut motiver cette conception alternative en fournissant des exemples intuitifs de contrepossibles faux, mais il existe des raisons plus profondes de s'opposer à la tradition. Plusieurs métaphysiciens ont soutenu récemment que des notions métaphysiques importantes se comportent de façon hyperintensionnelle (Nolan 2014) et que ce caractère hyperintensionnel est logiquement connecté à la fausseté de certains contrepossibles (Wilson 2016).conference-hyperintensionalite-opacite-et-contrepossibles

Distinction meaningless et vacuous truth: the principle is "cognitively meaningless" by its own account. Some proponents counted the principle analytic, vacuously true ([1])

Logique formelle à recycler