LEADER 05806nam 22006735 450 001 9910299780003321 005 20200629180922.0 010 $a3-319-15368-4 024 7 $a10.1007/978-3-319-15368-1 035 $a(CKB)3710000000421232 035 $a(EBL)2120566 035 $a(OCoLC)916951089 035 $a(SSID)ssj0001524719 035 $a(PQKBManifestationID)11900727 035 $a(PQKBTitleCode)TC0001524719 035 $a(PQKBWorkID)11485218 035 $a(PQKB)10855796 035 $a(DE-He213)978-3-319-15368-1 035 $a(MiAaPQ)EBC2120566 035 $a(PPN)186401051 035 $a(EXLCZ)993710000000421232 100 $a20150518d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe Road to Universal Logic $eFestschrift for the 50th Birthday of Jean-Yves Béziau Volume II /$fedited by Arnold Koslow, Arthur Buchsbaum 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2015. 215 $a1 online resource (607 p.) 225 1 $aStudies in Universal Logic,$x2297-0282 300 $aDescription based upon print version of record. 311 $a3-319-15367-6 320 $aIncludes bibliographical references. 327 $a1. Katarzyna Gan-Krzywoszy?ska (edited by): Personal recollections about JYB by Newton da Costa and others -- 2. Jean-Yves Beziau: Logical Autobiography 50 -- 3. Marcos Antonio Alves and Itala M. Loffredo D?Ottaviano: A quantitative-informational approach to logical consequence -- 4. Hajnal Andréka and Istvan Németi: Finite-variable logics do not have weak Beth definability property -- 5. Irving Anellis: Peirce?s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator -- 6. Ignacio Angelelli: The Meaning(s) of ?is?: Normative vs. Naturalistic Views of Language -- 7. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou -- 8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics -- 9. Diderik Batens: Two, many and differently many -- 10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies -- 11. Otavio Bueno: Can Identity be relativized? -- 12. Luis Estrada-González: From (paraconsistent) topos logic to Universal (topos) Logic -- 13. Yvon Gauthier: A Note on the Internal Logic of Constructive Mathematics: The Gel?fond-Schneider Theorem in Transcendental Number Theory -- 14. I. Grattan-Guinness: Is logic universal or hierarchical? -- 15. Dany Jaspers: The English Tenses, Blanche and the Logical Kite -- 16. Azriel Laufer and Dov Gabbay: Topological Aspects of Matrix Abduction 1 -- 17. Mai Ben Adar Bessos and Dov Gabbay: Topological Aspects of Matrix Abduction 2 -- 18. Sérgio Marcelino, Carlos Caleiro and Pedro Baltazar: Deciding theoremhood in fibred logics without shared connectives -- 19. Amirouche Moktefi and Fabien Schang: On rules and refereeing in football -- 20. Alessio Moretti: Arrow - Hexagons -- 21. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language ? DOL -- 22. Sergei Odintsov: Belnap constants and Nelson logic -- 23. Hitoshi Omori and Toshiharu Waragai: Negative modalities in the light of paraconsistency -- 24. Olga Pombo: Operativity and Representativity of the Sign in Leibniz -- 25. Henri Prade and Didier Dubois: Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases -- 26. Giuseppe Primiero: Realist consequence, epistemic inference, computational correctness -- 27. Christian de Ronde: Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy. 330 $aThis second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert). The volume gathers personal recollections about Jean-Yves Béziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Németi, Henri Prade. These essays will be of interest to all students and researchers interested in the nature and future of logic. 410 0$aStudies in Universal Logic,$x2297-0282 606 $aMathematical logic 606 $aLogic 606 $aMathematics 606 $aHistory 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aHistory of Mathematical Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M23009 615 0$aMathematical logic. 615 0$aLogic. 615 0$aMathematics. 615 0$aHistory. 615 14$aMathematical Logic and Foundations. 615 24$aLogic. 615 24$aHistory of Mathematical Sciences. 676 $a515.10923478 702 $aKoslow$b Arnold$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBuchsbaum$b Arthur$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299780003321 996 $aThe Road to Universal Logic$92507546 997 $aUNINA