TY - BOOK AU - Abrusci,Michele AU - Adams,Ernest AU - Arrigoni,Tatiana AU - Buzzoni,Marco AU - Carrara,Massimilano AU - Cevolani,Gustavo AU - Corradini,Antonella AU - De Florio,Ciro AU - Festa,Roberto AU - Florio,Ciro de AU - Fossati,Lorenzo AU - Frigerio,Aldo AU - Galavotti,Maria Carla AU - Gasser,Georg AU - Giordani,Alessandro AU - Kutschera,Franz von AU - Lenzen,Wolfgang AU - Löffler,Winfried AU - Mancosu,Paolo AU - Meixner,Uwe AU - Nicolai,Carlo AU - Runggaldier,Edmund AU - Schurz,Gerhard TI - From Arithmetic to Metaphysics: A Path through Philosophical Logic T2 - Philosophische Analyse / Philosophical Analysis , SN - 9783110528824 AV - BC51 .F76 2018 U1 - 160 23 PY - 2018///] CY - Berlin, Boston : PB - De Gruyter, KW - First philosophy KW - Logic KW - Metaphysics KW - Philosophy KW - Science KW - Abstrakt Objekt KW - Formale Epistemologie KW - Galvan, Sergio KW - Philosophie der Logik KW - Wahrheit KW - PHILOSOPHY / Logic KW - bisacsh KW - Sergio Galvan KW - Truth KW - abstract objects KW - formal epistemology KW - philosophy of logic N1 - Frontmatter --; Contents --; Preface --; Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements --; Truths in Contemporary Set Theory --; Gödel, Searle, and the Computational Theory of the (Other) Mind --; Naïve Proof and Curry’s Paradox --; Exploring and extending the landscape of conjunctive approaches to verisimilitude --; Mental Causation and Nonreductive Physicalism, an Unhappy Marriage? --; On Grounding Arithmetic --; Risk vs Logic. Karl Barth and Heinrich Scholz on Faith and Reason --; On the Ontology of Biological Species --; Who is Afraid of Subjective Probability? --; Agent-causation and Its Place in Nature --; Quantified Modal Justification Logic with Existence Predicate --; The Case for Conceptualism --; Two days in the life of a genius --; Multiple Religious Belonging: A Logico-Philosophical Approach --; Definitions by Abstraction in the Peano School --; Intelligible Worlds --; Necessary Truths and Supervaluations --; The Wittgensteinian and the ontological (3-dimensional) reaction to the naturalistic challenge --; Measure-Entailment and Support in the Logic of Approximate Generalizations --; Bibliography; restricted access; Issued also in print N2 - 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 UR - https://doi.org/10.1515/9783110529494 UR - https://www.degruyter.com/isbn/9783110529494 UR - https://www.degruyter.com/document/cover/isbn/9783110529494/original ER -