Search Ideas

That’s a valid point but doesn’t belong here. I have instead edited a related idea.

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 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: it states that there is no criterion of truth to determine with certainty whether some idea is true or false. 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 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.

Consider an idea I:

              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 generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

              I
              |
              C1

The idea I is now considered problematic so long as criticism C1 is not addressed. How do you address it? 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):

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

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

If you cannot think of a way to revise I, you can counter-criticize C1, thereby neutralizing it with a new criticism, C2:

              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, considering it to be 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:

              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 marks ideas accordingly, automatically.

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. 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.

It might be worth stating that the underlying philosophy of Veritula, in conjunction with fallibilism, says that progress is both possible and desirable, and that rational means are the only way to make progress. This means an end to mysticism and the supernatural.

The pruning mechanism is part of it, but there’s more. Again, there’s also competition between ideas and even predatory behavior that can result in the elimination of ideas. All such phenomena taken together constitute natural selection in the mind.

… Rat Festers cite Popper and Deutsch as if they are infallible.

Shouldn’t it be ‘as if they were infallible’?

Fixed as of 2025-10-08.

Hardly anyone reads those, and many of those who do forget.

There could be an explanation somewhere stating that emoji reactions do not have epistemological relevance.

Those run the risk of turning Veritula into yet another social network like Reddit or messenger like Telegram.

Not a doctor. But it's not hard for me to imagine untainted memory but a script with an error such that it can't manage to look up the information.

Pasting #2079 here as it’s since been hidden in a resolved child thread and should have applied directly to #2074 in the first place.

My current view is that the only meaningful dichotomy is good vs. bad.

You say yourself in #2071 that one should “always avoid positive arguments.” Calling a theory “good” would be a positive argument.

As I say in #2065, Popperian epistemology has no room for ‘good’ or any other justification. I’m not aware that anyone has successfully proposed a way to measure the ‘hard-to-varyiness’ of theories anyway. We can criticize theories for being arbitrary (which is another word for ‘easy to vary’). That’d be fine. But Popper wouldn’t give them points for not being arbitrary. And arbitrariness isn’t the only type of criticism a theory might receive anyway.

If we follow Popper and get rid of justification, we can’t use ‘good vs bad’ because we can’t use ‘good’. The only dichotomy left standing is ‘has some bad’ vs ‘has no bad’. Another word for ‘pointing out some bad’ is ‘criticism’. So this dichotomy can be rephrased as: ‘has pending criticisms’ vs ‘has no pending criticisms’, or ‘has reasons to be rejected’ vs ‘has no reasons to be rejected’. Note that there’s a difference: if you think some idea is bad, you submit a criticism. If you think it’s good, you can still submit a criticism because it might not yet be as good as you want it to be. So regardless of how good a theory might be, it can still have pending criticisms, and thus reasons to reject it. Think of Newtonian physics, which (I’m told) is a superb theory, but it’s false and (as I understand it) has plenty of pending criticisms.

‘Has pending criticisms’ vs ‘has no pending criticisms’ is directly comparable whereas ‘good’ and ‘bad’ aren’t directly comparable. And ‘has n pending criticisms’ vs ‘has m’ or ‘has 0 pending criticisms’ are even numerically comparable.

Veritula does not implement Deutsch’s epistemology. It implements Popper’s. I don’t think they’re compatible.

(As an aside, I’m not sure how I could implement Deutsch’s epistemology even if I wanted to. Would I give each idea a slider where people can say how ‘good’ the idea is? What values would I give the slider? Would the worst value be -1,000 and the best +1,000? How would users know to assign 500 vs 550? Would a ‘weak’ criticism get a score of 500 and a ‘strong’ one 1,000? What if tomorrow somebody finds an even ‘stronger’ one, does that mean I’d need to extend the slider beyond 1,000? Do I include arbitrary decimal/real numbers? Is an idea’s score reduced by the sum of its criticisms’ scores? If an idea has score 0, what does that mean – undecided? If it has -500, does that mean I should reject it ‘more strongly’ than if it had only -100? And so on. Deutsch says you haven’t understood something if you can’t program it, and I don’t think he could program his epistemology.)

