On 8/1/2019 5:34 AM, Bruno Marchal wrote:
This is the tour de force of the Theaetetus definition when applied in
the Mechanist frame: it explains why machines are necessarily
confronted with things which are not only not computable, but not
representable in any third person way.
The corresponding logic (the modal logic of [1]p, with [1]p defined by
[]p & p), i.e. S4Grz is a formal logic describing a non formalisable
reality accessed by all (sound) machine. Yes, that is a (meta- tour de
force, made possible tanks to Gödel completeness and Incompleteness
theorem, together with Tarski un-definability of truth theorem (and
Scott-Montague un-definability of knowledge theorem).
Qualia are non physical and non numerical, yet phenomenologically real
and explained or “meta-explained”, like for consciousness.
But this is not at all convincing. Just because some things (reflective
relations) are not computable by the prefect logic machine does not show
they are models or instances of qualia. Qualia are perceptions for
example, which are partly shareable.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/8fddd50f-85ec-51a7-2598-67b53bf63102%40verizon.net.
