LEADER 05125nam 2200553 450 001 996508572003316 005 20231006151604.0 010 $a3-030-94452-2 024 7 $a10.1007/978-3-030-94452-0 035 $a(MiAaPQ)EBC7176368 035 $a(Au-PeEL)EBL7176368 035 $a(CKB)25997725200041 035 $a(DE-He213)978-3-030-94452-0 035 $a(PPN)267808143 035 $a(EXLCZ)9925997725200041 100 $a20230502d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aLogic in question $etalks from the Annual Sorbonne Logic Workshop (2011-2019) /$fJean-Yves Be?ziau [and three others] 205 $a1st ed. 2022. 210 1$aCham, Switzerland :$cSpringer International Publishing,$d[2023] 210 4$d©2023 215 $a1 online resource (743 pages) 225 1 $aStudies in Universal Logic,$x2297-0290 311 08$aPrint version: Béziau, Jean-Yves Logic in Question Cham : Springer International Publishing AG,c2023 9783030944513 327 $aInference in nineteenth century British logic -- The representation of negative terms with Euler diagrams -- Logical hylemorphism in the 13th Latin century -- What is the relation between Peirce?s logic and his philosophy of logic? -- Boole?s symbolized laws of thought facing empiricism -- Lewis Carroll?s almost diagrammatic notation -- Boole's untruth tables: The formal conditions of meaning before the emergence of propositional logic -- What is ?ancient Chinese logic?? -- Husserlian pure logic from the standpoint of intentionality -- Definition and inference in Le?niewski?s logic -- The place and value of logic in Louis Couturat?s philosophical thinking -- Frege?s silence about Bolzano -- Symbolism and unintepretability in Boole -- Tabular notations -- Identity, equality in logic, mathematics and politics -- Logic and metaphysics -- Can logic be cartesian? -- Images and their ability to negate -- What does ?best explaining" mean? Explanatory virtues and the role of context in IBE -- What does a concept entail? -- The analytic and the synthetic from homology to heterology -- About all and nothing. Meinongian views of all and nothing as maximal and minimal objects of thought -- On dichotomy and analogy: A question on the next ?unbloody? revolution in logic -- Logic and analogy -- A Carnapian logic of conceivability -- No, no and no -- Philosophical logic = philosophy + logic? -- ?Grammar is not a mechanism? (Wittgenstein) or what could an anthropology of mathematics? -- Existential Presupposition and Logical Square -- The unification of mathematics via topos theory -- Quasi-topological structuring of extensions within logic of typicals and atypicals (LTA) -- Contributions of logical analysis for mathematics education -- A categorical aspect of the analogy between quantifiers and modalities -- The relevance logic program: Failed or just stalled? -- Is logic relevant to classifications? -- Logic and theory of representation -- Back and forth in positive logic. 330 $aThis contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, linguists, and computer scientists to explore questions related to the nature of logic and how it has developed over the years. As a result, chapter authors provide a thorough, interdisciplinary exploration of topics that have been studied in the workshop. Organized into three sections, the first part of the book focuses on historical questions related to logic, the second explores philosophical questions, and the third section is dedicated to mathematical discussions. Specific topics include: ? logic and analogy ? Chinese logic ? nineteenth century British logic (in particular Boole and Lewis Carroll) ? logical diagrams ? the place and value of logic in Louis Couturat?s philosophical thinking ? contributions of logical analysis for mathematics education ? the exceptionality of logic ? the logical expressive power of natural languages ? the unification of mathematics via topos theory Logic in Question will appeal to pure logicians, historians of logic, philosophers, linguists, and other researchers interested in the history of logic, making this volume a unique and valuable contribution to the field. 410 0$aStudies in Universal Logic,$x2297-0290 606 $aLogic 606 $aLogic$xPhilosophy 606 $aḶgica$2thub 606 $aḶgica matemàtica$2thub 608 $aLlibres electṛnics$2thub 615 0$aLogic. 615 0$aLogic$xPhilosophy. 615 7$aḶgica 615 7$aḶgica matemàtica 676 $a160 702 $aBe?ziau$b Jean-Yves 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996508572003316 996 $aLogic in question$93363904 997 $aUNISA LEADER 04754nam 2201093z- 450 001 9910557619703321 005 20220321 035 $a(CKB)5400000000045220 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/79619 035 $a(oapen)doab79619 035 $a(EXLCZ)995400000000045220 100 $a20202203d2022 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aBiogas for Rural Areas 210 $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022 215 $a1 online resource (204 p.) 311 08$a3-0365-3237-4 311 08$a3-0365-3236-6 330 $aBioenergy is renewable energy obtained from biomass-any organic material that has stored sunlight in the form of chemical energy. Biogas is among the biofuels that can be obtained from biomass resources, including biodegradable wastes like manure, sewage sludge, the organic fraction of municipal solid wastes, slaughterhouse waste, crop residues, and more recently lignocellulosic biomass and algae. Within the framework of the circular economy, biogas production from biodegradable waste is particularly interesting, as it helps to save resources while reducing environmental pollution. Besides, lignocellulosic biomass and algae do not compete for arable land with food crops (in contrast with energy crops). Hence, they constitute a novel source of biomass for bioenergy.Biogas plants may involve both high-tech and low-tech digesters, ranging from industrial-scale plants to small-scale farms and even households. They pose an alternative for decentralized bioenergy production in rural areas. Indeed, the biogas produced can be used in heaters, engines, combined heat and power units, and even cookstoves at the household level. Notwithstanding, digesters are considered to be a sustainable technology that can improve the living conditions of farmers by covering energy needs and boosting nutrient recycling. Thanks to their technical, socio-economic, and environmental benefits, rural biogas plants have been spreading around the world since the 1970s, with a large focus on farm-based systems and households. However, several challenges still need to be overcome in order to improve the technology and financial viability. 606 $aEnvironmental science, engineering and technology$2bicssc 606 $aTechnology: general issues$2bicssc 610 $aabsorbent 610 $aacclimatization 610 $aagricultural runoff 610 $aagriculture residues 610 $aammonia 610 $aanaerobic co-digestion 610 $aanaerobic digestion 610 $aanaerobic treatment 610 $aanimal manures 610 $abiochemical methane potential 610 $abiodegradability 610 $abioenergy 610 $abiogas 610 $abiomethane 610 $abiomethane potential tests 610 $abiorefinery 610 $ablank 610 $aChinese dome digester 610 $aChinese dome digester (CDD) 610 $adairy 610 $adigestate 610 $aenergy assessment 610 $aenergy crops 610 $afermentation 610 $aH2S scrubber 610 $ahousehold digester 610 $ahydraulically mixed 610 $aimpeller mixed digester 610 $ainhibition 610 $airon 610 $aItaly 610 $akinetic modeling 610 $alow cost digester 610 $amanure 610 $amethane 610 $amicro-aeration 610 $amicroalgae 610 $amixing 610 $aMixing 610 $amixing recirculation 610 $aoptimised 610 $aphotobioreactor 610 $aplug-flow reactor 610 $apoultry 610 $apretreatment 610 $apsychrophilic anaerobic digestion 610 $arural sanitation 610 $aself-agitation 610 $aslaughterhouse wastewater 610 $asludge 610 $asynergistic effects 610 $athermal behavior 610 $atotal solids (TS) concentration 610 $atrace elements 610 $aunconfined gas injection mixing 610 $aunstirred digester 610 $awastewater 615 7$aEnvironmental science, engineering and technology 615 7$aTechnology: general issues 700 $aFerrer$b Ivet$4edt$01322269 702 $aLansing$b Stephanie$4edt 702 $aMartí-Herrero$b Jaime$4edt 702 $aFerrer$b Ivet$4oth 702 $aLansing$b Stephanie$4oth 702 $aMartí-Herrero$b Jaime$4oth 906 $aBOOK 912 $a9910557619703321 996 $aBiogas for Rural Areas$93035471 997 $aUNINA