I understand what you're saying, but this truth-by-default is tripping me up. The sentence "This sentence is false" is not false, but it's not true, either. It has no truth value. I therefore don't understand how we can assume that p->q for p=0 evaluates to 1, and not .5 or whatever the official mathematical syntax for no truth value is. This is one of those "It's defined that way" situations, isn't it?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Re: How it works
Date: 2003-08-28 03:28 pm (UTC)This is one of those "It's defined that way" situations, isn't it?