Kategoria BISAC: Mathematics >> Logic

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.

• Completely revised and updated - includes over 25% new material
• Discusses the interface between logic and...

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.

The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research....

This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, opinion representation, and decision-making under vagueness and uncertainty, and he then offers a full definition of subjective logic, harmonising the key notations and formalisms, concluding with chapters on trust networks and subjective Bayesian networks, which when combined form general subjective networks. The author shows how real-world situations can be realistically modelled with regard to how situations are...

This volume tackles Godel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.

The book is organised around Godel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, Godel embraced the use of historical authors to frame his own philosophical...

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934.

The book opens with an introductory paper that surveys Prawitz's...

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed...

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics.

The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing...

This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Godel's...