Ideas linking to #5670

Hi Rob, welcome to Veritula. It’s nice to meet another software engineer. Be sure to read ‘How Does Veritula Work?’ and ‘How Do Bounties Work?’ to make the most of V. Re: definitions, you raise an argument others have made before, namely that language has some unavoidable ambiguity or incomplete information, which necessarily introduces error. I already addressed that argument…

Hi Rob, welcome to Veritula. It’s nice to meet another software engineer. Be sure to read ‘How Does Veritula Work?’ and ‘How Do Bounties Work?’ to make the most of V.

Re: definitions, you raise an argument others have made before, namely that language has some unavoidable ambiguity or incomplete information, which necessarily introduces error. I already addressed that argument in the article linked in the discussion header:

I don’t know if I agree that natural language is always ambiguous, but even if so, I don’t see how that implies error. We can make ambiguous but true statements. ‘I’m currently located in a hemisphere’ is ambiguous as to which hemisphere, but it’s still true. We could be silly and ask, on which planet? This one. Earth. We all know what we’re talking about.

Therefore, I disagree that we need perfect definitions or infinite precision to find absolutely true ideas. (But correct me if I’m wrong to think you’re making the same argument.)

I suggest you read the article in full, otherwise you may inadvertently make more arguments that have been addressed: https://libertythroughreason.com/fallibilism-vs-cynicism/

There’s also https://blog.dennishackethal.com/posts/don-t-take-fallibilism-too-far.

How Does Veritula Work? Veritula (Latin for ‘a bit of truth’) can help you live a life guided exclusively by reason. To reason, within any well-defined epistemology, means to follow and apply that epistemology. Unreason, or whim, is an undue departure from it. Epistemology is the study of knowledge – basically, the study of what helps knowledge grow, what hinders…

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) can help you live a life guided exclusively by reason.

To reason, within any well-defined epistemology, means to follow and apply that epistemology. Unreason, or whim, is an undue departure from it. Epistemology is the study of knowledge – basically, the study of what helps knowledge grow, what hinders its growth, and related questions.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s a continuation of the Athenian tradition of criticism and the only known epistemology without major flaws.¹

Critical Rationalism says that ideas are assumed true until refuted. This approach leaves us free to make bold guesses and use the full arsenal at our disposal to criticize these guesses in order to solve problems, correct errors, and seek truth. It’s a creative and critical approach. Critical Rationalism is a fallibilist philosophy: there is no general criterion of truth to determine with certainty whether any given idea is true or false (Tarski). We all make mistakes, and by an effort, we can correct them to get a little closer to the truth. Rejecting all forms of mysticism and the supernatural, Veritula recognizes that progress is both possible and desirable, and that rational means are the only way to make ongoing progress.

Veritula is a programmatic implementation of Popper’s epistemology.

Veritula provides an objective, partly automated way to tentatively determine whether a given idea is problematic. It does not tell you what to think – it teaches you how to think.

On Veritula, ideas are discrete and immutable. Consider an idea I:

1

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would be irrational to reject it, consider it problematic, or act counter to it. (See this quick guide for more details on rational decision-making.)

Next, someone submits a criticism C1:

1
2
3

              I
              |
              C1

The idea I is now considered problematic so long as criticism C1 is not addressed. How do you address it? If you agree with the criticism, you can revise I so that C1 doesn’t apply anymore, which restores the previous state with just the standalone I (now called I2 to indicate the revision):

1
2
3
4

                   Revise
              I ------------> I2
              |
              C1

To track changes, Veritula offers beautiful diffing and version control for ideas.

If you disagree with C, you can counter-criticize it instead, thereby neutralizing it with a new criticism, C2:

1
2
3
4
5

              I
              |
              C1
              |
              C2

Now, I is considered unproblematic again, since C1 is problematic and thus can’t be a decisive criticism anymore.

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, viewing it as unproblematic, etc.

Since there can be many criticisms (which are also just ideas) and deeply nested counter-criticisms, the result is a tree structure. For example, as a discussion progresses, one of its trees might look like this:

1
2
3
4
5
6
7

              I
           /  |  \
         C11 C12 C13
         / \       \
       C21 C22     C23
                   / \
                 C31 C32

In this tree, I is considered problematic. Although C11 has been neutralized by C21 and C22, C12 still needs to be addressed. In addition, C23 would have neutralized C13, but C31 and C32 make C23 problematic, so C13 makes I problematic as well.

You don’t need to keep track of these relationships manually. Veritula automatically marks ideas accordingly.

