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.
