News for hackers. Stuff that matters.
Re:Formal Models for Ethics by ukj on Sunday October 04, 2020 @11:36AM (#24679773)
Logic itself is a formalism.

Subject to all the constraints of formal language theory/linguistics.

It fails to address the symbol-grounding problem.

https://en.wikipedia.org/wiki/Symbol_grounding_problem

There are no comments on this comment yet.