A geometrical constructive approach to infinitesimal analysis

epistemological potential and boundaries of tractional motion

Pietro Milici

3-21

Plane and solid geometry

a note on purity of methods

Paolo Mancosu, Andrew Arana

23-31

Formalization and intuition in Husserl's Raumbuch

Edoardo Caracciolo

33-50

Frege's Grundgesetze and a reassessment of predicativity

Francesca Boccuni

53-70

A deflationary account of the truth of the Gödel sentence $$mathcal{g}$$

Mario Piazza, Gabriele Pulcini

71-90

Rule-following and the limits of formalization

Wittgenstein's considerations through the lens of logic

Paolo Pistone

91-110

Paradox and inconsistency

revising Tennant's distinction through Schroeder-Heister's assumption rules

Luca Tranchini

111-121

Constructibility and geometry

Alberto Naibo

123-161

A cut-like inference in a framework of explicit composition for various calculi of natural deduction

Michael Arndt, Laura Tesconi

163-183

On the distinction between sets and classes

a categorical perspective

Samuele Maschio

185-199

Structure and applicability

Michele Ginammi

203-222

Defending Maddy's mathematical naturalism from Roland's criticisms

the role of mathematical depth

Marina Imocrante

223-239

On the indispensable premises of the indispensability argument

Marco Panza, Andrea Sereni

241-276

Naturalness in mathematics

Luca San Mauro, Giorgio Venturi

277-313

An inquiry into the practice of proving in low-dimensional topology

Silvia De Toffoli, Valeria Giardino

315-336