Author: Jean-Yves Béziau
Publisher: Springer Science & Business Media
ISBN: 3034803796
Category : Mathematics
Languages : en
Pages : 370
Book Description
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 from its origin in antiquity to the present day continues to exert a profound impact on the development of deductive logic. 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 on the square from all over the world.
Around and Beyond the Square of Opposition
Author: Jean-Yves Béziau
Publisher: Springer Science & Business Media
ISBN: 3034803796
Category : Mathematics
Languages : en
Pages : 370
Book Description
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 from its origin in antiquity to the present day continues to exert a profound impact on the development of deductive logic. 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 on the square from all over the world.
Publisher: Springer Science & Business Media
ISBN: 3034803796
Category : Mathematics
Languages : en
Pages : 370
Book Description
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 from its origin in antiquity to the present day continues to exert a profound impact on the development of deductive logic. 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 on the square from all over the world.
The Square of Opposition: A Cornerstone of Thought
Author: Jean-Yves Béziau
Publisher: Birkhäuser
ISBN: 331945062X
Category : Philosophy
Languages : en
Pages : 329
Book Description
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.
Publisher: Birkhäuser
ISBN: 331945062X
Category : Philosophy
Languages : en
Pages : 329
Book Description
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.
Diagrammatic Representation and Inference
Author: Tim Dwyer
Publisher: Springer
ISBN: 3662440431
Category : Computers
Languages : en
Pages : 325
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams.
Publisher: Springer
ISBN: 3662440431
Category : Computers
Languages : en
Pages : 325
Book Description
This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams.
Diagrammatic Representation and Inference
Author: Mateja Jamnik
Publisher: Springer
ISBN: 3319423339
Category : Computers
Languages : en
Pages : 306
Book Description
This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016. The 12 revised full papers and 11 short papers presented together with 5 posters were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: cognitive aspects of diagrams; logic and diagrams; Euler and Venn diagrams; diagrams and education; design principles for diagrams; diagrams layout.
Publisher: Springer
ISBN: 3319423339
Category : Computers
Languages : en
Pages : 306
Book Description
This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016. The 12 revised full papers and 11 short papers presented together with 5 posters were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: cognitive aspects of diagrams; logic and diagrams; Euler and Venn diagrams; diagrams and education; design principles for diagrams; diagrams layout.
Modeling and Using Context
Author: Henning Christiansen
Publisher: Springer
ISBN: 3319255916
Category : Computers
Languages : en
Pages : 555
Book Description
This book constitutes the proceedings of the 9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015, held in Larnaca, Cyprus, in November 2015. The 33 full papers and 13 short papers presented were carefully reviewed and selected from 91 submissions. The main theme of CONTEXT 2015 was "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 embedded also a Doctoral Symposium, and three workshops; Smart University 3.0; CATI: Context Awareness and Tactile Design for Mobile Interaction; and SHAPES 3.0: The Shape of Things.
Publisher: Springer
ISBN: 3319255916
Category : Computers
Languages : en
Pages : 555
Book Description
This book constitutes the proceedings of the 9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015, held in Larnaca, Cyprus, in November 2015. The 33 full papers and 13 short papers presented were carefully reviewed and selected from 91 submissions. The main theme of CONTEXT 2015 was "Back to the roots", focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. CONTEXT 2015 embedded also a Doctoral Symposium, and three workshops; Smart University 3.0; CATI: Context Awareness and Tactile Design for Mobile Interaction; and SHAPES 3.0: The Shape of Things.
Diagrammatic Representation and Inference
Author: Peter Chapman
Publisher: Springer
ISBN: 331991376X
Category : Computers
Languages : en
Pages : 835
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.
Publisher: Springer
ISBN: 331991376X
Category : Computers
Languages : en
Pages : 835
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.
Diagrammatic Representation and Inference
Author: Philip T. Cox
Publisher: Springer
ISBN: 3642312233
Category : Computers
Languages : en
Pages : 370
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
Publisher: Springer
ISBN: 3642312233
Category : Computers
Languages : en
Pages : 370
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012. The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
Diagrammatic Representation and Inference
Author: Amrita Basu
Publisher: Springer Nature
ISBN: 3030860620
Category : Computers
Languages : en
Pages : 570
Book Description
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 3030860620
Category : Computers
Languages : en
Pages : 570
Book Description
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
New Directions in Paraconsistent Logic
Author: Jean-Yves Beziau
Publisher: Springer
ISBN: 8132227190
Category : Mathematics
Languages : en
Pages : 542
Book Description
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.
Publisher: Springer
ISBN: 8132227190
Category : Mathematics
Languages : en
Pages : 542
Book Description
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.
The Road to Universal Logic
Author: Arnold Koslow
Publisher: Springer
ISBN: 3319101935
Category : Mathematics
Languages : en
Pages : 519
Book Description
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic.
Publisher: Springer
ISBN: 3319101935
Category : Mathematics
Languages : en
Pages : 519
Book Description
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic.