Dennis Hackethal’s avatar

Dennis Hackethal

@dennis-hackethal·Member since June 2024

Activity

  Dennis Hackethal revised idea #2250. The revision addresses idea #2432.

How Does Veritula Work?

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

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

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s a continuation of the Athenian tradition of criticism and the only known epistemology without major flaws.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. Critical Rationalism is a fallibilist philosophy: it states that there is no criterion of truth to determine with certainty whether some idea is true or false. We all make mistakes, and by an effort, we can correct them to get a little closer to the truth. Rejecting all forms of mysticism and the supernatural, Veritula recognizes that progress is both possible and desirable, and that rational means are the only way to make progress.

Veritula is a programmatic implementation of Popper’s epistemology.

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

Consider an idea I:

              I

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

Next, someone submits a criticism C1:

              I
              |
              C1

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

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

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

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

              I
              |
              C1
              |
              C2

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

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

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

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

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

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

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

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

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

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

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

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

Therefore, Veritula acts as a dictionary for ideas.

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

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

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

Using Veritula, we may discover a bit of truth.


  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 well-defined epistemology, means to follow and apply that epistemology. Unreason, or whim, is an undue departure from it. Epistemology is the study of knowledge – basically, the study of what helps knowledge grow, what hinders its growth, and related questions.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s a continuation of the Athenian tradition of criticism and the only known epistemology without major flaws.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. Critical Rationalism is a fallibilist philosophy: it states that there is no criterion of truth to determine with certainty whether some idea is true or false. We all make mistakes, and by an effort, we can correct them to get a little closer to the truth. Rejecting all forms of mysticism and the supernatural, Veritula recognizes that progress is both possible and desirable, and that rational means are the only way to make progress.

Veritula is a programmatic implementation of Popper’s epistemology.

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

Consider an idea I:

              I

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

Next, someone submits a criticism C1:

              I
              |
              C1

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

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

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

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

              I
              |
              C1
              |
              C2

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

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

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

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

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

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

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

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

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

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

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

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

Therefore, Veritula acts as a dictionary for ideas.

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

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

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

Using Veritula, we may discover a bit of truth.


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

  Dennis Hackethal criticized idea #2250.

How Does Veritula Work?

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

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

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s a continuation of the Athenian tradition of criticism and the only known epistemology without major flaws.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. Critical Rationalism is a fallibilist philosophy: it states that there is no criterion of truth to determine with certainty whether some idea is true or false. We all make mistakes, and by an effort, we can correct them to get a little closer to the truth. Rejecting all forms of mysticism and the supernatural, Veritula recognizes that progress is both possible and desirable, and that rational means are the only way to make progress.

Veritula is a programmatic implementation of Popper’s epistemology.

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

Consider an idea I:

              I

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

Next, someone submits a criticism C1:

              I
              |
              C1

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

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

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

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

              I
              |
              C1
              |
              C2

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

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

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

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

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

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

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

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

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

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

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

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

Therefore, Veritula acts as a dictionary for ideas.

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

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

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

Using Veritula, we may discover a bit of truth.


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

#2250·Dennis HackethalOP revised 17 days ago

To reason, within any epistemology, means to follow and apply that epistemology.

Some epistemologies are defined too poorly to be able to tell when you’re following or straying from it.

  Dennis Hackethal criticized idea #2409.

Thanks. Do you think there's correspondence for abstractions as well (such as mathematics, as DD seems to suggest)? As I understood, you only think we need it to explain progress in science.

#2409·Erik Orrje, 8 days ago

…you only think we need it to explain progress in science.

No, I think progress in science is explained by error correction. The aim of science is correspondence. There’s a difference between aims and means.

  Dennis Hackethal commented on idea #2409.

Thanks. Do you think there's correspondence for abstractions as well (such as mathematics, as DD seems to suggest)? As I understood, you only think we need it to explain progress in science.

#2409·Erik Orrje, 8 days ago

Are you asking if there can be correspondence between two abstractions? Or between a physical object and an abstraction?

  Dennis Hackethal addressed criticism #2412.

The reason to back a currency with gold or some other commodity is that the commodity has other utility aside from being used as money. This sets a floor on the price, making it a store of value.

  • Utility is not a necessary aspect of money. Only 5-10% of gold's value is tied to its industrial use (per chatgpt). This floor is not so reassuring then if the asset would plummet 90-95%. Other commodities, such as silver, have a greater industrial utility. That makes it less suitable as money since its value becomes tied to commodity cycles.

The reason to back a currency with gold or some other commodity is mainly due to its scarcity, which puts a limit on money creation (done through fractional reserve bankning).

#2412·Erik OrrjeOP, 7 days ago

Only 5-10% of gold's value is tied to its industrial use (per chatgpt).

ChatGPT is notoriously unreliable and known for making stuff up. I recommend using a different, human-made source. Should be easy to find one using your search engine of choice.

  Dennis Hackethal addressed criticism #2412.

