Sunday, December 06, 2015

A v ~A = bivalence

Look. If you say that excluded middle is the thesis that either A or not A and your use of ‘or’ is truth functional, then you’re saying that at least one of two statements is true: A or A’s negation. To say that A is true or not A is true is just to affirm bivalence. Therefore, if you express excluded middle with a truth functional ‘or’ then you’ve expressed bivalence. End rant.  


Post a Comment

<< Home

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States License.