Search Ideas

Ben replies that “it is one thing conjecture a theory, it is another thing to compare theories to choose which one to proceed with (tentatively)”; that HTV is meant to help with the latter.

Don’t know why the sudden reference to the rather esoteric topic of sentential logic. https://en.wikipedia.org/wiki/Propositional_logic Nor does Brett explain what’s wrong with it.

This isn’t merely an issue of what we call things. The difference between rationality and creativity isn’t semantics.

Brett’s response:

One can *call* that “rationality”. And ok. But what I’m referring to is that process which causes behaviour in humans. We create (choices) and choose them.

If one wants to extract out “coming up with ideas” from this process, ok. But that to me looks just like sentential logic.

Ben points out to Brett that “the step of conjecturing ideas (or criticisms) is not itself rational or irrational. rationality comes in when it comes time to decide what to do, given your state of knowledge. it is about acting according to your best ideas, rather than coming up with ideas”

My response:

I disagree. Popper suggested measures of corroboration and verisimilitude for rational preference formation *given* a set of *already-created* theories (see quotes and explanations in my answer here: https://philosophy.stackexchange.com/questions/137784/relevance-of-poppers-theory-of-corroboration/140003#140003). This is the tradition of preference formation David follows in BoI. Again, we need to take care not to fudge rationality and creativity.

Brett claims/implies Veritula is no better than other online forums; remains “unconvinced it amounts [to] the ‘algorithm’ for rationality.”

I explain:

Veritula is more advanced. X only has nested commenting, like most other sites. But it has no way to distinguish between comments and criticisms and no way to count pending criticisms. It doesn’t tell you which posts you can rationally adopt. It has no version control, no clear version history, no diffing, no ability to revise most ideas outside a narrow window.

I’m not aware of any other site like Veritula that tells you which posts we can rationally adopt. No site on the market has that capability.

Worth noting that Ben had already linked to an explanation of Veritula in response, but Brett doesn’t seem to read any of the links we send him. I can tell because he keeps having more objections or questions the links already address/answer.

Brett claims/implies Veritula is no better than other online forums; remains “unconvinced it amounts [to] the “algorithm” for rationality.”

Veritula doesn’t discount that. As I point out to Brett, it “lets us submit new options at any time, and it offers writing tools to make that as easy and enjoyable as possible. It actively encourages the creation of new options.”

I think Brett is concerned that Veritula discounts the creation of new options. David is right to point in BoI chapter 13 that traditional accounts of rational decision-making focus too much on choosing from existing options according to a fixed formula while ignoring the fact that man is creative, ie can make new options.

If we can have a purely deductive process to tell whether we’re being rational or not, that’s a very good thing. The opposite of something to be concerned about.

Brett claims in response “the whole Popperian view is that rationality *is* creativity: the *creation* of corrections to errors once identified, etc.” He’s concerned that Veritula “seems to suggest ‘rationality’ is identical to something like ‘logic’ or a purely deductive process.”

I’ve experimentally turned off pretty text wrapping in paragraphs. I’ll give it some time to see how ideas look around the site now. If they look worse on the whole (orphans etc), I can always undo fd699cd.

It’s because of text-wrap: pretty;

Chromium renders it properly. Desktop and mobile Safari doesn’t.

Ben found a UI bug:

The text shouldn’t wrap after “trust”.

How to Be Rational: https://x.com/dchackethal/status/2091272979791659054

On tangent to this, I think consequentialism is not a theory of ethics at all, it’s just borrowing from the future as well. Anchoring moral action to predicted (prophecied) consequences is nothing more than an attempt to sidestep ethical deliberation completely.

In other words, it is evil.

Related: Lying reduces conflict - in the short term.

I prefer the term macro economists use: Borrowing from the future. It can work out in the long term, if the future cooperates, for instance it is possible to get away with a lie. But it’s always a very risky gamble, since the future is very uncertain, and therefore it is not a good strategy.

As I wrote to him in response, rationality and creativity are different things. They’re related, and there’s overlap, but you don’t need to code creativity to code rational preference formation. You can outsource creative input to the user, as programs usually do.

Brett says this can’t be a fully specified criterion of rationality because it’s not an AGI.

Brett doesn’t know this is a common objection I’ve addressed before. For example, I wrote a variant in #1976. My paper also addresses it (last objection in section 5).

Brett Hall says Newtonian physics has pending criticisms but we can adopt it rationally in many situations so my criterion of rationality must be false.

Brett is confused about HTV. It says nothing about pending criticisms. As I replied to him, it says to prefer, “between rival theories at a given state of a discussion, those we find the most difficult to change without breaking their ability to explain what they purport to explain.”