@semiotechnic Once you start saying X *more* likely than Y, you are quantifying. Seems unavoidable common sense.
@simplic10 @semiotechnic Yes. You're mistaking abuse of notation for proof. Here P and > are shorthand for looser concepts of likelihood.
-
-
@St_Rev@semiotechnic My point is you can "sandwich" P(RedSoxVic) between two classic lottery probabilities... odd to say incommensurate. -
@simplic10@semiotechnic I distinguished earlier between ordinal and cardinal likelihood. Compare to utility theory. To say u(X) > u(Y)... -
@St_Rev@semiotechnic What I find odd is that you are willing to say "a > X > b" but also "X is a completely different thing from a & c." -
@simplic10@semiotechnic Or, 'the sky is a weasel' < 'the sky is indigo' < 'the sky is blue' < 'the sky is not a weasel'. -
@St_Rev@semiotechnic@Meaningness All of these sound like category errors to me. -
@simplic10@St_Rev@semiotechnic That's kind of the point, isn't it? Some uncertainty can usefully be represented numerically, some can't. -
@Meaningness@simplic10@semiotechnic ...nevertheless 'the sky is indigo' isn't entirely false. But 'the sky is blue' is *more true*. -
@St_Rev@Meaningness@semiotechnic These seem like fairly tractable definitional problems. Define blue as such&such wavelength distrib... - 6 more replies
New conversation -
-
-
@St_Rev@simplic10@semiotechnic Putting this another way, Bayesianism “reduces” everything to choosing numerical priors. But >Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic This is a wrong-way reduction; finding the priors corresponds to the whole of intellectual work.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic The reduction goes in the wrong direction, from an easier problem to a harder one.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic Harder because trying to formulate all intellectual activity as finding numerical priors makes it worse.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic AI is full of these wrong-way reductions.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic “If only we had a general-purpose theorem prover, we could express all knowledge in FPOC and then job done -
@St_Rev@simplic10@semiotechnic Whoops, FPOC typo for FOPC—first order predicate calculus.
End of conversation
New conversation -
-
-
@St_Rev@simplic10@semiotechnic Nice except you can’t make a general-purpose theorem prover, and knowledge is harder to express in FOPC >Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@St_Rev@simplic10@semiotechnic > than in more natural ways.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.