How Does Veritula Work?

  Dennis Hackethal commented on idea #2040.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction: for instance, bad explanations are easy to vary or point to authorities to justify themselves rather than offering a hard-to-vary account of how and why something works). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

#2040·Edwin de Wit revised 3 months ago

While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all.

That’s a fair concern if you’re talking about duplicate criticisms, which public intellectuals do field. The solution here is to publicly write a counter-criticism once and then refer to it again later. It is then on the other party to present some new reasoning or evidence, pending which you don’t need to change your mind or focus any more attention on the matter.

For example, people’s knee-jerk reaction to libertarianism is ‘who would build the roads if there were no government?’ That’s one of the reasons Logan and I wrote the Libertarian FAQ, which answers that question. We can now just link to that whenever it comes up.

If you’re talking about new criticisms, however, I think you should address and not dismiss them.

  Dennis Hackethal criticized idea #2040.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction: for instance, bad explanations are easy to vary or point to authorities to justify themselves rather than offering a hard-to-vary account of how and why something works). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

#2040·Edwin de Wit revised 3 months ago

Just a clarification because you seem to be fudging refutation and criticism:

A refutation is an explanation for why something cannot be true, ie must be false. For example, some guy claims his grandfather fought in WW2. But you checked his birth certificate and he was born in 1950. So he couldn’t have fought in WW2.

A criticism just points out some shortcoming. It could be any shortcoming, even something as small as a typo.

Any refutation is also a criticism, but not every criticism is a refutation.

  Dennis Hackethal commented on idea #2040.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction: for instance, bad explanations are easy to vary or point to authorities to justify themselves rather than offering a hard-to-vary account of how and why something works). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

#2040·Edwin de Wit revised 3 months ago

Well, it’s as you say: if a criticism is bad/weak/whatever, people should argue their case and explain why they think it’s bad, in the form of a counter-criticism. If it’s truly weak, that should be easy to do. If anyone could just assert that something is bad without giving any reasoning, that would be arbitrary. It would allow them to reject any criticism on whim.

In my understanding, Popper’s epistemology operates on contradiction and non-contradiction. It does not assign strengths or weaknesses. By rejecting justificationism, it rejects positive reasons for preferring one theory over another and instead emphasizes the critical attitude as the only way to make progress. So it does use negative reasons for preferring one theory over another (by rejecting one theory and not another). It looks for reasons against, not reasons for. It seeks to eliminate error.

  Edwin de Wit revised idea #2039.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction here). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction: for instance, bad explanations are easy to vary or point to authorities to justify themselves rather than offering a hard-to-vary account of how and why something works). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

  Edwin de Wit submitted idea #2039.

@dennis-hackethal you have regularly pointed out to me that it’s a mistake to assign strengths or weaknesses to arguments—for example, in #1809 and #1927. I’d love to get to the bottom of that.

On one hand, I see what you mean. A criticism is a criticism: it can either be refuted or it has outstanding criticism. If it’s a bad criticism, you just refute it or deem it irrelevant and move on.

I also see why talking about a “gradient” or comparative strength between arguments is problematic: there’s no objective criterion to measure them against. We can only say one theory is better than another when both attempt to explain the same phenomenon—then we can evaluate them using properties such as hard-to-varyness and other criteria Deutsch describes. (We can get into that if you’d like, though I don’t think that’s our main disagreement.). But this comparison doesn’t apply when we’re dealing with very different criticisms of a single idea, because there’s no common standard to measure them against. Comparing their “strength” becomes arbitrary.

However, I still think there are good and bad criticisms, just as there are good and bad explanations (following Deutsch’s distinction here). While I could simply refute bad criticisms and move on, there’s also the matter of efficiency and opportunity cost: I don’t want to waste time repeatedly refuting poor criticisms, or worse, get stuck in circular debates with people who don’t recognize that some arguments aren’t good criticisms at all. I’d rather focus my attention on good criticisms.

To clarify what I mean, here’s an excerpt from my book:

