Erotetic Matrices: A Decision Procedure For Erotetic Implication 公开
Leifman, Maximilian (Spring 2025)
Abstract
This paper looks at one of the inferences studied in Inferential Erotetic Logic (IEL): erotetic implication (EI). EI is a type of inference that enables the logical formulation of one question based on another. There are various formalizations of this derivation, and this analysis uses the formalized definition proposed by Jared Millson. While numerous efforts have been made to further understand and refine EI, it currently lacks a simple and efficient decision procedure. In other words, there is no straightforward way to determine whether one practical question logically follows from another. This paper proposes one such decision procedure. We begin with a short background and history of EI. Then, we introduce our test — which we call the Erotetic Matrix (EM) Test — and its rules. Finally, we will prove that the EM Test is both sound and complete, after which we will introduce areas for further research.
Table of Contents
1. Introduction: What Is Erotetic Implication?................................1
2. Disjunctive Normal Form And The Tree Test...............................5
3. Conceptualizing The Erotetic Matrix Test....................................7
4. Rules For The Erotetic Matrix Test..............................................14
5. Soundness And Completeness Of The Erotetic Matrix Test........ ...17
6. Areas For Further Research.........................................................23
About this Honors Thesis
| School | |
|---|---|
| Department | |
| Degree | |
| Submission | |
| Language |
|
| Research Field | |
| 关键词 | |
| Committee Chair / Thesis Advisor | |
| Committee Members |
Primary PDF
| Thumbnail | Title | Date Uploaded | Actions |
|---|---|---|---|
|
|
Erotetic Matrices: A Decision Procedure For Erotetic Implication () | 2025-04-08 11:49:21 -0400 |
|
Supplemental Files
| Thumbnail | Title | Date Uploaded | Actions |
|---|