The reason to back a currency with gold or some other commodity is that the commodity has other utility aside from being used as money. This sets a floor on the price, making it a store of value.

  • Utility is not a necessary aspect of money. Only 5-10% of gold's value is tied to its industrial use (per chatgpt). This floor is not so reassuring then if the asset would plummet 90-95%. Other commodities, such as silver, have a greater industrial utility. That makes it less suitable as money since its value becomes tied to commodity cycles.

The reason to back a currency with gold or some other commodity is mainly due to its scarcity, which puts a limit on money creation (done through fractional reserve bankning).

#2412·Erik OrrjeOP, 7 days ago

The reason to back a currency with gold or some other commodity is that the commodity has other utility aside from being used as money. This sets a floor on the price, making it a store of value.

It looks like you were trying to quote the parent idea. Be sure to use either quotation marks or, for blockquotes, start each paragraph with a > sign. That’s the markdown way to specify a blockquote so it gets the red border on the left.

For example, if you type:

> this will appear as a blockquote

…it will turn into:

this will appear as a blockquote

Check the preview to correct errors as you draft a reply.

  Dennis Hackethal commented on idea #2032.

@dennis-hackethal, could you expand your argument in Lucas' blog post that self-similarity must entail correspondence?

#2032·Erik Orrje, 24 days ago

See here. Lucas had asked:

Can you say more about why we need correspondence to make sense of the concept of self-similarity? I don't see why. And it seems to me that self-similarity is all we need to make sense of the universality of computation.

My response below. For others reading this, Erik has also since started a dedicated discussion on the topic of correspondence: https://veritula.com/discussions/is-correspondence-true-in-cr


The FoR glossary entry on self-similarity from chapter 4 reads:

self-similarity Some parts of physical reality (such as symbols, pictures or human thoughts) resemble other parts. The resemblance may be concrete, as when the images in a planetarium resemble the night sky; more importantly, it may be abstract, as when a statement in quantum theory printed in a book correctly explains an aspect of the structure of the multiverse.

The way I read that, it means the images in the planetarium correspond to the night sky. Otherwise we wouldn’t consider them similar.

From chapter 6, on the universality of computation and how “various parts of reality can resemble one another”:

The set of all behaviours and responses of that one object exactly mirrors the set of all behaviours and responses of all other physically possible objects and processes.

That means there is one-to-one correspondence between the behaviors and responses of the first object and those of all the other objects. This is basically another way to describe the self-similarity property of the universe.

From chapter 10, in the context of mathematics (italics mine):

… the physical behaviour of the symbols corresponds to the behaviour of the abstractions they denote.

(The same is true of the physical parts of a Turing machine harnessing the self-similarity property of the universe to correspond to other physical objects.)

From chapter 14, in the context of the creation of scientific knowledge (which, AFAIK, DD views as increasing correspondence):

The creation of useful knowledge by science … must be understood as the emergence of the self-similarity that is mandated by a principle of physics, the Turing principle.

It’s been ages since I read FoR so I’m relying on word searches in the ebook but it’s full of these links between self-similarity and correspondence.

  Dennis Hackethal criticized idea #2399.

Finding problems that a knowledge addresses is a form of new knowledge.

Maybe not. Figured that out as I was typing. The knowledge isn't new.

#2399·Zelalem MekonnenOP revised 8 days ago

a knowledge

I don’t think it’s correct to use the word ‘knowledge’ with an indeterminate article (meaning ‘a’ or ‘an’).

You could say ‘Finding problems that some knowledge addresses…’

  Dennis Hackethal addressed criticism #2404.

At the same time, there is a notion that I want to address that flows from fallibilism, and the reason decentralized 'things' tend to be more truth seeking. Even though a given knowledge has solved problems we haven't yet discovered, we still got that solution by solving a problem we encountered, and we can't solve problems we haven't encountered. When we try to solve a problem, we might find out that we've already solved it, but that only happens after we have looked at the problem.

#2404·Dennis Hackethal revised 8 days ago

Superseded by #2395.

  Dennis Hackethal revised criticism #2394. The revision addresses idea #2397.

Recovering this version


At the same time, there is a notion that I want to address that flows from fallibilism, and the reason decentralized 'things' tend to be more truth seeking. Even though a given knowledge has solved problems we haven't yet discovered, we still got that solution by solving a problem we encountered, and we can't solve problems we haven't encountered. When we try to solve a problem, we might find out that we've already solved it, but that only happens after we have looked at the problem.

At the same time, there is a notion that I want to address that flows from fallibilism, and the reason decentralized 'things' tend to be more truth seeking. Even though a given knowledge has solved problems we haven't yet discovered, we still got that solution by solving a problem we encountered, and we can't solve problems we haven't encountered. When we try to solve a problem, we might find out that we've already solved it, but that only happens after we have looked at the problem.

  Dennis Hackethal commented on idea #2401.

