How Does Veritula Work?
Showing only ideas leading to #5117.
See full discussion·See most recent related ideasLog in or sign up to participate in this discussion.
With an account, you can revise, criticize, and comment on ideas.Discussions can branch out indefinitely. You may need to scroll sideways.
Dennis HackethalOP·#5114·
Recursive Epistemology
Veritula implements a recursive epistemology. For a criticism to be pending, it can’t have any pending criticisms itself, and so on, in a deeply nested fashion.
ruby
def should_adopt? ideapending_criticisms(idea).none?enddef pending_criticisms ideacriticisms(idea).filter { |c| should_adopt?(c) }enddef criticisms ideachildren(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.
Dennis HackethalOP·#5116·
should_adopt? and pending_criticisms are implemented in terms of each other. Doesn’t that cause an infinite regress?
Dennis HackethalOP·#5117·
No because 1) there’s always a finite amount of deeply nested criticisms, and 2) the discussion graph is acyclic.
Criticism of #5116