真理价值观（一）

1.真实值作为句子的对象和指示

1.1语言和真理价值的功能分析

1.2真相作为属性与真相作为对象

补充文件：弹弓论点

1.3真实值的本体

2.真实值作为逻辑值

2.1逻辑作为逻辑值的科学

2.2许多值逻辑，真理和估值系统

2.3真值，真理和模糊的概念

2.4 Suszko的论文和反指定值

补充文件：Suszko的论文

3.订购真实价值的关系

3.1逻辑秩序的概念

3.2真实值作为结构实体。 广义真理价值观

补充文件：广泛的真理价值和多特子

4.结束语

参考书目

学术工具

其他互联网资源

相关条目

1.真实值作为句子的对象和指示

1.1语言和真理价值的功能分析

由Frege开发的语言分析方法基本上依靠严格歧视两种主要表达方式：正确的名称（奇异术语）和功能表达。 正确的名称指定（表示，表示，表示或参考）奇异对象，以及指定（表示，表示，表示或参考）函数的功能表达式。 [注意：在文献中，表达式“指定”，“意义”，“表示”和“参考”通常被视为同义词。 在整个进入的情况下使用这种做法。]例如，“乌克兰”的名称是指某个国家，而表达'资本'表示来自各国到城市的一个地方函数，特别是将乌克兰映射到Kyiv（基辅）的功能。 虽然名称是“饱和”（完整的）表达式，功能表达式是“不饱和”（不完整），并且可以通过将它们应用于名称来饱和，以这种方式新的名称来饱和。 类似地，奇异术语所指的物体是饱和的，并且由功能表达表示的功能是不饱和的。 可以应用功能表达式的名称称为该功能表达式的参数，并且可以应用函数的实体称为该函数的参数。 作为应用于其参数的应用程序生成的名称的参考的对象称为这些参数的函数的值。 特别是，上面提到的功能表达''''''of'仍然不完整，直到应用于某个名字。 函数的应用，由“作为乌克兰的资本”（作为论点）返回Kyiv作为由复合表达“乌克兰首都”表示的对象，这是弗雷格，是Kyiv的正确名称。 请注意，Frege将N个Place函数f视为可由Arguments A1，...，An和其值所处的不饱和实体之间的N个函数f之间，这可以被视为该函数的设定理论表示：集合

{⟨a1，...，一个，a⟩|a= f（a1，...，一个）}。

追求这种分析，一个非常迅速面对两个复杂的问题。 首先，如何治疗声明性句子？ 如果一个人应该将它们分成一个不同的语言类别，不同于名称和函数符号的特定语言类别？ 其次，如何从功能的角度来看 - 应该与“是一个城市”这样的谓词表达式交易，“很高”，'运行'，“'Loves'等，它用于表示对象的类，对象的属性，或者之间的关系它们，可以与（应用于）单数术语合并以获得句子？ 如果考虑到谓词是一种功能表达式，则通过将谓词应用于其参数来生成哪种名称，以及如何分配这些函数的值的引用？

通过引入真相值的概念来获得两个问题的均匀解决方案。 即，通过应用“饱和”弗赖格的标准提供了上述第一问题的负答案。 由于句子是一种完整的实体，他们应该被视为一种正确的名字，而是指定一些特定对象的名称，即真相值：真实和错误。 以这种方式，人们也获得第二个问题的解决方案。 谓词将被解释为某种功能表达式，其应用于这些或那些名称生成句子，从而引用两个真值中的一个。 例如，如果谓词“是一个城市”，则应用于“Kyiv”的名称，一个人得到“Kyiv是一个城市”，它指定真实（即，'Kyiv是一个城市'是真的）。 另一方面，通过使用名称'everest'，一个人获得“珠穆朗玛峰是一个城市”，清楚地指定假，因为“珠穆朗玛峰是一个城市”是假的。

其值是真值值的函数称为命题函数。 Frege也称为概念（Begriffe）。 一种典型的这种功能（除了谓词表示的功能之外）是由命题连接表示的功能。 例如，否定可以解释为一元函数将true转换为false，反之亦然，并且结合是一个二进制函数，当其参数位置被真正的等等填写时，返回true作为一个值。命题函数映射n-tups的命题函数映射n - 元组变为真理值也称为真实值函数。