The most important principle to remember while criticizing is: Criticize, don’t defend or attack. Good explanations invite criticism of their intrinsic content—whether the explanation itself works, solves the problem, and avoids worse side effects. Bad explanations, by contrast, deflect criticism onto irrelevant, extrinsic properties such as authority or track record—e.g., “this is the method that successful company X uses,” “I believe strongly in this approach,” or “it’s coming from person Y, so it’s worthless.”

That kind of “criticism” isn’t real criticism at all. It’s just attacking or defending. And when we play that game, the explanation itself stays untouched and stagnant. The idea doesn’t get scrutinized or improved—it only gets shielded or dismissed for irrelevant reasons.

Tagging @bart-vanderhaegen because he and I have discussed this at length—in fact, I got the defending/attacking framing from him.

  Dennis Hackethal revised idea #2035.

How Does Veritula Work?

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

To reason, within any epistemology, means to follow/apply that epistemology. Unreason, or whim, is an undue departure from it.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s the only known epistemology without major flaws. It says that ideas are assumed true until refuted.

This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to solve problems, correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology. It provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

How Does Veritula Work?

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

To reason, within any epistemology, means to follow/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 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 conjectures and use the full arsenal at our disposal to criticize these conjectures in order to solve problems, correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology. It provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

  Dennis Hackethal revised idea #2033.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

It follows Karl Popper’s epistemology, which says that ideas are assumed true until refuted. This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

How Does Veritula Work?

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

To reason, within any epistemology, means to follow/apply that epistemology. Unreason, or whim, is an undue departure from it.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s the only known epistemology without major flaws. It says that ideas are assumed true until refuted.

This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to solve problems, correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology. It provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

  Dennis Hackethal revised idea #1947.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

It follows Karl Popper’s epistemology, which says that ideas are assumed true until refuted. This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

Consider an idea I:

              I

Since it has no criticisms, I is considered unproblematic. It is rational to adopt it, tentatively consider it unproblematic, 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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

It follows Karl Popper’s epistemology, which says that ideas are assumed true until refuted. This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

  Dennis Hackethal commented on idea #1975.

It does. But wouldn't that explain away the problem itself? I guess understanding and moving the problem into the future where I might be better suited to solve it is a good idea. So now I am acting on an explanation that solves the problem tentatively.

#1975·Zelalem Mekonnen, 3 months ago

It’s just an example. We’re not actually trying to solve the problem of where you want to live. We’re trying to understand how Veritula works.

Another example is physics. The idea ‘Newtonian physics is the true explanation of gravity’ has pending criticisms. For all we know, it’s false. But the idea ‘As an architect, I use Newtonian physics to make calculations because it’s simpler than general relativity and gives nearly identical results on earth’ may have no pending criticisms. So it’s rational for the architect to go with Newtonian physics.

The architect isn’t moving the problem into the future. Finding the true explanation of gravity was never his problem. He’s picking the best tool for the job, today.

  Zelalem Mekonnen commented on idea #1970.

The mere idea ‘continue living in city X’ may have pending criticisms. But so might the idea ‘leave X’. Maybe leaving is too expensive right now, or you’d have to find a new job and you like your job more than you want to leave, etc. In which case there could be a third idea: ‘At some point I’d like to leave X, but for right now that’s too expensive and too cumbersome, so staying in X for another year is fine.’ And that idea may not have any pending criticisms.

Does that make sense?

#1970·Dennis HackethalOP revised 3 months ago

It does. But wouldn't that explain away the problem itself? I guess understanding and moving the problem into the future where I might be better suited to solve it is a good idea. So now I am acting on an explanation that solves the problem tentatively.

  Zelalem Mekonnen commented on criticism #1966.

Veritula uses a serif font …

Upon reflection, that doesn’t matter. The letters J and I aren’t difficult to tell apart in sans-serif fonts, either.

#1966·Dennis HackethalOP, 3 months ago

Right, I was just replying from my phone, which I should not have done, as it is easy to make mistakes like that.

  Dennis Hackethal revised idea #1962.

