Simplified Tableaux for STIT Imagination Logic

Olkhovikov, Grigory K.; Wansing, Heinrich

doi:10.1007/s10992-019-09503-1

Cited by 4 publications

(5 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It speaks in their favor, however, that they have a sound and complete axiomatisation. We are confident that the methods they use to deal with contents/topics can be combined with the completeness proof from [48, 49]. Given a canonical model construction and the canonical model satisfies the respective frame property, the correspondence theory would make it straightforward to establish completeness for the various logics resulting from the respective principles concerning imaginative episodes with voluntary input.…”

Section: Discussionmentioning

confidence: 99%

“…We aim to model the deliberate choice of an agent during an imaginative episode and the subsequent unfolding. To account for the deliberate choice, we employ the stit -imagination operator from [48, 49, 67], which we don’t take as primitive but defined by a stit -modality and a neighborhood modality. The unfolding is modelled by a content-sensitive variably strict conditional as per Berto’s imaginative episode operator.…”

Section: Episodic Imagination With Voluntary Inputmentioning

confidence: 99%

“…We now go on to combine the voluntary imagination operator from [48, 49, 67] with Berto’s episodic imagination operator. First, we recapitulate the semantics of stit -imagination logic to then expand on it.…”

Section: Semantics For Imaginative Episodes With Voluntary Inputmentioning

confidence: 99%

“…Upon comparison of Berto’s logic of imagination episode reports with the stit -imagination logic from Olkhovikov and Wansing [48, 49] and Wansing [67], it becomes clear that the two approaches can be combined in a mutually supplementary way. Whereas Berto focuses on the episodic character of imagination, in stit -imagination logic the focus is on the agentive aspect of imagination, and it seems to be quite natural to represent these two features of imagination in a combined framework.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT

Badura¹,

Wansing²

2021

The Review of Symbolic Logic

Self Cite

View full text Add to dashboard Cite

Francesco Berto proposed a logic for imaginative episodes. The logic establishes certain (in)validities concerning episodic imagination. They are not all equally plausible as principles of episodic imagination. The logic also does not model that the initial input of an imaginative episode is deliberately chosen. Stit-imagination logic models the imagining agent’s deliberate choice of the content of their imagining. However, the logic does not model the episodic nature of imagination. The present paper combines the two logics, thereby modelling imaginative episodes with deliberately chosen initial input. We use a combination of stit-imagination logic and a content-sensitive variably strict conditional à la Berto, for which we give a Chellas–Segerberg semantics. The proposed semantics has the following advantages over Berto’s: (i) we model the deliberate choice of initial input of imaginative episodes (in a multi-agent setting), (ii) we show frame correspondences for axiomatic analogues of Berto’s validities, which (iii) allows the possibility to disregard axioms that might be considered not plausible as principles concerning imaginative episodes. We do not take a definite stance on whether these should be disregarded but give reasons for why one might want to disregard them. Finally, we compare our semantics briefly with recent work, which aims to model voluntary imagination, and argue that our semantics models different aspects.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Episodic Imagination With Voluntary Inputmentioning

confidence: 99%

Section: Semantics For Imaginative Episodes With Voluntary Inputmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT

Badura¹,

Wansing²

2021

The Review of Symbolic Logic

Self Cite

View full text Add to dashboard Cite

show abstract

“…See also the simplified calculus in[16] which includes a detailed proof of soundness and completess, with proofs of some of the assumptions that were implicit in[15].…”

mentioning

confidence: 99%