W.D.Clinger
Philosopher
The analytic/synthetic dichotomy is sustainable in some particular circumstances where "analytic" can be identified with an objectively definable notion such as "provable", "valid", or some such. In those common cases, however, the analytic/synthetic distinction just adds misleading synonyms to existing technical nomenclature. When no objectively definable notion of analytic is available, then Quine's objections hold with full force and the analytic/synthetic dichotomy just adds muddle. In my opinion, therefore, it's hard to find any real use for the dichotomy....which tells us nothing about whether the rejection killed the dichotomy or whether the distinction survived despite that rejection, being regarded as useful for, well: drawing distinctions. Carnap was aware of Quine's objections, but justified maintaining the dichotomy on utilitarian grounds - which seem more in line with my work.
Cite your sources instead of plagiarizing them.It would be very helpful to know what "the ambiguity" is, and some hint about what you'd like me to do about it?
Some of us had somehow gotten the impression you were trying to use Gödel's incompleteness theorems to support your belief that physicists' use of vector math entails risk of "undocumented assumptions" in physics.I'd like to call attention to Raatikainen's review of a cleverly titled book by Torkel Franzén: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. In that review, Raatikainen applauds Franzén's refutation of BurntSynapse's argument:
To me, he's talking about arguments with regard to mathematics which attack it as unreliable. I don't recognize any of those arguments as opinions I share.
When using math, there is the obvious and mundane risk that someone (e.g. a physicist) might make a mistake. Had you been talking about that risk, everyone would have agreed with you at the outset and we would not be having this conversation.I regard uses of math different than math. Risky use does not mean the math is risky in and of itself in any way, and should not be taken as such.
There is a smaller risk that someone (typically a mathematician) might make a mistake that gets past peer review and enters a paper that describes faulty mathematics upon which physicists might eventually rely. Mathematicians make a fair number of such mistakes, but the risk here is small because most (though not all) of the math physicists rely upon has been in widepread use for a long time and is pretty thoroughly debugged. I thought at first that this was the kind of risk you were talking about in vector math, but whenever I say anything about this kind of risk you say it has nothing to do with the risk you're talking about.
Gödel's incompleteness theorems have nothing to do with risk in math or physics. When you dragged Gödel into the conversation, it was a clear signal you didn't know what you were talking about.
There is a small risk of inconsistency in ZF, and I suppose there may be some theoretical risk that even Peano arithmetic is inconsistent. If you were saying those risks are undocumented, you'd be as wrong as it's possible to be.
(Pro tip: Refusing to explain your position with any real clarity makes it easier for you to say critics are attacking a position you don't hold, but it is possible to protest so often as to rule out all reasonable positions you could have held.)
That's a fairly bizarre misreading of Gödel's incompleteness theorems. If you tell us which section(s) of Hofstadter's book led you to that impression, perhaps we can help you to debug your thinking.My read of Gödel's incompleteness theorems, (first learned from Gödel, Escher, Bach and as described therein) is that the incompleteness he describes in dialog form is analogous to the project management principles of inherently incomplete documentation, and the issue that PM standards are limited in their ability to define when to apply any particular guideline.
It does take a certain amount of intellectual sophistication to see any connection between Burton Dreben's refutation of the claim that Quine's theory of underdetermination leads to thinking there's as much evidence for Zeus as for electrons and your own claim that Quine's theory of underdetermination makes it hard to tell whether falling is better explained by Zeus or by a theory of gravity.A) It's not pretending, andYou continue to pretend my characterization of your opinion as a grotesque distortion of Quine's theory was unsupported by specifics or argument. Fair-minded readers who examine that post will conclude otherwise.
B) it's not my objection.
It's more that the specifics seem to attack opinions that I don't hold.
(Pro tip: When complaining about attacks on opinions you don't hold, your habit of mangling or deleting links in the attacks you quote could lead readers to suspect you are trying to make it harder for them to view the evidence. In your quotation of my words above, I took the liberty of restoring the link you deleted.)
!