How To Solve Moral Conundrums with Computability Theory · HackerPapers discussions

How To Solve Moral Conundrums with Computability Theory — mentioned by duckerude

Thu, 31 Jan 2019 10:35:32 GMT

> In fact, Godel's theorem ought to be used more, not less, in philosophy. Some, like me, believe it has profound implications to moral philosophy. See: https://arxiv.org/abs/1805.08347 I've only skimmed it, and I'm not very familiar with moral philosophy, but this seems bizarre. If I understand it correctly, your claim is: 1. Free will is uncomputability (undecidability) 2. A good action is a free action (and therefore uncomputable) 3. A bad action is an action that pretends an uncomputable system is computable, thereby denying agency and humanity I think 1. is suspect because people are not…

Paper and discussion history. A mention is not an endorsement.

How To Solve Moral Conundrums with Computability Theory — mentioned by jeromebaek

Thu, 31 Jan 2019 01:53:31 GMT

For some reason it's fashionable to bash philosophical implications of Gödel's Theorem(s). Not only is the internet filled with articles like this, there is at least one book dedicated to bashing on philosophical implications of the theorem, the one by Torkel Franzen (whose most notable work is that book). I find this sort of allergic reaction to be interesting in its own right. Yes, there are pseudointellectuals who abuse the theorem, but they're just that, pseudointellectuals, and academics usually don't engage with pseudointellectuals. I suppose the situation is similar with Aaronson's…

Paper and discussion history. A mention is not an endorsement.