Around and Beyond the Square of Opposition / SpringerLink (Online service) ; Jean-Yves Béziau ; Jacquette, Dale (2012)  

Público ISBD Título : Around and Beyond the Square of Opposition Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Jean-Yves Béziau ; Jacquette, Dale Editorial: Basel : Springer Basel Fecha de publicación: 2012 Colección: Studies in Universal Logic Número de páginas: X, 379 p. 152 illus., 19 illus. in color Il.: online resource ISBN/ISSN/DL: 978-3-0348-0379-3 Idioma : Inglés (eng) Palabras clave: Mathematics  Logic  Mathematical  logic  and  Foundations  Mathematics,  general Clasificación: 51 Matemáticas Resumen: The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a very attractive theme which has been going through centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection of previously unpublished papers by high level specialists of the square from all over the world Nota de contenido: 1 Historical and Critical Aspects of the Square.- 2 Philosophical Discussions around the Square of Opposition -- 3 The Square of Opposition and Non-Classical Logics -- 4 Constructions Generalizing the Square of Opposition -- 5 Applications of the Square of Opposition En línea: http://dx.doi.org/10.1007/978-3-0348-0379-3 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=32883 Around and Beyond the Square of Opposition [documento electrónico] / SpringerLink (Online service) ; Jean-Yves Béziau ; Jacquette, Dale . - Basel : Springer Basel, 2012 . - X, 379 p. 152 illus., 19 illus. in color : online resource. - (Studies in Universal Logic) . ISBN : 978-3-0348-0379-3 Idioma : Inglés (eng) Palabras clave: Mathematics  Logic  Mathematical  logic  and  Foundations  Mathematics,  general Clasificación: 51 Matemáticas Resumen: The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a very attractive theme which has been going through centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection of previously unpublished papers by high level specialists of the square from all over the world Nota de contenido: 1 Historical and Critical Aspects of the Square.- 2 Philosophical Discussions around the Square of Opposition -- 3 The Square of Opposition and Non-Classical Logics -- 4 Constructions Generalizing the Square of Opposition -- 5 Applications of the Square of Opposition En línea: http://dx.doi.org/10.1007/978-3-0348-0379-3 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=32883

Ejemplares

Signatura	Medio	Ubicación	Sección	Estado
ningún ejemplar

Logica Universalis / SpringerLink (Online service) ; Jean-Yves Béziau (2005)  

Público ISBD Título : Logica Universalis : Towards a General Theory of Logic Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Jean-Yves Béziau Editorial: Basel : Birkhäuser Basel Fecha de publicación: 2005 Número de páginas: X, 228 p Il.: online resource ISBN/ISSN/DL: 978-3-7643-7304-7 Idioma : Inglés (eng) Palabras clave: Mathematics  Arithmetic  and  logic  units,  Computer  Mathematical  Logic  Foundations  Formal  Languages  Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two's Company: “The Humbug of Many Logical Values” -- Logical Friendliness and Sympathy -- Logical Discrimination En línea: http://dx.doi.org/10.1007/b137041 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=35320 Logica Universalis : Towards a General Theory of Logic [documento electrónico] / SpringerLink (Online service) ; Jean-Yves Béziau . - Basel : Birkhäuser Basel, 2005 . - X, 228 p : online resource. ISBN : 978-3-7643-7304-7 Idioma : Inglés (eng) Palabras clave: Mathematics  Arithmetic  and  logic  units,  Computer  Mathematical  Logic  Foundations  Formal  Languages  Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two's Company: “The Humbug of Many Logical Values” -- Logical Friendliness and Sympathy -- Logical Discrimination En línea: http://dx.doi.org/10.1007/b137041 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=35320

Ejemplares

Signatura	Medio	Ubicación	Sección	Estado
ningún ejemplar

Logica Universalis / SpringerLink (Online service) ; Jean-Yves Béziau (2007)  

Público ISBD Título : Logica Universalis : Towards a General Theory of Logic Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Jean-Yves Béziau Editorial: Basel : Birkhäuser Basel Fecha de publicación: 2007 Número de páginas: XII, 246 p Il.: online resource ISBN/ISSN/DL: 978-3-7643-8354-1 Idioma : Inglés (eng) Palabras clave: Mathematics  Arithmetic  and  logic  units,  Computer  Mathematical  Logic  Foundations  Formal  Languages  Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two’s Company: “The Humbug of Many Logical Values” -- Friendliness and Sympathy in Logic -- Logical Discrimination En línea: http://dx.doi.org/10.1007/978-3-7643-8354-1 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34711 Logica Universalis : Towards a General Theory of Logic [documento electrónico] / SpringerLink (Online service) ; Jean-Yves Béziau . - Basel : Birkhäuser Basel, 2007 . - XII, 246 p : online resource. ISBN : 978-3-7643-8354-1 Idioma : Inglés (eng) Palabras clave: Mathematics  Arithmetic  and  logic  units,  Computer  Mathematical  Logic  Foundations  Formal  Languages  Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two’s Company: “The Humbug of Many Logical Values” -- Friendliness and Sympathy in Logic -- Logical Discrimination En línea: http://dx.doi.org/10.1007/978-3-7643-8354-1 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34711

Ejemplares

Signatura	Medio	Ubicación	Sección	Estado
ningún ejemplar