Search Ideas

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:

1

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

1
2
3

              I
              |
              C1

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

1
2
3
4

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

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

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

1
2
3
4
5

              I
              |
              C1
              |
              C2

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

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, 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:

1
2
3
4
5
6
7

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

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

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:

1

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

1
2
3

              I
              |
              C1

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

1
2
3
4

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

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

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

1
2
3
4
5

              I
              |
              C1
              |
              C2

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

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, 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:

1
2
3
4
5
6
7

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

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

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:

1

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

1
2
3

              I
              |
              C1

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

1
2
3
4

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

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

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

1
2
3
4
5

              I
              |
              C1
              |
              C2

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

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, 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:

1
2
3
4
5
6
7

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

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

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.

Only days prior, Tom Hyde had retweeted Francisco Goya’s 1799 painting ‘The Sleep of Reason Produces Monsters’.

It’s not a painting. According to Wikipedia, it’s an aquatint.

The important thing is to be able to make predictions about images on the astronomers’ photographic plates, frequencies of spectral lines, and so on, and it simply doesn’t matter whether we ascribe these predictions to the physical effects of gravitational fields on the motion of planets and photons [as in pre-Einsteinian physics] or to a curvature of space and time.

I’m getting conflicting results online for this quote. Some sources that quote the same passage say singular ‘effect’, others use the plural like Deutsch does.

I don’t have access to the original text, so I can’t say for sure if this is possibly a slight misquote or if different people are just quoting different editions.

The important thing is to be able to make predictions about images on the astronomers’ photographic plates, frequencies of spectral lines, and so on, and it simply doesn’t matter whether we ascribe these predictions to the physical effects of gravitational fields on the motion of planets and photons [as in pre-Einsteinian physics] or to a curvature of space and time.

I’m getting conflicting results online for this quote. Some sources that quote the same passage say singular ‘effect’, others use the plural like Deutsch does.

I don’t have access to the original text, so I can’t say for sure if this is possibly a slight misquote or if different people are just quoting different editions.

Any filtered idea should always display only the count of shown criticisms.

Any filtered ideas should show a criticism label displaying n / m for the count, where n is the number of rendered criticisms and m is the number of total criticisms.

An explanation could accompany the n / m display, like a title on hover.

That way, there should never be any confusion as to a mismatch between the total vs rendered number of pending criticisms.

Any filtered ideas should show a criticism label displaying n / m for the count, where n is the number of rendered criticisms and m is the number of total criticisms.

That way, there should never be any confusion as to a mismatch between the total vs rendered number of pending criticisms.

That could mislead people into thinking a revision has no pending criticisms, which would be bad for error correction.

See #1999: “People could easily miss or forget that.”

People could easily miss or forget that.

Any filtered ideas should show a criticism label displaying n / m for the count, where n is the number of rendered criticisms and m is the number of total criticisms.

That way, there’s never any confusion as to 1) whether a filtered idea has any pending criticisms, 2) a filtered idea having more criticisms than are being rendered.

If no criticisms are being displayed, yet the label says an idea has n pending criticisms, that might confuse people. More generally, any mismatch between rendered vs counted criticisms could confuse people.

If no criticisms are being displayed, yet the label says an idea has n pending criticisms, that might confuse people.

When cycling back to the revision, it should continue to display only the count of the shown criticisms.

That could mislead people into thinking a revision has no pending criticisms.

When cycling back to the revision, it should continue to display only the count of the shown criticisms.

Bug: when cycling through ‘filtered’ revisions (meaning there are more revisions that don’t lead to the highlighted idea), the criticism badge can change count for the same revision.

Bug: when cycling through ‘filtered’ revisions (meaning there are more revisions that don’t lead to the highlighted idea), the criticism badge can change count for the same idea.

Hiccdown methods should live in their own, separate classes. How about they are called ‘displays’?

1
2
3
4
5

class ProductsDisplay
  def index vc, # …
    vc.some_helper_method
  end
end

Behind the scenes, the Hiccdown gem would need to make the instance variables available to the display class:

1
2
3
4
5
6
7
8

display = @display_module.new

view_context.instance_variables.each do |iv|
  display.instance_variable_set(
    iv,
    view_context.instance_variable_get(iv)
  )
end

Then:

1
2
3
4
5

class ProductsDisplay
  def index vc, # …
    vc.some_helper_method(@products)
  end
end

Hiccdown methods should live in Rails helpers as class methods. That way, the problem described in #302 is solved – methods can be referenced unambiguously:

1
2

ProductsHelper.index
StoresHelper.index

Hiccdown methods should live in Rails helpers as instance methods.

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