Inquisitive Logic

Inquisitive Logic
Author: Ivano Ciardelli
Publisher: Springer Nature
Total Pages: 284
Release: 2023-03-01
Genre: Philosophy
ISBN: 3031097068

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.

Inquisitive Semantics

Inquisitive Semantics
Author: Ivano Ciardelli
Publisher: Oxford University Press
Total Pages: 232
Release: 2018-12-27
Genre: Language Arts & Disciplines
ISBN: 019881478X

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book presents a new logical framework to capture the meaning of sentences in conversation. The traditional approach equates meaning with truth-conditions: to know the meaning of a sentence is to know under which circumstances it is true. The reason for this is that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid argumentation. However, argumentation is neither the sole, nor the primary function of language. One task that language more widely and ordinarily fulfils is to enable the exchange of information between conversational participants. In the framework outlined in this volume, inquisitive semantics, information exchange is seen as a process of raising and resolving issues. Inquisitive semantics provides a new formal notion of meaning, which makes it possible to model various concepts that are crucial for the analysis of linguistic information exchange in a more refined and more principled way than has been possible in previous frameworks. Importantly, it also allows an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its benefits in the semantic analysis of questions, coordination, modals, conditionals, and intonation. The book will be of interest to researchers and students from advanced undergraduate level upwards in the fields of semantics, pragmatics, philosophy of language, and logic.

Logic, Language and Meaning

Logic, Language and Meaning
Author: Maria Aloni
Publisher: Springer Science & Business Media
Total Pages: 484
Release: 2010-10-06
Genre: Computers
ISBN: 3642142869

The FoLLI LNAI subline aims to disseminate cutting-edge results in logic, language and information (LLI) research, development and education. LLI is the topical focus of FoLLI, the Association of Logic, Language and Information (www.folli.org). FoLLI was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science and cognitive science and related disciplines. Cross-fertilization between these areas has frequently led to significant progress on challenging research problems. Consequently, titles in the FoLLI LNAI series are targeted at researchers in multiple disciplines. As one of its major international activities, FoLLI organizes each year the European Summer School for Logic, Language and Information (ESSLLI). In parallel to the printed book, each new volume is published electronically in LNCS/LNAI Online.

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction
Author: Patrick Blackburn
Publisher: Springer Nature
Total Pages: 460
Release: 2019-10-09
Genre: Mathematics
ISBN: 366260292X

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning.

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation
Author: Jouko Väänänen
Publisher: Springer
Total Pages: 468
Release: 2016-08-05
Genre: Mathematics
ISBN: 3662529211

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation
Author: Ulrich Kohlenbach
Publisher: Springer
Total Pages: 255
Release: 2014-08-23
Genre: Mathematics
ISBN: 3662441454

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Logic and Its Applications

Logic and Its Applications
Author: Mohua Banerjee
Publisher: Springer
Total Pages: 228
Release: 2010-12-10
Genre: Computers
ISBN: 3642180264

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction
Author: Hans van Ditmarsch
Publisher: Springer
Total Pages: 412
Release: 2011-10-07
Genre: Mathematics
ISBN: 3642241301

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.