真理价值观（二）
一种避免这样的结论的一种方法是采用一种真实的持票人象征，只有某种类型的实体，无论是句子，命题还是其他的东西，都可以发挥这个角色。 然而，这种观点似乎与通常的语言实践有所不同，当我们可以说我们的信仰与我们的陈述一样真实。 因此，经常采用较弱的观点，突出了某种实体作为真理的主要承载并定义其他承载，这被认为是衍生物或次要的，（参见，例如，巴里尔1973，Hanks 2013）。 这仍然留下了所定义为辅静态承载的实体的问题真的具有真实的属性，如果是的话，这个属性是对主要事实承载的相同的。
安德烈斯特罗（2022）开发了真实持有者多元化的形象。 他强调“要了解真理的性质，应该向那种易于承受它的实体支付”，在这方面，真理类似于“许多其他性质”。 特别是，有人认为“不同种类的真理承担者倾向于支持不同的真理性质”，“那些有理由承认多个真理持有者”。 因此，Strollo不仅识别多个真理承载，而且识别多个真理属性本身，并争辩用于这种多个的自然度。 尽管如此，这类真理概念的概念的自然度可能受到质疑，并且在任何情况下都需要特别理由。
这里的情况类似于我们尝试从一个术语中抽象一些概括的一般含义时，这是许多其他属性。 为了解释这种情况，涉及亚里士多德对“母鸡”的说法可以在第四个形而上学书中找到的情况，亚里士多德说：“有许多感官可以说，”是“，但这一切都是相关的到一个中心点[πρόσ]”（亚里士多德，形而上学IV（γ），1003a 33）。 从字面上，希腊语短语“优点母鸡”意味着“与一个人相对”。 着名，G.E.L. 欧文（1960）“名称为PROS HEN关系”焦点意义“，并声称这意味着所有的'存在”]都有一个焦点，一个共同的元素'或“中枢感”，因此“它的所有感官都可以在物质和物质方面解释”是“的感觉适合物质”。“ （yu 2001：206）。 举例来说，亚里士多德考虑健康的财产，并观察“健康的一切与健康有关，这是一个有意义的事情，即它会产生健康，另一件事是它产生它，另一个意义上是一种健康症状，另一个是能够”（亚里士多德，形而上学IV（γ），1003A 35）。 可以注意到，“这些各种感官具有共同点：对一个中央事物，健康”（Cohen＆Reeve 2025）的参考。 值得注意的是，后者是一种抽象（抽象对象），通过其“焦点意义”，确定所有相关性的特定含义（更准确地说，相应表达的含义）。
现在，以同样的方式，我们可以采取抽象对象，真理，并考虑各种关系所连接的所有（命题，句子，信仰等）的一切（表示，表达，表达，保持等）。 然后我们已经将焦点物质与各种行为的各种行为的关系作为相应财产的承载。 通过这种方式，希望减少与由相关物质决定的单一“焦点意义”的属性相关的各种不同特定含义，这是一定的真实价值。
一般来说，作为SEFRIN-WEIS（2009：262）解释，“局灶性意义建立了一种”减少翻译“（欧文1960：169和180）关于关于物质陈述的一般领域的任何事情的陈述。 在欧文自己的话语中：
“存在”的申请是具有局灶性含义的表达式是索赔，可以将关于非物质的陈述可以减少到有关物质和非物质的陈述不超过物质的逻辑阴影。 （欧文1960：180）
当然，总是可以在元语言中保留真相谓词，并继续使用更熟悉的（预测）措辞，规定例如句子（命题，信仰等）被认为是真实的，如果它仅表示（或在一些其他相关方式与）真相“真实”。 这种语言约定被理解为仅仅是缩写，将是哲学上无害的，并且不应暗示任何有问题的本体论承诺（除了识别相应的抽象对象之外）。
值得一提的是，拟柏拉（2005）提供了对Tarski-Schema的分析，允许一个人既不是属性，也不是对象，而是作为一种预测模式。 即，让我们扩展一种用抽象算子λ向二阶谓语演出的语言扩展到二阶谓词微积分，并关系地解释λ表达式而不是在功能上解释。 然后是λ-转换的原理：
[λx1...xnφ] y1 ...yn≡φ[y1，...，yn /的x1，...，xn]
将断言：“对象x1，...，xn示例是y1，...，yn，使得φ如果x1，...，xn是φ”的φ“。 现在，λ-转换也有0个地方的实例：
[λφ]≡φ，
被解释为命题作为命题tarski t-schema，可以读为“φ是真正的iffφ”。 Zalta认为，表达式[λφ]是0位关系项和公式，因此，这里表示真相作为示例的0个地点，即，即某一模式的预测模式。 看来，在文献中没有详细阐述了分析真理概念的可能性，但它可能是考试的有希望的方向。
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）。
顺便提一下，当作为句子的扩展时，Carnap（1947：26）在将真实值引入句子时，由基本相同的想法引导。 即，他指出了在判决的雷则和真理价值之间的强大比喻。 Carnap考虑了广泛的指定表达式（“指示符”），其中有谓词表达式（“雷则”），功能表达式（“函数”）和其他一些。 将众所周知的解释句子的技术应用于0度的0级，他概括了N次（例如，P和Q）的两个备件具有相同的扩展器，如果∀x1∀x2...∀xn（px1x2 ...xn↔qx1x2... xn）持有。 然后，类似地，两个句子（例如，p和q）被解释为0度的雷，如果才有相同的扩展名，且才可才能暂停，即才能且仅当它们是等效的。 然后，Carnap备注，将真实值作为句子的扩展似乎非常自然。
注意，该标准采用引入的抽象对象（在这种情况下是真相值）和一些其他对象（句子）之间的功能依赖性。 更具体地说，被认为是句子（或命题等）的真实值。 实际值标识的标准被配制，然后通过等效持有在这些其他对象句子，命题等之间的逻辑关系（具有显式量化）。
还应该备注的是，对象语言的属性依赖于采用逻辑系统。 不同逻辑的Biconditionals可能具有不同的逻辑属性，并且肯定是什么样的等价连接用于定义真相值。 这意味着通过涉及句子之间涉及奇迹的身份标准引入的真理值的概念也是逻辑相对的。 因此，如果'↔'代表物质等价，则一个人获得经典的真理值，但如果采用直觉的biconditional，则会获得直觉逻辑等的真实值等。考虑到逻辑中的角色真理价值扮演，这种结果似乎不是在所有不自然的。
安德森和齐齐拉（2004：13），利用来自zalta（1983）的对象理论，提出以下对“命题P'的真实值”的定义（'TV（P）'[符号调整]）：
电视（p）=dfιx（一个！x∧∀f（xf↔∃q（q↔p∧f= [λyq]））），
哪里！ 代表原始理论谓词“摘要”，XF将被读为“x编码f”和[λyq]是命题属性（“是这样的q”）。 （注意，在该系统中，变量Q在术语和公式位置使用;在许多系统返回教堂和弗雷格时，有表达式既是术语和公式。[λyq]由Q材料相当于P“（Anderson和Zalta 2004：14）构成。
实际值一般的概念被定义为一个对象是某些命题的真实值：
电视（x）=df∃p（x =电视（p））。
使用此设备，可以显式定义Freeean Truth值True（⊤）和false（⊥）：
⊤=dfιx（一个！x∧∀f（xf↔∃p（p∧f= [λyp]）））;
⊥=dfιx（一个！x∧∀f（xf↔∃p（¬p∧f= [λyp]）））。
Anderson和Zalta证明了那么⊤和⊥确实是真实的值，而且，还有两个这样的物体。 如果一个人记住，后者的结果是预期的，那么上面的定义实际介绍是经典的真相值（因为底层逻辑是经典的）。 实际上，p↔q经典等同于（p∧q）∨（¬p∧¬q），¬（p↔q）经典等同于（p∧¬q）∨（¬p∧q）。 也就是说，材料等价的结缔组句将句子分为两个不同的集合。 由于中间被排除的法律，这些收集是详尽无遗的，并且由于他们是独家的非矛盾法。 因此，我们获得了两个等同的句子等同类，每个等同类是两个古典真理值之一的声明代表。
2.真实值作为逻辑值
2.1逻辑作为逻辑值的科学
在延迟纸弗雷格（1918）声称“真实”这个词决定了逻辑的主题，就像“美丽”这个词为美学和“善”这个词的道德语言的方式完全相同。 因此，根据这样的观点，逻辑的适当任务包括研究“真实的真法”（Sluga 2002：86）。 通过这样做，逻辑对真理感兴趣，客观地理解，而不是在仅仅被认为是真实的。 现在，如果一个人承认真理是一个特定的抽象对象（相应的真相值），那么第一个地方的逻辑必须探索这个对象的特征及其与各种其他种类的其他实体的相互关系。
这一概念的突出坚持是JanŁukasiewicz。 当他划视图地说：
所有真正的命题都表示一个和相同的对象，即真理，并且所有虚假命题都表示一个和相同的对象，即误血。 我认为真理和虚假是与第2或4号相同的奇异物体。 ......在本地学上，真理在不存在中存在它的模拟和虚假。 由命题表示的对象称为逻辑值。 真相是积极的，谎言是否定的逻辑价值。 ...逻辑是一种特殊物体的科学，即逻辑值的科学。 （Łukasiewicz1970：90）
这种定义似乎是相当规范的，对于逻辑通常被视为正确的推理和有效推理的科学。 但是，后一种理解需要呼吁进一步的理由。 一旦一个人要求，这一点就会变得显而易见的是，其中一个人应该有资格获得这种情况或这种推理模式是正确的或不正确的。
在回答这个问题时，必须考虑到任何有效推理应该基于逻辑规则，根据常见的视图，至少可以保证在有效的推理中，如果所有房屋都是真实的，则结束 将这种需求转化为Freeean术语，这意味着在正确推理的过程中，真实值的占有真实值应该从房屋保留到结论中。 因此，给予弗雷格采用的真实价值的现实治疗，对真理价值观的理解实际上提供了逻辑规则，其中具有在某种理想实体中将逻辑的根源放置在某种理想实体中（参见Shramko 2014）。
这些实体构成了一定的统一域，可以被视为弗雷格所谓的“第三境界”的子域（思想的客观内容的领域，以及各种抽象对象（参见Frege 1918，CF.Popper 1972以及培训1992：634）。在这个第三个领域的子域中，一个发现，例如，数学对象的集合（数字，类等）。这组真理值可以被视为形成另一个这样的子域，即逻辑值之一，即逻辑值之一作为科学分支的逻辑基本上基本上依赖于这个逻辑领域，并探索其特征和规律。
2.2许多值逻辑，真理和估值系统
根据Frege，有两种真理值，真实和错误。 这种意见似乎是相当长的，一个人可能会询问它是否对真理价值的概念确实不可或缺。 人们应该遵守阐述这一概念，弗雷格承担了他对贝格里德的系统的具体要求，特别是作为一种传言典原则，百分比的比值原则。 只存在两个不同的逻辑值。 关于对象语言级别，这一原则在被排除的中间和非矛盾中的着名古典定律中发现了它的表达。 然而，现代逻辑的进一步发展已经清楚地表明，古典逻辑只有一个特定的理论（虽然可能是一个非常独特的逻辑系统）。 事实上，食物的本体论说真理价值观描绘了作为一种本体论的逻辑原则，因此它们可能会被修改甚至被遗弃。 例如，通过放弃二价原则，人们自然地导致了假设许多真理价值的想法。
这是Łukasiewicz，早在1918年，提议采取与真理和虚假不同的其他逻辑价值（见Łukasiewicz1918,1920）。 埃米尔帖子独立于1920年从1920年发布（1921年）的论文，引入了M-Valued Truth表，其中M是任何正整数。 虽然帖子对多价逻辑的兴趣（其中“许多”意味着“超过两”）几乎完全是数学，Łukasiewicz的动机是哲学（见多值逻辑上的条目）。 他考虑了关于偶然未来的句子的语义价值，如亚里士多德的de解释所讨论的。 Łukasiewicz推出了第三个真值，并将其解释为“可能”。 通过概括这个想法并采用上述对逻辑主题的理解，自然地到达特定逻辑系统的代表作为某种估值系统（参见，例如，Dummett 1981,2000; Ryan和Sadler 1992; Ryan和Sadler 1992）。
考虑建立在一组原子句子的命题语言l和一组命题连接C（L为包含P的最小集合并在CONKESIVE下关闭）的一组命题连接。 然后，语言L的估值系统V是三⟨v，d，f⟩，其中V是具有至少两个元素的非空组，d是v的子集，f = {fc1，...，fcm}是一组功能，使得fci如果CI是N-Place Connective，则是v的N个地方功能。 直观地，V是真相值的集合，D是指定真理值的集合，F是解释C的元素的真实值函数的集合。如果估值系统V的真相值具有n个元素，则v据说是n-valued。 任何估值系统都可以配备有分配功能，该分配功能将该组原子句在V中映射到V.每个分配A相对于估值系统V可以通过根据以下条件定义的估值函数VA来扩展到L的所有句子：
∀p∈p，va（p）=一个（p）;
∀ci∈c，va（ci（a1，...，一个））= fci（va（a1），...，va（一））
有趣的是观察V的元素有时被称为准真实值。 Siegfried Gottwald（1989：2）解释说，使用“准真实值”一词的一个原因是，除了古典真理价值之外，还没有令人信服和统一的诠释，这是真实的真相价值真实的据Gottwald的说法，虚假，据戈特瓦尔德将额外的值与真正的理解相关联，分别对真实的理解是真实的理解（参见FF。通过字体（2009：383）的言论，“许多主要问题的主要问题”也是如此 - 至少在其初始阶段至少在其初始阶段的逻辑是“中间”或“非古典”价值“的解释”，“等”。）。 在后期出版物中，戈特瓦尔德改变了他的术语和国家
[t] o避免任何混淆与古典逻辑的情况，一个喜欢在许多值逻辑中谈论真相度，并仅针对古典逻辑使用“真值”这个词。 （Gottwald 2001：4）
然而，即使在许多值逻辑的背景下，术语“真理价值”术语也将使用术语“真理价值”，而没有对古典真理价值的哲学观念的哲学观念或对语义价值的具体了解。
由于V的基数可能大于2，因此估值系统的概念为许多值逻辑的概念提供了自然的基础框架。 指定值的集合D对于估值系统的概念具有核心重要性。 此集合可以被视为古典真理值的概括，这在它决定了许多中央逻辑概念的意义上，从而概括了Frege播放的一些重要角色是真实的（参见关于真理值的使用的介绍性言论）。 例如，该组Tautologies（逻辑法）由给定的指定的真实值集直接指定：句子a是估值系统V IFF中的TAUTology，用于每个分配相对于V，VA（A）∈d。 另一种基本逻辑概念 - 还可以通过参考集合D来定义。对于给定的估值系统，对于给定的估值系统，v通常通过假设从场所的指定值的保存来定义相应的留言关系（⊨v）：
δ⊨vaiff [（∀b∈δ：Va（b）∈d）⇒va（a）∈d]。
