2012/12/17 meekerdb <meeke...@verizon.net> > On 12/17/2012 1:15 PM, Quentin Anciaux wrote: > >> ISTM that consistency is the fact that you can't have contradiction. >> > > In some logics you're allowed to have contradictions, but the rules of > inference don't permit you to prove everything from a contradiction. I > think they are then called 'para-consistent'.
Sure, but contrary as what you wrote, consistency is "A consistent theory is one that does not contain a contradiction" cf: http://en.wikipedia.org/wiki/Consistency Incompletness that you can't prove every proposition. > No, incompleteness is you can't prove every true proposition. That's what I meant. > Which implies there is some measure of 'true' other than 'provable'. > What do you mean ? that provable true is truer ? Quentin > > Brent > > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To post to this group, send email to > everything-list@googlegroups.**com<firstname.lastname@example.org> > . > To unsubscribe from this group, send email to everything-list+unsubscribe@ > **googlegroups.com <everything-list%2bunsubscr...@googlegroups.com>. > For more options, visit this group at http://groups.google.com/** > group/everything-list?hl=en<http://groups.google.com/group/everything-list?hl=en> > . > > -- All those moments will be lost in time, like tears in rain. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to email@example.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.