Applicative and combinatiry categorical grammar (from syntax to functional semantics)

Biskri, Ismaïl; Desclés, Jean-Pierre

doi:10.1075/cilt.136.08bis

Cited by 10 publications

(6 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Pour résoudre ces problèmes, il s'agit de « composer » les types fonctionnels dans la cadre de Grammaires Catégorielles étendues, étudiées par Lambek (1988) ; Moorgat (1988); Biskri et Desclés (1997 ; Desclés (1990) ;Steedman (2000). L'analyse des « prédicats complexes » (et plus généralement des « opérateurs complexes ») impose que l'on précise exactement les modes de composition (et de décomposition) des opérateurs.…”

Section: Système Métalinguistique μ 2 (Ln) Où Les Opérateurs Sont Intunclassified

Intersémiotique et langues naturelles

Desclés¹

2013

signata

Self Cite

View full text Add to dashboard Cite

Section: Système Métalinguistique μ 2 (Ln) Où Les Opérateurs Sont Intunclassified

Intersémiotique et langues naturelles

Desclés¹

2013

signata

Self Cite

View full text Add to dashboard Cite

“…L'analyse syntaxique d'une phrase revient alors à effectuer un calcul sur les types: chaque unité linguistique (par exemple un mot) ayant un type assigné dans une séquence concaténée soumise à l'analyse syntaxique, le calcul syntaxique, selon l'expression de Lambek (1961), revient à vérifier que le type assigné à la séquence totale est bien de type 'S,' en appliquant uniquement les deux règles déductives (à droite et à gauche) suivantes 5 : quantifiés. Une règle générale de changement de types et une règle de composition fonctionnelle des types sont à la source des grammaires catégorielles étendues (Moorgat, 1988;Steedman, 2000;Biskri et Desclés, 1997…”

Section: Grammaires Catégoriellesunclassified

“…Le formalisme des types des Grammaires catégorielles (GC), simples et étendues (Moortgat, 1988;Biskri et Desclés, 1997Steedman 2000), et sa généralisation polystratale avec d'un côté, la Grammaire applicative universelle (GAU) (Shaumyan, 1965(Shaumyan, , 1987Desclés et al, 1985) et d'un autre côté, la Grammaire applicative et cognitive (GA & C) (Desclés, 1990(Desclés, , 2004 constituent des modèles linguistiques pour étudier la diversité des opérations constitutives des phrases et, de façon plus complexe, des énoncés lorsqu'on introduit les conditions d'énonciation dans les représentations métalinguistiques (Desclés, 1976. En effet, ce formalisme assigne des types aux unités linguistiques, les types étant engendrés à partir de types de base; par un véritable calcul sur les types, au moyen de quelques règles, se met en place l'analyse des principales catégories (morphologiques, syntaxiques et, en partie, sémantiques) des langues.…”

unclassified

Opérations de prédication et de détermination

Desclés¹

2008

lidil

Self Cite

View full text Add to dashboard Cite

En partant d'un rappel des Grammaires Catégorielles, l'auteur présente rapidement le formalisme applicatif où l'opération de base est une application d'un opérateur à un opérande. Il introduit les types fonctionnels de Church pour fournir une explicitation des différentes opérations mises en oeuvre par les langues natu-relIes: prédication, détermination, transposition. La notion générale d'opérateur doit être distinguée de celles d'opérateurs plus spécifiques comme les prédicats, les opérateurs de détermination, de transposition ... Un prédicat est un opérateur dont le but est la construction d'une proposition à partir de ses différents arguments. Un opérateur de détermination a pour but d'apporter une information plus spécifique à un terme nominal, à un prédicat, à une phrase entière ... Les types fonctionnels permettent de préciser la description de ces opérateurs. La décomposition d'une phrase entre un Prédicat (logique) et un Sujet (logique) est introduite en considérant que la copule «être» doit être analysée comme un opérateur constructeur d'un Prédicat à partir de termes, plus ou moins déterminés, de déterminants (des adjectifs par exemple) ... Plusieurs linguistes (Harris, Shaumyan, Culioli, Berrendonner, Le Guern, Pottie ...) font appel explicitement, dans leurs analyses, à des opérateurs linguistiques. Cet article a pour objet d'apporter une certaine clarification aux usages des opérateurs en logique et en linguistique, afin de mieux étudier le statut de la prédication. Selon l'auteur, il serait nécessaire de mieux articuler la linguistique avec la logique et la cognition afin d'étudier plus profondément la nature même du langage qui expriment des représentations cognitives et mettent en oeuvre des raisonnements logiques, par le biais de constructions sémiotiques spécifiques aux langues naturelles.

show abstract

“…par exemple, [Oehrle et al 1988 ;Joray et al, 2002]), et développées par Ajdukiewicz [1935], Bar-Hillel, Lambek [1958, 1961 et actuellement en plein « renouveau » avec les Grammaires Catégorielles étendues (cf. [Dowty 1988 ;Oehrle et al 1988 ;Steedman 1988Steedman , 2000Biskri 1995 ;Biskri et Desclés 1995] ; les travaux actuels de Lecomte ; Rétoré …) ou des catégories fonctionnelles mises en oeuvres dans certaines théories logiques ([Miéville 1984]) ou linguistiques, tantôt explicitement [Shaumyan 1965[Shaumyan , 1987Desclés 1990]), tantôt implicitement ([Harris, 1968([Harris, , 1975([Harris, , 1982([Harris, , 1991);…”

Section: Perhaps the Most Important Difference Between Operators And unclassified

Analyse critique de la notion de variable. Points de vue sémiotique et formel

Desclés¹,

Kye-Seop²

2006

msh

Self Cite

View full text Add to dashboard Cite

Mathematics, 1903, p. 89) Un grand nombre d'élèves qui étudient les mathématiques dans les collèges ou dans les lycées éprouvent parfois une réelle difficulté à saisir en profondeur la notion de variable ; ils se découragent alors et, ensuite, ils se jugent « nuls en maths » ; plus tard, ils se décrètent inaptes à saisir toute pensée mathématique : « ils ne sont donc pas doués pour les chiffres et les formules algébriques ». N'est-il pas fréquent d'entendre : « c'est de l'algèbre, je n'y comprends rien » ? Or, un des blocages qui peut entraver la progression des élèves dans l'apprentissage des mathématiques est souvent étroitement lié à l'absence de la maîtrise du concept de variable, un autre blocage, qui lui est étroitement corrélé, étant une compréhension trop insuffisante de la notion de fonction. Les enseignants de mathématiques n'ont peut-être pas toujours mesuré l'extrême complexité cognitive de ces deux notions, pourtant fondamentales dans le développement des mathématiques. Pourtant, l'émergence historique de ces deux notions a demandé des efforts d'abstraction très importants aux arpenteurs, aux commerçants, aux calculateurs qui ont progressivement ouvert la voie aux notations algébriques mises en place par François Viète puis perfectionnées par René Descartes. Certains mathématiciens ont eu, en effet, des scrupules intellectuels 4 à manipuler, par 4 Cf. plus loin : § 2.3.J.-P. DESCLES, K.-S. CHEONG 45 les mêmes règles, d'un côté, des expressions qui dénotent des objets déterminés et d'un autre côté, des symboles qui peuvent dénoter plusieurs objets (les valeurs d'une variable) ou des « entités inconnues » ou encore, parfois, ne rien dénoter lorsque, par exemple, aucune solution n'a été trouvée à une équation. L'introduction des variables dans la notation des fonctions en complique la compréhension, bien que, dans ce contexte, une variable soit directement associée à l'idée même de variation : lorsqu'une quantité varie, une autre, qui lui est liée, varie également mais dans une autre proportion. Quant à la logique, qui cherche avec Frege, Peirce, Russell et Peano, à analyser formellement la langue des mathématiciens, elle a introduit dans la formalisation de la quantification, une distinction nette entre les « variables libres » et les « variables liées » (ou mieux « muettes »). Or, cette distinction est-elle fondamentale et nécessaire à l'expression formelle de la quantification ? Nous verrons que non. Par ailleurs, certains langages de programmation font appel aux variables et notent des processus d'affectation, par exemple « x := x+1 », en signifiant par là que la nouvelle valeur de « x » doit changer en fonction de la valeur déjà assignée à « x ». En procédant ainsi, on introduit, de façon totalement implicite, une certaine temporalité dans le calcul, mais sans pour cela la noter explicitement.Devant tous ces emplois, s'agit-il de la même notion ? On peut alors comprendre que l'élève, tout particulièrement celui qui est scrupuleux, puisse être inquiet, surtout lorsqu'il essaie de « comprendre e...

show abstract

Applicative and combinatiry categorical grammar (from syntax to functional semantics)

Cited by 10 publications

References 0 publications

Intersémiotique et langues naturelles

Intersémiotique et langues naturelles

Opérations de prédication et de détermination

Analyse critique de la notion de variable. Points de vue sémiotique et formel

Contact Info

Product

Resources

About