thesis

Dag Prawitz's theory of grounds

Defense date:

Dec. 16, 2019

Edit

Institution:

Aix-Marseille

Disciplines:

Abstract EN:

In his recent theory of grounds, Prawitz develops his semantic investigations towards an analysis of the epistemic power which valid inferences are endowed with to compel one to accept the conclusion, provided one is justified in holding the premises true. A ground is what one is in possession of when one is justified in asserting a sentence. Grounds are built by performing operations that allow to pass from an evidence state to another evidence state. An inferential act consists of an application of an operation on grounds. The theory of grounds allows for undoubted advancements with respect to Prawitz's previous proof-theoretic semantics. In particular, it provides a definition of the notion of valid inference which makes the epistemic power of proofs depend on the epistemic power of the valid inferences of which proofs are built up. But the two semantics also share a problem; in both of them, valid inferences and proofs might be such that it is impossible, for agents who perform them, to recognize that they justify their conclusions. We develop the formal framework of Prawitz's proposal, by introducing a "universe" of grounds and operations on grounds, as well as some formal languages and systems of grounds. Then, we focus on two issues: the completeness of intuitionistic logic, and the aforementioned recognizability problem.

Abstract FR:

Dans la récente théorie des grounds, Prawitz développe ses investigations sémantiques dans la direction d’une analyse de l’origine et de la nature du pouvoir que les inférences valides exercent sur des agents engagés dans l’activité déductive ; à savoir, le pouvoir d’obliger épistémiquement à accepter les conclusions, si l’on en a accepté les prémisses. Un ground est ce dont on est en possession lorsqu’on est justifié à affirmer un certain énoncé. Les grounds peuvent être construits en accomplissant des opérations qui permettent le passage d’un état de justification à un autre. Un acte d’inférence consiste à l’application d’une opération sur les grounds. La théorie des grounds présente des avancements indubitables par rapport à la précédente approche de Prawitz, la proof-theoretic semantics. En particulier, la théorie des grounds offre une définition du concept d’inférence valide en vertu de laquelle il devient possible de faire dépendre la contrainte épistémique des démonstrations de celle des inférences valides dont ces démonstrations se composent. Mais théorie des grounds et proof-theoretic semantics partagent un problème ; dans l’une comme dans l’autre, inférences valides et démonstrations pourraient être telles qu’il est impossible, pour des agents qui les utilisent, de reconnaître le fait qu’elles justifient leur conclusion. Nous allons développer le cadre formel de la proposition de Prawitz en introduisant un « univers » de grounds et opérations sur grounds, ainsi que des langages et des systèmes formels de grounding. Ensuite, nous nous occupons de deux questions : celle de la complétude de la logique intuitionniste, et celle de la reconnaissabilité.