"[FF0C86ADE197]" . "27240" . . . "261"^^ . . . "Presupposition vs. allegation" . "In the paper we examine two kinds of entailment, viz. presupposition and allegation. We show that the topic of a sentence is associated with the existence of the object denoted by the topic, which is not only entailed but also presupposed by the sentence. On the other hand, allegation is often triggered by the focus of a sentence, and this is the case of mere entailment. Hence sentences differing only in their topic-focus articulation may have different truth-conditions and should thus have assigned different logical forms. To this end we apply procedural semantics of Transparent Intensional Logic (TIL), and furnish sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. We analyse the phenomenon of topic-focus distinction, in particular the case of a presupposition connected with the topic and allegation triggered by the focus of a sentence, in such a way that relevant con" . . . . "1"^^ . "RIV/61989100:27240/09:00021031!RIV10-GA0-27240___" . "335813" . . . "Du\u017E\u00ED, Marie" . . "1"^^ . "Presupposition vs. allegation" . "Masarykova univerzita" . "After Half a Century of Slavonic Natural Language Processing" . . "978-80-7399-815-8" . "Presupposition vs. allegation"@en . . . "In the paper we examine two kinds of entailment, viz. presupposition and allegation. We show that the topic of a sentence is associated with the existence of the object denoted by the topic, which is not only entailed but also presupposed by the sentence. On the other hand, allegation is often triggered by the focus of a sentence, and this is the case of mere entailment. Hence sentences differing only in their topic-focus articulation may have different truth-conditions and should thus have assigned different logical forms. To this end we apply procedural semantics of Transparent Intensional Logic (TIL), and furnish sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. We analyse the phenomenon of topic-focus distinction, in particular the case of a presupposition connected with the topic and allegation triggered by the focus of a sentence, in such a way that relevant con"@en . . . . "P(GA401/07/0451)" . "Presupposition vs. allegation"@en . "Brno" . "RIV/61989100:27240/09:00021031" . "17"^^ . "presupposition; entailment; procedural semantics; TIL"@en .