Abstract

Hintikka's second generation epistemic logic introduces a syntactic device allowing to express independence relations between certain logical constants. De re knowledge attributions can be reformulated in terms of quantifier independence, but the reformulation does not extend to non-factive attitudes like belief. There, formulae with independent quantifiers serve to express a new type of attitude, intermediate between de dicto and de re, called ‘de objecto’: in each possible world compatible with the agent's belief, there is an individual with the specified property – in each world the same individual, which or who need not exist actually. The philosophical benefits of our analysis of propositional attitudes include a refined account of the behaviour of proper names as well as of indefinite and definite descriptions in attitude reports. Some remarks about perception and about the hallucination argument are also presented