At the commonsensical level of the manifest image, we seem to take for granted logical laws
of all sorts, including classical logic (CL) and naive principles of truth and predication (TP) …

This paper is a continuation of Amidei, Pianigiani, San Mauro, Simi, & Sorbi (2016), where
we have introduced the quasidialectical systems, which are abstract deductive systems …

Exploring the decision-making abilities of undergraduate students, including students from
vocational education backgrounds, is the main priority in the achievement of mathematics …

The theme of this book is convergence. For many philosophical representations of the
evolution of theories, as well as representations of the meaning of the language used to …

A recent review of “Computability: Turing, Gödel, Church, and Beyond”[Copeland et al.,
2013], a collection of eleven essays dealing with old and new philosophical directions …

This paper is part of a project that is based on the notion of a dialectical system, introduced
by Magari as a way of capturing trial and error mathematics. In Amidei et al.(2016, Rev …

This paper is part of a project that is based on the notion of a dialectical system, introduced
by Magari as a way of capturing trial and error mathematics. In Amidei et al.(2016, Rev …

Formal systems represent mathematical theories in a rather static way, in which axioms of
the represented theory have to be defined from the beginning, and no further modification is …

Abstract [Excerpt from the preface]: Questa tesi approfondisce e sviluppa in modo originale
due contributi logico-matematici di Roberto Magari, algebrista e componente di quella …