Dennis Hackethal’s avatar

Dennis Hackethal

@dennis.hackethal​·​Joined Jun 2024​·​Ideas

Founder Veritula.
Author. Software engineer. Ex Apple. Translator of The Beginning of Infinity.
dennishackethal.com

 User
Registered their account.
 Initiator
Started their first discussion.
 Engager
Participates in three or more discussions.
 Novice
Posted their first idea.
 Beginner
Posted their 10th idea.
 Intermediate
Posted their 50th idea.
 Advanced
Posted their 100th idea.
 Critic
 Private
 Lieutenant
 Captain
 Defender
 Shield
 Watchman
 Copy editor
Created their first revision.
 Assistant editor
Created their 10th revision.
 Associate editor
Created their 50th revision.
 Professional
Posted their 500th idea.
 Deputy editor
Created their 100th revision.
 Colonel
 Master
Posted their 1000th idea.
 Bulwark
 General
 Editor
Created their 500th revision.
  Dennis Hackethal addressed criticism #4908.

It’s a gift, then. He increased the value you had by, let's say, replacing your bike with the same bike but new.

#4908​·​Fabio Guerreiro, 1 day ago

Value isn’t in the object itself. It’s in the owner’s mind. If the owner doesn’t consent to the replacement, the value may well be lower.

For example, imagine somebody replacing your teddy bear from childhood with the ‘same’ one but new.

  Dennis Hackethal criticized idea #4909.

Implicit vs Explicit knowledge -- AI, like DNA, has the ability to create implicit knowledge.

#4909​·​Patrick O'Loughlin, about 24 hours ago

Not to be a stickler but I think you mean ‘inexplicit’.

Implicit = not said directly but implied. Can still accompany explicit speech though.
Inexplicit = not expressed in words or symbols.

At least that’s how I use the terms.

  Dennis Hackethal addressed criticism #4892.

I think you run into the problem of definitions. An idea cannot be absolute, perfect truth without total, perfect, complete definitions for its terms. This isn't required for knowledge - the terms can be rough because the ideas are tentative. But for absolute truth, the boundaries of meaning of your terms must be completely determined. But, as the postmoderns pointed out, this requires infinite information - the complete determination of any one term requires its distinction from all other terms. In fact, they didn't go far enough. I'd argue you would need to know the distinction between the term and all other possible terms.

You have to know perfect definitions in order to have the idea in your head be perfectly true. Perfect definitions require infinite information, therefore you cannot know perfect truth.

#4892​·​Rob Rosenbaum, 2 days ago

…as the postmoderns pointed out…

Citation needed.

  Dennis Hackethal addressed criticism #4904.

I think you misunderstand both my own argument and the meaning of ambiguity. "I'm currently located in a hemisphere" is not ambiguous in its meaning due to not knowing which hemisphere you're in. The meaning is ambiguous to the extent that we do not have absolute knowledge of what you are, what it is to be located, or what a hemisphere is - or what "in" is. While you obviously know what those words mean, you do not have absolute, 100% defined boundaries of what they refer to and what they don't. But you would have to have that to have absolute truth.

I may be wrong in this argument, but I don't see how your counterexample refutes it.

#4904​·​Rob Rosenbaum, 1 day ago

I think you misunderstand both my own argument and the meaning of ambiguity.

You’re saying that, to hold a true idea in the sense of absolute truth in my head, I’d have to have perfect definitions, which require infinite amounts of information, and having all that information is impossible. Right?

While you obviously know what those words mean, you do not have absolute, 100% defined boundaries of what they refer to and what they don't.

I think it’s enough to know what the words mean for the idea to be true. We don’t have to have “100% defined boundaries”.

Truth means correspondence with the facts (Tarski). Not infinite precision.

I think a ‘trick’ cynics use (not maliciously, still I like to call it a trick) is to set an unrealistically high standard for truth. And then, when no idea ends up being able to meet that standard, they say the idea can’t be true.

  Dennis Hackethal posted idea #4905.

You probably missed this in The Beginning of Infinity by David Deutsch: https://www.youtube.com/shorts/gTvuzxY-SXg

  Dennis Hackethal revised idea #2281.

Simplify


Rational Decision-Making

Expanding on #2112

