國立虎尾科技大學 |

The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	The Road to Universal Logic/ edited by Arnold Koslow, Arthur Buchsbaum.
其他題名:	Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
其他作者:	Koslow, Arnold.
面頁冊數:	XV, 604 p. 250 illus., 180 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-319-15368-1
ISBN:	9783319153681

The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
The Road to Universal LogicFestschrift for the 50th Birthday of Jean-Yves Béziau Volume II /[electronic resource] :edited by Arnold Koslow, Arthur Buchsbaum. - 1st ed. 2015. - XV, 604 p. 250 illus., 180 illus. in color.online resource. - Studies in Universal Logic,2297-0282. - Studies in Universal Logic,.

1. 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.

This 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.

ISBN: 9783319153681

Standard No.: 10.1007/978-3-319-15368-1doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
LDR:04887nam a22004095i 4500 001 968540
003 DE-He213
005 20200629180922.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319153681 $9 978-3-319-15368-1
024 7 $a 10.1007/978-3-319-15368-1 $2 doi
035 $a 978-3-319-15368-1
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
245 1 4 $a The Road to Universal Logic $h [electronic resource] : $b Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / $c edited by Arnold Koslow, Arthur Buchsbaum.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Birkhäuser, $c 2015.
300 $a XV, 604 p. 250 illus., 180 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Universal Logic, $x 2297-0282
505 0 $a 1. 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.
520 $a This 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Logic. $3 558909
650 0 $a Mathematics. $3 527692
650 0 $a History. $3 669538
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a History of Mathematical Sciences. $3 785417
700 1 $a Koslow, Arnold. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1063497
700 1 $a Buchsbaum, Arthur. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1063498
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319153698
776 0 8 $i Printed edition: $z 9783319153674
830 0 $a Studies in Universal Logic, $x 2297-0282 $3 1257651
856 4 0 $u https://doi.org/10.1007/978-3-319-15368-1
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)