不知道这篇要不要PO去逻辑版 课本上的范例: 每一个大一学生都不认识任何大二学生 每一个大二学生都认识陆存仁 黄孝文是大一学生而陆存仁是足球选手 ------------------------------------ 有的足球选手不是大二学生 1 令: F (一元述词): 大一学生 2 K (二元述词): 认识 a : 陆存仁 b : 黄孝文 1 P (一元述词): 足球选手 论证可以写成: 1 1 2 (x)[F x-->(y)(S y-->-K xy)] 1 2 (x)(F x-->K xa) 1 1 F b 且(这个记号电脑打不出来) P a ------------------------------------- 1 1 [Ex(反Ex，这个记号电脑也是打不出来)](P x且-S x) 推论如下: 1 1 2 [1] (1) (x)[F x-->(y)(S y-->-K xy) : P 1 2 [2] (2) (x)(F x-->K xa) : P 1 1 [3] (3) F b且P a : P 1 1 2 [1] (4) F b(y)(S y-->-k by) : US (规则) 1 2 [1，3] (5) (y)(S y-->-K by) : 3,4, SI (规则) 1 2 [1，3] (6) S a-->-K ba : US 1 2 [2] (7) F b-->K ba : US 1 1 [1，2，3] (8) P a且-S a : 3,6,7, SI 1 1 [1，2，3] (9)(反E) (P x且-S x) : EG 故得证之 逻辑就是要把日常语言精确的翻译成数学形式 简单说一下:(算小八卦吧) 亚里斯多德有创造一套逆否命题之类的和有三段论证 到了中世纪，西方残留亚里斯多德的东西只剩下亚里斯多德的逻辑和修辞学 圣多马斯也有把他精致化 过了中世纪到文艺复兴，亚里斯多德非逻辑的其他东西才重新传回来西方世界 也就是现在看到的文本... 到了近代弗雷格为了替数学找基础，所以转而向逻辑寻找根源 但在逻辑问题上又会碰到语言之类的问题，所以他的逻辑有一堆判断真假值的东西 但他处理完这个後就放手没什麽在管 罗素接着他的工作，後来维根斯坦去找弗雷格的时候，弗雷格要他去找罗素 也就是如此维根斯坦才跑去英国 现在看到的逻辑，是从维根斯坦，罗素，维也纳学圈他们弄出来的 後来影响了人工语言和人工智慧这些东西... -- --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.117.179.55 ※ 编辑: kuopohung 来自: 140.117.179.55 (05/04 23:28) 以实际例子来向pride829说明逻辑是什麽? 在干麻? 之类的... 至少到了圣多马斯年代，亚里斯多德在西方流传下来的只有逻辑和修辞学而以吧 我只是要说明，弗雷格起个开头，但他兴趣不在这里，後来的工作由罗素他们接手 应该吧 圣多马斯拿潜质说来论证上帝和五路论证其实都是亚里斯多德的翻版 我指的是语言 → pride829:我也是没一个专精上面那些东西 最多平时看些科普 05/02 23:50 → pride829:现在看到有人说我盲从我当然感冒了 05/02 23:51 → pride829:虽然不知道这跟主题有什麽关系 但哲学到底什麽时候 05/02 23:51 → pride829:帮到科学来着?我以为实验精神就是要排除那些文字的玩意 05/02 23:51 其实放个大绝，所有的学科都是从哲学分化出来的这就够了 不过会一整个离题就是了 推 pride829:其实我觉得我们常常发生的情况:某人提出A论点 05/03 19:25 → pride829:然後另外一个人提出B论点 并没有反驳到A论点 接着就 05/03 19:25 → pride829:开始战起B来 然後彼此都看不太懂对方在讲什麽 05/03 19:25 → pride829:另外我说的排除文字是指口语化的那些东西 楼主说的没错 05/03 19:26 → pride829:公式当然一定要文字来表达阿 05/03 19:27 主要是在回这里 你讲的不是逻辑 PS:语言哲学也有在讨论这块 推 pride829:如果有这种人的话确可称为愚蠢 不过这种人好像不多吧 05/03 00:02 → pride829:呃 关於物理学或是什麽高深的玩意不是不懂就是谦虚的人 05/03 00:02 其实拿一堆东西: <<欧洲的科学危机>><<启蒙的辩证>><<科学革命的结构>> 等等...之类的也可以回吧 → pride829:会师心自用的应该只有推销生机饮食之类的家伙...嘿嘿 05/03 00:03 → pride829:再不然就是什麽气功大师之类的 05/03 00:04 → pride829:我不是说都是假的 不过九成九都是伪科学 还嘴硬 05/03 00:04 这里的话 你应该先去了解 实证主义-->逻辑实证主义-->否证论-->科学历史主义-->科学无政府主义-->etc.. 脉络和起源 如何谈论和批判科学的... 好了，您该去读书了 没有意外的话，他是在美国念博班，主攻逻辑和英美分析这一块 我讲的东西刚好是他的专长 自己是念欧陆的，作的是政治哲学的东西 分析和进阶逻辑我不熟 基础逻辑是大一必修，语言哲学刚好这学期有课去旁听 对这块领域只是沾酱油而已 ※ 编辑: kuopohung 来自: 140.117.179.55 (05/05 19:48)