MIT Ends Elsevier Negotiations

Re:MIT Ends Elsevier Negotiations by dash2 on Friday June 12, 2020 @05:43AM (#23497589)

Grandparent said that the law doesn't say that "a and not a" is always INvalid. (The law also doesn't say that "a and not a" is sometimes valid. It makes no comment at all, but only claims that "a or not a" is always valid. According to the grandparent. Now I need to lie down for a bit....)

[ Parent | on HN ]

Re:MIT Ends Elsevier Negotiations by Tainnor on Friday June 12, 2020 @08:22AM (#23498494)

Yes, this.

The point was that you can reject the law of the excluded middle without getting into the absurdity that would result from accepting "a and not a".

[ Parent | on HN ]

Re:MIT Ends Elsevier Negotiations by mehrdadn on Friday June 12, 2020 @12:50PM (#23501096)

Ahh! Now I see I misread your comment, I see what you were trying to say now.

[ Parent | on HN ]