Comparing #1736 (Version 1) and #1816 (Version 2)

Veritula implements a recursive epistemology. For a criticism to be outstanding, it can’t have any outstanding criticisms itself, and so on, in a deeply nested fashion.

1
2
3
4
5
6
7
8
9
10
11

def criticized? idea
  outstanding_criticisms(idea).any?
end

def outstanding_criticisms idea
  criticisms(idea).filter { |c| outstanding_criticisms(c).none? }
end

def criticisms idea
  children(idea).filter(&:criticism?)
end

This approach is different from non-recursive epistemologies, which handle criticisms differently. For example, they might not consider deeply nested criticisms when determining whether an idea is currently criticized.

Recursive Epistemology

Veritula implements a recursive epistemology. For a criticism to be outstanding, it can’t have any outstanding criticisms itself, and so on, in a deeply nested fashion.

1
2
3
4
5
6
7
8
9
10
11

def criticized? idea
  outstanding_criticisms(idea).any?
end

def outstanding_criticisms idea
  criticisms(idea).filter { |c| outstanding_criticisms(c).none? }
end

def criticisms idea
  children(idea).filter(&:criticism?)
end

This approach is different from non-recursive epistemologies, which handle criticisms differently. For example, they might not consider deeply nested criticisms when determining whether an idea is currently criticized.