特殊篇章玄宇宙计划原文序列部分章 (12-1)

介绍：特殊篇章玄宇宙计划原文分为（3/5）篇的章节。

86 TATIANA ARRIGONI AND SYAVID FRIEDMAN

that is made ad hoc within the Hyperuniverse Program, arguing that it

expresses a reasonable procedure for cnlarging the realm of sct-theoretic

truth. There is no need in the Hyperuniverse Program to show that this strategy is the “right” one for arriving at ncw truths of set thcory. In fact no Platonistic assumption underlies the program, no commitment to a view of V as a well-determined reality existing independently of mathematical practicc

to which one should be faithful when extending set-theoretic knowledge

As a result, within the Hypcruniverse Program no a priori distinction is AB drawn between right and wrong strategies for arriving at new set-theoretic truths. Instead one aims to formulate and justify procedures for finding ncw set-theoretic statements that one wishes to regard as ultimate and definitive.

The reasonableness of the suggested procedure is the sole ground for the

claim that the statements arrived at deserve to be regarded as true in V.

Desiderata 2 and 3 amount to a proposal for a stratcgy toward finding

new set-theoretic truths (a proposal which,in its full form, has to include

explicit criteria for preferred clements of the hyperuniverse; we consider this

in Scction 3). How is one to argue for the reasonableness of this strategy?

Consider the aim of the Hyperuniverse Program. One wishes to master

the wide varicty of different pictures of I with which one is confronted in

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。