Logic in Asia: Studia Logica Library – serie
Visar alla böcker i serien Logic in Asia: Studia Logica Library. Handla med fri frakt och snabb leverans.
23 produkter
23 produkter
Inbunden, Engelska, 2015
544 kr
Skickas inom 10-15 vardagar
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
Inbunden, Engelska, 2015
1 081 kr
Skickas inom 10-15 vardagar
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.
Häftad, Engelska, 2016
1 081 kr
Skickas inom 10-15 vardagar
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.
Häftad, Engelska, 2016
544 kr
Skickas inom 10-15 vardagar
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
Inbunden, Engelska, 2017
1 618 kr
Skickas inom 10-15 vardagar
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
Häftad, Engelska, 2018
1 678 kr
Skickas inom 11-20 vardagar
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.
Inbunden, Engelska, 2019
1 081 kr
Skickas inom 10-15 vardagar
This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle’s ancient logic to very recent formal argumentation in AI.
Häftad, Engelska, 2020
1 081 kr
Skickas inom 10-15 vardagar
This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle’s ancient logic to very recent formal argumentation in AI.
Inbunden, Engelska, 2019
544 kr
Skickas inom 10-15 vardagar
This book introduces the theory of graded consequence (GCT) and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels.
Häftad, Engelska, 2020
544 kr
Skickas inom 10-15 vardagar
This book introduces the theory of graded consequence (GCT) and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels.
Inbunden, Engelska, 2020
1 510 kr
Skickas inom 10-15 vardagar
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory to game theory and business science. This volume is the post-proceedings of the 8th International Conference on Logic and Cognition, held at Sun Yat-Sen University Institute of Logic and Cognition (ILC) in Guangzhou, China in December 2016. The conference series started in 2001, and is organized by the ILC, often in collaboration with various international research groups. This eighth installment was jointly organized by ILC and Alessandra Palmigiano's Applied Logic research group. The conference series aims to foster the development of effective logical tools to study social behavior from a philosophical, cognitive and formal perspective in order to challenge the field of logic in ways that open up new and exciting research directions.Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com
Häftad, Engelska, 2021
1 081 kr
Skickas inom 10-15 vardagar
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory to game theory and business science. This volume is the post-proceedings of the 8th International Conference on Logic and Cognition, held at Sun Yat-Sen University Institute of Logic and Cognition (ILC) in Guangzhou, China in December 2016. The conference series started in 2001, and is organized by the ILC, often in collaboration with various international research groups. This eighth installment was jointly organized by ILC and Alessandra Palmigiano's Applied Logic research group. The conference series aims to foster the development of effective logical tools to study social behavior from a philosophical, cognitive and formal perspective in order to challenge the field of logic in ways that open up new and exciting research directions.Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com
Inbunden, Engelska, 2020
1 618 kr
Skickas inom 10-15 vardagar
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Häftad, Engelska, 2021
1 618 kr
Skickas inom 10-15 vardagar
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Inbunden, Engelska, 2020
1 081 kr
Skickas inom 10-15 vardagar
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
Häftad, Engelska, 2021
759 kr
Skickas inom 10-15 vardagar
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
Inbunden, Engelska, 2020
1 510 kr
Skickas inom 10-15 vardagar
This volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of conditionals, and modal proof theory), theory of truth, paradoxes, intentionality, and social networks. New approaches are also proposed, such as extended modal logic with planarity of graphs, extended branching time temporal logic with conditional operators, and a relational treatment of language and logical systems, to name but a few.Given the variety of topics and issues discussed here, the book will appeal to readers from a broad range of disciplines, from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
Häftad, Engelska, 2021
1 913 kr
Skickas inom 5-8 vardagar
This volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of conditionals, and modal proof theory), theory of truth, paradoxes, intentionality, and social networks. New approaches are also proposed, such as extended modal logic with planarity of graphs, extended branching time temporal logic with conditional operators, and a relational treatment of language and logical systems, to name but a few.Given the variety of topics and issues discussed here, the book will appeal to readers from a broad range of disciplines, from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
Inbunden, Engelska, 2020
1 188 kr
Skickas inom 10-15 vardagar
This book brings together a wide range of innovative reflections on the pivotal role that Davidson’s concept of agency plays in his later philosophy and its impact on his epistemology, his philosophy of language and mind, and his philosophy of values. The authors critically assess central elements of Davidson’s program and offer reappraisals of his seminal contributions to, and his continuing influence on, the development of contemporary philosophy. By focusing on agency, the book reveals Davidson’s views to have been more dynamic and less reductive than previously acknowledged – pointing toward important new possibilities not only in the theory of knowledge, but also in the philosophy of mind.It is a valuable resource both for experts on Davidson’s philosophy and for those interested in central topics in the theory of action, the philosophy of mind and language, epistemology, moral philosophy, and the philosophy of values. It is also of interest toresearchers in adjoining disciplines, such as cognitive science, linguistics, and psychology.
Häftad, Engelska, 2021
1 188 kr
Skickas inom 10-15 vardagar
This book brings together a wide range of innovative reflections on the pivotal role that Davidson’s concept of agency plays in his later philosophy and its impact on his epistemology, his philosophy of language and mind, and his philosophy of values. The authors critically assess central elements of Davidson’s program and offer reappraisals of his seminal contributions to, and his continuing influence on, the development of contemporary philosophy. By focusing on agency, the book reveals Davidson’s views to have been more dynamic and less reductive than previously acknowledged – pointing toward important new possibilities not only in the theory of knowledge, but also in the philosophy of mind.It is a valuable resource both for experts on Davidson’s philosophy and for those interested in central topics in the theory of action, the philosophy of mind and language, epistemology, moral philosophy, and the philosophy of values. It is also of interest toresearchers in adjoining disciplines, such as cognitive science, linguistics, and psychology.
Inbunden, Engelska, 2022
1 081 kr
Skickas inom 10-15 vardagar
The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with “The Art of War”, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, “The Art of War”, from the perspectives of logic, mathematics, and computer science. Sun Tzu’s book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games. This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter covering the theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful.
Häftad, Engelska, 2023
1 081 kr
Skickas inom 10-15 vardagar
The book you have just opened is probably unlike anything you have ever read so far. It offers you a path to direct contact with “The Art of War”, the masterpiece of Sun Tzu, a classical theorist of warfare in Ancient China. This book examines an ancient Chinese work on strategy and warfare: Sun Tzu, “The Art of War”, from the perspectives of logic, mathematics, and computer science. Sun Tzu’s book has been studied and translated many times before, with viewpoints from historians, military- and business strategists, philosophers, and in the context of modern computer strategy games. This book takes a new approach to study this 2500-year-old text. It uses modern mind mapping techniques to show a new dimension that uncovers meaning and structure not easily seen before. Mind maps are semantic diagrams of related concepts: they are used in this book in a restricted form, defined as Text Tree Mind Maps. A chapter coveringthe theoretical side of diagramming ancient text, explains the making of the mind maps used in this book and why showing old text in this way is so useful.
Inbunden, Engelska, 2026
1 940 kr
Skickas inom 10-15 vardagar
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in three major aspects of current research in philosophical logic: negation, modality, and proof. New frameworks are proposed, e.g., meta sequent, unified inductive logic, generalized Clemens semantics, etc. The variety of topics and issues discussed in this volume is of interest to readers from a wide range of disciplines, such as logic, semantics, and computer science, philosophy, linguistics, artificial intelligence, and beyond.