真理价值观（一）

例如，真实值在哲学和逻辑中的用途是相当不同的，例如：

由自然和正式语言中的句子表示的原始抽象对象，

抽象实体被高耸化为句子等同类，

什么是判断，

值表明句子的真实程度，

可以用来解释概念的模糊性的实体，

保留在有效推论中的值，

传达给定主张的信息的值。

根据他们的特定使用，真相值被视为未分明的，如非结构化，或作为结构性实体。

通过Gottlob Frege的逻辑和哲学在弗雷格1891中首次被明确地引入了真理价值的概念，并且最值得注意的是他的精英纸（Frege 1892）。 虽然它是弗雷格，他将真理价值的概念概念到了语义的中央概念之一，但是，特殊语义价值观的想法已经被Bole和Peirce预期了，参见了Béziau的“真理价值历史”的调查文章（2012年）。 据克莱·克莱恩（1962：413），Boole的系统包含其解释所需的一切，以“在命题的真理价值方面”，而作为教会（1956：17）备注，“明确使用两种真实值”C.S.Peirce在美国数学杂志中的一篇论文中的时间。 7（1885），PP。180-202“。 Frege将此概念构建为他的语言分析的自然组成部分，其中句子是饱和表达式被解释为特殊的名称，这是指（表示，指定，表示）特殊类型的对象：真值值。 此外，根据Frege，只有两个这样的物体：真实（DAS Wahre）和False（Das Falsche）：

每一个任意句......要被视为一个正确的名字，它的小忠诚，如果它有一个，是真实的还是假的。 （Frege 1892，Trans。Beaney 1997：158）

这一新的和革命性的想法对现代逻辑的发展有深远和多样性的影响。 它提供了通过概括函数的概念并引入特殊功能，即命题函数或真实值函数来统一地完成语言功能分析的形式仪器的手段，即其值范围由该组的真相值组成。 在命题函数的最典型代表中，一个发现谓词表达式和逻辑连接。 结果，人们获得强大的工具，用于结论性地的结论性原理（也称为组成性原理），根据其组件的含义唯一确定复杂表达的含义。 在此基础上，也可以区分延长和密集的背景并进一步推进界限逻辑的概念。 此外，真理价值观的思想引起了逻辑哲学中一些核心问题的激进重新思考，包括：真理的分类状态，抽象对象理论，逻辑主题及其本体论坛，逻辑系统的概念，逻辑系统的概念逻辑概念的性质等

在下文中，考虑了几种直接连接到真实值概念的重要哲学问题，并解释了这种概念的各种用途。

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）

弗雷格关于句子作为真值名称的理论受到了批评，例如迈克尔·达米特（Michael Dummett）就曾颇为戏剧性地指出：

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

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