Comment interpréter la possibilité et la nécessité en physique : pour une sémantique des situations possibles
Les lois d'une théorie physique sont souvent interprétées en termes de possibilités naturelles ou physiques : elles nous disent non seulement ce qui est ou n'est pas le cas dans le monde, mais aussi ce qui est physiquement possible ou impossible. Cette idée s'accompagne parfois d'une sémantique des mondes possibles pour les modalités naturelles, et d'une interprétation des modèles d'une théorie comme représentant un monde possible si la théorie est vraie. Cet article (un peu technique) vise à jeter les bases d'une conception alternative. La sémantique des mondes possibles Commençons par rappeler ce qu'est la sémantique des mondes possibles et un modèle logique pour les lectrices et lecteurs qui l'ignorent (si ces notions vous sont familières, vous pouvez passer à la section suivante). Un monde possible peut être identifié à un ensemble maximal de propositions cohérentes entre elles (celles qui sont "vraies dans ce monde"). Maximal veut d