From Arithmetic to Metaphysics: A Path through Philosophical Logic

Description

Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; definitions by abstraction; the status of abstract objects, such as mathematical objects and universal concepts; and the structure of explicit knowledge. The last two sections include papers on classical problems in philosophy of science, such as the status of subjective probability, the notion of verisimilitude, the notion of approximation, and the theory of mind and mental causation, and specific issues in metaphysics and philosophy of religion, such as the ontology of species, actions, and intelligible worlds, and the logic of religious belonging. Michele Abrusci Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements | 1 Tatiana Arrigoni Truths in Contemporary Set Theory | 23 Marco Buzzoni Gödel, Searle, and the Computational Theory of the (Other) Mind | 41 Massimilano Carrara Naïve Proof and Curry’s Paradox | 61 Roberto Festa and Gustavo Cevolani Exploring and extending the landscape of conjunctive approaches to verisimilitude | 69 Antonella Corradini Mental Causation and Nonreductive Physicalism, an Unhappy Marriage? | 89 Ciro De Florio On Grounding Arithmetic | 103 Lorenzo Fossati Risk vs Logic. Karl Barth and Heinrich Scholz on Faith and Reason | 119 Aldo Frigerio On the Ontology of Biological Species | 135 Maria Carla Galavotti Who is Afraid of Subjective Probability? | 151 Georg Gasser Agent-causation and Its Place in Nature | 159 Alessandro Giordani Quantified Modal Justification Logic with Existence Predicate | 179 Franz von Kutschera The Case for Conceptualism | 195 Wolfgang Lenzen Two days in the life of a genius | 207 Winfried Löffler Multiple Religious Belonging: A Logico-Philosophical Approach | 241 Paolo Mancosu Definitions by Abstraction in the Peano School | 261 Uwe Meixner Intelligible Worlds | 289 Carlo Nicolai Necessary Truths and Supervaluations | 309 Edmund Runggaldier The Wittgensteinian and the ontological (3-dimensional) reaction to the naturalistic challenge | 331 Gerhard Schurz and Ernest Adams (1926–2009) Measure-Entailment and Support in the Logic of Approximate Generalizations | 341