Logic, Action, and Information
Author: André Fuhrmann
Publisher: Walter de Gruyter
Published: 1996
Total Pages: 492
ISBN-13: 9783110139945
DOWNLOAD EBOOK →Lanterna Rally
eBook PDF Download Digital Library
Language in Action
Author: Johan van Benthem
Publisher: MIT Press
Published: 1995
Total Pages: 390
ISBN-13: 9780262720243
DOWNLOAD EBOOK →Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
Logic and Information Flow
Author: Jan Eijck
Publisher: MIT Press
Published: 1994
Total Pages: 256
ISBN-13: 9780262220477
DOWNLOAD EBOOK →The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic.
Logic, Action and Cognition
Author: Eva Ejerhed
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 233
ISBN-13: 9401155240
DOWNLOAD EBOOK →The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about the usefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.
Logic in Games
Author: Johan Van Benthem
Publisher: MIT Press
Published: 2014-01-24
Total Pages: 567
ISBN-13: 0262019906
DOWNLOAD EBOOK →A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games. This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games. In doing so, the book takes up the “intelligent interaction” of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the “Theory of Play” that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games. Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
Logic, Thought and Action
Author: Daniel Vanderveken
Publisher: Springer Science & Business Media
Published: 2005-06-23
Total Pages: 547
ISBN-13: 140203167X
DOWNLOAD EBOOK →This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science. Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision. This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.
Krister Segerberg on Logic of Actions
Author: Robert Trypuz
Publisher: Springer Science & Business Media
Published: 2013-10-22
Total Pages: 355
ISBN-13: 9400770464
DOWNLOAD EBOOK →This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories. Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.
Logic Programming in Action
Author: Gerard Comyn
Publisher: Springer Science & Business Media
Published: 1992-08-25
Total Pages: 338
ISBN-13: 9783540559306
DOWNLOAD EBOOK →Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.
Ewa Orłowska on Relational Methods in Logic and Computer Science
Author: Joanna Golińska-Pilarek
Publisher: Springer
Published: 2018-12-08
Total Pages: 502
ISBN-13: 3319978799
DOWNLOAD EBOOK →This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orłowska’s autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska’s work.
Logic, Language, Information, and Computation
Author: Helle Hvid Hansen
Publisher: Springer Nature
Published: 2023-08-28
Total Pages: 420
ISBN-13: 3031397843
DOWNLOAD EBOOK →Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
