Prompt shell
Replace highlighted brackets, then copy.
Test the claim '[claim]' for Gettier-style luck. Identify the justification, where it could be accidentally true, and a fix.
How to use
claim- replace the bracketed field with your info
Provide (Inputs)
- Claim
- Justification
- Potential luck factors
- Context
Expected output (Outputs)
- Gettier risk
- Luck pathway
- Revised condition
Tips
- Look for false lemmas.
- Check reliability of the method.
- Keep the fix minimal.