Re. your last remark, wouldn’t a distinction between premise-circularity and rule-circularity do the trick?
Current theme: default
Less Wrong (text)
Less Wrong (link)
Re. your last remark, wouldn’t a distinction between premise-circularity and rule-circularity do the trick?