I think this is a great way to approach things. Others I know who are excited about CS theory in this way often get particularly excited about Jean-Yves Girard, https://en.wikipedia.org/wiki/Jean-Yves_Girard
Analytic philosophy’s mistake is in trying to solve one problem at a time. What it should be doing is gathering up all the problems and seeing what they have in common. Problems have a structure, as you point out, but they also have a common source (as Kant vaguely recognized). Find the source and you’ve solved them all.
Yeah, when you write papers you have to pretend as if the problems in your area are special and aren't just problems for everyone. These days analytic philosophy's motto may as well be that a problem for everyone is a problem for no one.
I think this is a great way to approach things. Others I know who are excited about CS theory in this way often get particularly excited about Jean-Yves Girard, https://en.wikipedia.org/wiki/Jean-Yves_Girard
Analytic philosophy’s mistake is in trying to solve one problem at a time. What it should be doing is gathering up all the problems and seeing what they have in common. Problems have a structure, as you point out, but they also have a common source (as Kant vaguely recognized). Find the source and you’ve solved them all.
well put, I agree. The fact is that the fact that all the problems are systematically related isn’t conducive to writing papers
Yeah, when you write papers you have to pretend as if the problems in your area are special and aren't just problems for everyone. These days analytic philosophy's motto may as well be that a problem for everyone is a problem for no one.