The Logic of Interrogation: Classical Version
نویسندگان
چکیده
منابع مشابه
The Logic of Interrogation Classical Version
On the standard view, logic is concerned with reasoning, more in particular with xing criteria for the soundness and validity of arguments. If we apply standard logic in natural language semantics, we inherit this basic trait, and can only expect our logical semantics to have descriptive and explanatory value for the kind of linguistic phenomena that are related closely enough to what the logic...
متن کاملA Semantic Tableau Version of First-Order Quasi-Classical Logic
Quasi-classical logic (QC logic) allows the derivation of non-trivial classical inferences from inconsistent information. A paraconsis-tent, or non-trivializable, logic is, by necessity, a compromise, or weakening , of classical logic. The compromises on QC logic seem to be more appropriate than other paraconsistent logics for applications in computing. In particular, the connectives behave in ...
متن کاملAxiomatizing Groenendijk’s Logic of Interrogation
Jeroen Groenendijk (1999, reprinted in this book) introduced a logic, which he called the Logic of Interrogation (henceforth LoI), that can be used to analyze which linguistic answers are appropriate in response to a given question. Groenendijk gave only a semantic definition of his logic. For practical applications like building question-answering systems, however, we also need to understand t...
متن کاملA Modal Interpretation of the Logic of Interrogation
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof’s answerhood relation, yet allows an extensional interpretation. Using the latter, we get ...
متن کاملQuantum Logic as Classical Logic
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann’s classic thesis that the logic (the formal character) of Quantum...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2015
ISSN: 2163-5951
DOI: 10.3765/salt.v0i0.2835