The idea ‘continue living in city X’ may have pending criticisms. But so might the idea ‘leave X’. Maybe leaving is too expensive right now, or you’d have to find a new job and you like your job more than you want to leave, etc. In which case there could be a third idea: ‘At some point I’d like to leave X, but for right now that’s too expensive and too cumbersome, so staying in X for another year is fine.’ And that idea may not have any pending criticisms.

Does that make sense?

The mere idea ‘continue living in city X’ may have pending criticisms. But so might the idea ‘leave X’. Maybe leaving is too expensive right now, or you’d have to find a new job and you like your job more than you want to leave, etc. In which case there could be a third idea: ‘At some point I’d like to leave X, but for right now that’s too expensive and too cumbersome, so staying in X for another year is fine.’ And that idea may not have any pending criticisms.

Does that make sense?

  Dennis Hackethal revised criticism #1963. The revision addresses idea #1966.

The current city J live in. … But J still live here.

You should really be able to distinguish the letter J from the letter I. Veritula uses a serif font; they’re not difficult to tell apart.

I’ve previously suggested that you paste your comments into Grammarly before you post them. Remember to do that until you get so good it routinely finds no issues.

If you have a criticism of that suggestion, state it (in a new discussion). Don’t just ignore the idea and continue making spelling mistakes.

The current city J live in. … But J still live here.

You should really be able to distinguish the letter J from the letter I. They’re not difficult to tell apart.

I’ve previously suggested that you paste your comments into Grammarly before you post them. Remember to do that until you get so good it routinely finds no issues.

If you have a criticism of that suggestion, state it (in a new discussion). Don’t just ignore the suggestion and continue making spelling mistakes.

  Zelalem Mekonnen revised idea #1961. The revision addresses idea #1963.

The current city J live in. I have outstanding criticisms about it. But J still live here.

The current city I live in. I have outstanding criticisms about it. But I still live here.

  Dennis Hackethal addressed criticism #1963.

The current city J live in. … But J still live here.

You should really be able to distinguish the letter J from the letter I. Veritula uses a serif font; they’re not difficult to tell apart.

I’ve previously suggested that you paste your comments into Grammarly before you post them. Remember to do that until you get so good it routinely finds no issues.

If you have a criticism of that suggestion, state it (in a new discussion). Don’t just ignore the idea and continue making spelling mistakes.

#1963·Dennis HackethalOP, 3 months ago

Veritula uses a serif font …

Upon reflection, that doesn’t matter. The letters J and I aren’t difficult to tell apart in sans-serif fonts, either.

  Dennis Hackethal criticized idea #1961.

The current city J live in. I have outstanding criticisms about it. But J still live here.

#1961·Zelalem Mekonnen, 3 months ago

The current city J live in. … But J still live here.

You should really be able to distinguish the letter J from the letter I. Veritula uses a serif font; they’re not difficult to tell apart.

I’ve previously suggested that you paste your comments into Grammarly before you post them. Remember to do that until you get so good it routinely finds no issues.

If you have a criticism of that suggestion, state it (in a new discussion). Don’t just ignore the idea and continue making spelling mistakes.

  Dennis Hackethal commented on idea #1961.

The current city J live in. I have outstanding criticisms about it. But J still live here.

#1961·Zelalem Mekonnen, 3 months ago

The idea ‘continue living in city X’ may have pending criticisms. But so might the idea ‘leave X’. Maybe leaving is too expensive right now, or you’d have to find a new job and you like your job more than you want to leave, etc. In which case there could be a third idea: ‘At some point I’d like to leave X, but for right now that’s too expensive and too cumbersome, so staying in X for another year is fine.’ And that idea may not have any pending criticisms.

Does that make sense?

  Zelalem Mekonnen commented on criticism #1960.

I don’t think that solves it because one shouldn’t act on a problematic idea either. And falseness can still be the reason an idea is problematic in the first place.

So, please give an example.

#1960·Dennis HackethalOP, 3 months ago

The current city J live in. I have outstanding criticisms about it. But J still live here.

  Dennis Hackethal criticized idea #1959.

The reframing of an idea with criticism being problematic instead of false solves this. Because now I’m not acting based on a false idea but a problematic idea.

