On 18 Jan 2015, at 21:29, meekerdb wrote:
On 1/18/2015 7:35 AM, Bruno Marchal wrote:
For a logician, "true" means "satisfied by a reality", with
*reality* modeled by the notion of *model*. This helps to avoid
unnecessary philosophical debates.
They are only unnecessary for those who have already decided which
model to believe.
That's why we work in theories: once we prove something in a theory
(respecting some conditions) the sentences is automatically true in
all models. So we never have to say which models we work about: that
is left to philosophers.
Computationalism philosophy limits this to the model (N, 0, +, *),
which is used in all other pieces of science, making that part of
philosophy into science.
Then we just reason from the invariance of the first person experience
(consciousness, say) for the digital transformation at some level.
Which implements the computationalist "theological act of faith": it
is a belief in a form of technological reincarnations.
This is interesting because it transform a problem (the mind-body
problem) into a set of interesting problems in arithmetic, logic,
computer science, etc.
It also provides a rational view which fits far better with the
theology of Plato's type, than with Aristotle's type of theology (with
a creation, with or without a creator), used (unconsciously) by many.
That can explain the spiritual mess on this planet, where it looks
like the choice is between non-sensical materialism and violent fairy
tales. Truth might be in between, and far more interesting.
Bruno
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