Let's fuck with your intuitions a little bit:

Say "stop" when it's no longer an explanation:

• Didactic chapter in plain English with examples and edge cases, distilled into a concise technical note with formal definitions, invariants, and pseudocode.

• Literate program interleaving prose and code, or a heavily commented Python implementation with docstrings and tests.

• The same code stripped of comments/tests and then minified or obfuscated (e.g., Python one‑liner, obfuscated C), up through esolangs and formalisms (Brainfuck, untyped lambda calculus with Church numerals, SKI combinators).

• Operational specifications with minimal labels (Turing machine tables), then hand‑written assembly without labels and self‑modifying tricks, down to raw machine code bytes/hex and binary blobs with unknown ISA or entry point.

• The same bits recast as DNA base mapping with unknown block codec, unknown compression, encrypted archives indistinguishable from noise, arbitrary bitstrings for unspecified UTMs, or physical media (flux/RF) without modulation specs.

Hmm never thought of that, interesting! I think since the disease involves continuous loss of brain volume, harsware decay seems like the best explanation.

In general I think it makes sense to speak of diseases in neurology (e.g. Alzheimer's, Parkinsons, stroke) as bad hardware and psychiatric disease as bad software. But it could very well be that some of those diagnoses are miscategorised.

It might be worth stating that the aim of Veritula, in conjunction with the fallibilism philosophy, is that progress is both desirable and attainable, and the way to achieve progress is through rational means. This means an end to mysticism, the supernatural, and all other ideas that have an implicit underlying sentiment that a given thing is beyond our understanding.

That pruning mechanism is what constitutes natural selection in the mind.

It might worth stating that the aim of Veritula, along with the fallibilism philosophy, is that progress is both desirable ant attainable, and the way to get to progress is thru rational means. This means end to mysticism, supernatural and all other ideas that have an implicit underlying sentiment that a given thing is beyond our understanding.

Makes sense, thanks Dennis. Constant pruning is the explanation that retains scarcity and competition, while making the brain seem to have much more memory than it does.

Most people (except in Alzheimer's, etc.) don't run out of memory in the brain. If there's no scarcity for the space of ideas, why do they have to compete?

Since you’re a doctor, Erik, let me ask: is there a possibility Alzheimer’s could be explained in terms of bad software? Correct me if I’m wrong, but it seems like the prevailing view is limited to bad hardware.

I have speculated in the past that ideas compete for attention, but they also compete for any kind of memory, be it something like RAM or hard-disk memory. The RAM-like memory in the brain is presumably closely related to working memory, if not the same.

The reason most people don’t (permanently) run out memory (of either kind) isn’t that memory isn’t scarce but that there’s a pruning mechanism in the mind. And again, there’s competition. That competition can involve predatory ideas which disassemble the source code of other ideas and use it for themselves because that’s cheaper than to construct source code from scratch.

By the way, how is this a criticism? #2200 makes no mention of memory.

I have speculated in the past that ideas compete for attention, but they also compete for any kind of memory, be it something like RAM or hard-disk memory. The RAM-like memory in the brain is presumably closely related to working memory, if not the same.

The reason most people don’t run out memory (of both kinds) isn’t that memory isn’t scarce but that there’s a pruning mechanism in the mind. And again, there’s competition. That competition can involve predatory ideas which disassemble the source code of other ideas and use it for themselves because that’s cheaper than to construct source code from scratch.

Of course, memory isn't infinite. But most people don't seem to run out of it in their lifetimes. Is it more accurate to say that ideas compete for working memory, which is scarcer?

Everyone has scarce memory. Everyone’s brain has limited storage space.

Most people (except in Alzheimer's, etc.) don't run out of memory in the brain. If there's no scarcity for the space of ideas, why do they have to compete?