Conditionnels et Connexions
Institution:
Paris, EHESSDisciplines:
Directors:
Abstract EN:
The main idea of my work is to use the notion of connection to explain our understanding of the conditional sentences. These sentences, with the general form « If A, B », are considered as a basic block of formal logic but no agreement is actually achieved concerning a correct analysis of their employ in the natural language. First, I use the concept of connection and some linguistic and psychological considerations to obtain a classification of the conditionals in several types with their own logical properties. Starting from this classification, I obtain the following types of conditionals: inferential, necessary, biconditional, weak, concessive and epistemic. Each receives its own semantics. Inferential, necessary, biconditionals and weak conditionals receive also a proof theory, supplied by soundness, completeness and decidability proofs. The approach developed here is new as it allows obtaining singular systems whose predictions are correct relatively to the inferences effectively used in the natural language. This analysis is developed along other lines. The first models the beliefs of the speaker. It allows to give an account of the difference between indicative conditionals and counterfactuals. The second line uses the dynamical aspect of the discourse to offer a design for the embedded conditionals. The last line is a strengthening of the notion of connection, which allows to obtain some connexive logic and to model the denegation of conditionals.
Abstract FR:
Le thème principal de mon travail est l’utilisation de la notion de connexion comme principe explicatif de notre compréhension des phrases conditionnelles. Ces phrases, dont le prototype est « Si A, B », sont considérées comme étant une des bases de la logique formelle mais aucun consensus n’est encore atteint quant à une sémantique décrivant correctement leur emploi dans le langage naturel. J’utilise tout d’abord le concept de connexion et des considérations linguistiques et psychologiques pour obtenir une classification des conditionnels en plusieurs types présentant chacun des propriétés logiques propres. Partant de cette classification, j’obtiens les types différents de conditionnels suivants : inférentiel, nécessaire, biconditionnel, faible, concessif et épistémique ; et leur fournis une sémantique propre. Celle-ci est suppléée par une méthode des tableaux pour les conditionnels inférentiels, nécessaires, biconditionnel et faibles, débouchant sur des preuves de consistance, de complétude et de décidabilité. L’approche développée ici est novatrice car elle permet d’obtenir des systèmes inédits dont les prédictions sont correctes relativement aux inférences constatées dans le langage naturel. Cette analyse est enrichie par d’autres axes. Le premier concerne la modélisation des croyances du locuteur et permet de rendre compte de la différence entre conditionnels indicatifs et contrefactuels. Le second axe prend en compte l’aspect dynamique du discours et offre ainsi une conception des conditionnels emboîtés. Le dernier axe est un renforcement de la notion de connexion permettant d’obtenir une logique connexive et de modéliser la dénégation des conditionnels.