“普通唯理语法” - Antoine Arnauld，Claude Lancelot 2023-01-30

“ 普通唯理语法（ Grammaire générale et raisonné ， Grammaire de Port-Royal ） ” 是西方语言学史上的一部重要著作，以清晰自然的方式解释说话 ...

(169)次阅读|(0)个评论

“前提（prémisse）” 术语溯源 2023-01-26

一个 “ 前提（ prémisse ） ” 是一个命题，一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa ： prae （向前），和 mittere （发送 ...

(446)次阅读|(0)个评论

Richard Whately 与“逻辑学要素”（Elements of Logic） 2023-01-24

Richard Whately （ 1787-1863 ），英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家，还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广 ...

(294)次阅读|(0)个评论

用一个音节的字解释哥德尔第二不完全性定理 - George Boolos 2023-01-21

一，译文 用一个音节的话解释哥德尔第二不完全性定理  - George Boolos 首先，当我说 “ 证明 ” 时，我的意思是 “ 在整个数学 ...

(385)次阅读|(0)个评论

希尔伯特计划（Hilbert’s Program） 2023-01-21

在数学领域，希尔伯特计划（ Hilbert’s Program ）是由德国数学家大卫 - 希尔伯特（ David Hilbert ）在 20 世纪早期制定的，是对数学基础危机的一种 ...

(345)次阅读|(0)个评论

乔治-布洛斯 (George Boolos) 2023-01-19

乔治 - 布洛斯 (George Boolos ， 1940 – 1996) ，美国哲学家和数理逻辑学家，曾在麻省理工学院任教。 Boolos 是希腊 - 犹太后裔。他在雷 ...

(412)次阅读|(0)个评论

数学是“问题求解”还是“定理理证明”? - Carlo Cellucci 2023-01-18

Is Mathematics Problem Solving or Theorem Proving? 数学是 “ 问题求解 ” 还是 “ 定理证明 ...

(235)次阅读|(0)个评论

2023年“世界逻辑日”：倡议重读哥德尔1931年论文 2023-01-14

2020年1月14日“世界逻辑日”创建之际，联合国教科文组织总干事奥黛丽-阿祖莱女士致辞  : 为了提高人们对逻辑的重要性的认识，教科文组织宣布1月14 ...

(837)次阅读|(6)个评论

查看更多