Since decision-making follows the same logic as truth-seeking, you can use these trees to make decisions, too. Veritula implements unanimous consent as defined by Taking Children Seriously, a parenting philosophy that builds on Popper’s epistemology. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

All ideas, including criticisms, should be formulated as concisely as possible, and separate ideas should be submitted separately, even if they’re related. Otherwise, you run the risk of receiving ‘bulk’ criticisms, where a single criticism seems to apply to more content than it actually does.

Again, criticisms are also just ideas, so the same is true for criticisms. Submitting each criticism separately has the benefit of requiring the proponent of an idea to address each criticism individually, not in bulk. If he fails to address even a single criticism, the idea remains problematic and should be rejected.

The more you discuss a given topic, the deeper and wider the tree grows. Some criticisms can apply to multiple ideas in the tree, but that needs to be made explicit by submitting them repeatedly.

Comments that aren’t criticisms – eg follow-up questions or otherwise neutral comments – are considered ancillary ideas. Unlike criticisms, ancillary ideas do not invert their respective parents’ statuses. They are neutral.

One of the main benefits of Veritula is that the status of any idea in a discussion can be seen at a glance. If you are new to a much-discussed topic, adopt the displayed status of the ideas involved: if they are marked problematic, reject them; if they are not, adopt them.

Therefore, Veritula acts as a dictionary for ideas.

One of the problems of our age is that people have same discussions over and over again. Part of the reason is widespread irrationality, expressed in the unwillingness to change one’s mind; another is that it’s simply difficult to remember or know what’s true and what isn’t. Discussion trees can get complex, so people shouldn’t blindly trust their judgment of whether some idea is true or problematic, whether nested criticisms have been neutralized or not. Going off of memory is too error prone.

Veritula solves this problem: it makes discussion trees explicit so you don’t have to remember each idea and its relation to other ideas. Veritula therefore also enables you to hold irrational people accountable: if an idea has pending criticisms, the rational approach is to either abandon it or to save it by revising it or addressing all pending criticisms.

Many people don’t like to concede an argument. But with Veritula, no concessions are necessary. The site just shows you who’s right.

Using Veritula, we may discover a bit of truth.

Still have questions about rationality? Read the technical paper, learn about Veritula’s recursive epistemology and how to structure discussions, or read the quick guide to rational decision-making.

Want personalized help tailored to your own specific needs? Hire Dennis, founder of Veritula, for personal tutoring, or run a bounty.

Just to confirm, and so you can hear it from me, yes I did use AI to help with my submission. For posterity, here was my position during the discussion: I think it's technically fair for Dennis to consider the submission ineligible because the bounty terms clearly say "Submissions must be handwritten. No AI-generated text or code; suspected AI use…

Just to confirm, and so you can hear it from me, yes I did use AI to help with my submission.

For posterity, here was my position during the discussion:

I think it's technically fair for Dennis to consider the submission ineligible because the bounty terms clearly say "Submissions must be handwritten. No AI-generated text or code; suspected AI use makes submissions ineligible."

On the other hand, I think this outcome is a shame because I don't think my use of AI changes any of the real work and thought that was put into it. If you zoom out, the motive of the bounty is to attract people to work on ideas and develop them, which is exactly what I did here, regardless of the tools used. As How Do Bounties Work? puts it, "Bounties let you invite criticism and reward high-quality contributions with real money."

And this is exactly what happened here. The idea had been posted on Veritula for about 10 months, and when I saw the bounty, I took it as a fun challenge to work on. So in that sense, the bounty incentive worked. And it seems to me that the reception of the idea has been good so far, which is why I find this outcome disappointing. On a symbolic level—and I acknowledge that this may be very different from how Dennis sees or intends the decision—his withdrawal of all his funds feels to me like this work is somehow not something he's willing to reward.

I did attempt to persuade Dennis to reinterpret the no-AI rule by discussing the underlying reasons for the rule. We agreed that handwriting can be a way to test the submitter's own understanding rather than relying on AI's understanding. While we agreed that this wasn't an issue for me, we disagreed about what should follow from that. My view was that the purpose of the rule should matter more than the literal wording, whereas Dennis seemed to think that the written terms should still govern.

Ultimately, we couldn't come to an agreement on whether my use of AI was appropriate in the context of this bounty. We also disagreed about whether I should have raised my use of AI proactively. In any case, I respect Dennis's decision since ultimately these were the terms of his bounty. We also agreed that in the future, discussions like this about the terms ought to be brought up at the beginning rather than after the fact.