A note on Gettier cases in epistemic logic

The paper explains how Gettier's conclusion can be reached on general theoretical grounds within the framework of epistemic logic, without reliance on thought experiments. It extends the argument to permissive conceptions of justification that invalidate principles of multi-premise closure and require neighbourhood semantics rather than semantics of a more standard type. The paper concludes by recommending a robust methodology that aims at convergence in results between thought experimentation and more formal methods. It also warns against conjunctive definitions as sharing several of the drawbacks of disjunctive definitions.