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.

• Contents 8
• Preface 10
• Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements 14
• Truths in Contemporary Set Theory 36
• Gödel, Searle, and the Computational Theory of the (Other) Mind 54
• Naïve Proof and Curry’s Paradox 74
• Exploring and extending the landscape of conjunctive approaches to verisimilitude 82
• Mental Causation and Nonreductive Physicalism, an Unhappy Marriage? 102
• On Grounding Arithmetic 116
• Risk vs Logic. Karl Barth and Heinrich Scholz on Faith and Reason 132
• On the Ontology of Biological Species 148
• Who is Afraid of Subjective Probability? 164
• Agent-causation and Its Place in Nature 172
• Quantified Modal Justification Logic with Existence Predicate 192
• The Case for Conceptualism 208