= 27d567bc2d48d9f40e9ccc20ea370b15)
Larks comments on What is/are the definition(s) of "Should"? - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (46)
Good article.
Which? There are many in GEB.
He's talking about the Lewis Carroll dialog that inspired the ones in GEB. "What the tortoise said to Achilles."
The point of the dialog is that there's something irreducibly 'dynamic' about the process of logical inference. Believing "A" and "A implies B" does not compel you to believe "B". Even if you also believe "A and (A implies B) together imply B". A static 'picture' of an inference is not itself an inference.
There was supposed to be a link there but I accidentally deleted it. It's fixed.