Displaying similar documents to “Quelques problèmes logico-linguistiques”

La no-class theory de Stanisław Leśniewski

Pierre Joray (2005)

Philosophia Scientiae

Similarity:

Insatisfait du calcul des classes et des relations de Whitehead et Russell, Leśniewski élabora en 1919-20 une théorie extensionnelle des noms qu’il nomma . Sans entrer dans une description technique du formalisme de Leśniewski, nous montrons dans cet article que l’Ontologie permet un traitement général du distributif qui ne s’appuie à aucun moment sur une notion de classe. Nous illustrons enfin cette particularité importante du système de Leśniewski en proposant une définition logiciste...

Pour une typologie discursive via la théorie des esquisses

Matthias Gerner (1995)

Mathématiques et Sciences Humaines

Similarity:

L'état des travaux sur le thème de l'énonciation est très diversifié et il n'est pas facile de faire des recherches typologiques ou des recherches d'universaux pour la théorie d'énonciation, comme on l'a fait pour les autres disciplines de la linguistique (ex. phonologie, syntaxe), parce que d'une part, les approches proposées par les spécialistes ne concordent pas toujours et d'autre part, l'énonciation, en elle-même, constitue un champ extrêmement vaste. Il faudrait avoir un principe...

Approches des grammaires catégorielles

Frédérique Segond (1990)

Mathématiques et Sciences Humaines

Similarity:

Étant donné l'importance que prennent les grammaires catégorielles dans le domaine de la linguistique computationnelle, il nous a semblé intéressant de dresser un panorama sur cette question. Nous espérons fournir, aux chercheurs intéressés, un matériau de base susceptible de les aider à approfondir par eux-mêmes le sujet.

Structures grammaticales dans le français mathématique : I

Aarne Ranta (1997)

Mathématiques et Sciences Humaines

Similarity:

Un système de règles grammaticales est présenté pour analyser un fragment du français permettant l'expression de théorèmes et de preuves mathématiques. Pour cet objectif, on développe une version de la grammaire de Montague, avec des catégories syntaxiques relatives au contexte et aux domaines d'individus. Ce système peut être interprété dans la théorie constructive des types de Martin-Löf. Il est appliqué, d'abord, au français sans symboles mathématiques, avec une attention spéciale...

Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel

Ralf Krömer (2005)

Philosophia Scientiae

Similarity:

La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu’elle suscite. Elle sert à en topologie algébrique, à en algèbre homologique et, en tant qu’alternative à la théorie des ensembles, à en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d’opérations typiques de la mathématique de structures. Cette thèse est défendue...