因此，Frege在第一步中，一般而言，熟悉数值函数的熟悉概念，而且，通常引入了一种新的奇异对象，可以作为奇异对象上的函数的参数和值，真实值。 在进一步的步骤中，他考虑了作为他们的参数的命题函数。 例如，可以将量词短语“每个城市”应用于谓词“是一个首都”以产生句子。 由“每个城市”表示的二阶函数的论点是由“是首都”表示的奇异物体上的一阶命题功能。 由句子'每个城市都是首都'的功能值是真理价值，假。

因此，真理值被证明是一种非常有效的语言逻辑和语义分析的仪器。[1] 此外，Frege提供了真理价值（作为句子的适当指点）不仅仅是用语用动机，而且具有强烈的理论典范。 可以在Frege 1892中发现的这种理由的想法采用共同参考术语的替代品原理，当其中任何子项被具有相同参考的表达式代替时，复杂奇异项的参考必须保持不变。 这实际上只是上面提到的构思原理的一个例子。 如果句子被视为一种单独的术语，那么必须具有指定的奇异术语，那么假设替代品的原则一个“几乎不可避免”（作为KurtGödel（1944：129）解释）被迫将真理值视为最合适的实体这些名称。 因此，弗雷格要求：

还有什么，但实际值可以找到，这通常属于每个句子，如果其组件的参考是相关的，并且由有问题的替代替换保持不变？ （Geach和Black 1952：64）

这个问题的想法是通过考虑以下四个句子的以下序列来整洁地由Alonzo Church（1956：24-25）进行了整齐地重建了他的数学逻辑（1956：24-25）：

c1。

沃尔特斯科特爵士是Waverley的作者。

c2的。

c2的。 沃尔特斯科特爵士是那个完全写了29个Waverley小说的人。

c3的。

这个数字，使沃尔特斯科特爵士是那个写下许多Waverley小说的人是29。

的c4。

犹他州的县数是29岁。

C1-C4呈现了许多转换步骤，每个转换步骤产生共同指导句子。 据称，C1和C2必须通过替代品具有相同的指定，因为“Waverley的作者”和“撰写29个Waverley小说的人”指定一个和同一个对象，即沃尔特·斯科特。 所以必须c3和c4，因为这个数字，这是沃尔特·斯科特爵士是那个写的人，这是许多Waverley小说完全与犹他州的县数相同，即29.接下来，教会认为，它是合理的即使不是与C3完全同义的C2，也至少如此接近C3“，以确保其具有相同的表示”。 如果这确实如此，那么C1和C4也必须具有相同的表示（名称）。 但似乎唯一的（语义相关）这些句子的共同点是两者都是真的。 因此，认为必须有一些句子指定的东西，一个结论是它只是他们的真理价值。 作为教会备注，可以以相同的方式构建涉及虚假句子的并行示例（通过考虑，例如，“沃尔特斯科特的”苏尔特·斯科特的作者“）。

这种推理现在被广泛称为“弹弓论证”，一个由Jon Barworke和John Perry（Barwise和Perry 1981：395）创造的术语，他们强调了论证的非凡简单和最小的涉及的预设。 通常说明，论证的模式如下（参见Perry 1996）。 一个人从某个句子开始，然后移动，一步一步到一个完全不同的句子。 任何一步中的每两个句子都指定了一个和同样的事情。 因此，论证的开始和结论句也必须具有相同的指定。 但他们共同的唯一语义上有重要的事情似乎是他们的真实价值。 因此，任何句子指定的都只是它的真实价值。

这个参数的正式版本，采用术语形成，可变绑定类抽象（或属性抽象）运算符λx（“所有X的类，使得这是”或“属于这样的X的属性”）首先由Church（1943）在他的评论中制定Carnap对语义介绍。 Quine（1953）也呈现了使用类抽象的弹弓的变体，另见（Shramko和Wansing 2009a）。 该论证的其他显着变化是KurtGödel（1944）和唐纳德戴维森（1967年，1969年）的变化，它利用了处理成形，可变绑定的明确描述理论的正式仪器iota-operator（ιx，“x这样的”）。 值得注意的是，Slingshot的正式版本展示了如何使用最终保留参考的步骤 - 任何其他此类句子的任何真（假）句子。 鉴于此结果，很难避免句子所指的结论只是真实值。

许多作者已经详细分析了Slingshot论点（特别是斯蒂芬Neale（NEALE 2001）和其中参考文献的综合研究），并且造成了很大的争议，其中一部分 - 理论家，即追随者事实，情况，命题，事态，以及其他实际实体，作为陈述句子的替代候选人。 另请参阅Slingshot参数上的补充。

1.2真相作为属性与真相作为对象

