en-us Sun, 19 Apr 2026 01:18:02 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373410 逻辑学是什么？ Wed, 25 Jan 2023 16:32:31 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373410 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373522 为什么通常认为逻辑学是发源于古希腊而非古代中国和古代印度？ Thu, 26 Jan 2023 11:26:31 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373522 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373663 逻辑学之重要性（及对其在中国被轻视之原因初探） Fri, 27 Jan 2023 13:45:12 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373663 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373739 为什么在逻辑学中存在有如此众多的不同逻辑系统？ Sat, 28 Jan 2023 06:29:34 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373739 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373841 不开设数理逻辑课程的计算机系是否是世界一流的？ Sat, 28 Jan 2023 15:18:33 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373841 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373991 条件句：逻辑学中的最核心概念及最大难题 Sun, 29 Jan 2023 16:00:13 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1373991 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375008 以ChatGPT为代表的无偿式概率式自动生成工具之滥用将给人类社会带来什么后果？ Mon, 06 Feb 2023 07:05:26 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375008 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375458 形式理论：将形式逻辑系统应用于具体对象领域的逻辑基础 Thu, 09 Feb 2023 06:20:09 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375458 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375633 ChatGPT 的原理局限性：它永远不会做什么？ Fri, 10 Feb 2023 09:28:06 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375633 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375761 ChatGPT“智能”测试：ChatGPT 对相关性逻辑谬误的判断 Sat, 11 Feb 2023 10:16:11 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1375761 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1376282 ChatGPT“智能”测试：ChatGPT 对逻辑学基本概念的“理解掌握”程度 Wed, 15 Feb 2023 07:31:26 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1376282 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1376887 ChatGPT“智能”测试：请您问问 ChatGPT 您自己的成就 Sun, 19 Feb 2023 06:08:12 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1376887 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1377477 ChatGPT“智能”测试：ChatGPT 对逻辑谬误拉丁文名称的“解释” Thu, 23 Feb 2023 05:28:56 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1377477 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1377949 ACM 图灵奖历届获奖者 -- 1966-1970 Sun, 26 Feb 2023 06:58:06 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1377949 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1379351 论“创造/创作/创新”及 AIGC 工具的“创造性” Wed, 08 Mar 2023 07:07:12 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1379351 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1383510 ACM 图灵奖历届获奖者 -- 1971-1975 Sun, 09 Apr 2023 09:14:25 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1383510 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1383722 何谓“计算”？ -- 可计算性理论简介 Tue, 11 Apr 2023 06:57:38 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1383722 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1385581 从“数据”与“信息”的概念之差看 AIGC 工具衍生数据对人类社会的影响 Mon, 24 Apr 2023 12:37:01 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1385581 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1386359 人工智能永无可能超越人类智能 Mon, 01 May 2023 06:09:03 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1386359 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387181 推理与证明之不同 Mon, 08 May 2023 07:18:24 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387181 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387359 对 Hinton 的AI恐惧论观点之评论 Tue, 09 May 2023 14:29:02 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387359 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387593 逻辑学必然是AIGC时代各类教育中的最关键科目/内容 Thu, 11 May 2023 10:16:07 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387593 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387801 “人工智能永无可能超越人类智能”的观点错在哪里？ Sat, 13 May 2023 07:36:37 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1387801 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1388000 相关逻辑的创始者 – 阿克曼 Mon, 15 May 2023 05:58:36 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1388000 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1388570 威胁人类文明生存的不可能是AI而只能是人类自己 Fri, 19 May 2023 07:50:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1388570 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1389160 “PM及相关系统的形式不可判定命题”（1）- 哥德尔不完全性定理的历史背景与内容 Wed, 24 May 2023 07:58:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1389160 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1390821 王浩先生论做学问 Wed, 07 Jun 2023 07:15:37 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1390821 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1391582 “PM及相关系统的形式不可判定命题”（2）- 哥德尔不完全性定理的涵义及有效范围 Tue, 13 Jun 2023 07:18:29 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1391582 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1392136 强相关逻辑及其应用（上） Sun, 18 Jun 2023 06:58:29 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1392136 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1395610 《相关逻辑与人工智能》教学大纲 The Syllabus of “Relevant Logic and AI” Mon, 17 Jul 2023 05:08:35 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1395610 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1396519 现代逻辑之未来 – 从相关逻辑到量子逻辑（纲要） Tue, 25 Jul 2023 06:08:31 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1396519 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398321 强相关逻辑及其应用（中） Wed, 09 Aug 2023 05:08:36 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398321 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398841 强相关逻辑及其应用（下） Sun, 13 Aug 2023 05:08:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398841 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398934 强相关逻辑及其应用（简约版） Mon, 14 Aug 2023 06:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1398934 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1399652 形象思维、抽象思维及逻辑思维 Sun, 20 Aug 2023 05:08:29 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1399652 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1399958 如何培育和提高逻辑思维能力？ Wed, 23 Aug 2023 06:58:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1399958 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400211 ChatGPT“智能”测试：试让ChatGPT创造新概念 Fri, 25 Aug 2023 05:08:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400211 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400661 哲学逻辑(1) – 何谓“哲学逻辑”？ Tue, 29 Aug 2023 05:08:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400661 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400788 哲学逻辑(2) – 模态逻辑 Wed, 30 Aug 2023 05:08:40 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1400788 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1402185 对 Sam Altman 关于AGI及GPT-10之预言的批评 Mon, 11 Sep 2023 08:28:31 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1402185 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1406576 实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现 Fri, 20 Oct 2023 08:59:33 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1406576 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1407007 为什么说逻辑推理能力是人类智能中最基本的能力？ Tue, 24 Oct 2023 08:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1407007 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1407615 人工智能应用主体问题实例 -- 究竟是谁预测了蛋白质结构？ Sun, 29 Oct 2023 08:05:52 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1407615 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1409952 人工智能应用中的行为主体问题实例 -- Google DeepMind 关于AGI模型分类框架中的问题 Fri, 17 Nov 2023 06:58:23 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1409952 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1413295 人工智能应用中的行为主体问题实例 -- Geoffrey Hinton 对人工智能技术发展之担心与恐惧的哲学根据在哪里？ Mon, 11 Dec 2023 06:58:16 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1413295 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1414559 “干粮”与“猎枪” vs “How”与“Why” -- 清华园随笔(2) Wed, 20 Dec 2023 06:58:09 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1414559 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1414890 “8-1>8” 与软件系统研发 -- 清华园随笔(4) Fri, 22 Dec 2023 09:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1414890 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1415642 人类应该如何面对由 AIGC 工具生成内容带来的困惑？ Thu, 28 Dec 2023 10:58:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1415642 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1415723 《纽约时报》起诉 OpenAI及MS 案件的社会影响 Fri, 29 Dec 2023 06:58:09 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1415723 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417545 形式逻辑系统中逻辑归结关系的形式化定义方法 Fri, 12 Jan 2024 08:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417545 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417750 关于哈工大“副教授非升即走”新规的疑问和猜测 Sat, 13 Jan 2024 13:58:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417750 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418812 世界高等教育：让合适的教授讲授合适的课程，让合适的学生学习合适的课程 Sun, 21 Jan 2024 13:58:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418812 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1419498 对ChatGPT与文心一言进行的逻辑推理“智力”测验 Sat, 27 Jan 2024 06:18:20 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1419498 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1419710 如何避免无意中的学术不端/造假？ Wed, 19 Apr 8699 17:06:45 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1419710 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1436902 逻辑学家罗素谈“中国人的品格”，兼论AIGC工具的数据污染问题 Sun, 19 Apr 9503 17:17:53 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1436902 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1446088 201条软件开发经验原则 Wed, 19 Apr 4699 17:23:41 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1446088 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1448834 对“东大已经落后于清华”一文之评论中的逻辑谬误 Fri, 30 Aug 2024 09:58:13 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1448834 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1450135 指导软件工程过程及实践的16条核心原则 Sun, 08 Sep 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1450135 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1452578 智能：具体智能和抽象智能，个体智能和群体智能，以及人工智能之天花板 Wed, 25 Sep 2024 09:58:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1452578 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1453005 他山之石：获得诺贝尔奖、菲尔茨奖、沃尔夫数学奖的日本学者 Mon, 19 Apr 5497 17:27:47 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1453005 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1453303 形式化规格描述语言Z Mon, 30 Sep 2024 09:18:08 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1453303 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1456651 “逻辑”与“逻辑学”(2) -- 欧美名人的“逻辑/逻辑学”用例 Wed, 23 Oct 2024 18:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1456651 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1456862 “哥德尔不完全性定理”误解误用实例分析(4) - 所谓“数学公理化”的谬误 Fri, 25 Oct 2024 06:18:25 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1456862 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1463485 对徐英瑾之“主流人工智能批判”的批判 Mon, 09 Dec 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1463485 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1464633 通过基于强相关逻辑的正向推理自动生成海量合理经验定理 - 对LLM预训练数据枯竭问题的一个解决方案 Wed, 19 Apr 3516 17:34:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1464633 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1478704 现代模态逻辑的创始者之一 - 刘易斯 Wed, 19 Apr 2293 17:42:55 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1478704 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1478762 希望阅读本人科普文章的网友，请关注微信公众号“数理逻辑与哲学逻辑” Fri, 19 Apr 8869 17:43:00 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1478762 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1416702 逻辑学对于发现与预测的重要性 -- 兼论美国国家三院特设委员会的数字孪生基础研究需求报告 Tue, 19 Apr 6089 17:04:40 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1416702 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417042 也谈“新型研究型大学应该怎么办？” Mon, 08 Jan 2024 08:58:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1417042 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418095 日本国立大学人事招聘制度简介 – 他山之石 Tue, 16 Jan 2024 06:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418095 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418672 悖论集锦 (1) –- 逻辑学中也有悖论意味着什么？ Sat, 20 Jan 2024 08:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1418672 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1425766 悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题（上） Mon, 18 Mar 2024 08:58:06 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1425766 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1430154 悖论集锦(2) –- 作为逻辑学中最大难题的蕴涵悖论问题（下） Wed, 19 Apr 9493 17:13:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1430154 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1434210 关于高校“非升即走”制度给“青椒”们的建议 Wed, 15 May 2024 15:28:20 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1434210 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1435893 相关逻辑 (1) - 背景和前史 Tue, 28 May 2024 08:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1435893 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1437402 相关逻辑 (2) - 创建 Sun, 09 Jun 2024 06:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1437402 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1438605 相关逻辑 (3) - 特征 Tue, 18 Jun 2024 06:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1438605 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1439596 相关逻辑 (4) - 形式语言 Tue, 25 Jun 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1439596 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1439739 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(1) - 背景及内容 Wed, 26 Jun 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1439739 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440186 自动定理发现领域的创始者 - 沃斯 Sat, 29 Jun 2024 06:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440186 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440316 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(2) - 理论基础及有效范围 Sun, 30 Jun 2024 08:18:20 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440316 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440713 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(3) - 意义 Wed, 03 Jul 2024 06:18:16 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1440713 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1441302 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(4) - 误解误用的一般性原因 Fri, 19 Apr 0712 17:20:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1441302 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1442253 准确地理解哥德尔不完全性定理“关于PM及相关系统的形式不可判定命题”(5) - 一些相关事实 Mon, 15 Jul 2024 06:18:11 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1442253 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1442713 “哥德尔不完全性定理”误解误用实例分析(1) Thu, 18 Jul 2024 06:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1442713 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1443198 “哥德尔不完全性定理”误解误用实例分析(2) - 扯上人工智能的谬误 Sun, 19 Apr 0296 17:22:00 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1443198 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1443784 研究生教育及学位授予制度应该到改革之时了(讨论稿) Fri, 26 Jul 2024 06:18:21 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1443784 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1444198 “哥德尔不完全性定理”误解误用实例分析(3) - 扯上人工智能的谬误 Mon, 29 Jul 2024 08:21:56 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1444198 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1445104 相关逻辑 (5) - 形式化公理系统 Mon, 05 Aug 2024 08:18:20 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1445104 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1446559 从“准确计算”到“随便计算” - AIGC带来的计算应用模式改变 Thu, 15 Aug 2024 06:18:19 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1446559 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1447322 David Hooker 的着眼于整个软件工程实践的七项基本原则 Tue, 20 Aug 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1447322 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1448260 大语言模型悖论 Mon, 26 Aug 2024 15:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1448260 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1451097 OpenAI o1 的“昂贵推理”之用途？ Sat, 14 Sep 2024 09:18:18 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1451097 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1452771 为什么软件工程师必须知道形式化方法？ Thu, 26 Sep 2024 13:16:12 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1452771 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1454472 从 Hinton 获得诺贝尔物理学奖引发的疑问 Mon, 19 Apr 9897 17:28:44 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1454472 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1454905 “逻辑”与“逻辑学” (1) -- 起源、定义、异同 Sat, 12 Oct 2024 08:18:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1454905 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1457785 “逻辑”与“逻辑学”(3) -- 中国名人的“逻辑/逻辑学”用例 Thu, 31 Oct 2024 08:18:27 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1457785 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1458554 “逻辑”与“逻辑学”(4) -- “逻辑学”是怎样的一门科学？ Tue, 05 Nov 2024 06:18:09 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1458554 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1460471 如何高效地获得大语言模型的海量训练数据？ Mon, 18 Nov 2024 06:18:16 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1460471 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1460949 何谓“计算机”？ Thu, 21 Nov 2024 08:18:16 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1460949 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1461498 “逻辑”与“逻辑学”(5) -- “逻辑学”的理性或经验性（“量子力学的逻辑”为例） Mon, 19 Apr 6697 17:32:48 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1461498 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1462156 哲学逻辑(3) – 量子逻辑学(Quantum Logic) Fri, 29 Nov 2024 08:18:16 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1462156 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1463116 现代规范逻辑的创始者 - 冯·赖特 Sun, 19 Apr 4364 17:33:44 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1463116 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1464870 为什么现在的量子计算装置不能被称为“计算机”？ Thu, 19 Apr 8356 17:34:48 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1464870 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1465584 状况理论及状况语义学的创始者 - 巴怀斯 Mon, 23 Dec 2024 06:38:15 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1465584 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1466554 论“幻觉”的误用及大语言模型的正确使用（上） Mon, 19 Apr 7897 17:35:51 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1466554 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1467533 现代时态逻辑的创始者 - 普莱尔 Mon, 06 Jan 2025 06:38:17 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1467533 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1469667 科学研究规划及实践(1) - 讲座介绍 Tue, 19 Apr 5808 17:37:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1469667 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1476222 将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利 Thu, 06 Mar 2025 13:18:39 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1476222 https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1477462 人工智能应用主体问题 -- 人工智能有可能脱离人类行为主体吗？ Fri, 14 Mar 2025 09:57:58 GMT https://blog.sciencenet.cn/home.php?mod=space&uid=2371919&do=blog&quickforward=1&id=1477462