LEADER 04521nam 2200577 450 001 9910827094203321 005 20230814221604.0 010 $a3-11-052901-7 024 7 $a10.1515/9783110529494 035 $a(CKB)4100000001965702 035 $a(MiAaPQ)EBC4943675 035 $a(DE-B1597)476897 035 $a(OCoLC)1020686993 035 $a(DE-B1597)9783110529494 035 $a(Au-PeEL)EBL4943675 035 $a(CaPaEBR)ebr11500910 035 $a(EXLCZ)994100000001965702 100 $a20180210h20182018 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 00$aFrom arithmetic to metaphysics $ea path through philosophical logic /$fedited by Ciro de Florio and Alessandro Giordani 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter,$d2018. 210 4$d©2018 215 $a1 online resource (390 pages) 225 1 $aPhilosophische Analyse ;$vBand 73 =$aPhilosophical Analysis ;$vVolume 73 311 $a3-11-052882-7 311 $a3-11-052949-1 320 $aIncludes bibliographical references. 327 $tFrontmatter -- $tContents -- $tPreface / $rDe Florio, Ciro / Giordani, Alessandro -- $tHilbert's ? and ? in Proof Theory: a proof-theoretical representation of universal and existential statements / $rAbrusci, Michele -- $tTruths in Contemporary Set Theory / $rArrigoni, Tatiana -- $tGödel, Searle, and the Computational Theory of the (Other) Mind / $rBuzzoni, Marco -- $tNaïve Proof and Curry's Paradox / $rCarrara, Massimilano -- $tExploring and extending the landscape of conjunctive approaches to verisimilitude / $rFesta, Roberto / Cevolani, Gustavo -- $tMental Causation and Nonreductive Physicalism, an Unhappy Marriage? / $rCorradini, Antonella -- $tOn Grounding Arithmetic / $rDe Florio, Ciro -- $tRisk vs Logic. Karl Barth and Heinrich Scholz on Faith and Reason / $rFossati, Lorenzo -- $tOn the Ontology of Biological Species / $rFrigerio, Aldo -- $tWho is Afraid of Subjective Probability? / $rGalavotti, Maria Carla -- $tAgent-causation and Its Place in Nature / $rGasser, Georg -- $tQuantified Modal Justification Logic with Existence Predicate / $rGiordani, Alessandro -- $tThe Case for Conceptualism / $rKutschera, Franz von -- $tTwo days in the life of a genius / $rLenzen, Wolfgang -- $tMultiple Religious Belonging: A Logico-Philosophical Approach / $rLöffler, Winfried -- $tDefinitions by Abstraction in the Peano School / $rMancosu, Paolo -- $tIntelligible Worlds / $rMeixner, Uwe -- $tNecessary Truths and Supervaluations / $rNicolai, Carlo -- $tThe Wittgensteinian and the ontological (3-dimensional) reaction to the naturalistic challenge / $rRunggaldier, Edmund -- $tMeasure-Entailment and Support in the Logic of Approximate Generalizations / $rSchurz, Gerhard / Adams, Ernest -- $tBibliography 330 $aPublished 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. 410 0$aPhilosophische Analyse ;$vBand 73. 606 $aMetaphysics 610 $aSergio Galvan. 610 $aTruth. 610 $aabstract objects. 610 $aformal epistemology. 610 $aphilosophy of logic. 615 0$aMetaphysics. 676 $a110 702 $aFlorio$b Ciro de 702 $aGiordani$b Alessandro 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827094203321 996 $aFrom arithmetic to metaphysics$93963361 997 $aUNINA