Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 3

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  logic of questions
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Erotetic Epistemic Logic

100%
EN
This paper presents a logic of questions developed as an extension of (S5) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions). The aim is to introduce an erotetic system which corresponds well with epistemic terms and can form an appropriate background for dynamic approaches in epistemic logic.
2
Content available remote

Generalized Entailments

100%
EN
A semantic relation between a family of sets of formulas and a set of formulas, dubbed generalized entailment, and its subrelation, called constructive generalized entailment, are defined and examined. Entailment construed in the usual way and multiple-conclusion entailment can be viewed as special cases of generalized entailment. The concept of constructive generalized entailment, in turn, enables an explication of some often used notion of interrogative entailment, and coincides with inquisitive entailment at the propositional level. Some interconnections between constructive generalized entailment and Inferential Erotetic Logic are also analysed.
PL
Prezentujemy dwa formalne narzędzia służące do modelowania rozumowań, za pomocą których rozwiązywane są szczególnego rodzaju problemy abdukcyjne. Pierwszy model, osadzony w formalizmie logiki pytań, bazuje na pojęciu słabej implikacji erotetycznej. Drugi model wykorzystuje relacje zawężania i odsiewania definiowane za pomocą logiki pytań, semantyki sytuacyjnej i pojęcia relewancji wątku. Na przykładzie analizy rozgrywek w grę Takie Życie pokazujemy, że oba modele adekwatnie charakteryzują dane empiryczne.
EN
Our research provides formal tools for analyses of reasoning involved in solutions to a specific class of abductive problems. We present two models of this reasoning. The first one is grounded in the logic of questions and employs a weak version of erotetic implication. The second one is construed in terms of relations of sifting and funneling. Definitions of these relations involve the logic of questions, situational semantics, and the concept of topic relevance. As we show on the basis of a Mind Maze gameplay case study, these models account well for empirical data.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.