Posts

Can anyone be rational and not vegan? 2016-11-23T20:16:33.940Z
Dialectic algorithm - For calculating if an argument is sustained or refuted 2016-11-20T21:06:46.479Z
Wikidebate 2016-10-31T23:24:06.985Z

Comments

Comment by Sophivorus on Dialectic algorithm - For calculating if an argument is sustained or refuted · 2017-07-06T21:24:53.552Z · LW · GW

There's a wikidebate now on wether or not to use the dialectic algorithm and the answer seems to be clearly YES.

Comment by Sophivorus on Can anyone be rational and not vegan? · 2016-11-27T22:07:29.963Z · LW · GW

"Vegan" has a fairly clear definition and Google got it quite right. It's about not treating animals like property. Not eating meat is just a consequence of being vegan. Vatgrown meat is vegan, in fact many the people behind SuperMeat are vegans.

Comment by Sophivorus on Can anyone be rational and not vegan? · 2016-11-24T23:07:24.646Z · LW · GW

Really? https://igg.me/at/supermeat/x

Comment by Sophivorus on Dialectic algorithm - For calculating if an argument is sustained or refuted · 2016-11-24T02:31:25.264Z · LW · GW

Good point, yet the meaning of "dialectics" has changed a lot through the centuries, and on Wikipedia it currently is "a discourse between two or more people holding different points of view about a subject but wishing to establish the truth through reasoned arguments" which quite fits the function of the algorithm.

But how would you call it?

Comment by Sophivorus on Can anyone be rational and not vegan? · 2016-11-23T22:02:03.424Z · LW · GW

Given the huge effect of the meat an dairy industry on the environment, if humanity doesn't go vegan soon, we will probably go extinct. Can a rational agent behave in ways that advance its own destruction? Isn't self-preservation a necessary condition for maximizing any other goal?

Comment by Sophivorus on Dialectic algorithm - For calculating if an argument is sustained or refuted · 2016-11-22T15:30:19.267Z · LW · GW

The Wikidebate project has some wisdom on how to avoid that, and the fact that the algorithm is run on a wiki ensures that repeated, misguided or otherwise useless arguments are removed or improved. Also, coming up with arguments where there are none is pretty difficult, and stupid ones are much easier to delete than to write down.

Comment by Sophivorus on Dialectic algorithm - For calculating if an argument is sustained or refuted · 2016-11-22T15:26:30.661Z · LW · GW

I made such a site but I wasn't good at spreading it, so in the end I closed it and moved the project to Wikiversity and called it Wikidebate :-)

Comment by Sophivorus on Wikidebate · 2016-11-20T21:01:58.432Z · LW · GW

Didn't know about Arguman, there are some nice discussions going on there. However, I see at least two key differences between the projects. First, Wikidebate is designed so that arguments are not signed and can therefore be improved upon by others. Second, arguments in Arguman are painted red or green depending on if they are in for or against the issue, while on Wikidebate the color depends on wether they are SUSTAINED or REFUTED, which is calculated algorithmically using the dialectic algorithm.

Comment by Sophivorus on Wikidebate · 2016-11-20T21:00:05.901Z · LW · GW

Deleted

Comment by Sophivorus on Welcome to Less Wrong! (2010-2011) · 2014-08-25T03:32:30.232Z · LW · GW

I just uploaded the evolution of FormalForum: http://ergoforum.org/

Any feedback appreciated!

Comment by Sophivorus on Welcome to Less Wrong! (2010-2011) · 2011-11-05T23:21:24.035Z · LW · GW

Hi everyone!

My name is Felipe, from Argentina. I've been studying philosophy for the last five years or so, especially logic and philosophy of science, but this last year I also started learning web programming, and before that I was a very active editor in the spanish Wikipedia.

I learned about Less Wrong because I had just finished an experimental website, and I posted it on the imageboard of science and mathematics /sci/ (which some of you probably know), and there someone mentioned that people on Less Wrong would probably like it. So I came here, and I must say that after browsing for a while, I will definitely join the community! I also read above that "If you've come to Less Wrong to discuss a particular topic, this thread would be a great place to start the conversation.", so I guess it wouldn't be out of place to share my site here. Here goes:

http://formalforum.com/ is the address of FormalForum, a website designed to structure debates in a rational way. There are two basic types of posts you can submit (for now): propositions and objections. Propositions are things that may be true or false (like "There is no retroactive causation"), while objections are defined as a special kind of argument: an argument which concludes either that a certain proposition is false, or that a certain objection is invalid. For each type of post, there is only one rule governing its behavior:

  1. Every proposition will be considered true, unless there is a sound objection to it.
  2. Every objection will be considered valid, unless there is a sound objection to it.

A sound objection is a valid objection with true premises. As every premise is considered a separate proposition, the rule 1 aplies to each of them. Thus, an objection will be considered sound exactly when there are no sound objections to its validity, nor to any of its premises. Some consequences of these rules are:

  1. New propositions will be considered true by default, as they start with no sound objections (indeed, with no objections at all).
  2. New objections will be considered valid by default, as they start with no sound objections (indeed, with no objections at all).
  3. Not every new objection will be considered sound by default, as it may have among its premises one or more old propositions that are currently considered false.
  4. As the site grows, some propositions will tend to get re-used more than others, which will rise their importance, for the soundness of more and more objections will depend on them being true. Eventually, some propositions will come to light as of key importance, while many others will sink into oblivion.

The system draws from the ideas of Austro-British philosopher Karl Popper (and others), who in his work The Logic of Scientific Discovery, argued that our acceptance of propositions such as "that crow is black", although "inspired" by experience, ultimately depend on a convention: the convention of accepting as true those propositions which nobody cares to doubt. When someone does doubt a proposition, then s/he will have to extract one or more consequences from it that can be tested empircally, and if any of those consequences does not occur (that is, if nobody doubts that one or more of those consequences does not occur), then the proposition is falsified, and must be considered false. Else, the proposition remains true.

The website is new, and has many flaws and shortcomings, but the essence is there. I hope you find it interesting. In any case, I find Less Wrong very related to my interests, so formalforum or not, you will definitely see me around.