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

DOI10.1007/S11225-021-09969-8MaRDI QIDQ2118969zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

groundingcompletenessconservativitycanonicityprimitiveness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(2)

• Intensionality of consequence and identity of proofs in Prawitz's theory of grounds
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics

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)