真理价值观明显地与真理的一般概念有关。 因此，试图将真相值的考虑纳入传统真理理论的更广泛背景下，似乎似乎是似乎相当诱人，例如对应，一致性，反现实或实践主义的真理概念。 然而，这种尝试不太可能会产生任何相当大的成功。 实际上，Frege在很大程度上在很大程度上引入真理价值的巨大丰富的成果是由于其哲学中立的哲学中立而言。 它不会犯下任何特定的形而上学学说。 然而，在一个重要的尊重中，真理价值观的想法违反了传统对真理的方法，使其分类分类的问题。

在大多数建立的概念中，真理通常被视为财产。 习惯于谈论“真理谓词”及其对句子的归属，命题，信仰等。 这种理解也对应于常规语言实践，当一个数据形容词“真实”和断言时，例如，'5是素数为真的'。 相比之下，与这种明显相当的自然态度，这一建议将真理解释为物体可能看起来非常令人困惑，最少说。 然而，这个建议还配备了深刻的和强烈的动力，表明它远非只是一种奇怪，必须认真对待（CF. Burge 1986）。

首先，应该指出的是，真理视为属性的看法并不像在它面上出现的那样自然。 Frege致力于对特征造成句子的逻辑发挥争论，因为真实地增加了它的内容，因为'真的5是素数'所说的完全相同的是'5是素数'。 也就是说，形容词'真实'是一种冗余的，因此不是表达一个真实的属性，例如谓词的“白色”或“素数”，它们相反，不能简单地从句子中消除，而没有对其内容的基本损失。 在这种情况下，肤浅的语法类比是误导性的。 这个想法对真理的通缩概念进行了动力（由Ramsey，Ayer，Squine，Horwich等倡导，看看真理的放气理论）。

然而，即使承认真理的冗余作为财产，Frege在一些其他方面强调其重要性和不可或缺的作用。 即，伴随着每个判断行为作为其最终目标的真理，通过安排从从感觉水平（句子表达的思想）到表示水平（其真实值）的过渡来保护认知的客观价值。 这种情况规定了作为特定对象的事实的重要性。 正如Tyler Burge解释：

通常情况下，使用句子的点，“对我们的事项”是什么，是为了思考真相。 对象，在点或目标的意义上，句子使用是真理。 因此，将真理视为对象是照亮。 （培训1986：120）

由于在文献中重复观察（例如，例如，击败1986，Ruffino 2003），因此在很大程度上奠定了真实值的概念的应力弗赖克在很大程度上是务实的动机。 除了他的“基本法律”制度（Frege 1893/1903）的预期收益，反映在提高技术透明度，简单和团结的情况下，弗赖基还试图以这种方式证实他对逻辑视为理论纪律的看法，作为其主要目标主要主题。 顺便提一下，Gottfried Gabriel（1986）展示，在后一期间，弗雷的思想可以自然地与19世纪下半叶哲学的价值理论传统有关; 另见（Gabriel 2013）关于弗雷格的价值之间的关系 - 理论上灵感的真理价值观概念及其判断理论。 更具体地说，是威廉·威尔克·德伦布德，创始人和新康思主义的西南学派主要代表实际上是雇用了“真理价值”一词（“WahrheitsWert”）的第一个（“Wahrheitswert”）“是什么哲学？” 发表于1882年（见Windelband 1915：32），即弗雷格1891前的九年，即使他远远将真实值视为函数的价值。

Windelband定义了哲学作为“关于普遍价值的关键科学”。 他认为哲学陈述是不仅仅是判断，而是评估，处理一些基本价值观，真理的价值是其中最重要的价值。 后一个值将被逻辑作为特殊哲学学科研究。 因此，从价值理论观点来看，哲学的主要任务通常是建立逻辑，道德和美学评估的原则，并相应地突出了基本价值的三合会：“真实”，“好”和“美丽的”。 后来在1918年在定义了逻辑主题时，这个三合会被弗雷格占据了（见下文）。 Gabriel指出（1984：374）逻辑与价值理论之间的这种联系可以追溯到Hermann Lotze，威斯特邦德和弗赖尔格都参加了吉尔廷根的研讨会。

弗雷格制造的决定性举动是基于数量函数概念的概念来集成对值的哲学和数学认识。 虽然Frege可能已经灵感来自Windelband的使用“价值”（甚至更具体地说 - '真值'），但很明显他在数学意义上使用这个词。 如果谓词被解释为一种功能表达式，则应用于单个术语作为参数的奇异术语，产生句子，那么相应函数的值必须是句子的引用。 考虑到任何功能范围通常由对象组成，得出结论，句子的引用也必须是对象的自然。 如果现在一个句子判断句子是指teact值（true和false），那么事实证明了真值是实际对象的，并且似乎相当合理地阐述真相和虚假作为对象而不是属性。 弗雷格解释说：

