Palabre et logique formelle : étude analytique des parémies yombe

Two analytical perspectives steer the theoretical framework of this thesis. The first uses the tools of logic and philosophy of language in order to reach a logical paremia form through the "regimentation" of Quine. The second strives to present Yombe paremia as "a symbol which suggests" in the metaphor and metonymy game as classified by Rodegem. In this work, we are using both Toulmin’s non-formal theory and that of Grice, to show the dynamic aspect of paremias in the palaver. Through this approach, we consider two essential aspects: the non-totally deductive dimension of paremical reasoning; the context of the conversation or exchange of words, which implements this type of reasoning. If Toulmin provides a wider opportunity of evaluation of arguments, substituting the legal reasoning for the model of mathematical demonstration, Grice proposes pragmatics, examining the meaning of the statements in the context of their utterance. It is only in the context of the real palaver that this particular logical table stands, where the paremias can be linked together. The examination of defeasible reasoning tries to show why paremical reasoning is rigid. There is an effort to clarify the modality associated with the abductive paremical inference as engraved formula once and for all, before identifying the two forms of abduction observed in the case of paremical reasoning. The adaptation of the abduction and the circumscription of McCarthy in the case of paremical arguments are designed to demonstrate, through various examples, the applicability of paremical reasoning to these two theories.

(fre) Deux perspectives d'analyse orientent la circonscription du cadre théorique de cette thèse. La première utilise les outils de la logique et de la philosophie du langage dans le but de dégager une forme parémique logique moyennant la "standardisation" de Quine. La seconde s'efforce de présenter la parémie yombe comme étant "un symbole qui donne à penser" dans le jeu de métaphore et de métonymie selon la classification de Rodegem. Mettre simultanément à profit les approches non formelles de Toulmin et de Grice signifie prendre en compte deux aspects essentiels : la dimension non totalement déductive des raisonnements parémiques ; le contexte de la conversation ou de l'échange de paroles, qui met en œuvre ce type de raisonnement. Si Toulmin fournit une plus large possibilité d'évaluation des argumentations, en substituant au modèle de la démonstration mathématique celui de l'argumentation juridique, Grice propose la pragmatique, en examinant la signification des énoncés dans le contexte de leur énonciation. Ce n'est que dans le véritable contexte de la palabre que se dresse ce tableau logique particulier où s’enchaînent les parémies. L'examen des raisonnements révisables tente de montrer la procédure qui explique la rigidité des raisonnements parémiques. Il y a un effort de mettre au clair la modalité qui est associée à l'inférence abductive parémique, en tant que formule gravée une fois pour toutes, avant d'identifier les deux formes d'abductions observées dans le cas des raisonnements parémiques. L’adaptation de l'abduction et de la circonscription de McCarthy aux raisonnements parémiques vise à démontrer, à travers différents exemples, l'applicabilité des raisonnements parémiques au sein de ces deux théories.