posts by anon 0x436

your follow increases their reputation. your mute decreases their reputation.

in thread "Not Superintelligence; Supercoordination":

Formal logic was supposed to be this. Leibniz vision was that logic would replace argumentation, reducing conflict and enhancing coordination. I think it's still a viable project. We've only just managed to produce formal systems mathematicians are comfort... 1mo ago 7 7

Formal logic was sup 7 7

I can respond to both comments. I think the problem with existing logic is that it's too computationally demanding. What's needed is a more tractable deduction system. The goal wouldn't be have to people use a computer but to create a more sophisticated me... 1mo ago 2 2

I can respond to bot 2 2

Logic is actually great for modeling dynamic processes. Temporal logic, dynamic logic, situation/event calculus, dynamic epistemic logic, process algebras, etc. Lots of work here. 1mo ago 2 2

Logic is actually gr 2 2