LEADER 06360nam 22006135 450 001 9910766896803321 005 20251113202000.0 010 $a3-031-29415-7 024 7 $a10.1007/978-3-031-29415-0 035 $a(MiAaPQ)EBC30971138 035 $a(Au-PeEL)EBL30971138 035 $a(CKB)29038519000041 035 $a(OCoLC)1414468554 035 $a(DE-He213)978-3-031-29415-0 035 $a(EXLCZ)9929038519000041 100 $a20231125d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aKit Fine on Truthmakers, Relevance, and Non-classical Logic /$fedited by Federico L. G. Faroldi, Frederik Van De Putte 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (796 pages) 225 1 $aOutstanding Contributions to Logic,$x2211-2766 ;$v26 311 08$aPrint version: Faroldi, Federico L. G. Kit Fine on Truthmakers, Relevance, and Non-Classical Logic Cham : Springer International Publishing AG,c2024 320 $aIncludes bibliographical references. 327 $aChapter 1. Introduction (Federico L.G. Faroldi and Frederik Van De Putte) -- Chapter 2. Short autobiography (Kit Fine) -- Chapter 3. Modern faces of filtration (Johan van Benthem and Nick Bezhanishvili) -- Chapter 4. Re?ections on filtration: A response to ?modern faces of filtration? by Johan van Benthem and Nick Bezhanishvili (Kit Fine) -- Chapter 5. From felicitous models to answer set programming (Vladimir Lifschitz) -- Chapter 6. Selective programming: Response to ?From felicitous models to answer set programming? by Vladimir Lifschitz (Kit Fine) -- Chapter 7. Fine?s semantics for relevance logic and its relevance (Katalin Bimbó and Michael Dunn) -- Chapter 8.Truthmaker semantics for relevance logic: Response to ?Fine?s semantics for relevance logic and its relevance? by Katalin Bimbó and J. Michael Dunn (Kit Fine) -- Chapter 9. Conjunctive and disjunctive parts (Mark Jago) -- Chapter 10. To be or not to be disjunctive: Response to Mark Jago?s ?conjunctive and disjunctive parts? (Kit Fine) -- Chapter 11. Truth-maker semantics for substructural logics (Ondrej Majer, Igor Sedlár and Vít Pun?ochá?) -- Chapter 12. Forms of conditionality: Response to ?truth-maker semantics for some substructural logics? by Ondrej Majer, , Igor Sedlár and Vít Pun?ochá? -- Chapter 13. A strictly exact truthmaker semantics for non-transitive relevance and classical logic (Peter Verdée) -- Chapter 14. The ghost of impossibility: Response to Peter Verdée?s ?truthmakers and relevance for FDE, LP, K3 and CL? -- Chapter 15. Truthmaker semantics for epistemic logic (Peter Hawke and Aybuke Ozgun) -- Chapter 16. An epistemized truthmaker semantics for epistemic logic: Response to Hawke?s and Ozgun?s ?truthmaker semantics for epistemic logic? (Kit Fine) -- Chapter 17. Counterfactuals, in?nity and paradox (Andrew Bacon) -- Chapter 18. Defense of a truthmaker approach to counterfactuals: Response to Andrew Bacon?s ?counterfactuals, in?nity and paradox? (Kit Fine) -- Chapter 19. On the notion of aboutness in logical semantics (Alessandro Giordani) -- Chapter 20. Situational and informational aboutness: Response to Giordani?s ?on the notion of aboutness in logical semantics? (Kit Fine) -- Chapter 21. Propositional potentialism (Peter Fritz) -- Chapter 22. ?The postulation of possibilities?: Response to Peter Fritz?s ?propositional potentialism? (Kit Fine) -- Chater 23. The whole truth (Stephan Krämer) -- Chapter 24. The whole truth: An internal perspective: Response to Krämer?s ?the whole truth? (Kit Fine) -- Chapter 25. New semantic framework for the logic of worldly grounding (and beyond) (Fabrice Correia) -- Chapter 26. The algebraic and structural approaches to truthmaker semantics: Response to Fabrice Correia?s ?a new semantic framework for the logic of worldly grounding (and beyond)? (Kit Fine) -- Chapter 27. Permissive updates (Stephen Yablo and Daniel Rothschild) -- Chapter 28. Truthmaker foundations for deontic logic: Response to Rothchild?s and Yablo?s ?permissive updates? (Kit Fine) -- Chapter 29. Comparing Russell and Fine on variable objects (Leon Horsten and Ryo Ito) -- Chapter 30. Re?ning Russell: Response to Leon Horsten?s and Ryo Ito?s ?Russell and Fine on variable objects? (Kit Fine) -- Chapter 31. Fine on the possibility of vagueness (Andreas Ditter) -- Chapter 32. In defense of a global view of vagueness: Response to Andreas Ditter?s ?Fine on the possibility of vagueness? (Kit Fine) -- Chapter 33. Progressive logic (Kit Fine and Errol Martin). 330 $aThis book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among others. Contributing authors address in-depth issues about truthmaker semantics, counterfactual conditionals, grounding, vagueness, non-classical consequence relations, and arbitrary objects, offering critical reflections and novel research contributions. Each chapter is accompanied by an extensive commentary, in which Kit Fine offers detailed responses to the ideas and themes raised by the contributors. The book includes a brief autobiography and exhaustive list of his publications to this date. This book is of interest to logicians of all stripes and to analytic philosophers more generally. 410 0$aOutstanding Contributions to Logic,$x2211-2766 ;$v26 606 $aLogic 606 $aMetaphysics 606 $aLanguage and languages$xPhilosophy 606 $aLogic 606 $aMetaphysics 606 $aPhilosophy of Language 615 0$aLogic. 615 0$aMetaphysics. 615 0$aLanguage and languages$xPhilosophy. 615 14$aLogic. 615 24$aMetaphysics. 615 24$aPhilosophy of Language. 676 $a160 676 $a192 702 $aFaroldi$b Federico L. G. 702 $aVan De Putte$b Frederik 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910766896803321 996 $aKit Fine on Truthmakers, Relevance, and Non-Classical Logic$93648892 997 $aUNINA LEADER 09648nam 2200817 a 450 001 9910957619703321 005 20251116140722.0 010 $a9786610192311 010 $a9780309175548 010 $a0309175542 010 $a9781280192319 010 $a1280192313 010 $a9780309589239 010 $a0309589231 010 $a9780585027142 010 $a0585027145 035 $a(CKB)110986584751810 035 $a(OCoLC)42329280 035 $a(CaPaEBR)ebrary10055211 035 $a(SSID)ssj0000269190 035 $a(PQKBManifestationID)11954610 035 $a(PQKBTitleCode)TC0000269190 035 $a(PQKBWorkID)10243955 035 $a(PQKB)11726331 035 $a(MiAaPQ)EBC3376212 035 $a(Au-PeEL)EBL3376212 035 $a(CaPaEBR)ebr10055211 035 $a(OCoLC)923261964 035 $a(Perlego)4736911 035 $a(BIP)47200033 035 $a(EXLCZ)99110986584751810 100 $a19960705d1996 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe Waste Isolation Pilot Plant $ea potential solution for the disposal of transuranic waste /$fCommittee on the Waste Isolation Pilot Plant, Board on Radioactive Waste Management, Commission on Geosciences, Environment, and Resources, National Research Council 205 $a1st ed. 210 $aWashington, D.C. $cNational Academy Press$d1996 215 $a1 online resource (186 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780309054911 311 08$a0309054915 320 $aIncludes bibliographical references. 327 $aThe Waste Isolation Pilot Plant -- Copyright -- Acknowledgments -- Contents -- Executive Summary -- GENERAL CONCLUSIONS AND RECOMMENDATIONS -- Findings, Conclusions, and Recommendations on DOE Studies -- SUMMARY -- Chapter 1 Introduction -- TRANSURANIC WASTE: WHAT IT IS, WHERE IT COMES FROM, WHERE IT MUST GO -- GEOLOGIC DISPOSAL OF RADIOACTIVE WASTE IN SALT -- HISTORY OF WIPP -- THE WIPP UNDERGROUND FACILITY TODAY -- THE DISPOSAL PLAN -- REGULATION AND LICENSING OF WIPP -- FRAMEWORK FOR THE REPORT -- Chapter 2 Regulatory Compliance and Repository Performance -- EPA STANDARDS FOR RADIOACTIVE WASTE -- Undisturbed and Disturbed Repository Performance -- Containment Requirements -- 40 CFR 191 and 40 CFR 194 Radiation Dosage and Containment Requirements -- Quantitative Assessment of Human Intrusion -- 40 CFR 268 Hazardous Waste Requirements -- PERFORMANCE ASSESSMENT -- Methodology -- Results from Containment Requirement Calculations -- Results Regarding Individual and ground-water Protection Requirements -- RADIONUCLIDE RELEASE SCENARIOS -- Undisturbed Case -- Disturbed Case -- Release of Waste Through Cuttings -- Release of Waste Through Boreholes: The E1 and E1E2 Scenarios -- DISCUSSION OF PA MODELING EFFORTS -- Assumptions Regarding a Permanent Disturbed Rock Zone -- Characterization of Boreholes -- Apparent Value of Compartmentation -- DISCUSSION OF REPOSITORY PERFORMANCE -- Undisturbed Repository Performance -- Disturbed Repository Performance -- GENERAL QUALITY OF WIPP PERFORMANCE ASSESSMENT ACTIVITIES -- OTHER LONG-TERM RADIOLOGICAL COMPLIANCE ISSUES -- Waste Characterization -- Monitoring -- Peer Review and Quality Assurance of the WIPP Project -- CONCLUSIONS -- Chapter 3 Salado Hydrogeology, Gas Pressure, and Room Closure -- SALADO HYDROGEOLOGY -- GAS PRESSURE -- Laboratory Studies -- Time Dependence of Bacterial Activity -- Real Waste" Tests. 327 $aConclusions on Gas Generation and Gas Pressure -- ROOM CLOSURE -- Marker Bed Considerations -- THE COMBINED EFFECTS OF BRINE INFLOW, GAS GENERATION, AND ROOM CLOSURE -- Backfilling and Compartmentation -- Conclusion on the Combined Effects of Brine Inflow, Gas Generation, and Room Closure -- SUMMARY AND CONCLUSIONS -- Chapter 4 Engineering to Improve Predicted Repository Performance -- REPOSITORY DESIGN AND EXCAVATION ALTERNATIVES -- Natural and Engineered Sumps -- Design Considerations to Minimize DRZ Effects -- Room Seals, Panel Seals, and Backfill -- Pre-Emptive Mining of Potash -- Waste Form Modification -- Findings, Conclusions, and Recommendations on Engineered Features -- SEALING OF SHAFTS AND BOREHOLES -- Development and Healing of the Disturbed Rock Zone -- SEALING OF ROOMS AND PANELS -- CONCLUSIONS -- Chapter 5 Actinide Source Term -- ACTINIDE SOURCE TERM MODEL -- Solubility -- Colloids -- Retardation -- SCHEDULE -- SUMMARY AND DISCUSSION -- CONCLUSIONS AND RECOMMENDATIONS -- Chapter 6 Non-Salado Hydrology -- REGIONAL HYDROGEOLOGIC MODELING -- FLOW AND TRANSPORT MODELING -- Sources of Modeling Error -- Conceptual Errors -- Numerical Errors -- Data Uncertainty -- WIPP 1992 PA MODEL ANALYSIS -- Regional Ground-Water Flow -- Confidence in PA Analysis of Regional Ground-Water Flow -- Solute Transport -- Confidence in PA Analysis of Solute Transport -- Physical Retardation Via Matrix Diffusion -- Confidence in PA Analysis of Physical Retardation -- Chemical Retardation Via Reactions -- Confidence in PA Analysis of Chemical Retardation -- DISCUSSION AND SUMMARY OF FINDINGS, CONCLUSIONS, AND RECOMMENDATIONS -- Undisturbed Repository -- Summary of Undisturbed Case -- Disturbed Repository -- Summary of Disturbed Case -- PERSPECTIVE BASED ON INTERNATIONAL REPOSITORY SITING EFFORTS -- Chapter 7 Perspectives -- INTEGRITY OF THE WASTE ISOLATION SYSTEM. 327 $aHUMAN INTRUSION -- ROLE OF PERFORMANCE ASSESSMENT -- THE NATURE AND FREQUENCY OF HUMAN INTRUSION -- RETROSPECTIVE -- References -- Appendixes -- Appendix A Natural Setting and Resources -- Geologic Framework -- Castile Formation -- Salado Formation -- Rustler Formation -- Dewey Lake Red Beds -- Post-Permian Rocks -- Hydrologic Setting Of WIPP -- Hydrogeology of the Salado Formation -- Hydrogeology of the Culebra Dolomite -- Ground-Water Flow Directions -- Transmissivity Estimates -- Travel Time -- Hydrogeology of the Dewey Lake Red Beds -- Natural Resources -- Potash Mining -- Oil and Gas Resources -- Appendix B The Complementary Cumulative Distribution Function: The Risk Curve -- Appendix C Brine Inflow to Excavations in the Salado -- Permeability Of Wipp Salt Anhydrite And Interbeds -- One-Dimensional Flow In Anhydrite Interbeds In Impermeable Salt -- Radial Flow Into Excavations In Permeable Salt -- Bredehoeft Calculation (Bredehoeft, 1988) -- Shaft Seals - Approximate Check On Pa Flow Calculations -- Darcy Velocity -- Conclusion -- Appendix D Creep Behavior of WIPP Salt -- Appendix E Actinide Source Term -- Experimental Work On Actinide Solubilities -- Pitzer Parameters -- Concerns -- Experiments On Colloids -- Retardation Experiments -- Appendix F Regional Hydrogeology -- Approaches To Studying Regional Aquifer Systems -- Ground-Water Models -- Sources of Error -- Conceptual Errors -- Numerical Errors -- Data Uncertainty -- Hydrologic Performance Assessment Models -- Ground-Water Flow -- Confidence in PA Analysis of Regional Ground-Water Flow -- Solute Transport -- Confidence in PA Analysis of Solute Transport -- Retardation Mechanisms -- Matrix Diffusion and Physical Retardation -- Confidence in PA Analysis of Matrix Diffusion -- Reactions and Chemical Retardation -- Confidence in PA Analysis of Chemical Retardation. 327 $aAppendix G An Overview of WIPP Compliance Issues -- Deep Geologic Disposal -- Project Administration And Regulation -- Certification Criteria -- Certification Of Wipp -- Chemistry, Biology, And Geotechnology -- The Actinide Source Term -- Hydrology Above The Salado Formation -- Repository Design Using Compartmentation -- Summary, Conclusions, And Perspective -- Appendix H Biographical Sketches of Committee Members -- Appendix I Glossary -- Appendix J List of Acronyms and Symbols -- Appendix K Bibliography. 330 $aThis volume discusses the readiness of the U.S. Department of Energy's (DOE) Waste Isolation Pilot Plant (WIPP) facility near Carlsbad, New Mexico, to serve as a geological repository for transuranic radioactive waste. WIPP is located in a Permian-age bedded salt deposit 658 meters below the surface. The committee has long reviewed DOE's readiness efforts, now aimed at demonstrating compliance with U.S. Environmental Protection Agency regulations. Site characterization studies and performance assessment modeling are among the topics considered in this volume. 606 $aRadioactive waste disposal in the ground$xEnvironmental aspects$zNew Mexico$zCarlsbad Region 606 $aRadioactive wastes$xStorage$xEnvironmental aspects$zNew Mexico$zCarlsbad Region 606 $aAlpha-bearing wastes$xStorage$xEnvironmental aspects$zNew Mexico$zCarlsbad Region 606 $aRadioactive waste sites$zNew Mexico$zCarlsbad Region$xDesign and construction 606 $aRadioisotopes$xMigration$zNew Mexico$zCarlsbad Region 606 $aSalt deposits$zNew Mexico$zCarlsbad Region$xPermeability 615 0$aRadioactive waste disposal in the ground$xEnvironmental aspects 615 0$aRadioactive wastes$xStorage$xEnvironmental aspects 615 0$aAlpha-bearing wastes$xStorage$xEnvironmental aspects 615 0$aRadioactive waste sites$xDesign and construction. 615 0$aRadioisotopes$xMigration 615 0$aSalt deposits$xPermeability. 676 $a363.72/89/0978942 712 02$aNational Research Council (U.S.).$bCommittee on the Waste Isolation Pilot Plant. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910957619703321 996 $aThe Waste Isolation Pilot Plant$94355216 997 $aUNINA