Javascript must be enabled to continue!
Epistemic extensions of substructural inquisitive logics
View through CrossRef
Abstract
In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which is based on the classical logic of declaratives. We show that if the underlying substructural logic is distributive, the generalization can be extended to embrace also the epistemic modalities ‘knowing whether’ and ‘wondering whether’ that are applicable to questions. We construct a semantic framework for a language of propositional substructural logics enriched with a question-forming operator (inquisitive disjunction) and epistemic modalities. We show that within this framework, one can define a canonical model with suitable properties for any (syntactically defined) epistemic inquisitive logic. This leads to a general approach to completeness proofs for such logics. A deductive system for the weakest epistemic inquisitive logic is described and completeness proved for this special case using the general method.
Title: Epistemic extensions of substructural inquisitive logics
Description:
Abstract
In this paper, we study the epistemic extensions of distributive substructural inquisitive logics.
Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences.
They generalize basic inquisitive logic which is based on the classical logic of declaratives.
We show that if the underlying substructural logic is distributive, the generalization can be extended to embrace also the epistemic modalities ‘knowing whether’ and ‘wondering whether’ that are applicable to questions.
We construct a semantic framework for a language of propositional substructural logics enriched with a question-forming operator (inquisitive disjunction) and epistemic modalities.
We show that within this framework, one can define a canonical model with suitable properties for any (syntactically defined) epistemic inquisitive logic.
This leads to a general approach to completeness proofs for such logics.
A deductive system for the weakest epistemic inquisitive logic is described and completeness proved for this special case using the general method.
Related Results
Dynamic epistemic logics for abstract argumentation
Dynamic epistemic logics for abstract argumentation
AbstractThis paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a ...
Bridge Principles and Epistemic Norms
Bridge Principles and Epistemic Norms
AbstractIs logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for ...
Statistical evidence and the criminal verdict asymmetry
Statistical evidence and the criminal verdict asymmetry
AbstractEpistemologists have posed the following puzzle, known as the proof paradox: Why is it intuitively problematic for juries to convict on the basis of statistical evidence an...
Limit ultrapowers and abstract logics
Limit ultrapowers and abstract logics
AbstractWe associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapowers which are complete extensions in the sense of L.For every countably g...
A logic of hypothetical conjunction
A logic of hypothetical conjunction
Abstract
A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered. The most natural ...
Deepfakes and the epistemic apocalypse
Deepfakes and the epistemic apocalypse
AbstractIt is widely thought that deepfake videos are a significant and unprecedented threat to our epistemic practices. In some writing about deepfakes, manipulated videos appear ...
Epistemologies of Discomfort: What Military-Family Anti-War Activists Can Teach Us About Knoweldge of Violence
Epistemologies of Discomfort: What Military-Family Anti-War Activists Can Teach Us About Knoweldge of Violence
This paper extends feminist critiques of epistemic authority by examining their particular relevance in contexts of institutionalized violence. By reading feminist criticism of "ex...
A General Framework for Dimensionality-Reducing Data Visualization Mapping
A General Framework for Dimensionality-Reducing Data Visualization Mapping
In recent years, a wealth of dimension-reduction techniques for data visualization and preprocessing has been established. Nonparametric methods require additional effort for out-o...
Recent Results
THE POWER OF SALIVA IN DIAGNOSTIC ORAL DESEASE
THE POWER OF SALIVA IN DIAGNOSTIC ORAL DESEASE
Saliva is an extracellular fluid produced and secreted by the salivary glands in the mouth. In humans, saliva is about 99% water, plus electrolytes, mucus, white blood cells, epith...
An Empirical Analysis of the Factors Affecting Farmer Satisfaction Under the China Link Policy
An Empirical Analysis of the Factors Affecting Farmer Satisfaction Under the China Link Policy
China’s urbanization has maintained a high growth rate for a long period of time, but the contradiction between urban and rural land use has become increasingly prominent. Link pol...
Preaching Magnificence in Renaissance Florence*
Preaching Magnificence in Renaissance Florence*
AbstractThe magnificence with which the Florentine Renaissance is synonymous derived its power from a virtue elucidated and disseminated by influential preachers as early as the 14...