"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.
Really? https://igg.me/at/supermeat/x
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?
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?
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.
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 :-)
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.
Deleted
I just uploaded the evolution of FormalForum: http://ergoforum.org/
Any feedback appreciated!
There's a wikidebate now on wether or not to use the dialectic algorithm and the answer seems to be clearly YES.