|
Principle of bivalence - Wikipedia, the free encyclopedia (790 words) |
 | In logic, the principle of bivalence states that for any proposition P, either P is true or P is false. |
| The laws of bivalence, excluded middle, and non-contradiction are related, but not the same. |
| The law of bivalence is compatible with classical logic, but not intuitionistic logic, linear logic, or multi-valued logic. |
| SIFA - Home Page (6375 words) |
| As the principle of bivalence is commonly phrased as the principle that every proposition is either true or false, the philosophical controversy about its legitimacy is commonly framed in terms of the question whether or not every proposition is either true or false. |
| There seems to be one understanding of the principle of bivalence on which it does make sense to ask whether or not the principle holds, namely, that on which every proposition is such that given a certain interpretation of it, either truth or falsehood are to be ascribed to it relatively to that interpretation. |
| To say that the principle of bivalence holds in the sense considered is not to say that every proposition as it is actually interpreted on this or that occasion is either true or false. |
Feeds |
Contact