If an idea, as written, 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 (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea, as written, 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?

Rational Decision-Making

Expanding on #2112

If an idea, as written, 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 (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea, as written, 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?

Or, simplified:

It is rational to adopt only those ideas which, as written, don’t have pending criticisms, and to reject ideas that do.

  Dennis Hackethal posted idea #4901.

Simplest body-recomposition flowchart

Follow me on Instagram for more fitness tips: https://www.instagram.com/lets.recomp/

  Dennis Hackethal reposted idea #4900.

‘Are all our ideas false? 🤔’ https://www.youtube.com/watch?v=MrQ9lrYGObc

#4900​·​Dennis HackethalOP, 2 days ago
  Dennis Hackethal revised criticism #4897.

Fix typo


If it introduces falsehood only fallibly, then it might fail sometimes, and the target idea would still be true after all. So no, it would need some infallible way – ie, a criterion of turth.

If it introduces falsehood only fallibly, then it might fail sometimes, and the target idea would still be true after all. So no, it would need some infallible way – ie, a criterion of truth.

  Dennis Hackethal addressed criticism #4896.

Couldn’t the mechanism introduce falsehood by other means? For example by introducing contradictions. Then it wouldn’t need a criterion of truth.

#4896​·​Dennis HackethalOP, 2 days ago

If it introduces falsehood only fallibly, then it might fail sometimes, and the target idea would still be true after all. So no, it would need some infallible way – ie, a criterion of turth.

  Dennis Hackethal criticized idea #4895.

In this related article, I write:

If we could not speak the truth, our minds would have to have some subconscious mechanism that evaluates our ideas and detects and rejects true ones, or modifies them a bit to introduce errors, before we become aware of them. Otherwise, we could still utter the truth, if only “by chance”, as Xenophanes says. Such a mechanism would itself depend on a criterion of truth. So the epistemological cynics, though inspired by Popper’s fallibilism, and even though they would call themselves ‘fallibilists’, are not actually fallibilists. Whether they realize it or not, they rely on the existence of a criterion of truth and (simultaneously, ironically) reject the possibility that some of our knowledge is true.

#4895​·​Dennis HackethalOP, 2 days ago

Couldn’t the mechanism introduce falsehood by other means? For example by introducing contradictions. Then it wouldn’t need a criterion of truth.

  Dennis Hackethal posted idea #4895.

In this related article, I write:

If we could not speak the truth, our minds would have to have some subconscious mechanism that evaluates our ideas and detects and rejects true ones, or modifies them a bit to introduce errors, before we become aware of them. Otherwise, we could still utter the truth, if only “by chance”, as Xenophanes says. Such a mechanism would itself depend on a criterion of truth. So the epistemological cynics, though inspired by Popper’s fallibilism, and even though they would call themselves ‘fallibilists’, are not actually fallibilists. Whether they realize it or not, they rely on the existence of a criterion of truth and (simultaneously, ironically) reject the possibility that some of our knowledge is true.

  Dennis Hackethal reposted idea #4891.

Our ideas can be 100% true in the sense of absolute truth. It’s possible to come up with true ideas. There’s no criterion of truth to tell that they’re true, but they can still be true.

#4891​·​Dennis HackethalOP, 3 days ago
  Dennis Hackethal addressed criticism #4892.

I think you run into the problem of definitions. An idea cannot be absolute, perfect truth without total, perfect, complete definitions for its terms. This isn't required for knowledge - the terms can be rough because the ideas are tentative. But for absolute truth, the boundaries of meaning of your terms must be completely determined. But, as the postmoderns pointed out, this requires infinite information - the complete determination of any one term requires its distinction from all other terms. In fact, they didn't go far enough. I'd argue you would need to know the distinction between the term and all other possible terms.

You have to know perfect definitions in order to have the idea in your head be perfectly true. Perfect definitions require infinite information, therefore you cannot know perfect truth.

#4892​·​Rob Rosenbaum, 2 days ago

… for absolute truth, the boundaries of meaning of your terms must be completely determined.

You seem to be using ‘absolute truth’ differently than others. Wikipedia:

Absolute truth is a statement that is true at all times and in all places. It is something that is always true no matter what the circumstances. It is a fact that cannot be changed. For example, there are no round squares.

This is what I think Popper had in mind. Also that absolute truth leaves no room for deviation (which I think is the reason it’s “true at all times and in all places”). Nothing related to definitions or meanings. Popper wasn’t very interested in definitions.

  Dennis Hackethal addressed criticism #4892.

I think you run into the problem of definitions. An idea cannot be absolute, perfect truth without total, perfect, complete definitions for its terms. This isn't required for knowledge - the terms can be rough because the ideas are tentative. But for absolute truth, the boundaries of meaning of your terms must be completely determined. But, as the postmoderns pointed out, this requires infinite information - the complete determination of any one term requires its distinction from all other terms. In fact, they didn't go far enough. I'd argue you would need to know the distinction between the term and all other possible terms.

You have to know perfect definitions in order to have the idea in your head be perfectly true. Perfect definitions require infinite information, therefore you cannot know perfect truth.

#4892​·​Rob Rosenbaum, 2 days ago

Hi Rob, welcome to Veritula. It’s nice to meet another software engineer. Be sure to read ‘How Does Veritula Work?’ and ‘How Do Bounties Work?’ to make the most of V.

Re: definitions, you raise an argument others have made before, namely that language has some unavoidable ambiguity or incomplete information, which necessarily introduces error. I already addressed that argument in the article linked in the discussion header:

I don’t know if I agree that natural language is always ambiguous, but even if so, I don’t see how that implies error. We can make ambiguous but true statements. ‘I’m currently located in a hemisphere’ is ambiguous as to which hemisphere, but it’s still true. We could be silly and ask, on which planet? This one. Earth. We all know what we’re talking about.

Therefore, I disagree that we need perfect definitions or infinite precision to find absolutely true ideas. (But correct me if I’m wrong to think you’re making the same argument.)

I suggest you read the article in full, otherwise you may inadvertently make more arguments that have been addressed: https://libertythroughreason.com/fallibilism-vs-cynicism/

There’s also https://blog.dennishackethal.com/posts/don-t-take-fallibilism-too-far.

  Dennis Hackethal started a bounty for idea #4891 worth USD 500.00.
  Dennis Hackethal posted idea #4891.

Our ideas can be 100% true in the sense of absolute truth. It’s possible to come up with true ideas. There’s no criterion of truth to tell that they’re true, but they can still be true.

  Dennis Hackethal commented on criticism #4860.

I think tractibility lacks the open-ended capacity to reformulate what counts as a problem, a solution, and relevant data. Creativity is (at least partially) the ability to reformulate the problem space itself, not by ironing out implications of existing theories. An AI and computational systems is already good at ironing out the implications in our language and existing knowledge systems. But that's search within a given space, not the creation of a new one. Creativity seems to work on a higher level. It's operating at the level of problem framing, which requires things like relevance. An AI can't create new relevance, because its weights are a statistical compression of what humans have already found relevant. It inherits a pre-given frame.

I might be confused about what you mean by tractible. But it seems to me that tractability can't do the work the bounty asks. Tractability is formally defined relative to a fixed problem space. But universal creativity is (at least partially) the capacity to restructure the space, to change what counts as a problem, a solution, and relevant data.

#4860​·​Knut Sondre Sæbø revised 17 days ago

Knut, you’ve won the bounty. You need to integrate with Stripe to get paid.

  Dennis Hackethal addressed criticism #4826.

Could be optional, as I said. Rearrange top-level ideas as toggled. Maybe not worth the trouble. Just spitballing. See #4825.

#4826​·​Tyler Mills, 22 days ago

I agree this feature should be optional and toggleable but that doesn’t address its (potential) shortcomings. It just kinda hides them.

  Dennis Hackethal addressed criticism #4825.

Not understanding this criticism. Maybe my idea is unclear. I'm picturing the existing "column" of a discussion, repeated column-wise for each top-level idea. Current discussion content takes up only the left ~third of my screen, while the right two thirds of my screen is totally unused. The cost of using that real estate is more content (clutter) on screen, the benefit is less time scrolling up and down in one dimension, looking for given ideas and getting bearings, which I sometimes find tiring. A second dimension helps get bearings (e.g. "Oh yeah, this relates to that one over here near the middle of the third column." Rather than: "That one was ... 77% of the way down the page, hmm, what were some words from it that I can use to ctrl+f, grrrrr.").

#4825​·​Tyler Mills, 22 days ago

I’m saying it’s not clear to be how deeply nested comments would be shown.

If I’m understanding you correctly, you dislike having to scroll up and down in a discussion. You see empty space on the right and you think it should be filled. Hence your suggestion to put top-level ideas next to each other rather than on top of each other.

But then where do comments on each top-level idea go? Do they still go underneath? Nesting needs indentation. So that means deep nesting gets lots of indentation. So there’ll still be plenty of empty space.

Those are the kinds of things we’d need to figure out to have a mature design proposal ready for implementation.

  Dennis Hackethal archived idea #4868 along with any revisions.
  Dennis Hackethal addressed criticism #4868.

This may be too subjective, but I've always really disliked end-of-line hyphenation, of the kind currently used here. I find it pretty disruptive to the flow of reading, AND a source of visual clutter. That's a heavy cost for the supposed benefit of a justified margin, but we don't seem to be getting that benefit here either; the margin still appears jagged. A justified margin itself is unnecessary, if you ask me, but it can in any case be accomplished the other way, where small spaces are distributed between words in each line as needed. To me the latter method of the two is better for readability, no contest. I would advocate for the third/default method, here (jagged margin, no funny business), since justified margins seems needlessly formal.

#4868​·​Tyler Mills, 15 days ago

Removed hyphenation

  Dennis Hackethal posted idea #4863 to Knut Sondre Sæbø’s profile.

Nice work on #4856. Sounds like you’re one of the few who get DD’s stance re creativity.

I don’t think you’re in the Veritula Telegram channel yet. Email me if you want to be: dh@dennishackethal.com

  Dennis Hackethal reposted idea #4856.

I think the core of universal creativity isn't about efficiency, it's the open-ended capacity to restructure what counts as a problem, a solution, and relevant data. Creativity is (at least partially) the ability to reformulate the problem space itself, not by ironing out implications of existing theories. An AI and computational systems is already good at ironing out the implications in our language and existing knowledge systems. But that's search within a given space, not the creation of a new one. Creativity seems to work on a higher level. It's operating at the level of problem framing, which requires things like relevance. An AI can't create new relevance, because its weights are a statistical compression of what humans have already found relevant. It inherits a frame; it doesn't generate one.

I think this shows that tractability can't do the work the bounty asks. Tractability is defined relative to a fixed problem space. But universal creativity is (at least partially) the capacity to restructure the space, to change what counts as a problem, a solution, and relevant data.

#4856​·​Knut Sondre Sæbø, 17 days ago