8 papers
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…
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…
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…
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…
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…