I support the acceptance of this definition of 'definition'. The main feature that makes 'definition' potentially problematic is that it is being treated as a sub-type of theory, despite the fact that there is a controversy over whether definitions can have a truth value. It seems reasonable, for example, to suppose that they are conventions, for which no empirical truth value is possible. Barseghyan 2018 argues that the question of most relevance to scientonomy is whether definitions can be accepted or not accepted by an epistemic agent. This seems clearly to be a question that has an answer, for any given definition. Thus, despite the problems, I believe this definition of 'definition' warrants acceptance.
This is to record that the consensus concerning this modification emerged primarily off-line, outside of this discussion page. The consensus has manifested on several occasions, including the first scientonomy conference in May 2019 in Toronto.
Enable comment auto-refresher
Paul Patton
Hakob Barseghyan