Opacite Referentielle Et Quantification: Une Introduction a la Semantique Intensionnelle

Guidee par l'incontournabilite de la notion de proposition et le lien indissociable entre la substitution et la quantification, cette introduction a la semantique intensionnelle se propose de mettre au point et de faire une synthese des theories aussi diversifiees, complexes que divergentes de Frege, Russell, Church, Quine, Barcan Marcus, Davidson, Hintikka, Montague, Barwise, Perry, etc. En les reunissant sous le titre -Opacite referentielle et quantification-, elle montre, contrairement a Quine, que l'opacite referentielle est un phenomene general du langage et non pas le seul fait des contextes intensionnels (contextes de citation, modaux, d'attitudes propositionnelles, etc.), dans lesquels il y a incontestablement lieu de substituer et de quantifier. Il existe, dans cette perspective, d'autres types de quantification a cote de la quantification objectuelle de Quine. Ce sont notamment la quantification substitutionnelle de Barcan Marcus et la quantification d'Hintikka qui, comme chez Quine, sont des quantifications nominales. Il y a egalement les quantifications predicatives ou du second ordre comme chez Montague, Barwise et Perry. On trouvera dans cet ouvrage une demonstration originale de la version de Godel de l'argument du slingshot, ainsi qu'une presentation affinee de la pragmatique formelle de Montague due a Reyes et de la theorie des situations due a Barwise et Cooper.