声明不包含空的地方，因此我们必须将其绑定为物体。 但是这个位于的是真实价值。 因此，这两个真实值是对象。 （Frege 1891，Trans。Beaney 1997：140）

Frege’s theory of sentences as names of truth values has been criticized, for example, by Michael Dummett who stated rather dramatically:

这是判断判决是一个复杂的奇异术语的物种的最令人灾难的影响，其中占弗雷格的后期：抢劫句子的洞察力扮演独特的角色，以及几乎所有其他语言表达的角色......包括在形成句子的一部分。 （Dummett 1981：196）

但即使是Dummett（1991：242）承认，“否认真理价值观是物体......似乎是一个薄弱的回应”。

1.3真实值的本体

如果认为真理价值是一种特殊的物体，那么对这些实体的性质的显而易见的问题。 以上表征真相值作为对象的远端普遍，需要进一步的规范。 这种规范的一种方法是使真理值符合抽象对象。 请注意，在描述真值值时，Frege本人从未使用过“摘要”这个词。 相反，他有一个被称为“逻辑对象”的概念，真相值是主要的，以及它们中最基本的真实值（Frege 1976：121）。 在其他逻辑对象中，弗赖奇特别注意的是设置和数字，因此强调他们的逻辑性质（按照他的逻辑看法）。

教会（1956：25），在考虑真理价值观时，明确地将其归因于抽象的财产。 从那时起，它习惯于将真理值标记为抽象对象，从而将它们分配成与数学对象（数字，类，几何图）和命题相同的实体。 其中一个可能会在这里姿态一个有趣的问题关于FreeGean逻辑对象和现代意义上的抽象对象之间的相关性（参见抽象对象的条目）。 显然，抽象对象的宇宙比弗里格想象他们的逻辑对象宇宙更广泛。 后者被解释为构成逻辑的本体论，从而进行数学（根据Frege的逻辑学计划）。 通常，抽象的类包括广泛多样化的柏拉图式普通（如发红，年轻，正义或三角形），而不仅仅是逻辑上所必需的。 然而，它可以安全地说，逻辑对象可以被认为是抽象实体的范式案例，或以其最纯粹的形式被视为抽象实体的抽象物体。

应该指出的是，发现抽象对象的充分定义是一个相当大的争议的问题。 根据共同的观点，抽象实体缺乏时空性质和关系，而不是存在于空间和时间（Lowe 1995：515）中的混凝土物体。 在这方面，真理价值观显然是抽象的，因为它们显然与物理时尚无关。 在类似的时尚真理价值中，满足通常在抽象物体上施加的另一个要求，即因果价值影响的一个要求（参见，例如，GROSSMANN 1992：7）。 在这里，真相值非常像数字和几何数字：它们没有因果力量，并没有任何事情发生。

最后，考虑如何通过应用所谓的抽象原则来引入真实值，这些是有意思的，这些原则用于提供具有标识的标准的抽象对象。 这种表征抽象物体的方法的想法也很大程度上是由于弗赖吉，谁写道：

如果符号A是为我们指定对象，那么我们必须具有决定在所有情况下决定B是否与A相同，即使它不始终在我们的权力上应用此标准。 （Frege 1884，Trans。Beaney 1997：109）

更确切地说，借助于这种新（摘要）对象的某些标识，通过向某种特定的实体抽象它来获得新对象。 此抽象在给定实体上定义的等价关系方面执行（请参阅Wrigley 2006：161）。 Quinated Slogan（1969：23）“没有身份没有身份”旨在表达与（摘要）对象的实际情况与“物品在一个分类概念下落下的物品”（提供了其实例的明确标准）（Lowe 1997：619）。

对于真理价值，在Anderson和Zalta（2004：2）中提出了这样的标准，说明对于任何两个句子P和Q，P的真值与Q的真值相同，如果P是（非逻辑上）等同于Q（CF.也是Dummett 1959：141）。 在Lowe的演示风格（1997：620）之后，可以正式解释这个想法：

∀p∀q[（句子（p）和句子（q））⇒（电视（p）=电视（q）⇔（p↔q））]，

相应地＆，⇒，⇔，∀站在“和”，'然后...'，'然后'，'only'和'for'for'，'和'所有'，而↔代表某些对象语言等价连接（biconditional）。