In this paper our aim is twofold: on the one hand, to present in a clear and faithful way two
recent contributions to the logic of grounding, namely Correia (2014), and Fine (2012a); on …

This monograph addresses the question of the increasing irrelevance of philosophy, which
has seen scientists as well as philosophers concluding that philosophy is dead and has …

This paper studies internal (or intra-) mathematical explanations, namely those proofs of
mathematical theorems that seem to explain the theorem they prove. The goal of the paper …

A Constructionist Philosophy of Logic | Minds and Machines Skip to main content SpringerLink
Log in Menu Find a journal Publish with us Search Cart 1.Home 2.Minds and Machines 3.Article A …

The view that the subject matter of epistemology is the concept of knowledge is faced with
the problem that all attempts so far to define that concept are subject to counterexamples. As …

Justification logics are modal-like logics that provide a framework for reasoning about
justifications. This paper introduces labeled sequent calculi for justification logics, as well as …

Although neglected for many decades, the great Bohemian thinker Bernard Bolzano is today
the centre of a renewed interest and enjoys the attention that he deeply deserves: he is …

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and
philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and …

According to heuristic philosophy of mathematics, one of the tasks of the philosophy of
mathematics is to give an answer to the question: What is the nature of mathematical …

The goal of this article is to take a step toward the resolution of the problem of finding an
analytic sequent calculus for the logic of proofs. For this, we focus on the system Ilp, the …