Unless you buy into Kant’s synthetic a priori arguments, that’s really all analytic means. Of course, in practice it’s far more interesting & complicated, and it even leads to the kind of applications that have made secure internet commerce possible, not to mention the computers we use to do that.
At least, on some days I think that’s what ‘analytic’ means. Maybe.
Wow. I voted “No” because modus ponens and such are just procedures that produce evidence, not some kind of magical truth juice.
I guess if “Yes” means you can construct consistent definitions that are not empirically verifiable, then I’d vote Yes.
Unless you buy into Kant’s synthetic a priori arguments, that’s really all analytic means. Of course, in practice it’s far more interesting & complicated, and it even leads to the kind of applications that have made secure internet commerce possible, not to mention the computers we use to do that.
At least, on some days I think that’s what ‘analytic’ means. Maybe.
I’m not interested in this philosophy stuff, but our names have an amusing symmetry.
internet fist bump