算术基础 算术基础 8.6分

重新推导第四小节里定义数字的方式

PEAR
顺着Frege的思路重新推导了一下第四小节里定义数字的方式,用英文是因为意思比较清楚,也是为了自己看笔记。可以推测, frege的推导为现代计算机语言提供了原型。他的主旨是,我们不需要知道数字本质上到底是什么,也不需要知道人是怎样发现数字和算数法则的。我们只需要一套稳定的定义,一套规则来遵循,数字和算术法则就能够被当作一套完全机械的程式来用。frege理论的基础是概念,也就是下文中的concepts。要说成功之处的话,计算机的发展已经让这个问题无需质疑。但是问题是,假设没有人类,概念存在的意义是什么呢?概念还有意义(Sense/Sinn)吗?假设机器并不能理解真/假的区分,只是纯粹根据电路来执行程式而已,它们能懂逻辑的意义吗?
短评中有把frege的理论理解成2=1+1,或者数字是由数数或者从直觉而来,或者是从现实世界里的物体抽象化而得到的——这些说法都是错的,恰恰是frege想要推翻的理论。frege想说的是,无论数字和算数法则是怎样发现的,现在我们就是可以发明这一套客观严格的体系来让一台完全没有感知的机器来做算数。

Frege’s basic terminology: logic includes all denoting expressions. Its elements include simple/complex denot...
显示全文
顺着Frege的思路重新推导了一下第四小节里定义数字的方式,用英文是因为意思比较清楚,也是为了自己看笔记。可以推测, frege的推导为现代计算机语言提供了原型。他的主旨是,我们不需要知道数字本质上到底是什么,也不需要知道人是怎样发现数字和算数法则的。我们只需要一套稳定的定义,一套规则来遵循,数字和算术法则就能够被当作一套完全机械的程式来用。frege理论的基础是概念,也就是下文中的concepts。要说成功之处的话,计算机的发展已经让这个问题无需质疑。但是问题是,假设没有人类,概念存在的意义是什么呢?概念还有意义(Sense/Sinn)吗?假设机器并不能理解真/假的区分,只是纯粹根据电路来执行程式而已,它们能懂逻辑的意义吗?
短评中有把frege的理论理解成2=1+1,或者数字是由数数或者从直觉而来,或者是从现实世界里的物体抽象化而得到的——这些说法都是错的,恰恰是frege想要推翻的理论。frege想说的是,无论数字和算数法则是怎样发现的,现在我们就是可以发明这一套客观严格的体系来让一台完全没有感知的机器来做算数。

Frege’s basic terminology: logic includes all denoting expressions. Its elements include simple/complex denoting objects such as “π,” or “John,” and sentences;
What does “falling under a concept” mean? For Frege, concepts are functions which map every argument to a truth value (The True or The False). For example, the sentence “( ) > 2” denotes the concept “being greater than 2.” The verb phrase “is prime” is a function P( ) that maps all primes to The True and others to The False. “Falling under a concept” means a simple predication. Given the sentence “John is happy,” “John” falls under the concept “( ) is happy.” (from SEP)
the extensions of a concept F are objects which F maps onto “the true.” Objects fall under concepts, s.t. sentences are true; extensions refer to the objects that produces true statements.
note: this component of predication in logic also underlies Kant’s epistemology.

Step 1
To define a number, one first needs to define equality. Number symbols are invented because there is such a need for designating them whenever concepts are equinumerous. Frege’s definition of equinumerosity (gleichzahlig, translated into the simple “equality” in Austin’s translation) follows from Leibniz’s: “things are the same as each other, of which one can be substituted for the other without loss of truth.”

Frege first offers a possible (but wrong) way of defining 0 and 1: 0 belongs to the concept that does not have any object falling under it; 1 belongs to the concept F, if: if the statement that a does not fall under F is not true universally, and if a and b both fall under F, a = b. Then by induction one can define (n + 1) in the following way: if there is an a falling under F, and if n belongs to the concept “falling under F, but not a.”
This is not feasible because it is not clear what “belonging to a concept” means. Also there is no way to prove that the number thus obtained is unique. We cannot prove if a and b belongs to the same concept, a = b. In fact one has only specified the usage of “n belongs to” but not the number itself. One cannot judge if “Julius Caesar” belongs to a concept. One cannot recognize the same number again. Number thus defined is only a property of a concept.
Therefore, the first step toward defining a number is defining equinumerosity, so that in different propositional contexts, the same number can be recognized.

How to define equality
Equality is defined as the equality of extensions, i.e., objects that map concepts to The True.

Definition: the extension of the concept “equal to the concept F” is identical with the extension of the concept “equal to the concept G” if and only if the number that belongs to F and G are the same.
More specifically, this means that every object that falls under the concept F stand in relation φ with every object that falls under the concept G. In other words, for every a falling under F, a stands in relation φ with an object b falling under G; for every b falling under G, there is an a falling under F such that φ(a) = b. This is a 1-1 correlation. If concepts F and G are equinumerous, then the extension to “equinumerous to F” and “equinumerous to G” are the same—we say the same number belongs to F and G. Because numbers are defined as extensions, they are objects. But the extensions to “equinumerous to concept F” would also be concepts. Therefore, numbers are concepts used as objects in propositional functions, as mentioned in the footnote on page 80.
Therefore, equality is a relation between sets, that is between objects falling under two different concepts. Equality or equinumerosity is recognized and 1-1 correspondence is a mechanical process, resembling the waiter lying down forks to knives without being aware. This would allow Frege to establish the relation of equality as a relation independent of the human mind.

Step 2
How to define 0 and 1
0 is the extension of the concept “equinumerous to the concept ‘not identical to itself’”—there is no object falling under the concept “not identical to itself” so that 0 is the extension (all concepts) that has no object falling under it.
Here the specification of the concept “not identical to itself” is somewhat arbitrary, but it is convenient because we know that there is definitely such a concept which would make “( ) is equinumerous to the concept ‘not identical to itself’” a true statement.
now we know that 0 exists. So we can specify the concept “identical with 0”—we know that 0 is identical with 0. So there is one object, 0, that falls under the concept “identical with 0.”
1 is the extension of the concept “equinumerous to the concept ‘identical with 0’”—so the set of all objects/concepts that are equinumerous to “identical with 0” which has one object falling under it.

Step 3
How to prove that 1 follows 0
define “n follows m” as: if the number n belongs to the concept F, i.e., m is the extension of “equinumerous to F,” and given an object x falling under the concept F, then the number that m belongs to “falling under F but not x,” i.e., m is the extension of “equinumeros to ‘falling under F but not x,’” then we say that n follows m.
does 1 follow 0? 1 belongs to the concept “identical with 0.” There is an object falling under “identical with 0,” the object 0, and so the concept “identical with 0 but not 0” has no object falling under it. This concept is equinumerous to “not identical with itself” and 0 belongs to this concept. Therefore, 1 follows 0.

Step 4
how to define the rest of the natural numbers?
define the natural number series in such a way that every number except 0 follows directly after a number.
if
1. φ(x) falls under F
2. if d falls under F, it is universally true that every φ (d) falls under F
then we know that y = φ(x) follows x in the φ series.

starting from x, we would transfer our attention one by one to objects that stand in relation φ to x.
Q: How does one transfer the “n follows m” to the relation φ?
2
0

查看更多豆瓣高分好书

回应(0)

添加回应

算术基础的更多书评

推荐算术基础的豆列

了解更多图书信息

值得一读

    豆瓣
    我们的精神角落
    免费下载 iOS / Android 版客户端
    App 内打开