Game of grounds

DOI10.1007/978-3-030-84706-7_10OpenAlexW4220922009MaRDI QIDQ2080589

Antonio Piccolomini d'Aragona, Davide Catta

Publication date: 9 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_10

zbMATH Keywords

gamedialogueproofgroundingpseudo-ground

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The epistemic significance of valid inference
• Computational ludics
• Constructivism in mathematics. An introduction. Volume II
• Inference and epistemic transparency
• Dag Prawitz on proofs, operations and grounding
• On paradoxes in normal form
• On the unity of duality
• Validity concepts in proof-theoretic semantics
• Locus Solum: From the rules of logic to the logic of rules
• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• Verificationism and Classical Realizability
• Proof and Paradox
• Logic Programming with Focusing Proofs in Linear Logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• On Paradox without Self-Reference
• POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
• First order in Ludics
• Explaining Deductive Inference
• Necessity of Thought
• A Notion of C-Justification for Empirical Statements
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation