Article published In: Historiographia Linguistica
Vol. 47:2/3 (2020) ► pp.303–321
A letter from Zellig Harris to André Lentin
Explanatory notes
Published online: 2 April 2021
https://doi.org/10.1075/hl.00077.nev
https://doi.org/10.1075/hl.00077.nev
Summary
Toward the end of his life, Zellig Harris (1909–1992) wrote a brief account of the origins and development of his work to
establish the foundations of a science of language on mathematical principles. A French translation was published in 1990, and in the same
publication appeared a parallel appraisal from a mathematical point of view by André Lentin (1913–2015). Early the following year, having
reread Lentin’s essay several times, Harris wrote him the letter which is presented here. More than a gesture of thanks and appreciation,
this letter further illuminates the comprehensive overview afforded by the two essays, both of which appeared in English in 2002.
Résumé
Vers la fin de sa vie, Zellig Harris (1909–1992) a écrit un bref compte rendu des origines et du développement de
son travail pour établir les fondements d’une science du langage sur des principes mathématiques. Une traduction française en a été publiée
en 1990, tandis que dans la même publication paraissait un bilan parallèle, fait d’un point de vue mathématique, sous la plume d’André
Lentin (1913–2015). Au début de l’année suivante, après avoir relu plusieurs fois l’essai de Lentin, Harris lui écrivit la lettre qui est
présentée ici. Plus qu’un geste de remerciement et d’appréciation, cette lettre jette un éclairage supplémentaire sur le panorama complet
offert par les deux essais, tous deux parus en anglais en 2002.
Zusammenfassung
Gegen Ende seines Lebens schrieb Zellig Harris (1909–1992) einen kurzen Bericht über die Ursprünge und die
Entwicklung seiner Arbeit, um die Grundlagen einer Sprachwissenschaft nach mathematischen Prinzipien zu schaffen. Eine französische
Übersetzung wurde 1990 veröffentlicht, und in derselben Veröffentlichung erschien eine parallele Bewertung aus mathematischer Sicht von
André Lentin (1913–2015). Am Anfang des darauffolgenden Jahres schrieb Harris ihm den Brief, der hier vorgestellt wird, nachdem er Lentins
Aufsatz mehrmals gelesen hatte. Dieser Brief ist mehr als eine Geste des Dankes und der Wertschätzung. Er beleuchtet den umfassenden
Überblick, den die beiden Aufsätze bieten, die beide 2002 in englischer Sprache erschienen sind.
Article outline
- 1.Introduction
- 2.Foundations of mathematics and of empirical science
- 2.1Background
- 2.2Constructivism, intuitionism, and tertium non datur
- 2.3Finitism and recursive mathematics
- 2.4On the homology with empirical science
- 3.Grammar and its formalizations: Realism vs description
- 3.1Properties of language, analytical methods, and formal descriptions
- 3.2From abstract algebraic system to applicative calculus
- 3.3Typed lambda calculus
- 3.4Inconsistency as a challenge to finitism
- 4.Formalization and finding further regularities in the data
- 4.1Testing an axiomatization of grammar
- 4.2Resolution of exception cases
- 4.3Cryptomorphisms subject to “pertinence and linguistic transparency”
- 5.Beyond operator grammar
- 6.Conclusion
- Notes
References
References (46)
Alama, Jesse & Johannes Korbmacher. 2019. “The Lambda Calculus”. The Stanford Encyclopedia of Philosophy ed. by Edward N. Zalta. Stanford: Metaphysics Research Lab. URL =[URL]
Bahdanau, Dzmitry, Kyunghyun Cho & Yoshua Bengio. 2015. “Neural Machine Translation by Jointly Learning to Align and Translate”. 3rd International Conference on Learning Representations (ICLR 2015). San Diego, CA [arXiv:1409.0473].
Barendregt, Henk. 1997. “The Impact of the Lambda Calculus in Logic and Computer Science”. The Bulletin of Symbolic Logic 3:2.181–215.
Birkhoff, Garrett. 19673 [1940]1. Lattice Theory. American Mathematical Society Colloquium Publications, 251 (3rd ed.). Providence, R.I.: American Mathematical Society.
. 1939. Linguistic aspects of science. [Monograph.] International Encyclopedia of Unified Science 1.4. Chicago: University of Chicago Press.
Bridges, Douglas & Erik Palmgren. 2018. “Constructive Mathematics”. The Stanford Encyclopedia of Philosophy ed. by Edward N. Zalta. Stanford: Metaphysics Research Lab. URL = [URL]
. 2016. “L’inconsistance de la théorie des opérateurs de Harris : de la fin des grammaires finitistes à une typologie inductive”. Perspectives harrissiennes ed. by Claire Martinot, Christiane Marque-Pucheu & Sonia Gerolimich, 13–35. Paris: Cellule de recherche en linguistique, (CRL).
Dybjer, Peter & Erik Palmgren. 2020. “Intuitionistic Type Theory. The Stanford Encyclopedia of Philosophy ed. by Edward N. Zalta. Stanford: Metaphysics Research Lab. URL = [URL]
Gleitman, Lila. 2002. “Verbs of a feather flock together II: The child’s discovery of words and their meanings”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 1: Philosophy of science, syntax, and semantics ed. by Bruce Nevin, 209–229. Amsterdam: John Benjamins.
. 1984. “Lexicon-grammar and the Syntactic Analysis of French”. Proceedings of the 10th International Conference on Computational Linguistics (COLING ‘84), 275–282. Stanford (Cal.): Association for Computational Linguistics.
. 2002. “Consequences of the Metalanguage Being Included in the Language”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 1: Philosophy of science, syntax, and semantics ed. by Bruce Nevin, 57–67. Amsterdam: John Benjamins.
1968. Mathematical Structures of Language. (=Interscience Tracts in Pure and Applied Mathematics, 21.) New York: Interscience Publishers John Wiley & Sons.
1969. The Two Systems of Grammar: Report and paraphrase. (=Transformations and Discourse Analysis Papers, 79.) Philadelphia: University of Pennsylvania. [Repr. in Papers in Structural and Transformational Linguistics ed. by in Henry Hiż, 612–692. Dordrecht/ Holland: D. Reidel, 1970; repr. and revised in Transformationelle Analyse: Die Transformationstheorie von Zellig Harris und ihre Entwicklung / Transformational Analysis: The transformational theory of Zellig Harris and its development ed. by Senta Plötz (=Linguistische Forschungen, 8.), 58–240. Frankfurt/Main: Athenäum-Verlag, 1972; repr. in a shortened version in Papers on Syntax ed. by Henry Hiż (=Synthese Language Library, 14.), 293–351. Dordrecht/Holland: D. Reidel, 1981.]
1988. Language and Information. (=Bampton Lectures in America, 28.) New York: Columbia University Press. [Revised version of the Bampton Lectures given at Columbia University, New York City, in Oct. 1986, URL= [URL].]
2002 [1990]. “The background of transformational and metalanguage analysis”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 1: Philosophy of science, syntax, and semantics ed. by Bruce Nevin, 1–15. Amsterdam: John Benjamins. (Translated by Anne Daladier as “La genèse de l’analyse des transformations et de la métalangue”, Langages 991.9–19, 1990.) Available at [URL]
1991. A Theory of Language and Information: A mathematical approach. Oxford & New York: Clarendon Press.
Harris, Zellig S. & Paul Mattick, Jr. 1988. “Science Sublanguages and the Prospects for a Global Language of Science”. Annals of the American Academy of Political and Social Science 4951.73–83 [Vol. Telescience: Scientific Communication in the Information Age.]
Harris, Zellig S., Michael Gottfried, Thomas Ryckman, Paul Mattick, Jr., Anne Daladier, Tzvee N. Harris & Suzanna Harris. 1989. “The Form of Information in Science: Analysis of an immunology sublanguage”. Preface by Hilary Putnam. (=Boston Studies in the Philosophy of Science, 104.) Dordrecht/Holland & Boston: Kluwer Academic Publishers.
Heijenoort, Jean van. 2002. From Frege to Gödel: A source book in mathematical logic, 1879–1931. Cambridge: Harvard University Press.
Hiż, Henry M. 1983. Review: Logico-Linguistic Papers by Richard M. Martin, Language and Society 12:2.286–287.
Iemhoff, Rosalie. 2019. “Intuitionism in the Philosophy of Mathematics”. The Stanford Encyclopedia of Philosophy ed. by Edward N. Zalta. Stanford: Metaphysics Research Lab. URL = [URL]
Johnson, Stephen B. 2002. “The Computability of Operator Grammar”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 2: Mathematics and computability of language ed. by Bruce Nevin & Stephen B. Johnson, 143–160. Amsterdam: John Benjamins.
Joshi, Aravind K. 2002. “Hierarchical Structure and Sentence Description”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 2: Mathematics and computability of language ed. by Bruce Nevin & Stephen B. Johnson, 121–141. Amsterdam: John Benjamins.
Lentin, André. 1990. “Quelques réflexions sur les références mathématiques dans l’œuvre de Zellig Harris”. Langages 991.85–91. Available at [URL].
. 2002. “Reflections on References to Mathematics in the Work of Zellig Harris”. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 2: Mathematics and computability of language ed. by Bruce Nevin & Stephen B. Johnson, 1–9. Amsterdam: John Benjamins.
Mancosu, Paolo. 1998. From Brouwer to Hilbert: The Debate on the foundations of mathematics in the 1920s. Oxford: Clarendon Press.
. 1975. “An Intuitionistic Theory of Types: predicative part”. Logic Colloquium 1973 ed. by Harvey E. Rose and John C. Shepherdson, 73–118. Amsterdam: North-Holland.
Miller, Jim & Regina Weinert. 1998. Spontaneous Spoken Language: Syntax and discourse. Oxford: Oxford University Press.
Moot, Richard & Christian Retoré. 2019. “Natural Language Semantics and Computability”. Journal of Logic, Language and Information 28:2.287–307.
Nevin, Bruce E., ed. 2002. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 1: Philosophy of science, syntax, and semantics. Amsterdam: John Benjamins.
Nevin, Bruce E. & Stephen B. Johnson, eds. 2002. The Legacy of Zellig Harris: Language and information into the 21st Century, Vol. 2: Mathematics and computability of language. Amsterdam: John Benjamins.
Sager, Naomi. 1981. Natural Language Information Processing: A computer grammar of English and its applications. Reading (Mass.): Addison-Wesley.
Wells, Joe Brian. 1999. “Typability and Type Checking in System F are Equivalent and Undecidable”. Annals of Pure and Applied Logic 98:1–3.111–156.
Weyl, Hermann. 1998 [1921]. “Über die neue Grundlagenkrise der Mathematik”. Mathematische Zeitschrift 101.39–79. (Translated as “On the New Foundational Crisis in Mathematics”, in From Brouwer to Hilbert: The Debate on the foundations of mathematics in the 1920s by Paolo Mancosu, 86–122. Oxford: Clarendon Press, 1998.)