#1959·Zelalem Mekonnen, 3 months ago

I don’t think that solves it because one shouldn’t act on a problematic idea either. And falseness can still be the reason an idea is problematic in the first place.

So, please give an example.

  Zelalem Mekonnen commented on idea #1937.

Can you give an example of a flawed idea you think is true and want to act on?

PS: You forgot to @mention me. Again, if you want me to get notified, check the section that says ‘Replying to’ above the textarea when you write the comment. If it doesn’t list me, @mention me.

#1937·Dennis HackethalOP, 3 months ago

The reframing of an idea with criticism being problematic instead of false solves this. Because now I’m not acting based on a false idea but a problematic idea.

  Zelalem Mekonnen revised idea #1935. The revision addresses ideas #1943 and #1938.

If I understand Veritula correctly, we first start with an idea. We accept that idea as true until it is criticized. The idea is considered false until all criticism is resolved. Since the goal is to live a rational life, we wouldn't act in accordance with an idea that has outstanding criticism. We don't submit bulk ideas or criticisms. Ideas (including criticisms), even if related, should generally be submitted separately. Also, avoid duplicate ideas.

If I understand Veritula correctly, we first start with an idea. We accept that idea as true until it is criticized. The idea is considered problematic until all criticism is resolved. Since the goal is to live a rational life, we would seek to resolve the problems within the idea before we act on it. We don't submit bulk ideas or criticisms. Ideas (including criticisms), even if related, should generally be submitted separately. Also, avoid duplicate ideas.

  Dennis Hackethal revised idea #1816.

Simplify language


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.

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 pending, it can’t have any pending criticisms itself, and so on, in a deeply nested fashion.

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

def pending_criticisms idea
  criticisms(idea).filter { |c| pending_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.

  Dennis Hackethal revised idea #1817.

Simplify language


What Does “Battle Tested” Mean?

One of @edwin-de-wit’s ideas recently got the blue label that says “battle tested” – well done, Edwin! – so he asked me what it means.

It means that the idea has at least three criticisms, all of which have been addressed.

The label is awarded automatically. It’s a tentative indicator of quality. Battle-tested ideas generally contain more knowledge than non-battle-tested ones.

When there are two conflicting ideas, each with no outstanding criticisms, go with the (more) battle-tested one. This methodology maps onto Popper’s notion of a critical preference.

The label is not an indicator of an idea’s future success, nor should it be considered a justification of an idea.

You can see all battle-tested ideas currently on Veritula on this page. Those are all the best, most knowledge-dense ideas on this site.

What Does “Battle Tested” Mean?

One of @edwin-de-wit’s ideas recently got the blue label that says “battle tested” – well done, Edwin! – so he asked me what it means.

It means that the idea has at least three criticisms, all of which have been addressed.

The label is awarded automatically. It’s a tentative indicator of quality. Battle-tested ideas generally contain more knowledge than non-battle-tested ones.

When there are two conflicting ideas, each with no pending criticisms, go with the (more) battle-tested one. This methodology maps onto Popper’s notion of a critical preference.

The label is not an indicator of an idea’s future success, nor should it be considered a justification of an idea.

You can see all battle-tested ideas currently on Veritula on this page. Those are all the best, most knowledge-dense ideas on this site.

  Dennis Hackethal revised idea #1945.

Simplify language


How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

It follows Karl Popper’s epistemology, which says that ideas are assumed true until refuted. This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

Consider an idea I:

              I

Since it has no criticisms, I is considered unproblematic. It is rational to adopt it, tentatively consider it unproblematic, 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:

              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.

But 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 decision. Again, it’s rational to act in accordance with ideas that have no outstanding 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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 outstanding criticisms, the rational approach is to either abandon it or to save it by revising it or addressing all outstanding 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.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) provides an objective, partly automated way to tentatively determine whether a given idea is problematic.

It follows Karl Popper’s epistemology, which says that ideas are assumed true until refuted. This approach leaves us free to make bold conjectures and use the full arsenal at our disposal to criticize these conjectures in order to correct errors and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

Consider an idea I:

              I

