白马非马

韓非子是战国法家, 荀子的高徒, 秦始皇宰相李斯的同学。他说”白马非马”, 即白马不是马, 可以用集合論(Set Theory) 证明:

Let 马 = H = {w, b, r, y …}
w : 白马
b : 黑马
r :红马
y:黄马

Let 白马 = W = {w}

To prove:
H = W
We must prove:
H ⊂ W and H ⊃ W

From definition we know:
w \in H \supset W
H \nsubseteq W
\implies H \neq W

白马≠马
白马非马
[QED]

其他例子:
木魚非鱼

Advertisements

One thought on “白马非马

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s