【#韶山毛泽东同志纪念馆恢复对外开放#】根据上级主管部门通知精神,在严格落实疫情防控措施的基础上,为满足广大游客来韶参观需要,韶山毛泽东同志纪念馆下辖所有景点(毛泽东同志故居、生平展区、专题展区、南岸私塾、毛氏宗祠等)自2021年8月16日(星期一)恢复对外开放。详情请看:https://t.cn/A6Iih5oC
已知“凡a为c”,要求“凡a为b”
换句话:已知集合A在集合C中,要求集合A在集合B中
也就是说,只要C必定在B中,或者BC为同一集合,由于A在C中,那么A集合就必然在B中,自然证得“凡a是b”。
换个思路,要让C必定在B中,那么也就是要求C必定不与非B相交,这也就是因明学讲的“异品定无性”,而只要这时候要求B集合全部在C中,或者部分在C中,那么,前者自然会得到AB重合,后者就是C为B的子集。前者的情况在因明学也叫“同品定有性”。
这个东西在集合论并不难理解,但是很惊叹于古印度人没有韦恩图,光凭生想,都能有如此完备的逻辑体系而独立于平常我们所说的“general logic”
如舍尔巴茨基在《佛教逻辑》的前言中写明的:
“对于哲学家来说,本书理应引起他对一种尚不熟悉的逻辑体系的重视。它是逻辑,但不是亚里士多德的逻辑;是认识论,但又不是康德的认识论。”
换句话:已知集合A在集合C中,要求集合A在集合B中
也就是说,只要C必定在B中,或者BC为同一集合,由于A在C中,那么A集合就必然在B中,自然证得“凡a是b”。
换个思路,要让C必定在B中,那么也就是要求C必定不与非B相交,这也就是因明学讲的“异品定无性”,而只要这时候要求B集合全部在C中,或者部分在C中,那么,前者自然会得到AB重合,后者就是C为B的子集。前者的情况在因明学也叫“同品定有性”。
这个东西在集合论并不难理解,但是很惊叹于古印度人没有韦恩图,光凭生想,都能有如此完备的逻辑体系而独立于平常我们所说的“general logic”
如舍尔巴茨基在《佛教逻辑》的前言中写明的:
“对于哲学家来说,本书理应引起他对一种尚不熟悉的逻辑体系的重视。它是逻辑,但不是亚里士多德的逻辑;是认识论,但又不是康德的认识论。”
#七夕# 快乐。
|一个人出门喝了杯咖啡,又回家了。
|顺带分享一家cāfè店:M coffee❤️。
|七夕节有特别款杯托,本来就是冲着ART BOOK那款去的,可能因为上次去店里画画了,没想到就抽到这个,真滴太可爱啰。
|这家店主是原先“塔卡沙”的店主,总而言之,风格完全在我审美点上蹦跶。️、️、️☕️。老板和老板娘一下午都在看咖啡杯,下次去可有眼福啦。 https://t.cn/A6f1MLwa
|一个人出门喝了杯咖啡,又回家了。
|顺带分享一家cāfè店:M coffee❤️。
|七夕节有特别款杯托,本来就是冲着ART BOOK那款去的,可能因为上次去店里画画了,没想到就抽到这个,真滴太可爱啰。
|这家店主是原先“塔卡沙”的店主,总而言之,风格完全在我审美点上蹦跶。️、️、️☕️。老板和老板娘一下午都在看咖啡杯,下次去可有眼福啦。 https://t.cn/A6f1MLwa
✋热门推荐