Since it has no criticisms, I is considered unproblematic. It is rational to adopt it, tentatively consider it unproblematic, 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:

              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.

But 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 decision. 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.

Ideas that are neither criticisms nor top-level conjectures – eg follow-up questions or neutral comments – are considered ancillary ideas. Unlike criticisms, they 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, the rational course of action is to 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 the same discussions are had over and over again, sometimes by the same people. 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.

  Dennis Hackethal revised idea #1495.

Limitations of Veritula

Veritula can help you discover a bit of truth.

It’s not guaranteed to do so. It doesn’t give you a formula for truth-seeking. There’s no guarantee that an idea with no outstanding criticisms won’t get a new criticism tomorrow. All ideas are tentative in nature. That’s not a limitation of Veritula per se but of epistemology generally (Karl Popper).

There are currently no safeguards against bad actors. For example, people can keep submitting arbitrary criticisms in rapid succession just to ‘save’ their pet ideas. There could be safeguards such as rate-limiting criticisms, but that encourages brigading, making sock-puppets, etc. That said, I think these problems are soluble.

Opposing viewpoints should be defined clearly and openly. Not doing so hinders truth-seeking and rationality (Ayn Rand).

Personal attacks poison rational discussions because they turn an open, objective, impartial truth-seeking process into a defensive mess. It shifts the topic of the discussion from the ideas themselves to the participants in a bad way. People are actually open to harsh criticism as long as their interlocutor shows concern for how it lands (Chris Voss). I may use ‘AI’ at some point to analyze the tone of an idea upon submission.

Veritula works best for conscientious people with an open mind – people who aren’t interested in defending their ideas but in correcting errors. That’s one of the reasons discussions shouldn’t get personal. Veritula can work to resolve conflicts between adversaries, but I think that’s much harder. Any situation where people argue to be right rather than to find truth is challenging. In those cases, it’s best if an independent third party uses Veritula on their behalf to adjudicate the conflict objectively.

Veritula only works for explicit ideas. For example, you may have an inexplicit criticism of an idea, but Veritula can’t help with that until you’re able to write the criticism down, at which point it’s explicit. (The distinction between explicit vs inexplicit ideas goes back to David Deutsch. ‘Inexplicit’ means ‘not expressed in words or symbols’.)

Limitations of Veritula

Veritula can help you discover a bit of truth.

It’s not guaranteed to do so. It doesn’t give you a formula for truth-seeking. There’s no guarantee that an idea with no pending criticisms won’t get a new criticism tomorrow. All ideas are tentative in nature. That’s not a limitation of Veritula per se but of epistemology generally (Karl Popper).

There are currently no safeguards against bad actors. For example, people can keep submitting arbitrary criticisms in rapid succession just to ‘save’ their pet ideas. There could be safeguards such as rate-limiting criticisms, but that encourages brigading, making sock-puppets, etc. That said, I think these problems are soluble.

Opposing viewpoints should be defined clearly and openly. Not doing so hinders truth-seeking and rationality (Ayn Rand).

Personal attacks poison rational discussions because they turn an open, objective, impartial truth-seeking process into a defensive mess. It shifts the topic of the discussion from the ideas themselves to the participants in a bad way. People are actually open to harsh criticism as long as their interlocutor shows concern for how it lands (Chris Voss). I may use ‘AI’ at some point to analyze the tone of an idea upon submission.

Veritula works best for conscientious people with an open mind – people who aren’t interested in defending their ideas but in correcting errors. That’s one of the reasons discussions shouldn’t get personal. Veritula can work to resolve conflicts between adversaries, but I think that’s much harder. Any situation where people argue to be right rather than to find truth is challenging. In those cases, it’s best if an independent third party uses Veritula on their behalf to adjudicate the conflict objectively.

Veritula only works for explicit ideas. If you have an inexplicit criticism of an idea, say, then Veritula can’t help with that until you’re able to write the criticism down, at which point it’s explicit. (The distinction between explicit vs inexplicit ideas goes back to David Deutsch. ‘Inexplicit’ means ‘not expressed in words or symbols’.)