1
vote
Accepted
Validity of a modal argument about "vagueness"
How about just a blanket statement with no assumptions:
A and B may be the same part of C
This would seem to be valid by the same reasoning! However it is only so if "may" ranges over all models ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
natural-proofs × 14cc.complexity-theory × 9
circuit-complexity × 8
lower-bounds × 3
boolean-functions × 3
barriers × 3
reference-request × 2
complexity-classes × 2
p-vs-np × 2
pseudorandomness × 2
sat × 1
cr.crypto-security × 1
big-picture × 1
randomness × 1
descriptive-complexity × 1
relativization × 1
pseudorandom-generators × 1
sample-complexity × 1
boolean-formulas × 1
hierarchy-theorems × 1
modal-logic × 1