Les marqueurs logico-discursifs : car, comme, parce que, puisque

The Logical-discursive markers car, comme, parce que, puisque. Part i: logical approach

• Auteur / Autrice : Yves Gerbier, Hélène Icart-Séguy
• Direction : Jean-Louis Fossat
• Type : Thèse de doctorat
• Discipline(s) : Sciences du langage. Linguistique
• Date : Soutenance en 1987
• Etablissement(s) : Toulouse 2

Mots clés

Mots clés contrôlés

Linguistique

Syntaxe française

Résumé

Thèse collective avec madame Icart Seguy. Dans la première partie de cette thèse, on étudie le rôle des marqueurs car, comme, parce que, puisque dans les démonstrations mathématiques. Les différences entre démonstration formelle et démonstration mathématique sont d'abord mises en évidence. La notion de squelette d'une démonstration permet de définir les notions de conséquence principale et de principe principal dont les quatre mots car, comme, parce que et puisque sont les marqueurs privilégiés. Apres avoir répertorier les occurrences de ces mots dans 400 démonstrations mathématiques, l'auteur met en place une schématisation (a l'aide des propositions mathématiques élémentaires). Il en découlera les formes canoniques de comme p q; puisque p q; q puisque p et q car p. L'étude des schémas logiques sous-jacents montre les similitudes et les différences engendrées par l'utilisation des mots car, comme, puisque. Une typologie du principe principal p est mise en place en fonction du moment ou la vérité de p est connue. Les liens entre p et l'univers de connaissance du lecteur ainsi que ceux entre p et les mots utilises sont étudiés.

A joint thesis submitted together with Mme Icart Seguy. The first part of the present thesis studies the role of the markers car, comme, parce que, puisque in mathematical proofs. First of all, the differences between formal proof and mathematical proof are clearly brought out. The concept of 'skeleton' of a proof enables the author to define the notions of principal consequence and principal principe, of which car, comme, parce que and puisque are the preferred markers. After listing the occurrences of these words in 400 mathematical proofs, the author sets up a schematization (derived from elementary mathematical propositions) which leads to the following normal forms: comme p q; puisque p q; q puisque p; q car p. A study of the underlying logical schemas shows the similarities and differences generated by the use of the words car, comme, puisque. A typology of the principal principle p is established as a function of the moment when the truth value of p is known. The author studies the links between p and the universes of knowledge of the readers as well as those between p and the words used.