Mind de re
Abstract
The study outlines the semantics of verification and examines its interaction with de re ascriptions. Verification sentences are analysed as having a layered structure comprising two unary operators, VER and ACT, represented as VER(ACT(p)). The operator VER establishes a link to a verification event in which agent X has established the truth of p in the actual world, while ACT renders the proposition pre-verified, that is, open to verification or falsification. Standard accounts of the de re versus de dicto distinction maintain that, in contexts of belief and desire, de re attitudes involve ontological commitments to the existence of objects in the actual world. Within a Davidsonian framework, events are treated as spatiotemporal particulars. Accordingly, sentences of the type VER(ACT(p)), which posit the existence of verification events in the actual world, pattern with de re constructions. On this basis, lexical markers of VER, such as English ‘indeed’, ‘really’, ‘in fact’, and Russian ‘dejstvitel’no’, ‘na samom dele’, may be analysed as de re modal elements conveying a meaning of epistemic necessity. A distinct class of discourse markers includes English ‘certainly’ and ‘naturally’, and Russian ‘razumeetsja’ and ‘estestvenno’, which introduce the operator AFF and signal that the speaker’s expectations are fulfilled. These two classes of operators display different semantic properties: markers of certainty do not entail that p is verified de re, whereas VER markers do not encode speaker certainty. The operator AFF may take scope over VER, yielding the configuration AFF(VER(ACT(p))), which is well-formed, whereas the inverse order VER(AFF(ACT(p))) is ill-formed. The proposed analysis accounts for two empirical generalisations. First, VER is invariably realised overtly at the phonetic level. Second, counterfactual constructions require components that are pre-verified or verified and exclude anti-veridical markers in the protasis. This constraint supports the view that, within the metaphysics implicit in natural language, counterfactual worlds are treated as real and are capable of hosting verification events.