Abstract
What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations (GRACE) (Desclés and Ro in Math Sci Hum 194:39–70, 2011), using the applicative formalism, functional types of categorial grammars and combinatory logic (CL) (Curry and Feys in Combinatory Logic. North-Holland Publishing, Amsterdam, 1958). In the enunciative theory (Benveniste in Problèmes de linguistique générale, 1, 2. Gallimard, Paris, 1974; Culioli in Formalisation et opérations de repérage, tome 2. Ophrys, Paris, 1999; Desclés in Une articulation entre syntaxe et sémantique cognitive: la grammaire applicative et cognitive, mémoires de la société de linguistique de Paris, nouvelle série, tome XX, l’architecture des théories, les modules et leurs interfaces. Peeters, Louvain, 2011) and following (Bally in Linguistique générale et linguistique française. Berne, Franke, 1965), an utterance can be decomposed into two components: a modus and a dictum (or a proposition). In GRACE, the modus is a complex operator applied to a proposition (a dictum) and is generated from more elementary operators of the categories of tense, aspect, and modality. The dictum is a proposition generated by a predicative relation. In this way, we can attribute a semantic meaning to different grammatical aspecto-temporal operators. The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML (Ro in Les référentiels et opérateurs aspecto-temporels: définitions, formalisation logique et informatique. PhD thesis, Université de Paris-Sorbonne, Paris, 2012).
Similar content being viewed by others
References
Abraham, M., & Desclés, J. P. (1992). Interaction between lexicon and image: Linguistic specifications of animation. In Proceedings of COLING-92.
Bally, C. (1932). Linguistique générale et linguistique française. Berne: Franke. ( 4-ième édition 1965).
Benveniste, E. (1974). Problèmes de linguistique générale, 1, 2. Paris: Gallimard.
Biskri, I. (1995). La grammaire catégorielle combinatoire applicative dans le cadre de la grammaire applicative et cognitive. PhD thesis, EHESS, Paris.
Church, A. (1941). The calculi of lambda conversion. Princeton: University Press.
Culioli, A. (1999). Pour une linguistique de l’énonciation. In Formalisation et opérations de repérage, tome 2 (pp. 17–19). Paris: Ophrys.
Curry, H. B., & Feys, R. (1958). Combinatory logic (Vol. I). Amsterdam: North-Holland Publishing.
Desclés, J. P. (1989). State, event, process and topology. General Linguistics, 29(3), 159–200.
Desclés, J. P. (1990). Langages applicatifs, langues naturelles et cognition. Paris: Hermès.
Desclés, J. P. (2004). Combinatory logic, language, and cognitive representations. In P. Weingartner (Ed.), Alternative logics: Do sciences need them? (pp. 115–148). Berlin: Springer.
Desclés, J. P. (2005). Reasoning and aspectual-temporal calculus. In D. Vanderveken (Ed.), Logic thought and logic (pp. 217–244). Netherlands: Springer.
Desclés, J. P. (2009). Opérations de prise en charge et d’engagement: Une carte sémantique de catégorisations opérées par les langues, la notion de “ prise en charge “ en linguistique. Langue française, 162, 29–53.
Desclés, J. P. (2010). Reasoning in natural language in using combinatory logic and topology. An example with aspect and temporal relations. In Proceedings of FLAIRS conference, Florida.
Desclés, J. P. (2011). Une articulation entre syntaxe et sémantique cognitive: La grammaire applicative et cognitive, mémoires de la société de linguistique de Paris, nouvelle série, tome XX, l’architecture des théories, les modules et leurs interfaces. Louvain: Peeters.
Desclés, J. P., & Biskri, I. (1997). Applicative and combinatory categorial grammar (from syntax to functional semantics). Recent advances in natural languages processing (pp. 71–84). Amsterdam: John Benjamins.
Desclés, J. P., & Guentchéva, Z. (2010). Quasi topological representations (QTR) of spatial places and spatio-temporal movements in natural languages. In G. Marotta et al. (Eds.), Space in language, proceedings of the Pisa international conference, Edizioni ETS. (pp. 213–233).
Desclés, J.-P., & Guentchéva, Z. (2011). Référentiels aspecto-temporels: Une approche formelle et cognitive applique au français. Bulletin de la Société Linguistique de Paris, CVI, Fasc., 1, 95–127.
Desclés, J. P., & Guentchéva, Z. (2012). Universals and typology. In R. Binnick (Ed.), The Oxford handbook of tense and aspect (pp. 123–154). Oxford: Oxford University Press.
Desclés, J. P., & Ro, H. J. (2011). Opérateurs aspecto-temporels et logique combinatoire. Mathématiques et Sciences Humaines, 194, 39–70.
Desclés, J.-P., & Guibert, G. (2011). Le dialogue, fonction première du langage. Analyse énonciative des textes. Paris: Champion.
Harris, Z. S. (1976). Notes du cours de syntaxe. Paris: Le Seuil.
Harris, Z. S. (1982). A grammar of english on mathematical principles. New York: Wiley.
Hindley, J. R., & Seldin, J. P. (1986). Introduction to combinators and lambda-calculus. Cambridge: Cambridge University Press.
Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65(3), 154–170.
Pottier, B. (2000). Représentations mentales et catégorisations linguistiques. Louvain: Éditions Peeters.
Ro, H. J. (2012). Les référentiels et opérateurs aspecto-temporels: Définitions, formalisation logique et informatique. PhD thesis, Université de Paris-Sorbonne, Paris.
Shaumyan, S. (1987). A semiotic theory of language. Bloomington: Indiana University Press.
Steedman, M. (1987). Combinatory grammars and parasitic gaps. Natural Language and Linguistic Theory, 5, 403–439.
Steedman, M. (2000). The syntactic process. Cambridge: MIT Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Desclés, JP., Pascu, A.C. & Ro, HJ. Aspecto-Temporal Meanings Analysed by Combinatory Logic. J of Log Lang and Inf 23, 253–274 (2014). https://doi.org/10.1007/s10849-014-9189-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-014-9189-9