s00mb said:
if you look it up, you'll find that 'woo' is pretty much a broad slang term that means pseudoscience, unjustified belief in the supernatural (especially when couched in false justifications), and suchlike.
Please trust that in using the 'woo' term in a question, as he did in his response to something you posted,
@berkeman doesn't mean to deride
you, but fully intends to oppose the complacent acceptance of nonsense.
The discipline of denouncing 'woo', though ;woo' has only recently ('90s?) been called by that name, goes back at least as far as the
ontological argument (Anselm of Canterbury in 1078). Even the great Kurt Gödel was not immune to embracement of 'woo'. The formal part of his modal logic version of the ontological argument is briefly (without line-by-line commentary) recounted as follows:
$$
\begin{array}{rl}
\text{Ax. 1.} & \left(P(\varphi) \;\wedge\; \Box \; \forall x (\varphi(x) \Rightarrow \psi(x))\right) \;\Rightarrow\; P(\psi) \\
\text{Ax. 2.} & P(\neg \varphi) \;\Leftrightarrow\; \neg P(\varphi) \\
\text{Th. 1.} & P(\varphi) \;\Rightarrow\; \Diamond \; \exists x \; \varphi(x) \\
\text{Df. 1.} & G(x) \;\Leftrightarrow\; \forall \varphi (P(\varphi) \Rightarrow \varphi(x)) \\
\text{Ax. 3.} & P(G) \\
\text{Th. 2.} & \Diamond \; \exists x \; G(x) \\
\text{Df. 2.} & \varphi \text{ ess } x \;\Leftrightarrow\; \varphi(x) \wedge \forall \psi \left(\psi(x) \Rightarrow \Box \; \forall y (\varphi(y) \Rightarrow \psi(y))\right) \\
\text{Ax. 4.} & P(\varphi) \;\Rightarrow\; \Box \; P(\varphi) \\
\text{Th. 3.} & G(x) \;\Rightarrow\; G \text{ ess } x \\
\text{Df. 3.} & E(x) \;\Leftrightarrow\; \forall \varphi (\varphi \text{ ess } x \Rightarrow \Box \; \exists y \; \varphi(y)) \\
\text{Ax. 5.} & P(E) \\
\text{Th. 4.} & \Box \; \exists x \; G(x)
\end{array}
$$
The fact that Gödel includes no justification of his axioms or definitions, but only shows that his conclusions follow from them, to me means that as a proof of what Gödel purports it to prove, it is woefully lacking, and quite dismissible as 'woo', despite it being much more disciplined than most such stuff.
For a refutation of the proof as inconsistent, please see:
The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics
by
Christoph Benzmuller ¨ ⇤ Freie Universitat Berlin & Stanford University ¨
c.benzmueller@gmail.com Bruno Woltzenlogel Paleo Australian National University
bruno.wp@gmail.com
open access available at:
https://www.ijcai.org/Proceedings/16/Papers/137.pdf