ABSTRACT

In this chapter an attempt will be made to carry the results reached in the preceding chapters over to other types of opaque contexts. Our aim will not be to axiomatize these other types of discourse or to compare various proposed axiomatizations and discuss their merits and shortcomings. We will only briefly outline how these other contexts apparently can be assimilated to the logical modalities, mention some differences between these contexts and the logical modalities, and then seek to carry the results from the earlier chapters over to these new contexts. What will concern us is the referential and extensional opacity of these contexts, and in particular whether one may quantify into them.