Linked e-resources
Details
Table of Contents
Preface; Contents; Inquiry and Justification; 1 Introduction; 2 Interrogative Model of Inquiry; 3 How Inquiry Produces Justification; 4 How Inquiry Needs Justification; 5 Conclusions: Producing Scientific Knowledge; References; The Interrogative Model of Inquiry and Inquiry Learning; 1 Introduction; 2 The Game of Inquiry; 2.1 Learning and Information-Seeking as Questioning; 2.2 The Sherlock Holmes Sense of ``Deduction''; 3 Deduction in Inquiry; 3.1 Pure Discovery; 3.2 Building Blocks of Interrogative Strategies; 4 Deduction Abducted; 4.1 Strategic Reasoning in Interrogation
4.2 Abduction and Yes-No Questions5 Abduction and Collaborative Learning; 5.1 The CSILE Study and Its Conclusions; 5.2 Range of Attention and Serendipity; 6 Conclusion; References; Inquiry and Deliberation in Judicial Systems: The Problem of Jury Size; 1 Introduction; 2 A Probabilistic Model of Jury Deliberation; 3 Epistemic Value in a Jury Situation; 4 Simulations Based on J-Value; 5 Calculating the Optimal Jury Size; 6 Discussion; 7 Conclusion; References; Inquiry, Refutations and the Inconsistent; 1 Introduction; 2 Hintikka and Lakatos; 3 Hintikka, Lakatos and the Inconsistent
4 ConclusionReferences; The Heterogeneity of Mathematical Research; 1 Introduction; 2 Two Case Studies; 2.1 The First Case Study; 2.2 The Second Case Study; 3 Some Philosophical Thoughts About Heterogeneity and Mathematical Practice; 3.1 About Problem-Solving; 3.2 Hintikka Method of Analysis and Synthesis; 3.3 A Brief Excursion About Explanation; 4 To Conclude; Appendix; References; Interrogative Inquiry as Defeasible Reasoning; 1 The Original Model; 2 Presuppositions; 3 Defeasible Inquiry, I; 4 Defeasible Inquiry, II; 5 Conclusions; References
On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations1 Aims; 2 Socratic Transformations; 2.1 Language; 2.2 The Calculus EPQ; 3 A View from EPQ; 4 A View from EAPQ; 5 Concluding Remarks; References; A Dynamic Logic of Interrogative Inquiry; 1 Introduction and Motivation; 2 Modelling Interrogative Steps: A Dynamic Logic of Questions; 2.1 Hintikka on Questions: Propositional Question, Presupposition and Oracle; 2.2 A Dynamic Logic of Questions; 2.2.1 The Static Component; 2.2.2 The Dynamic Component; 2.3 Soundness and Completeness
3 Modelling Deductive Steps: A Dynamic Logic of Inferences3.1 Inferences as Tableau Construction Steps; 3.2 A Tableau-Based Dynamic Logic of Inferences; 3.2.1 The Static Component; 3.2.2 The Dynamic Component; 3.3 Soundness and Completeness; 4 Combining Questions and Inferences: A Dynamic Logic of Interrogative Inquiry; 4.1 A Dynamic Logic of Interrogative Inquiry; 4.2 Soundness and Completeness; 4.3 General Remarks; 4.4 An Illustrative Example; 5 Comparison with Other Approaches; 6 Conclusion and Further Work; Technical Appendix; A Epistemic Logic; B Proofs of Propositions 1, 2 and Lemma 1
4.2 Abduction and Yes-No Questions5 Abduction and Collaborative Learning; 5.1 The CSILE Study and Its Conclusions; 5.2 Range of Attention and Serendipity; 6 Conclusion; References; Inquiry and Deliberation in Judicial Systems: The Problem of Jury Size; 1 Introduction; 2 A Probabilistic Model of Jury Deliberation; 3 Epistemic Value in a Jury Situation; 4 Simulations Based on J-Value; 5 Calculating the Optimal Jury Size; 6 Discussion; 7 Conclusion; References; Inquiry, Refutations and the Inconsistent; 1 Introduction; 2 Hintikka and Lakatos; 3 Hintikka, Lakatos and the Inconsistent
4 ConclusionReferences; The Heterogeneity of Mathematical Research; 1 Introduction; 2 Two Case Studies; 2.1 The First Case Study; 2.2 The Second Case Study; 3 Some Philosophical Thoughts About Heterogeneity and Mathematical Practice; 3.1 About Problem-Solving; 3.2 Hintikka Method of Analysis and Synthesis; 3.3 A Brief Excursion About Explanation; 4 To Conclude; Appendix; References; Interrogative Inquiry as Defeasible Reasoning; 1 The Original Model; 2 Presuppositions; 3 Defeasible Inquiry, I; 4 Defeasible Inquiry, II; 5 Conclusions; References
On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations1 Aims; 2 Socratic Transformations; 2.1 Language; 2.2 The Calculus EPQ; 3 A View from EPQ; 4 A View from EAPQ; 5 Concluding Remarks; References; A Dynamic Logic of Interrogative Inquiry; 1 Introduction and Motivation; 2 Modelling Interrogative Steps: A Dynamic Logic of Questions; 2.1 Hintikka on Questions: Propositional Question, Presupposition and Oracle; 2.2 A Dynamic Logic of Questions; 2.2.1 The Static Component; 2.2.2 The Dynamic Component; 2.3 Soundness and Completeness
3 Modelling Deductive Steps: A Dynamic Logic of Inferences3.1 Inferences as Tableau Construction Steps; 3.2 A Tableau-Based Dynamic Logic of Inferences; 3.2.1 The Static Component; 3.2.2 The Dynamic Component; 3.3 Soundness and Completeness; 4 Combining Questions and Inferences: A Dynamic Logic of Interrogative Inquiry; 4.1 A Dynamic Logic of Interrogative Inquiry; 4.2 Soundness and Completeness; 4.3 General Remarks; 4.4 An Illustrative Example; 5 Comparison with Other Approaches; 6 Conclusion and Further Work; Technical Appendix; A Epistemic Logic; B Proofs of Propositions 1, 2 and Lemma 1