What happened here?

#2401·Benjamin Davies, 8 days ago

Presumably, Zelalem wanted to delete the idea. Veritula purposely doesn’t have that functionality. In the future, Zelalem, just leave the idea and criticize it for being outdated or superseded or whatever reason you have for rejecting it.

  Dennis Hackethal addressed criticism #2395.

At the same time, there is a notion that I want to address that flows from fallibilism, and the reason decentralized 'things' tend to be more truth seeking. Even though a given knowledge has solved problems we haven't yet discovered, we still got that solution by solving a problem we encountered, and we can't solve problems we haven't encountered. When we try to solve a problem, we might find out that we've already solved it, but that only happens after we have looked at the problem.

#2395·Zelalem MekonnenOP, 8 days ago

When we try to solve a problem, we might find out that we've already solved it, but that only happens after we have looked at the problem.

That still means we solved the problem before we encountered it.

I understand you want to stress that we usually solve a problem after we identify it. Your text already covers that. So I’d still just remove the sentence “We can't solve a problem we haven't encountered yet.” because it’s not true.

  Dennis Hackethal addressed criticism #2392.

I think the 'therefore' means that the following point is a direct result of the preceding claim.

#2392·Zelalem MekonnenOP, 8 days ago

Right and it’s not.

  Dennis Hackethal revised criticism #2384.

We can't solve a problem we haven't encountered yet.

Some theories have enough reach to solve problems we haven’t encountered or even considered yet.

We can't solve a problem we haven't encountered yet.

Some theories have enough reach to solve problems we haven’t encountered or even considered yet. I would just remove this sentence.

  Dennis Hackethal revised criticism #2381.

…because all knowledge contains errors

This isn’t true, see #2374.

…because all knowledge contains errors.

This isn’t true, see #2374.

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

Should credit Popper where applicable (with a disclaimer that any errors are yours, if you want to be careful).

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

We can't solve a problem we haven't encountered yet.

Some theories have enough reach to solve problems we haven’t encountered or even considered yet.

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

Knowledge, therefore, grows by addressing the errors we encounter as we encounter them.

The part “as we encounter them” implies that we address every error the minute we find it. That isn’t true. Some errors take a long time to address. We also have to prioritize some errors over others because they are more important or more urgent or both.

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

Knowledge, therefore, grows by addressing the errors we encounter as we encounter them.

Remove ‘therefore’

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

…because all knowledge contains errors

This isn’t true, see #2374.

  Dennis Hackethal criticized idea #2376.

Nope, I meant it in a sort of poetic way. "Obviously true" vs "Obviously obvious"??

#2376·Zelalem MekonnenOP, 8 days ago

I would prioritize clarity over sounding poetic.

  Dennis Hackethal criticized idea #2371.

Fallibilism is the idea that all of our knowledge contains errors, and that nothing is obviously obvious but depends on what one understands about reality. This means that we can't be certain about anything, because all knowledge contains errors. Knowledge, therefore, grows by addressing the errors we encounter as we encounter them. We can't solve a problem we haven't encountered yet. We solve problems by guessing solutions and testing them. This also means we should always be careful not to destroy or even slow down the things and ideas that correct errors and thereby create knowledge. Some of which are freedom, privacy, and free markets. We are also never the passive recipients of our knowledge; we are the creators.

#2371·Zelalem MekonnenOP, 8 days ago

obviously obvious

Did you mean to say ‘obviously true’?

  Dennis Hackethal submitted criticism #2374.

Fallibilism is the idea that all of our knowledge contains errors…

This is a common mischaracterization of fallibilism. It’s actually a form of cynicism. See https://blog.dennishackethal.com/posts/don-t-take-fallibilism-too-far

In reality, fallibilism is the view that there is no criterion to say with certainty what’s true and what’s false; that, as a result, we inevitably make mistakes; and that some of our knowledge is mistaken at any given time. But not all of it.

  Dennis Hackethal addressed criticism #2111.

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…

#2111·Dennis HackethalOP, 21 days ago

Fixed as of v5.

  Dennis Hackethal addressed criticism #2313.

Me, too. I think Veritula’s design allows for this pretty naturally since the topic of a discussion can be general enough for various competing ideas to be posted in the discussion.

Veritula emphasises making one point at a time for ease of criticism and discussion, which is useful in a forum but makes absorbing the totality of an idea a little more tedious compared to a quick glance at an encyclopedia article. (It is possible I have misunderstood some aspect of Veritula here.)

#2313·Benjamin Davies, 14 days ago

Veritula cautions against making multiple points at once so as to avoid ‘bulk criticism’. But people can write as much as they want in a single idea. For example, you can find several long-form articles in ‘How Does Veritula Work?’. It just depends on how confident people are in their ideas, and how much they have practiced using Veritula.