Content individuals, truthmaking conditions, and the formal semantics of attitude reports.

In her rich paper, Friederike Moltmann provides an extension of standard (= sentence-based) truthmaker semantics that (i) generalizes the familiar truthmaking relation to attitudinal, modal, and intensional objects and that (ii) applies the result of this generalization (called I object-based truthmaker semantics i , hereafter "OTS") to the interpretation of different kinds of mental attitude reports (incl. reports with clause-taking and with intensional transitive verbs). In (20), HT <math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi mathvariant="script">F</mi><mi>c</mi><mi>o</mi><mi>n</mi><mi>t</mi></msub></math> ht is a content-related domain projection function that identifies the propositional content of a content individual (see e.g., [16], [17]). (20) HT <table><colgroup><col align="left" /></colgroup><tbody><tr><td><math xmlns="http://www.w3.org/1998/Math/MathML"><mrow xmlns=""><mo> </mo><mtext>that</mtext><mo> </mo><mo>=</mo><mi> </mi><msup><mi>p</mi><mo> </mo><mi>s</mi><mo>,</mo><mi>t</mi><mo> </mo></msup><mi> </mi><msup><mi>x</mi><mi>e</mi></msup><mrow><mo>[</mo><msub><mi mathvariant="script">F</mi><mi>c</mi><mi>o</mi><mi>n</mi><mi>t</mi></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>p</mi><mo>]</mo></mrow></mrow></math><inline-graphic href="graphic/j tl-2020-0015 ineq 034.png" /></td></tr></tbody></table> ht Interestingly, the semantics in Figure 3 largely shares Moltmann's motivation for OTS (see her Sect. [Extracted from the article]