Erotetic Matrices: A Decision Procedure For Erotetic Implication Pubblico

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

Rights statement

• Permission granted by the author to include this thesis or dissertation in this repository. All rights reserved by the author. Please contact the author for information regarding the reproduction and use of this thesis or dissertation.

School	Emory College
Department	Philosophy
Degree	B.A.
Submission	Honors Thesis
Language	English
Research Field	Logic Philosophy
Parola chiave	Erotetics
Committee Chair / Thesis Advisor	Mark Risjord, Emory University
Committee Members	Anna Errore, Emory University Erin Tarver, Emory University Jared Millson, Rhodes College

Ultima modifica

Primary PDF

Thumbnail	Title	Date Uploaded	Actions
	Erotetic Matrices: A Decision Procedure For Erotetic Implication ()	2025-04-08 11:49:21 -0400	Press to Select an action Download

Supplemental Files

Thumbnail	Title	Date Uploaded	Actions