Dennis Hackethal’s avatar

Dennis Hackethal

@dennis-hackethal·Member since June 2024

Activity

  Dennis Hackethal revised idea #2112.

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 the only known epistemology without major flaws.1

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

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, 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.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

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 the only known epistemology without major flaws.1

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.

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


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

  Dennis Hackethal revised criticism #2131.

If you don’t have any counter-criticisms, how could they not be?

If you don’t have any counter-criticisms, how could the criticisms not be decisive?

  Dennis Hackethal addressed criticism #2130.

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t decisive.

#2130·Dennis HackethalOP, 17 days ago

This criticism reminds me of a passage in Objective Knowledge, where Popper says some people defend ugly theories by claiming they’re tiny, like people do with ugly babies. Just because (you think) a criticism is tiny doesn’t mean it’s not ugly.

  Dennis Hackethal addressed criticism #2130.

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t decisive.

#2130·Dennis HackethalOP, 17 days ago

Popper didn’t say to correct some errors while ignoring others for no reason. He spoke of error correction, period.

  Dennis Hackethal addressed criticism #2130.

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t decisive.

#2130·Dennis HackethalOP, 17 days ago

If you don’t have any counter-criticisms, how could they not be?

  Dennis Hackethal criticized idea #2118.

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

#2118·Dennis HackethalOP, 17 days ago

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t decisive.

  Dennis Hackethal revised criticism #2126.

Then you counter-criticize them for whatever you think they lack (which should be easy if you’re right that they’re not good) thus addressing them and restoring the idea.

Then you counter-criticize them for whatever you think they lack (which should be easy if you’re right that they’re not good), thus addressing them and restoring the idea.

  Dennis Hackethal revised criticism #2123.

Then you counter-criticize them for whatever you think they lack, thus addressing them and restoring the idea.

Then you counter-criticize them for whatever you think they lack (which should be easy if you’re right that they’re not good) thus addressing them and restoring the idea.

  Dennis Hackethal addressed criticism #2124.

If [an idea] has no pending criticisms, then either 1) no reasons to reject it have been suggested …

If no one has even tried to criticize the idea, its adoption seems premature. (This is a modification of Kieren’s view.)

#2124·Dennis HackethalOP, 17 days ago

That would itself be a criticism, but it would lead to an infinite regress: any leaf of the discussion tree would always get one criticism claiming that its advocacy is premature. But then the criticism would become the new leaf and would thus have to be criticized for the same reason, and so would every subsequent criticism, forever and ever.

  Dennis Hackethal criticized idea #2118.

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

#2118·Dennis HackethalOP, 17 days ago

If [an idea] has no pending criticisms, then either 1) no reasons to reject it have been suggested …

If no one has even tried to criticize the idea, its adoption seems premature. (This is a modification of Kieren’s view.)

  Dennis Hackethal addressed criticism #2122.

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t very good.

#2122·Dennis HackethalOP, 17 days ago

Then you counter-criticize them for whatever you think they lack, thus addressing them and restoring the idea.

  Dennis Hackethal criticized idea #2118.

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

#2118·Dennis HackethalOP, 17 days ago

What reason could you have to ignore the pending criticisms and adopt it anyway?

Maybe the criticisms aren’t very good.

  Dennis Hackethal addressed criticism #2120.

What reason could you have to reject [an idea that has no pending criticisms]?

Maybe the idea lacks something I want.

#2120·Dennis HackethalOP, 17 days ago

That would be a criticism.

  Dennis Hackethal criticized idea #2118.

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

#2118·Dennis HackethalOP, 17 days ago

What reason could you have to reject [an idea that has no pending criticisms]?

Maybe the idea lacks something I want.

  Dennis Hackethal revised idea #2117.

Decision-Making on Veritula

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

  Dennis Hackethal submitted idea #2117.

Decision-Making on Veritula

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

  Dennis Hackethal criticized idea #2112.

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 the only known epistemology without major flaws.1

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

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, 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.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

#2112·Dennis HackethalOP, 17 days ago

Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

“generally”? So there are exceptions?

  Dennis Hackethal addressed criticism #2114.

[Veritula] does not tell you what to think – it teaches you how to think.

If Veritula shows me whether an idea is problematic or not, and then expects me to adopt or reject the idea accordingly, how is that not telling me what to think?

#2114·Dennis HackethalOP, 17 days ago

Who submitted those ideas? Not Veritula.

  Dennis Hackethal criticized idea #2112.

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 the only known epistemology without major flaws.1

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

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, 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.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

#2112·Dennis HackethalOP, 17 days ago

[Veritula] does not tell you what to think – it teaches you how to think.

If Veritula shows me whether an idea is problematic or not, and then expects me to adopt or reject the idea accordingly, how is that not telling me what to think?

  Dennis Hackethal revised idea #2037.

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.

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 the only known epistemology without major flaws.1

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

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, 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.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

  Dennis Hackethal criticized idea #2016.

Contrary to Deutsch, they do not believe that problems are fully soluble; contrary to Popper, they do not believe that we can ever find the truth in any matter.

Isn’t Deutsch a cynic, too? Look for quotes…

  Dennis Hackethal addressed criticism #2100.

Justin says it’s better to spell it ‘aesthetics’ than ‘esthetics’.

#2100·Dennis HackethalOP, 17 days ago

I didn’t have a counter to #2104, fixed it as of v2.

  Dennis Hackethal addressed criticism #2103.

Justin says no philosopher would drop the ‘a’, including Tom Hyde, whom Justin calls a serious British philosopher.

#2103·Dennis HackethalOP, 17 days ago

Ayn Rand’s book The Romantic Manifesto has 114 matches for the string ‘esthetic’ and no matches for the string ‘aesthetic’. Rand was a serious philosopher who did extensive work on art and (a)esthetics.

There’s also her talk ‘The Esthetic Vacuum of Our Age’, though it may have been the Ayn Rand Institute that chose that spelling.

  Dennis Hackethal revised criticism #2102.

Justin says the term ‘esthetician’ “ruined that”.

Justin says the term ‘esthetician’ from the esthetician industry “ruined that”.

  Dennis Hackethal addressed criticism #2101.

My macOS Dictionary app says “aesthetics … (also esthetics)”.

Isn’t ‘esthetics’ just the American spelling and ‘aesthetics’ is British?

From https://nocoaaa.com/blog/aesthetics-vs-esthetics:

Many individuals are confused about the distinction between Aesthetics and Esthetics. The only difference between these two terms is that they are spelled differently. People in European and Commonwealth countries use the term aesthetics. Americans, on the other hand, commonly use the term esthetic.

#2101·Dennis HackethalOP, 17 days ago

Justin says no philosopher would drop the ‘a’, including Tom Hyde, whom Justin calls a serious British philosopher.