3 papers
math.LO2026
Ignorance with(out) Grasping
Ekaterina Kubyshkina, Mattia Petrolo
In this work, we argue that ignorance can be inherently understood as a hyperintensional notion. When faced with two logically or necessarily equivalent propositions, an agent may…
math.LO2025
Ignorance as an excuse, formally
Ekaterina Kubyshkina, Marcio Kléos Pereira, Mattia Petrolo
There is a lively debate in the current literature on epistemology on which type of ignorance may provide a moral excuse. A good candidate is the one in which an agent has never th…
math.LO2019
The naturality of natural deduction (II). Some remarks on atomic polymorphism
Paolo Pistone, Luca Tranchini, Mattia Petrolo
In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translat…