Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
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 ...
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...
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...
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...

Back to Top