.

0 (hodnocen0 x )

EB

EB

ONLINE

First edition

[Praha] : Karolinum, [2016]

1 online zdroj (110 stran)

ISBN 978-80-246-3193-6 (e-kniha)

ISBN 978-80-246-3181-3 (brožováno)

Obsahuje bibliografické odkazy

"Focuses on two formal logic systems that employ the type of inferences in which questions are used in addition to statements. Not merely capturing questions as part of a logical apparatus, Michal Peliš also emphasizes the role of question-asking in communication. The book presents options for formalizing questions using sets of "direct answers," demonstrates where questions are used in inferences, and explores asking questions and seeking answers as important components of everyday communication, proposing ways of using questions within a formal system that can capture a change in knowledge during this simple communication." --back cover..

Popsáno podle tištěné verze

001481446

1 logic and questions 13 // 1.1 questions, answers, and inferences 13 // 1.1.1 questions and answers 1a // 1.1.2 inferences with questions 16 // 1.2 set-of-answers methodology 17 // 1.2.1 semantics of questions 18 // 1.2.2 sets of answers 19 // 1.3 sam in the recent history of erotetic logic 21 // 1.3.1 inferential erotetic logic 22 // 1.3.2 intensional erotetic logic 23 // 1a epistemic aspects of sam 2a // 1a.1 / don’t know answer 26 // 2 consequence relations in inferential // erotetic logic 29 // 2.1 introduction 29 // 2.1.1 adapted set-of-answers methodology in iel 29 // 2.1.2 consequence relations in iel 31 // 2.1.3 model-based approach 31 // 2.1a basic properties of questions 33 // 2.1.5 the road we are going to take за // 2.2 questions and declaratives // 2.2.1 evocation 34 // 2.2.2 presuppositions 37 // 2.3 questions and questions 41 // 2.3.1 erotetic implication 41 // 2.3.2 evocation and erotetic implication - 46 // 2.3.3 comparing questions: relations between // questions based on direct answers 48 // 2.за questions and sets of questions 51 // 2.4 inferential erotetic logic (final remarks) 58 // 3 epistemic logic with questions 61 // 3.1 introduction 61 // 3.2 single-agent propositional epistemic logic // and questions 63 // 3.2.1 incorporating questions 6a // 3.2.2 some important classes of the questions 82 // a.2.1 group epistemic modalities 83 // a.2.2 group questions and answerhood - 85 // a.3 public announcement 87 // a.3.1 updates and questions 89 // a.3.2 public announcement and answerhood . 91 // a.3.3 answer mining in a group 92 // a.a public announcement logic with questions // (final remarks) 95 // 5 conclusion 97 // 5.1 the starting point: sam 97 // 5.2 main results 98 // 5.3 weak points and problems 100 // 5.3.1 sam and context condition of askability 100 // 5.3.2 askability and belief 101 //

5.3.3 inferences with questions 101 // 5.3.a questions among direct answers 102 // 5a related work 102 // 5.5 future directions (some oe them) 105 // bibliography 107

(OCoLC)951554376

(OCoLC)989813261

(OCoLC)985702183

(EBSC)1513540