This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management.

This book constitutes the proceedings of the 19th International Conference on Conceptual Structures, ICCS 2011, held in Derby, UK, in July 2011. The 18 full papers and 4 short papers presented together with 12 workshop papers were carefully reviewed and selected for inclusion in the book. The volume also contains 3 invited talks. ICCS focuses on the useful representation and analysis of conceptual knowledge with research and business applications. It advances the theory and practice in connecting the user's conceptual approach to problem solving with the formal structures that computer applications need to bring their productivity to bear. Conceptual structures (CS) represent a family of approaches that builds on the successes of artificial intelligence, business intelligence, computational linguistics, conceptual modelling, information and Web technologies, user modelling, and knowledge management. Two of the workshops contained in this volume cover CS and knowledge discovery in under-traversed domains and in task specific information retrieval. The third addresses CD in learning, teaching and assessment.

Systems and Uses of Digital Sciences for Knowledge Organization is a large-scale scientific work that brings together researchers and R&D professionals to discuss ideas and actions in the organization of knowledge. The main objective of this book is to define collaborative strategies, use advanced technologies in multiple research fields and outline applications of knowledge organization and its cultural, education, economic and industrial potential. The organization of knowledge and advanced technologies (OCTA) asks the following questions: How can we strengthen alliances between multi-disciplinary and trans-disciplinary studies? How can we broaden our skills surrounding common objects of study? How can we innovate the solutions found and propose sustainable development to society confidently? This book is a result of intensive and collaborative work between highly respected scientific authors. The nine chapters that have been selected for this book have been peer-reviewed by the OCTA program committee, both as written submissions and when presented during the OCTA multi-conference on organization.

The Death of Drawing explores the causes and effects of the epochal shift from drawing to computation as the chief design and communication medium in architecture. Drawing both framed the thinking of architects and organized the design and construction process to place architects at its center. Its displacement by building information modeling (BIM) and computational design recasts both the terms in which architects think and their role in building production. Author David Ross Scheer explains that, whereas drawing allowed architects to represent ideas in form, BIM and computational design simulate experience, making building behavior or performance the primary object of design. The author explores many ways in which this displacement is affecting architecture: the dominance of performance criteria in the evaluation of design decisions; the blurring of the separation of design and construction; the undermining of architects’ authority over their projects by automated information sharing; the elimination of the human body as the common foundation of design and experience; the transformation of the meaning of geometry when it is performed by computers; the changing nature of design when it requires computation or is done by a digitally-enabled collaboration. Throughout the book, Scheer examines both the theoretical bases and the practical consequences of these changes. The Death of Drawing is a clear-eyed account of the reasons for and consequences of the displacement of drawing by computational media in architecture. Its aim is to give architects the ability to assess the impact of digital media on their own work and to see both the challenges and opportunities of this historic moment in the history of their discipline.

The Oxford Handbook of Philosophy of Technology gives readers a view into this increasingly vital and urgently needed domain of philosophical understanding, offering an in-depth collection of leading and emerging voices in the philosophy of technology. The thirty-two contributions in this volume cut across and connect diverse philosophical traditions and methodologies. They reveal the often-neglected importance of technology for virtually every subfield of philosophy, including ethics, epistemology, philosophy of science, metaphysics, aesthetics, philosophy of language, and political theory. The Handbook also gives readers a new sense of what philosophy looks like when fully engaged with the disciplines and domains of knowledge that continue to transform the material and practical features and affordances of our world, including engineering, arts and design, computing, and the physical and social sciences. The chapters reveal enduring conceptual themes concerning technology's role in the shaping of human knowledge, identity, power, values, and freedom, while bringing a philosophical lens to the profound transformations of our existence brought by innovations ranging from biotechnology and nuclear engineering to artificial intelligence, virtual reality, and robotics. This new collection challenges the reader with provocative and original insights on the history, concepts, problems, and questions to be brought to bear upon humanity's complex and evolving relationship to technology.

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study.

The representation of abstract data and ideas can be a difficult and tedious task to handle when learning new concepts; however, the advances of emerging technology have allowed for new methods of representing such conceptual data. The Handbook of Research on Maximizing Cognitive Learning through Knowledge Visualization focuses on the use of visualization technologies to assist in the process of better comprehending scientific concepts, data, and applications. Highlighting the utilization of visual power and the roles of sensory perceptions, computer graphics, animation, and digital storytelling, this book is an essential reference source for instructors, engineers, programmers, and software developers interested in the exchange of information through the visual depiction of data.

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts.