On 08 Jun 2015, at 19:37, meekerdb wrote:
On 6/8/2015 1:24 AM, Bruno Marchal wrote:
On 08 Jun 2015, at 06:31, LizR wrote (to Brent)
Note that Bruno rejects the conditioning on "justified". Plato's
Theaetetus dialogue defines "knowledge" as "true belief". I think
that's a deficiency in modal logic insofar as it's supposed to
formalize good informal reasoning. But I can see why it's done;
it's difficult if not impossible to give formal definition of
"justified".
Yes.
See my answer to brent. The whole AUDA is made possible because we
do have an excellent axiomatisation of justification.
It's an excellent axiomatization that relies on inference from
axioms. To say it formalizes good reasoning would mean that I would
have to axiomatize vision before I could see anything.
It formalize any correct deduction that a system (like the guy talking
with its digital doctors) can or cannot prove about itself in the 3p
way.
We want to explain physics, and consciousness. We are not doing
artificial intelligence. We try just to formulate the problem, and
solve some part of it.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.