TAG comments on Where Recursive Justification Hits Bottom

TAG 13 Dec 2023 19:00 UTC
3 points
0

If induction justifies “induction works” then “induction works” is justified”.

Induction doesn’t justify “induction works”, unless “induction works” is justified.
- Yoav Ravid 14 Dec 2023 7:09 UTC
  3 points
  0
  Parent
  Hmm… I can understand this two different ways, and I’m not sure which one you mean.
  1. Induction doesn’t justify “induction works” unless “induction works” is justified by something else, otherwise it’s circular.
  2. Induction doesn’t justify “induction works” unless “induction works” is correct, therefore, if it justifies it then it’s correct (basically a corollary of what I wrote).