1. Paul Poenicke Gettier Problem Ontology

2. Gettier, “Is Justified True Belief Knowledge?” (1963)

3. Scope and Relation to Current Ontologies Scope of ontology: represent the subfield of epistemology dedicated to the development of the Gettier Problem Gettier Problem Ontology (GPO): an application of Smith and Grenon, “Foundations of an Ontology of Philosophy” Guiding Principles: Relevance Philosophical Neutrality Revisability

4. Included in the GPO: The field: Post-Gettier Epistemology Epistemologists (Gettier, Nozick, Goldman, Hawthorne, Lehrer) Philosophical Objects Philosophical Concepts: Belief, Justification, Truth, Knowledge Philosophical Theory: Classical Theory of Knowledge Philosophical Arguments: Counter examples-Gettier Problem and Cases

5. True Path Rule and GPO Philosophical objects and epistemologists will be in the field of Gettier Problem Development (is_in_field) Individual philosophers author papers (“Lehrer authored ‘Knowledge, Truth, and Evidence.’”) Papers present cases (“‘A Causal Theory of Knowing’ presents the Fake Barn Case.”) A case is an example of the Gettier Problem (“The Lottery Case is an example of the Gettier Problem.”)

6. Features of GPO Inauguration Papers that inaugurated a particular case in the philosophical literature (e.g. “A Causal Theory of Knowing” inaugurated the Fake Barn Case) Annotation Property: ‘Description from Inaugural Text’ Exemplification Cases exemplify particular subclasses of the Gettier Problem Neutral, intuitive method to dividing developments in the field of Gettier Problems (e.g. Chicken Sexer Case vs. Newtonian Physics Case) Key to GPO: collating cases and major concepts associated with the Gettier Problem

7. Building GPO on Blinding Flashes of the Obvious

8. Luck and GPO

9. Future Applications