Finally caught up to this point in the re-posting of the sequences …
The thing is, morning/evening star distinctions are a staple of the thought experiments in that area of philosophy, and I’m not aware of anyone else who uses that distinction, so I’m at a loss.
I think that Eliezer’s just pointing out the need for some kind of quoting machinery. I don’t think that he’s claiming that this would be news to philosophers of language. He just wants readers who might not be philosophers of language to recognize the need for quoting and to notice some features of how it works.
In part, he’s probably trying to instill a certain logical sophistication in his audience so that they can follow things like Löb’s theorem.
Finally caught up to this point in the re-posting of the sequences …
I think that Eliezer’s just pointing out the need for some kind of quoting machinery. I don’t think that he’s claiming that this would be news to philosophers of language. He just wants readers who might not be philosophers of language to recognize the need for quoting and to notice some features of how it works.
In part, he’s probably trying to instill a certain logical sophistication in his audience so that they can follow things like Löb’s theorem.