12 ms·
In a literal sense it is no longer considered philosophy because it did pay off. The field is somewhat doomed to only contain the good ideas of the future and
by JonChesterfield 3y ago
In a literal sense it is no longer considered philosophy because it did pay off.
The field is somewhat doomed to only contain the good ideas of the future and the bad ideas of the present, because as soon as they are identified as good ideas they get their own branding and are no longer part of philosophy.
For example, my current distraction is homotopy type theory which is a way to reason about computable functions without error, amenable to machine checked proof. That is, it's a credible path to building software that actually works. Here is is under the philosophy department of Cornell. https://www.cmu.edu/dietrich/philosophy/hott/ https://www.cmu.edu/dietrich/philosophy/hott/
- dventimi 3y agoThat's Carnegie Mellon University, not Cornell.