On 13 Mar 2015, at 19:00, meekerdb wrote:
On 3/13/2015 10:26 AM, Telmo Menezes wrote:
or under anesthesia I'm not conscious
You can't prove that. That's an assumption.
That's logic chopping. There's a big gap between proven and
assumed. In fact all of science works in that gap. It's called
"knowledge" and it is provided by evidence, not logic and not
assumption.
But it is not "knowledge" in the science on knowledge, except if we
assume our theory correct.
In epistemology, those are called belief.
The main difference is that for knowledge we accpt []p -> p; and for
belief we refuse []p -> p. To say "I belief" is more modest than to
say "I know".
That mundane sense is reflected by by the fact that we say "Luke
believed that (a + b)^2 = a^2 + b^2, but now he know better", and we
don't say: "Luke knew that (a + b)^2 = a^2 + b^2, but now he believes
better",
3p-rational beliefs are played by Gödel's beweisbar in arithmetic, []p.
Knowledge cannot be defined, but its logic can still be shown to obey
S4Grz(1).
The machine's knower does not know who (s)he is.
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.
