8 papers · 1 filter
Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
Antonio Piccolomini d'Aragona
Proof-theoretic semantics (PTS) is normally understood today as Base-Extension Semantics (B-eS), i.e., as a theory of proof-theoretic consequence over atomic proof systems. Intuiti…
Game of grounds
Davide Catta, Antonio Piccolomini d'Aragona
In this paper, we propose to connect Prawitz's theory of grounds with Girard's Ludics. This connection is carried out on two levels. On a more philosophical one, we highlight some…
Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
Antonio Piccolomini d'Aragona
We outline a class of term-languages for epistemic grounding inspired by Prawitz's theory of grounds. We show how denotation functions can be defined over these languages, relating…
Calculi of epistemic grounding based on Prawitz's theory of grounds
Antonio Piccolomini d'Aragona
We define a class of formal systems inspired by Prawitz's theory of grounds. The latter is a semantics that aims at accounting for epistemic grounding, namely, at explaining why an…
A note on schematic validity and completeness in Prawitz's semantics
Antonio Piccolomini d'Aragona
I discuss two approaches to monotonic proof-theoretic semantics. In the first one, which I call SVA, consequence is understood in terms of existence of valid arguments. The latter…
Sundholm's explanation of meaning: logical atavism and the nature of proofs
Antonio Piccolomini d'Aragona
I provide an overview of some of Sundholm's remarks on the history and philosophy of logic. In particular, I focus on Sundholm's proposal to explain meaning with no object-language…
Some results in non-monotonic proof-theoretic semantics
Antonio Piccolomini d'Aragona
I explore the relationships between Prawitz's approach to non-monotonic proof-theoretic validity, which I call reducibility semantics, and some later proof-theoretic approaches, wh…
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
Antonio Piccolomini d'Aragona
I deal with two approaches to proof-theoretic semantics: one based on argument structures and justifications, which I call reducibility semantics, and one based on consequence amon…