发帖数: 1 | 1 摘要
综观东西方宗教、哲学中，西方哲学、京都学派、梵我思想及道教，与佛教对存有
的定义，有极大的差别。其中最关键的差异在于：佛教是以经验主义的实证精神作为定
义之核心，而东西方其他所有的宗教、哲学体系则皆主张存有是不可知、不可证的。
根据《阿含经》佛陀所定义的存有，具有宇宙及生命根源的意义，并且是以人人皆
可实证生命本原而定义。佛教此种特有的存有定义，在佛教经典中不是一个孤证，是符
合佛教的缘起教义。此种实证意义的存有定义，有三个成立要件，并且引申出三个具操
作性意义的判断原则，对于想要实证生命本来面目的人，提供判断是否亲证生命本原之
依据，是极具启发性的判断原则。
对于关键论点──实证的可能性，本文对于哲学史上主张存有是不可知、不可证的
理由中，归纳出三种重要的理由：
1、人类的生命、能力仅具有限性，故无法实证具无限性的宇宙根源。
2、具有无限性者必是宇宙的根源。
3、康德的先验哲学认为道德公设足以作为实践理性宗教的充分理由，不必以事实
验证论证的前提。
上述三种理由错误的原因，皆是忽视实证的重要性所致。《阿含经》中提出实证主
义的存有定义，主张将一切哲学理论回归事实的检验，对于宗教... 阅读全帖 |
|
发帖数: 1 | 2 ㄧ、绪論
西方哲学二千多年來的第一哲学論题──「存有」（being）
，经过无數着名的哲学家提出无數的理論來定义其意
义。然而，人類面对着共同的宇宙及生命的现象，但是这个现象根源的事实真&#
63972;应该只有一个。具有悠久歷史的东方哲思之一的佛教对「存有」的定义是
如何？本文希望提出具操作性意义的定义，能为东西方共同的哲学思想提供新的养分，
为所有生命指引出最终的归依处。
「存有」（being/existence）本來并不具现代所理解的义涵，只
具「是者」（being/to be）之义；「是者」这个概念，來自希臘
文的「einai」动词；在希臘哲人巴门尼德（Parmenides, 500 BC）的思辨下，&
#63965;用此动词的普遍用法，說明其普遍性。因为思想的内容需要由「是」&#
63789;表述，思想的... 阅读全帖 |
|
p***p
发帖数: 559 | 3 试着翻译一下，
卡尔纳普从分析哲学的角度指出了笛卡儿“我思故我在”的两个问题
第一个问题出在所谓的“Ich bin/I am”。因为一个缀词必须要有谓词，所以Sein/be 在
这里肯定是表示“存在Exist”。根据康德的论断（纯粹理性的批判，B626），因为“
sein\tobe”本身显然不是一个谓词，所以“存在exist”不能和一个主词，而必须和一个
谓词一起使用。“我存在”这句话的形式不是“我具有存在这种属性”，而是“存在着某
个东西，那个东西就是我”。
第二个问题就是从“我思”到“我在”。“我思”这样的句子只和谓词有关，就是说，“
我思”只能推出“有个玩意在思”，并不能推出“我存在”。
http://de.wikipedia.org/wiki/Cogito_ergo_sum
一塌糊涂。中文外文真是完全不同，外文里面的tobe和exist是两个词。
Chinese
In Chinese languages, both states and qualities are generally expressed with stative verbs with no need for a |
|
s*****y
发帖数: 897 | 4 http://zebozhuang.blog.163.com/blog/static/17147980420112710523
在标准库算法中,next_permutation应用在数列操作上比较广泛.这个函数可以计算一组
数据的全排列.但是怎么用,原理如何,我做了简单的剖析.
首先查看stl中相关信息.
函数原型:
template
bool next_permutation(
BidirectionalIterator _First,
BidirectionalIterator _Last
);
template
bool next_permutation(
BidirectionalIterator _First,
BidirectionalIterator _Last,
BinaryPredicate _Comp
);
两个重载函数,第... 阅读全帖 |
|
s*****y
发帖数: 897 | 5 http://zebozhuang.blog.163.com/blog/static/17147980420112710523
在标准库算法中,next_permutation应用在数列操作上比较广泛.这个函数可以计算一组
数据的全排列.但是怎么用,原理如何,我做了简单的剖析.
首先查看stl中相关信息.
函数原型:
template
bool next_permutation(
BidirectionalIterator _First,
BidirectionalIterator _Last
);
template
bool next_permutation(
BidirectionalIterator _First,
BidirectionalIterator _Last,
BinaryPredicate _Comp
);
两个重载函数,第... 阅读全帖 |
|
s*********1
发帖数: 1166 | 6 王浩，数理逻辑学家, 念高中时他偶然得到金岳霖写的《逻辑》(1935），其中约80页
介绍罗素（B.Russel）的名著《数学原理》第一卷的内容，他感到这些内容既吸引人又
容易懂，因此想：应该首先尝试学习较容易的数理逻辑，为以后学习辩证法作较好的准
备。大学一年级时，他旁听了王宪钩的符号逻辑课，系统地学习了《数学原理》第一卷
。并通过阅读希尔伯特一阿克曼的《数理逻辑基础》（1938年版）学习德语。以后又阅
读了希尔伯特~贝尔纳斯的《数学基础》（两卷集，1934年版）的第一卷。1942年他听
了沈有鼎讲授维特根斯坦（L. Wittgenstein，1889~1951）的《逻辑哲学论》（
Tractatus，1921）课，阅读了卡纳普（R.Carnap）的《语音的逻辑句法》（1934年版
），并开始撰写关于休谟的归纳问题的论文。王浩在回忆这段紧张而有意义的学习生活
时说：1939年到1946年我在昆明，享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为
和金（岳霖）先生及几位别的先生和同学都有共同的兴趣和暗合的视为当然的价值标准
，觉得心情愉快，并因而能够把工作变成了一个最基本的需要，成为以后... 阅读全帖 |
|
t******n
发帖数: 2939 | 7 ☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:34:22 2013, 美东) 提到:
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:37:03 2013, 美东) 提到:
在承认素数的这个等价定义 (即 a是素数 <=> a是大于1的自然数, 且a不被任何小于a
的素数整除) 的前提下, 居然有人会认为这个证明是错的, 或者是不完备的.
我实在不能理解.
求问一下大家, 是不是有的人的脑子天生有缺陷, 根本怎么教都不会明白... 阅读全帖 |
|
Z*****l
发帖数: 14069 | 8 病翻译
与其它语言一样英语是很动态，不断获取新的单词和短语。 我的知识的同志 ahche
使用的最佳
作为一个谓词 （指的是"要成为一个学院 」） 师资队伍仍不断扩大词汇的英语语言的
另一个例子。 虽然将名词转换为一个简化的谓词表达式不是前所未有 – 最近的一个
例子是美国奥林匹克运动员使用的"金牌"，作为短语中与"
我们的目标是奖牌"— — 我是最高兴认为学院作为动词的用法可能有一天因一个"未知
"的中国用户在生物学版的 mitbbs，它最终采用的当代英语词典。
虽然不是 ominipresent，英语中国贡献是很明显的。 我想到的一个显眼的表达是"长
时间没有见 （好久不见）"，刚开始在唐人街几乎以频率"你吃了吗？ 使用公用问候语
（吃了吗）？"，但现在普遍使用的非华裔也。
遗憾的是，另一种的表达短语，"给他们一些颜色看看 (给
他们点颜色看看) 」，不广泛，据称是扭曲一位舌。 如果您删除重复"见"，说"给他
们点颜色看看"，尽管多个语法更正，但它将会失去中国特色。 |
|
j*******7
发帖数: 6300 | 9 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: jmsma2007 (James), 信区: TrustInJesus
标 题: [学术] 关于逻辑自身的“循环论证”问题
发信站: BBS 未名空间站 (Tue Apr 30 14:42:07 2013, 美东)
逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果... 阅读全帖 |
|
e********e
发帖数: 126 | 10 7. “是（存在）”是不是（逻辑）谓词
“是（存在）”是不是一个（逻辑）谓词？Predicate，逻辑学里称作谓
词，语法书里称作表语，作动词时表示“断言某种属性属于某物”、
“把某种属性归于某物”。据此，上述问题大致相当于：“是（存在）”
是不是某种属性，像“发红色”、“具有广延”那样？
这里提出的不只是个语言问题更不只是个西方语言的问题，但这个问题
的确和西语的特点紧密有关，直接阅读一些西文对这一问题的表述，如
格雷林《哲学逻辑》第四章，读者会有更清晰的体会。不过，各种表述
背后的哲学问题还是共通的。
我们可以从否定性的存在命题着眼来看这个问题，柏拉图在《泰阿泰德
篇》和《智者篇》里已经表述过这类命题带来的困惑。比较一下下面两
组对话。
“邓小平是矮个子。”
——“矮个子的是谁？”
——“(矮个子的)是邓小平”。
“王母娘娘不存在。”
——“不存在的是谁？”
——“（不存在的）是王母娘娘”。
这里似乎包含一个悖论。可以这样表述这一悖论：“一个不存在的东西
怎么能够成为命题的主词？” 这个悖论似乎有两种解决之法。一是承
认王母娘娘在某种意义上的确存在，这是迈农的回答。一是论证“王母 |
|
j*******7
发帖数: 6300 | 11 逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果这些‘推理工具’本身是
无矛盾的，那么证明对象语言的系统无矛盾是有价值的。但是如果它们是矛盾的呢，那
么这种证明就没有价值了。因此提出一个无矛盾证明，事情并没有取得任何进展，因为
我们事先得相信这些推理规则是无矛盾的，再用它们来证明无矛盾，从而又证明这些规
则本身无矛盾。对于系统中的公... 阅读全帖 |
|
n********n
发帖数: 8336 | 12 逻辑四定律
充足理由律：
四重根：
因果律，关于物理变化的第一重根：没有任何物理现象是没有原因的。
逻辑推理，关于逻辑推论的第二重根：没有一个逻辑推理不具有它的真理的先验性。
数学证明，关于数学的第三重根：任何定理都有几何的证明。
行为动机，关于行为的第四重根：没有人或动物的行为是没有动机的。
同一律：形式逻辑的基本规律之一，就是在同一思维过程中，必须在同一意义上使
用概念和判断，不能混淆不相同的概念和判断．公式是：＂甲是甲＂或＂甲等于甲＂包
括三方面的内容：
思维对象的同一。在同一个思维过程中，思维的对象必须保持同一；在讨论问题、回答
问题或反驳别人的时候，各方的思维对象也要保持同一。
概念的同一。在同一个思维过程中，使用的概念必须保持同一；在讨论问题、回答问题
或反驳别人的时候，各方使用的概念也要保持同一。
3．判断的同一。同一个主体(个人或集体)在同一时间(相应的客观事物处于相对稳定状
态时)，从同一方面对同一事物作出的判断必须保持同一。同一律要求思维的确定性，
但是并不否认思维的发展变化。它完全是对思维过程中的，并不要求客观事物保持同一
，绝对不变。
逻辑的“同... 阅读全帖 |
|
发帖数: 1 | 13 四、《阿含经》中相关的述說及其意义略探
既然佛陀主张正住者是可以实证的实体，那么《阿含经》中必然会有叙述其具体属
性、功能之记载，才足以证明正住者确实是佛陀亲自实证的，以及本文提出对存有的定
义所作的論述，确实是符合佛陀的初衷。《阿含经》中确实是有许多相关的记载
，值得进一步加以研究。然而，此系旁論，故仅以《阿含经》为限，略举
一二以供參考证明。《杂阿含经》卷2：
如是我闻，一时，佛住舍卫国祇树给孤独园。尔时，世尊告諸比丘：「有五
种种子，何等为五？谓：根种子、茎种子、节种子、自落种子、实种子。此五种
子不断、不坏、不腐、不中风、新熟坚实，有地界而无水界
，彼种子不生长增广。若彼种新熟坚实、不断、不坏、&#
63847;中风，有水界而无地界，彼种子亦不生长增广。若彼种子新熟坚实
、不断、不坏、&... 阅读全帖 |
|
f*********g
发帖数: 632 | 14 一般是数理逻辑（大都到谓词演算就算了）、集合论初步、群环域格基本概念、图论（
主要讲树）、形式语言、自动机这些内容，有些学校数理逻辑讲得很多，图论也讲不少。
觉得就到谓词演算的话，数理逻辑就差不多像说谁都知道的道理一样。群环域格结合着
小学算术就能讲明白了吧，例子再难一点的话，就举矩阵啊什么的。形式语言就拿自然
语言做例子，然后抽象一下就好了。自动机就拿那些什么寄存器啊，信号灯啊，计数器
当例子讲，然后画图解释。
集合论初步不知道该怎么讲，老觉得集合论的初步知识像在说理所当然的话。
最麻烦的是图论，不过既然有图，就好说，照着图讲，再抽象不就是了。
编译是专门的课程，有编译原理和技术，在美国也是专门课程吧，有跟形式语言和自动
机合在一起讲的，不知道效果怎样。数据结构和算法也是专门的课程，觉得基本上每一
部分挑个好例子讲明白就行了。
Discrete |
|
b****h
发帖数: 163 | 15 我这里说的可能，不是只我觉得可能。。。如果你要我严格表达，可以用一阶谓词逻辑
表述如下：
美国人民被洗脑了，这是一个proposition，记为A
美国人民认为政府好比例高，这也是一个，记为B
美国政府好，记为C
现在已知predicate C->B, A->B
已知B，我认为A，你认为非A
为了证明需要，我们再加一个条件 ！A & ！C-> !B，（这个条件有很大局限，但我们
这里可以先不考虑）
这样你去推一下，如果你说！A， 那就必须证明出C。。。 |
|
K******e
发帖数: 367 | 16 看一班文科生讨论数学挺有意思的
不觉得欧几理得有多牛
几何这东西只要人类有了私有土地的概念就一定会产生
而且希腊人贯抄埃及，几何也是他们从埃及那里抄来的
不过发扬光大可能是有的，受希腊多山的地理环境所限，光抄肯定不行的
希腊里面最利害的还是亚里士多德啊
他那套形式逻辑，后人几千年里基本上没做什么变化
至于什么谓词逻辑，數理逻辑之类的提高基本上都是虚的
整个人类史上有这么牛的
除了他也就是牛顿
TNN 的
都过去了多少年了
还有那么多搞优化的人靠他的东西吃饭 |
|
E*******1
发帖数: 3464 | 17 这脑袋够不清楚的，这是老美的玩意，想出个词叫iphone很正常，而爱疯是音译，而其
实99%的情况是正好相反的，或者说大多数英文词汇就是秉承了爱疯这样的"音译"的本
质，所谓词本身不达意。。。你想想那GRE单词本上的词如果不看解释是不是看上去都
是像 爱疯 一样不知所云？ |
|
E*******1
发帖数: 3464 | 18 这脑袋够不清楚的，这是老美的玩意，想出个词叫iphone很正常，而爱疯是音译，而其
实99%的情况是正好相反的，或者说大多数英文词汇就是秉承了爱疯这样的"音译"的本
质，所谓词本身不达意。。。你想想那GRE单词本上的词如果不看解释是不是看上去都
是像 爱疯 一样不知所云？ |
|
发帖数: 1 | 19 一座中国无耻文人的“丰碑”
“他，中国共产党优秀党员，致力于世界和平运动，是我国现代著名的无产阶级文学家
、诗人、剧作家、考古学家、思想家、古文字学家、历史学家、书法家，学者和著名的
革命家、社会活动家，蜚声海内外；他是我国新诗的奠基人，是继鲁迅之后革命文化界
公认的领袖。他，是郭沫若。”——这是大陆官方版本对郭沫若的描述。
“他，年少时经历包办婚姻，享受五天性爱后，他便离家，此后68年，那可怜女子一直
守在其老家。随后，他在日本结婚，对方为此与父母断绝关系，几年后，他不辞而别，
离开日本。他还有很多情人，均被他抛弃。晚年陪伴他的妻子叫于立群，其姐于立忱，
早年竟也曾是这男人的情人，被抛弃后自杀。他有仨老婆，十几个孩子，情人数不清，
嫖妓得过花柳，始乱终弃害女孩子自杀。一边骂政府腐败一边跑去做官，曾在共产党最
困难时脱党，骂过蒋介石，后专程向蒋求饶，文革时说毛主席比亲爷爷还亲，写诗吹捧
江青，没多久又跳出来欢呼粉碎四人帮。他，是郭沫若。”——这是大陆民间版本对郭
沫若的描述。
二者之间的差异如此巨大！让人们重新翻开历史的瞬间，来审视郭沫若的悲剧人生及其
带来的警示，才恍然大悟：郭沫若，... 阅读全帖 |
|
n**********5
发帖数: 1707 | 20 未来都是吃我饭。谓词在前，也就是调用函数：吃（我，饭）。 |
|
r*****t
发帖数: 4793 | 21 加州旅馆牛逼在于配器和演奏，歌词的境界不及American pie，所谓词无达诂，一旦落
脚在某种社会意义，也就失去了丰富感和繁复感，差一层了 |
|
c****x
发帖数: 6601 | 22 发信人: MoneyPort (MoneyPort), 信区: Programming
标 题: 王垠：我为什么不在乎人工智能
发信站: BBS 未名空间站 (Thu Apr 27 18:20:23 2017, 美东)
来源：王垠
www.yinwang.org/blog-cn/2017/04/23/ai
如有好文章投稿，请点击 → 这里了解详情
有人听说我想创业，给我提出了一些“忽悠”的办法。他们说，既然你是程序语言专家
，而现在人工智能（AI）又非常热，那你其实可以搞一个“自动编程系统”，号称可以
自动生成程序，取代程序员的工作，节省许许多多的人力支出，这样就可以趁着“AI
热”拉到投资。
有人甚至把名字都给我想好了，叫“深度程序员”（DeepCoder = Deep Learning +
Coder）。口号是：“有了 DeepCoder，不用 Top Coder！” 还有人给我指出了这方向
最新的，吹得神乎其神的研究，比如微软的 Robust Fill……
我谢谢这些人的关心，然而其实我并不在乎，也不看好人工智能。现在我简单的讲一下
我的看法。
机器一样的心
很多人喜欢鼓吹人工... 阅读全帖 |
|
发帖数: 1 | 23 有几个人知道吴文俊的。我个学CS的搞人工智能这么多年，也不知道/忘了吴文俊究竟
在谓词上搞了什么。
不要官本位。建国50周年10大成就第一是1+1。第二才是两弹一星。我不记得有吴的方
法。
在发考题眼里当然吴重要。徒子徒孙多可以提鞋。在民科眼里，张益唐牛多了。张需要
为吴提鞋么。也不用看共产党的脸色。 |
|
发帖数: 1 | 24 没法讲逻辑，众多的小前提永远无法满足，
根本没有逻辑，大前提从来都不存在。
谓词演算，去你个娘，我们现在玩的是量子态。
“有没有什么新项目？张教授从美国带回了源代码，开发出新产品，世界领先。”
“什么原代码？”
“星云全透明计算。”
“那个开源项目吗？”
“。。。。。。”
“哦，我想起来了，IBM最早开发，只有世界50强的实验室才能用。那段代码很高深，
是挪讲级的。”
晚上老张请我吃饭。 |
|
发帖数: 1 | 25 废话，麻痹的你有没有逻辑素养？当然要搞清楚谓词的具体意思，才能知道整个命题对
不对
你说说，乳交里什么叫“善”？
[在 OckhamT1 (奥卡姆剃刀) 的大作中提到：]
:我开头说的是，儒家错误的是认为人性是善的，这个论述和儒教对善的定义，有半毛
钱关系？
:敢同恶鬼争高下,不向霸王让寸分! |
|
n********g
发帖数: 6504 | 26 嗯。指导我毕业设计论文的这位名校计算机博士的导师是院士。院士的方向我就不说了
，太the one，会被人肉。
不懂马尔可夫在CS也不丢人。我们CS学的数学和其他理工专业都不一样。近世代数只能
算101。还要学学谓词逻辑、图灵机。 |
|
f**e
发帖数: 1269 | 27 我先写几个学校的面试流水帐吧，然后大概总结一下我的经验教训。再次警告：我--
很--罗--嗦！
Interview 1: 学校T
这个学校有phd program，所以我把它当作是research school。当时面试机会来得很快
，让我措手不及。走之前一天才做好slides，准备也不够充分，更要命的是，这是我这
一辈子第一个面试，所以彻底的惶恐紧张……
面试那天的安排真是让我觉得--情何以堪，情何以堪啊！回到hotel的时候是绝绝对对的
身心俱损，因为这一天我从早上7:15开始到晚饭为止，马不停蹄地见了17个老师，本科
生和研究生代表，外加dean，每个meeting20分钟，中间还穿插着跟系主任的N次重复面
谈。我面试前一天一晚上基本上没怎么睡着，心想我以前也熬过通宵，一个晚上不睡应
该没啥大问题，结果事实打了我一个响亮的耳光……
上午的面试我感觉很不错，我惴惴不安地坐在会议室里等老师进来，结果进来的几个老
师都非常友好，让我大为意外。他们基本上一直在跟我说funding,funding,fuding，告
诉我一些funding sources。我上午做了一个简短的teachin... 阅读全帖 |
|
l*****e
发帖数: 2447 | 28 孩子是确实没有因果关系的概念的样子，那，为什么还要给他灌输有因果关系概念的孩
子才能理解的概念呢？
你重复灌输，企图帮助他建立因果关系，效果出现了，他知道把书还给老师是惩罚了。
可是你有没有想过，我们看来简单的因果关系实际上是很复杂的。在你这个例子里面，
有道德伦理关系：“受惩罚是不好的”他理解了吗？有利益关系:“透过个人努力不受
惩罚是对自己较为有利的一种做法”，他明白了吗？其实还有更复杂的谓词逻辑关系：
“妈妈每次说某事是不好的，某事就是不好的，因此这次妈妈说这事不好的，那么这事
就是不好的”。我们大人对这些都take for granted了，小孩现在属于半懂不懂，你要
让他自己慢慢来嘛。他们有很强的从环境中直观学习的能力，假以时日就好了。
如果你非要绕过这些，企图以抽象的语言和规则来教他，是想走捷径？第一不适合这个
年龄的孩子，他们刚会说话哪。第二，你也太累了吧，第三从上面的分析可以看到我们
往往根本不知道哪些要教哪些不要教，第四关键是彻底不值当阿。你不是一个很幽默很
好玩的id吗，怎么这个事情这么认真呢？是逗我们当茄子倒还罢了，否则等他ready不
行吗？偷偷地说，我们孩子那... 阅读全帖 |
|
l*****8
发帖数: 16949 | 29 代数的符号化和逻辑的符号化是两回事。逻辑符号最基本的命题逻辑需要有 && 和 ||,
再往上到谓词逻辑就需要那个上下翻转的Ａ(any)和左右反转的Ｅ(exist),这个才算是
数理逻辑。
现在中学大学数学里用到的逻辑其实都不够严密，也没有上升到数理逻辑的层次。相反
计算机里用的逻辑更严密。Lambda calculus(函数式语言的基础）当年就是为了解决函
数定义的严密性提出来的。
么？ |
|
发帖数: 1 | 30 人类与动物的一个重要区别，是人类会设计和制造工具。现代意义上的计算机也是人类
创造的工具，已经一百多年历史了，在这段历史中，如果我们要让计算机来完成某件事
情，不管是简单的两数相加运算，还是复杂的自动驾驶无人汽车，就是先编程，给予事
先拟定的考虑各个场景的算法指导其执行。在这里，计算机并没有创造性，它们只能做
人类让它们做的事，机器所执行的所有操作，排除偶尔的一些bug所产生的麻烦，总体
结果都在人的掌控之中。我们可以将这样的过程总结为：算法+数据=结果。
在不知不觉中，因计算机技术而发展起来的机器学习已经逐渐进入我们的生活了，从其
发展趋势来看，大有渗透到各个领域、各个环节的可能。当我们拨弄智能手机搜索某段
文字或某幅图片，寻找晚餐地点，其实我们正在与机器学习算法进行交互。机器获得了
大量原始数据（甚至包括百科全书或报纸的全部存档），并对这些信息进行分析，可能
会采用人类分析师并不多见的模式，就是俗称的人工智能。如今的人工智能程序已经可
以模仿艺术大师画画、为政治家撰写演讲稿、参与体育赛事报导，甚至担任创意总监、
辅助医学研究等。还有，曾经让全球瞩目的Deepmind公司所开发的Al... 阅读全帖 |
|
c****d
发帖数: 3097 | 31 你这个逻辑完全不对
讨论耶稣存在不存在，实际上是讨论这个问题：
圣经上描写的耶稣的故事，是不是真实发生过？
讨论耶稣的品格，实际上是讨论这个问题：
按照圣经的描述，耶稣的事迹是不是表明他又很高的品格？
这俩问题是完全不矛盾的，犯逻辑错误的是你，而且是一个历史上很著名的逻辑错误，
基本上是基于滥用“存在”，把“存在”当作谓词使用。这个需要学习一下罗素的“描
述词”（或者摹状词）理论。 |
|
o******e
发帖数: 1001 | 32 维特根斯坦是分析哲学的天才，我没有看过他的书。但是看你的评论，怎么都是康德《
纯粹理性批判》的内容。
从康德的理论来说，1+1=2，不是重言式吧？重言式是之指谓词的意思已经包含在主语
里了，是分析命题。而1+1=2，是无论如何也不能从1或者+中推出2来，这也是康德说的
数学是综合的。 |
|
t**********k
发帖数: 511 | 33 读维特根斯坦（同一性）
维特根斯坦从逻辑上不承认同一性，否认同一性就必然得到这个世界是不可以被完全理
解的。
“在逻辑中，同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系
。就是说同一是两元谓词 "="，使得对于所有 x 和 y，"x = y" 为真，当且仅当 x 和
y 是同一个事物。”《维基百科》
《维基百科》这里讲的不够清楚，不过的确，弄明白不是一二句话的事。我就个人的理
解来细说一下。
一个东西（对象）等于自身，当然不错，比如刘备等于刘玄德。但这只是一个对象有两
个不同的名字，维特根斯坦并不会否认这种意义。而是说，不同的对象不能相等。这个
在逻辑上非常简单，两个完全一样的对象我们必然不能区分，那就不能说是两个对象，
只是一个，而所谓相等只能有“刘备等于刘玄德”那种意义。
当然，从经验上说，我们不能否认可能存在着一模一样的东西。比如我们不能否认存在
着两个完全一样的螺丝钉，因为我们不可能知道所有的螺丝钉，就不能否认这种可能。
但是，就算存在着这种可能，那只是一种偶然性，而偶然性是不能进入逻辑的。
或者这样... 阅读全帖 |
|
s**t
发帖数: 17016 | 34 你说的这个思想，也就是建立公理系统，是二十世纪初期，数学三大学派中两派所持的
信念。以希尔伯特为首的形式主义学派，就是要干你说的这个事，将整个数学公理化。
事实证明，这是行不通的。因为哥德尔不完全性定理出来了：
第一不完备性定理
任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中
既不能被证明也不能被否定。
第二不完备性定理
如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。
“不完备性的结论影响了数学哲学以及形式化主义（使用形式符号描述原理）中的一些
观点。我们可以将第一定理解释为“我们永远不能发现一个万能的公理系统能够证明一
切数学真理，而不能证明任何谬误”。第二定理的另一种说法甚至更令人不安：如果一
个（强度足以证明基本算术公理的）公理系统可以用来证明它自身的相容性，那么它是
不相容的。” |
|
r***u
发帖数: 1272 | 35 作为因为日和漫画而火起来的流行词汇“给力”，近日因新造的ungelivable而再次引
起关注，各语言版本的新造词（coinage）如雨后春笋般涌现。与此同时，严肃媒体《
人民日报》采用“给力”一词，也引起了轰动。但鄙人对这一现象总觉得有点别扭，现
试阐述如下。
一、汉语“给力”
1、意义和用法
随着“给力”一词在流行话语中的广泛使用，更尤其是《人民日报》11月10日头版新闻
标题使用了“给力”一词之后，相信不断发展的各类汉语语料库不久的将来就会收入该
词汇；进而可以推知，国家语委下一次公布的新词中会有该词，下一版修订的《现代汉
语词典》中出现该词也值得期待。关于该词的意义，大体的说法是：
a. 作为形容词，类似于“牛”、“很带劲”、“酷”。
用法如：“这课上得好枯燥，不给力呀！”、 “这BOSS真给力啊！”、“这装备真
给力啊！”……又如：“这个动画太给力了！”。尤其是当某个事件或某个现象给人以
强烈的刺激，让人精神为之振奋，例如dota里队友的犀利操作，内涵的歌曲或视频，
我们就说：“太给力了！”
b. 作为动词，相当于形容词动用，随着被网民（主要是DOTA玩家）用得越来越多，也
... 阅读全帖 |
|
l*3
发帖数: 2279 | 36 我觉得是这样, 如果你讨论 "有限的东西", 那造出一套体系应该是没问题的, 也就是
你那个formal logic可以做到. 但是你如果讨论 "无限的东西", 势必会带来问题, 目
前的计算机本质上是不能理解 "无限的列下去" 是什么意思的, 也就是说, 计算机不懂
"自然数", 这和目前计算机结构的局限性有关. 计算机上讨论的东西实际上都是 "有
限集", 在 "有限集" 的前提下, 所有问题都可以解决 (大不了全部列出来看看就是了)
.
逻辑中最基本的 "命题公式", "等值演算" 等概念, 都是建立在 "讨论的东西是有限的
" 这一前提下, 比如我们有命题p,q,r等等, 我们对其做逻辑运算 (基本的三种就是或,
与, 非), 我们只考虑有限次运算下出来的东西, 我们称运算出来的东西也是命题. 比
如 ((非(p且)q)或(r且(非p))) 等等, 直到这一步的东西, 计算机还是可以完全明白在
干什么的, 等值演算也不过就是把一个含有限个点的空间对应到 {真,假} 这个二元空
间上, 总是可以在有限步内列举的完.
但是到了更高一层的概念, 即一阶谓词逻辑的概念的时候, 就开始变... 阅读全帖 |
|
l*****8
发帖数: 16949 | 37 ZFC下所谓的"任意集合“，就是按照ZFC公理构造出来的集合才算。桌子板凳之类就不
算了。讨论当然是可以讨论的，而且写出来的公式都是一阶谓词逻辑表达式。
比如连续统假设就是: forall x( ||x||<=aleph_0 or ||x||>2^aleph_0)。 是一个
非常标准的表达式。
关于第二点，是你对连续统假设的独立性有误解。严格的说，连续统假设还没有被证明
。被证明的只是ＺＦＣ系统没法证明它的真假。实际上，连续统假设要么真，要么假，
但ZFC不是一个完备的系统，没法推导出世界上所有的为真的命题。
稍微展开点说，关于＂真假“有两个不同的概念，一个是语义的，就是在现实世界里为
真。另一个是语法的，也就是可以（在某个公理系统里）被证明。通常来说，一个公理
系统证明出来的在现实世界里都必须是真的。这个叫soundness.另一个方向是说，如果
如果所有现实世界里真的都能被证明，那这个系统就是完备的。（开个玩笑，孙维是不
是下毒的恐怕永远没法被证明了，但这件事一定要么真，要么假。所以我们的法律体系
是不完备的）。
回到歌德巴赫猜想，它可以被表达成一个没有歧义的公式，因此语义上说，它... 阅读全帖 |
|
f****p
发帖数: 18483 | 38 女士 + 福建人 + 复旦高才生 + 给劳公生３娃做家庭妇女 ==> 就知道她人品不差
各位看清楚了，还没有用一阶谓词逻辑呢。这个是个康粉专家系统典型的规则呀！ |
|
l*****8
发帖数: 16949 | 39 欧几里得几何不是完备的。如果是完备的就不会有非欧几何了。
完备的系统不能推出皮亚洛算术，简单的说就是连自然数都没法定义。几何包含的东西
已经太多了。最常提到的完备体系是一阶谓词逻辑，这个也是哥德尔证明的，叫哥德尔
完备性定理.只不过哥德尔的不完备定理更有名。 |
|
d****a
发帖数: 655 | 40 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: dukkha (沉浮颠倒之心), 信区: TrustInJesus
标 题: 程炼——上帝之死
发信站: BBS 未名空间站 (Fri Dec 7 14:47:21 2012, 美东)
1.卡拉马佐夫论题
宗教对人类生活的影响是显而易见的。世界上大大小小的宗教在数量上超过千种，
几乎所有的宗教都对道德生活提供了理解。人们要互惠地、和平地和繁荣地生活在一起
，需要各种明确或隐含的对相互行为的限定。在许多宗教的教义中，除了某些仪式上的
管理外，还有一些禁令。希伯来的《圣经》中包含上帝为人类行为建立的规范，在著名
的“摩西十诫”中，我们看到孝敬父母（第五条）、不可杀人（第六条）、不可奸淫（
第七条）、不可偷盗（第八条）、不可作假监证来陷害他人（第九条）、不可贪恋他人
的财产（第十条）这些诫命。东方宗教也有许多富含道德内容的条款，如佛教的“五戒
十善”中的五戒分别是：不杀生、不偷盗、不邪淫、不妄语、不饮酒。这些戒条所规范
的都涉及人类生活最基本的方面，如生命、性、财产、家庭、社会交往。许多学者干脆
把伦理和道... 阅读全帖 |
|
c***y
发帖数: 76 | 41 饰不可过，亦不可缺。
淡妆与浓抹，宜取相宜耳。
首饰不过一珠一翠一金一玉，疏疏散散，便有画意。
如一色金银簪钗行列，倒插满头，何异卖花草标。
服色亦有时宜，春服宜倩，夏服宜爽，秋服宜雅，冬服宜艳，
见客宜庄服，远行宜淡服，花下宜素服，对雪宜丽服。
吴绫蜀锦，生绡白柠，皆须褒衣阔带，大袖广襟，使有儒者气象。
然此谓词人韵士妇式耳。若贫家女典尽时衣，岂堪求备哉！
钗荆裙布，自须雅致。花钿委地无人收方是真缘饰。
-- 亦可居无竹 亦可食无肉 俗则随他俗 瘦也随他瘦 |
|
l*****f
发帖数: 13466 | 42 来自主题: ChineseClassics版 - 重湖叠巘清嘉 东南形胜，三吴都会，钱塘自古繁华。烟柳画桥，风帘翠幕，参差十万人家。云树绕堤
沙。怒涛卷霜雪，天堑无涯。市列珠玑，户盈罗绮、竞豪奢。 重湖叠巘清嘉。有三秋
桂子，十里荷花。羌管弄晴，菱歌泛夜，嘻嘻钓叟莲娃。千骑拥高牙，乘醉听箫鼓，吟
赏烟霞。异日图将好景，归去凤池夸。
这是小时读的第一首柳词望海潮, 在这以前只读过苏词 大江东去 之类. 据说要体会宋
词的好处, 柳词是应该读的. 读诗词是讲缘分的吧, “重湖叠巘清嘉。有三秋桂子，十
里荷花。”觉得很美, 读起来音律节奏也好, 此后一直都很喜欢柳词. 后来看了那个著
名的故事, “少游自会稽入都见东坡，东坡云：“不意别后，公却学柳七作词。”少游
曰：“某虽无学，亦不如是。”东坡曰：“‘销魂当此际’非柳七语乎？”” 有点儿
不忿, 虽然苏大胡子向来我是很景仰的. 东坡老兄,似乎颇对柳永有偏见了. 当然也不
只是他一个, 当时士大夫大多以为柳词俗, 牵涉到所谓词的俗, 雅之辩. 士大夫作词
多抒写”雅人深致”, 即使写艳情也多含蓄委婉, 柳永则用些俗字, 写的通俗浅露. 写
离别, 柳永说, “执手相看泪眼”, “多情自古伤离别”, 而秦 |
|
h*h
发帖数: 27852 | 43 下面是我的理解。一些来自各学校的归纳
（拉塞尔等），有些可能是完全错误的。
有两种方法来认识世界：归纳和演绎。
首先是逻辑。这既不是归纳，也不扣除。逻辑（如
三段论）给出的规则/法律做扣除。肯定有
逻辑分类，如命题逻辑，谓词逻辑等，但
在一般情况下，逻辑不会直接了解世界，但给我们的工具
了解世界。
=公理+数学推导。公理来自诱导。从平行公理，
你欧几里德几何。在这里，从平行公理是诱导，而所有
其余的都是从扣除。 U可以摆脱平行公理，然后你
非欧几里得几何。无论是欧氏也非欧几里得几何是一
物质的存在。这是我们对世界的认识。在旧时代，
经验表明欧几里德准确描述了我们的世界。晚，人
认识到，我们的世界是非欧几何，但黎曼。这不会改变
逻辑和演绎的。这只是改变我们的感应！
科学=感应。所有的法律，从最基本的诱导，如
牛顿定律。您可以扣减后的一些基本法律（其中来自
归纳），但本质上，科学归纳。因此，不存在
绝对科学的真正。科学，数学公理一样，只能
伪造的。与世界上更多的观察，我们可以引导新的基本
法律，违背旧的基本法律。这是捏造。我们可以
代替牛顿的万有引力定律的广义相对论。但扣除额从
重力法律是... 阅读全帖 |
|
l*****d
发帖数: 7963 | 44 王力诗词格律
第一章 关于诗词格律的一些概念
第一节 韵
韵是诗词格律的基本要素之一。诗人在诗词中用韵，叫做押韵。从《诗经》到后代
的诗词，差不多没有不押韵的。民歌也没有不押韵的。在北方戏曲中，韵又叫辙 。押
韵叫合辙。
一首诗有没有韵，是一般人都觉察得出来的。至于要说明甚么是韵，那却不太简单
。但是。今天我们有了汉语拚音字母，对于韵的概念还是容易说明的。
诗词中所谓韵，大致等于汉语拚音中所谓韵母。大家知道，一个汉字用拚音字母拚
起来，一般都有声母，有韵母。例如“公”字拚成gōng，其中g是声母，ōng是韵母。
声母总是在前面的，韵母总是在后面的。我们再看“东”dōng，“同”tóng，“隆”
lóng，“宗”zōn g，“聪”cōng等，它们的韵母都是ong，所以它们是同韵字。
凡是同韵的字都可以押韵。所谓押韵，就是把同韵的两个或更多的字放在同一位置
上。一般总是把韵放在句尾，所以又叫“韵脚”。试看下面的一个例子：
书湖阴先生壁 ／[宋]王安石
茅檐常扫凈无苔（tái），
花木成蹊手自栽（zāi）
一水护田将绿遶，
两山排闼送青来（l... 阅读全帖 |
|
o**********e
发帖数: 26 | 45
你倒是又教了我点东西.我一直没理解,现在哲学怎么转到
谓词之类的东西上去了.现在,我有点理解了.
呵呵...
这个问题又成了,因为他占有更多的资源所以是"强者",还是因为是"
强者"
才占有了更多的资源.还有,这个资源是指具体的物质呢,还是包括
其他的如,各种能力?
同意!
呵呵....
"释放智慧",也是"个人意志"的体现了, 呵呵....
不过,我怎么以己推人,觉得,人是为了"快乐"而活着的.
"释放智慧"似乎也可以归结为"快乐"
可我定义不了什么是快乐,快乐的作用是什么?
每个人快乐的原因不一样.
呵呵....
可以探讨一下? |
|
v*******e
发帖数: 1715 | 46 在我看来.逻辑有两种:1是数理逻辑,就是大家经常用的A,B,~!=>与或非逆否等等,其考察
的是从A能否得出B. N阶谓词逻辑,应该也是这里面的.
另一种是形式逻辑,考察的是人的思维方式,他关心的是:因果,假设,断言,整体,局部,
加强,削弱,支持
注意,前者不关心因果关系,也难以得出"支持,削弱"这样的结论.
前者大家在学校里学的多,而其实GRE逻辑分析大题里很多考的是后者.后者在国内好象没有
系统教授(在我看来是愚民政策!) |
|
T*******r
发帖数: 333 | 47 “无穷大+1=无穷大”中的“=”只是一个符号，我们称作谓词，它描述了元素之间的关
系。在这个表达式中，“=”的概念是“对应”而不是其常用含义：“数值上的相等”
。理论上，完全可以把“无穷大+1=无穷大”中的“=”换成其他的符号，比如“<->”
，“对应”，“@”，只要定义这些符号的含义是“对应”，那么“无穷大+1=无穷大”
和“无穷大+1<->无穷大”“无穷大+1对应无穷大”以及“无穷大+1@无穷大”在数学上
是等价的。我不知道谁教你“无穷大+1=无穷大”的概念（你的小学老师？），我只知
道他（她）教你的时候没有教好，没有明确告诉你“=”的意思是对应，导致你还是认
为这个表达式中的“=”含义依然是通常意义上的数值相等。而你自己也不会多学习一
下，以至于这个错误的概念遗留至今。
如果“=”含义是对应，那么“无穷大+1=无穷大”，和“0=1”都是合乎定义的表达，
前者是通用的，后者则是通用的规则体现在具体的两个元素上。
你用反证法，认为“0=1”是错误的，恰恰表明你认为“无穷大+1=无穷大”中“=”的
含义是“数值相等”，这是你自己的理解错误。
你还嘲笑民科。说实话，谁才是民科呢？ |
|
d****a
发帖数: 655 | 48 1.卡拉马佐夫论题
宗教对人类生活的影响是显而易见的。世界上大大小小的宗教在数量上超过千种，
几乎所有的宗教都对道德生活提供了理解。人们要互惠地、和平地和繁荣地生活在一起
，需要各种明确或隐含的对相互行为的限定。在许多宗教的教义中，除了某些仪式上的
管理外，还有一些禁令。希伯来的《圣经》中包含上帝为人类行为建立的规范，在著名
的“摩西十诫”中，我们看到孝敬父母（第五条）、不可杀人（第六条）、不可奸淫（
第七条）、不可偷盗（第八条）、不可作假监证来陷害他人（第九条）、不可贪恋他人
的财产（第十条）这些诫命。东方宗教也有许多富含道德内容的条款，如佛教的“五戒
十善”中的五戒分别是：不杀生、不偷盗、不邪淫、不妄语、不饮酒。这些戒条所规范
的都涉及人类生活最基本的方面，如生命、性、财产、家庭、社会交往。许多学者干脆
把伦理和道德植入对宗教的定义之中。英国诗人、社会批评家马修?阿诺德( Mathew
Arnold)说，“宗教是被感情所拔高、所激发、所陶醉的伦理”。法国社会学家涂尔干(
Emile Durkheim)是这样定义宗教的：“宗教是一个与神圣事物相关的信仰和实践的统
一系统... 阅读全帖 |
|
n********n
发帖数: 8336 | 49 逻辑学基本原理[编辑]
同一律（the law of identity）
事物跟其自身相等同，“自己”不能“不是自己”。
矛盾律（the law of contradiction or the law of non-contradiction）
事物不能同时“是”跟“不是”。是就是，不是就不是。
排中律（the law of excluded middle）
事物只能有“是”或“不是”两种状态，不存在其他中间状态。
充足理由律（the law of sufficient reason）
任何事物都有其存在的充足理由。
逻辑系统的性质[编辑]
逻辑系统可具有下列性质：
有效性（validity）
依系统的推理规则，若所有前提皆为真则结论必为真（保真）。所有命题之前提皆语义
蕴涵（semantic consequence）结论。
自洽性（consistency）
系统中任一定理都不与其他定理相矛盾。不存在命题P，P和非P皆可在系统中证明。
可靠性（soundness）
系统中所有定理（有效且可证明的命题）皆为真。可靠性与完备性互为逆命题。
完备性（completeness）
系统中不存在无... 阅读全帖 |
|
n*****5
发帖数: 27 | 50 2001年（上）
岁月如飞刀，没想到转眼已到了2008年，距离98年入校，这已经是第10个年头了。10年
光阴，时光匆匆流过，可大学里发生的那些人和事仿佛还发生在昨天。每逢新生入学的
时候，西门口就会挂上一个大红横幅，上书：今日你以西大为荣，明日西大以你为荣。
那个时候我们觉得这个有点好笑，以至于互相调侃，又编了个截然不同口号。10年过去
了，西大当然不会以我为荣。我们，是否以西大为荣？这个好像也不是很清楚，因为说
起西大，外省的人了解的还真是不多。不过，西大人的确是将伴随我们终身。在校的时
候，我们曾无数次嘲笑和抱怨西大的条件，效率低下的行政机构，严厉得辅导员，各种
规章制度，觉得西大这也破，那也破，毫无是处。不曾想，离开以后，才发现，我们的
心其实早已驻留在西大这一方小园子中。
我依然能清晰地记得98年那个炎热的夏天，我拖着行李站在西大西门的情形。往事仍然
历历在目，当年意气风发的同学们啊，现在早已各奔东西了。他们在那里呀？他们都老
了吧…
2001年是我大三的下学期了，是我在西大这个小小的园子的第3个年头。就连宿舍的大
锁因为常被我们用来砸钉子，也已经是满目疮痍。
因为是大学3年... 阅读全帖 |
|
