more from this thinker     |     more from this text


Single Idea 12338

[filed under theme 5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence ]

Full Idea

There can be nothing intermediate to an assertion and a denial. We must either assert or deny any single predicate of any single subject.

Gist of Idea

We must either assert or deny any single predicate of any single subject

Source

Aristotle (Metaphysics [c.324 BCE], 1011b24)

Book Ref

Aristotle: 'Metaphysics', ed/tr. Reeve, C.D.C. [Hackett 2016], p.65


A Reaction

The first sentence seems to be bivalence, and the second sentence excluded middle.


The 20 ideas with the same theme [propositions can only be true or false]:

In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson]
For Aristotle bivalence is a feature of reality [Aristotle, by Boulter]
We must either assert or deny any single predicate of any single subject [Aristotle]
How can the not-true fail to be false, or the not-false fail to be true? [Cicero]
Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak]
Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine]
Language can violate bivalence because of non-referring terms or ill-defined predicates [Dummett]
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
Truth is indeterminate in processes like coming to be and passing away [Rescher]
Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner]
'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson]
Standard disjunction and negation force us to accept the principle of bivalence [Mares]
Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares]
A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady]
Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel]
No attempt to deny bivalence has ever been accepted [Sorensen]
If bivalence is rejected, then excluded middle must also be rejected [Rowlands]
The principle of bivalence distorts reality, as when claiming that a person is or is not 'thin' [Baggini /Fosl]
Bipolarity adds to Bivalence the capacity for both truth values [Morris,M]
When faced with vague statements, Bivalence is not a compelling principle [Rumfitt]