Are Types Needed for Natural Language?
Part of the Synthese Library book series (SYLI, volume 247)
Mixing type freeness and logic leads to contradictions. This can be seen by taking the following simple example.
KeywordsNatural Language Variable Type Propositional Logic Type Theory Semantic Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Aczel, P.: 1980, “Frege structures and the notions of truth and proposition”, Kleene SymposiumGoogle Scholar
- Kleene Symposium Aczel, P.: 1984, Non well founded sets, CSLI lecture notes, No 14Google Scholar
- Barendregt, H. and Hemerik, C: 1990, “Types in Lambda calcului and programming languages”, in: N. Jones (ed.), European Symposium on pro-gramming, Lecture notes in Computer Science 423, Berlin, Springer Verlag, pp. 1–36Google Scholar
- Feferman, S.: 1979, “Constructive theories of functions and classes”, in: M. Boffa et al. (eds), Logic Colloquium’78, North Holland, pp. 159–224Google Scholar
- Girard, J.Y.: “The system F of variable types, fifteen years later”, Theoretical Computer Science 45, North-Holland, pp. 159–192Google Scholar
- Kamareddine, F.: 1989, Semantics in a Frege structure, PhD thesis, University of EdinburghGoogle Scholar
- Kamareddine, F.: 1994a, “A Unified Framework of Logic and Polymorphism”, to appear in Journal of Semantics Google Scholar
- Kamareddine, F.: 1994b, “Non well-typedness and Type-freeness can unify the interpretation of functional application”, Journal of Logic, Language and Information, to appearGoogle Scholar
- Nederpelt, R.P., and Kamareddine, F.: 1994, “A unified approach to Type Theory through a refined A-calculus”, in: Michael Mislove et al. (ed.), Proceedings of the 1992 conference on Mathematical Foundations of Pro¬gramming Langauge Semantics Google Scholar
- Kamareddine, F. and Nederpelt, R.P.: 1995, The beauty of the X-Calculus, to appearGoogle Scholar
- Martin-Löf, P.: 1973, “An intuitionistic theory of types: predicative part”, in: Rose and Shepherdson (eds), logic colloquium ‘73, North HollandGoogle Scholar
- Milner, R.: 1978, “A theory of type polymorphism in programming”, Journalof Computer and System Sciences, Vol. 17, no 3 Google Scholar
- Parsons, T.: 1979, “Type Theory and Natural Language”, in: S. Davis and M. Mithum (eds), Linguistics, Philosophy and Montague grammar, University of Texas Press, pp. 127–151Google Scholar
- Poincare, H.: 1900, “Du role de Pintuition et de la logique en mathematiques”, CR. du II Congr. Intern, des Math., pp. 200–202Google Scholar
- Turner, R.: 1984, “Three Theories of Nominalized Predicates”, Studia Logica XLIV2, pp. 165–186Google Scholar
© Springer Science+Business Media Dordrecht 1995