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'sTheaetetusdialogue
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.
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.