Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

DOI10.1007/S11225-021-09969-8OpenAlexW3205939693MaRDI QIDQ2118969FDOQ2118969

Authors: Antonio Piccolomini d'Aragona 

Publication date: 23 March 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09969-8

Recommendations

• Calculi of epistemic grounding based on Prawitz's theory of grounds
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
• Dag Prawitz on proofs, operations and grounding
• Game of grounds

zbMATH Keywords

groundingcompletenessconservativitycanonicityprimitiveness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• The epistemic significance of valid inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionism. An introduction
• Inferential Semantics
• Constructivism in mathematics. An introduction. Volume II
• Validity concepts in proof-theoretic semantics
• A natural extension of natural deduction
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Title not available (Why is that?)
• Proof, meaning and paradox: some remarks
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Proof-theoretic semantics
• Failure of completeness in proof-theoretic semantics
• An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Truth and proof in intuitionism
• Five observations concerning the intended meaning of the intuitionistic logical constants
• Completeness in Proof-Theoretic Semantics
• Explaining deductive inference
• A Critical Overview of the Most Recent Logics of Grounding
• A notion of \(C\)-justification for empirical statements
• Title not available (Why is that?)
• Inference and epistemic transparency
• Dag Prawitz on proofs, operations and grounding
• The seeming interdependence between the concepts of valid inference and proof
• Title not available (Why is that?)

This page was built for publication: Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118969)