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

Kategorier

23 produkter

Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
AvShier Ju,Hu Lium. fl.
Inbunden, Engelska, 2015
556 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.
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
AvSyraya Chin-Mu Yang,Duen-Min Dengm. fl.
Inbunden, Engelska, 2015
1 106 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.
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
AvSyraya Chin-Mu Yang,Duen-Min Dengm. fl.
Häftad, Engelska, 2016
1 106 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.
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
AvShier Ju,Hu Lium. fl.
Häftad, Engelska, 2016
556 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.
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
AvSyraya Chin-Mu Yang,Kok Yong Leem. fl.
Inbunden, Engelska, 2017
1 655 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.
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
AvSyraya Chin-Mu Yang,Kok Yong Leem. fl.
Häftad, Engelska, 2018
1 691 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. 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.
Dynamics, Uncertainty and Reasoning
The Second Chinese Conference on Logic and Argumentation
AvBeishui Liao,Thomas Ågotnesm. fl.
Inbunden, Engelska, 2019
1 106 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.
Dynamics, Uncertainty and Reasoning
The Second Chinese Conference on Logic and Argumentation
AvBeishui Liao,Thomas Ågotnesm. fl.
Häftad, Engelska, 2020
1 106 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.
Theory of Graded Consequence
A General Framework for Logics of Uncertainty
AvMihir Kumar Chakraborty,Soma Dutta
Inbunden, Engelska, 2019
556 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.
Theory of Graded Consequence
A General Framework for Logics of Uncertainty
AvMihir Kumar Chakraborty,Soma Dutta
Häftad, Engelska, 2020
556 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.
Nonclassical Logics and Their Applications
Post-proceedings of the 8th International Workshop on Logic and Cognition
AvShier Ju,Alessandra Palmigianom. fl.
Inbunden, Engelska, 2020
1 545 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
Nonclassical Logics and Their Applications
Post-proceedings of the 8th International Workshop on Logic and Cognition
AvShier Ju,Alessandra Palmigianom. fl.
Häftad, Engelska, 2021
1 106 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
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
AvFenrong Liu,Hiroakira Onom. fl.
Inbunden, Engelska, 2020
1 655 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.
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
AvFenrong Liu,Hiroakira Onom. fl.
Häftad, Engelska, 2021
1 655 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.
Ordinal Analysis with an Introduction to Proof Theory
AvToshiyasu Arai
Inbunden, Engelska, 2020
1 106 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.
Ordinal Analysis with an Introduction to Proof Theory
AvToshiyasu Arai
Häftad, Engelska, 2021
776 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.
Context, Conflict and Reasoning
Proceedings of the Fifth Asian Workshop on Philosophical Logic
AvBeishui Liao,Yì N. Wáng
Inbunden, Engelska, 2020
1 545 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.
Context, Conflict and Reasoning
Proceedings of the Fifth Asian Workshop on Philosophical Logic
AvBeishui Liao,Yì N. Wáng
Häftad, Engelska, 2021
1 561 kr
Skickas inom 11-20 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.
Donald Davidson on Action, Mind and Value
AvSyraya Chin-Mu Yang,Robert H. Myers
Inbunden, Engelska, 2020
1 216 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.
Donald Davidson on Action, Mind and Value
AvSyraya Chin-Mu Yang,Robert H. Myers
Häftad, Engelska, 2021
1 216 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.
Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps
AvPeter van Emde Boas,Ghica van Emde Boasm. fl.
Inbunden, Engelska, 2022
1 106 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.
Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps
AvPeter van Emde Boas,Ghica van Emde Boasm. fl.
Häftad, Engelska, 2023
1 106 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.
Exploring Negation, Modality and Proof
6th Asian Workshop on Philosophical Logic
AvKatsuhiko Sano,Ryo Hatanom. fl.
Inbunden, Engelska, 2026
1 985 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.

Företag, bibliotek eller offentlig verksamhet?

Logic in Asia: Studia Logica Library – serie

Modality, Semantics and Interpretations

Structural Analysis of Non-Classical Logics

Structural Analysis of Non-Classical Logics

Modality, Semantics and Interpretations

Philosophical Logic: Current Trends in Asia

Philosophical Logic: Current Trends in Asia

Dynamics, Uncertainty and Reasoning

Dynamics, Uncertainty and Reasoning

Theory of Graded Consequence

Theory of Graded Consequence

Nonclassical Logics and Their Applications

Nonclassical Logics and Their Applications

Knowledge, Proof and Dynamics

Knowledge, Proof and Dynamics

Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

Context, Conflict and Reasoning

Context, Conflict and Reasoning

Donald Davidson on Action, Mind and Value

Donald Davidson on Action, Mind and Value

Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps

Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps

Exploring Negation, Modality and Proof

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration