Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Dès le début des années 40, W.V.O. Quine exprima des doutes à l'endroit de la logique modale quantifiée. Quine montra que la quantification en contextes gouvernés par des opérateurs modaux nous engageait à l'admission de concepts individuels, à l'abandon de la loi de Leibniz ou encore à l'essentialisme aristotélicien. Kripke, Kaplan et Hintikka, entre autres, tentèrent de répliquer à ces arguments décisifs en autorisant, sous certaines conditions, une quantification à l'intérieur de ces contextes. Il apparaît en effet que l'on pourrait quantifier sur les expressions référentielles lorsque celles-ci fonctionnent comme des désignateurs rigides, des "rigid names" ou des expressions directement …