Packet 2: Tossup 19

One thinker said that taking this principle away from a mathematician was like taking gloves from a (10[1])boxer during the Brouwer–Hilbert controversy, (10[1])which centered on its validity for infinite sets. Peirce’s (“purse’s”) law is logically equivalent to this principle (10[1]-5[1])but rewrites it using implication as the only connective. Intuitionistic logic does not (10[1])assume (10[1])double negation elimination or this principle. (10[2])In (10[1]-5[1])On Interpretation, (-5[1])Aristotle argued that this logical principle does not apply to contingent future events such as a sea battle. William Hamilton’s laws of (10[1])thought consist of the law (10[1])of identity, the law of noncontradiction, and this principle (10[1])symbolically represented as “P (-5[1])or tilde P.” (10[1])For 10 points, (10[2])what “law” (10[1])from (-5[1])classical logic states that for any proposition P, either P or its negation is true? (10[1])■END■ (10[5]0[1])

Back to tossups

Buzzes

Summary