Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language

Steklov Institute of Mathematics (2012)
  Copy   BIBTEX

Abstract

We study the process of interpretation of a text written in some unspecified natural language, say in English, considered as a means of communication. Our analysis concerns the only texts written “with good grace” and intended for human understanding; we call them 'admissible'. Whether a part of an admissible text is meaningful or not depends on some accepted 'criterion of meaningfulness'. We argue that the criterion of meaningfulness conveying an idealized reader's linguistic competence meant as ability to grasp a communicative content gives rise to a genuine topology on an admissible text, which we call 'phonocentric'. We argue that the following properties of phonocentric topology are 'linguistic universals' of topological nature: (i) T0-separability, (ii) topological connectedness, (iii) acyclicity of corresponding Hasse diagram. This way, we interpret linguistic notions in terms of topology and specialization order; their geometric studies is a kind of 'Topological Formal Syntax'. For an admissible text X, we define the Schleiermacher category Schl(X) of sheaves of fragmentary meanings, and we define the category Context(X) of étale bundles of contextual meanings. Their geometric studies is a kind of 'Sheaf-Theoretic Formal Semantics' that allows us to generalize Frege's compositionality and contextuality principles related by 'Frege Duality' defined in categorical terms. It reveals that the acceptance of one of these principles implies the acceptance of the other, and it gives rise to a functional representation of fragmentary meanings that allows us to develop a kind of 'Dynamic Semantics' describing how the interpretation of a given text proceeds by induction over the discrete time as a successive extension of a continuous function, which represents a meaning, to the whole finite topological space naturally attached to interpreted text.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The applicabilities of mathematics.Mark Steiner - 1995 - Philosophia Mathematica 3 (2):129-156.
Literalism and the applicability of arithmetic.L. Luce - 1991 - British Journal for the Philosophy of Science 42 (4):469-489.
Mathematical nominalism and measurement.Davide Rizza - 2010 - Philosophia Mathematica 18 (1):53-73.
An introduction to the philosophy of mathematics.Mark Colyvan - 2012 - Cambridge: Cambridge University Press.
Mathematics and reality.Stewart Shapiro - 1983 - Philosophy of Science 50 (4):523-548.
The Philosophy of Mathematical Practice.Paolo Mancosu (ed.) - 2008 - Oxford, England: Oxford University Press.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.

Analytics

Added to PP
2012-06-07

Downloads
75 (#207,507)

6 months
3 (#643,273)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references