Sheaf-Theoretic Formal Semantics.
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...
| Publicado en: | TRAMES: A Journal of the Humanities & Social Sciences Vol. 10; no. 1; pp. 57 - 81 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Teaduste Akadeemia Kirjastus
2006
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=ssf&AN=510520907&site=ehost-live header: @attributes: shortDbName: ssf uiTerm: 510520907 longDbName: Social Sciences Full Text (H.W. Wilson) uiTag: AN controlInfo: bkinfo: jinfo: jid: 14060922 DT1 jtl: TRAMES: A Journal of the Humanities & Social Sciences issn: 14060922 maglogo: N pubinfo: dt: 2006 vid: 10 iid: 1 pid: 11112 pub: Teaduste Akadeemia Kirjastus artinfo: ui: 510520907 ppf: 57 ppct: 24 formats: fmt: – @attributes: type: T – @attributes: type: P size: 1020KB tig: atl: Sheaf-Theoretic Formal Semantics. aug: au: Prosorov, Oleg su: Frege, Gottlob, 1848-1925 Semantics Hermeneutics Sociolinguistics sug: subj: Semantics Hermeneutics Sociolinguistics Frege, Gottlob, 1848-1925 ab: 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. Reprinted by permission of the publisher. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: N holdings: @attributes: islocal: N |
|---|