Loading…
A Relevant Logic of Questions
This paper introduces the inquisitive extension of R , denoted as I n q R , which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for I n q R is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley...
Saved in:
Published in: | Journal of philosophical logic 2020-10, Vol.49 (5), p.905-939 |
---|---|
Main Author: | |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | This paper introduces the inquisitive extension of
R
, denoted as
I
n
q
R
, which is a relevant logic of questions based on the logic
R
as the background logic of declaratives. A semantics for
I
n
q
R
is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for
R
. Moreover,
I
n
q
R
is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for
I
n
q
R
is also discussed. |
---|---|
ISSN: | 0022-3611 1573-0433 |
DOI: | 10.1007/s10992-019-09541-9 |