SHEAF-THEORETIC FORMAL SEMANTICS
SHEAF-THEORETIC FORMAL SEMANTICS
Author(s): Oleg ProsorovSubject(s): Philosophy
Published by: Eesti Teaduste Akadeemia Kirjastus
Keywords: formal semantics; phonocentric topology; fragmentary meaning; hermeneutic circle; sheaf;´etale bundle; Frege’s generalized compositionality principle; Frege’s generalized contextuality principle; functor; Frege duality; textual space
Summary/Abstract: We outline a sheaf-theoretical framework for a discourse interpretation theory developed in our previous works on formal semantics. This theory applies rigorous mathematical methods in studying the process of interpretation of a natural language text written with good grace and intended for a human understanding. We propose the generalization of Frege’s principle of compositionality of meaning which extends its domain from the level of isolated sentence to that of a whole text and takes into account the multiplicity of senses and meanings of words, sentences and texts. The present sheaf-theoretical formal semantics provides a mathematical model of the text interpretation process while rejecting the attempts to codify interpretative practice as a kind of calculus.
Journal: TRAMES
- Issue Year: X/2006
- Issue No: 1
- Page Range: 57-80
- Page Count: 24
- Language: English
