fbpx
维基百科

T-模式

T-模式(也叫做约定T)是位于 Alfred Tarski真理的语义理论的任何实现的核心位置的归纳定义,表达了真理在逻辑运算符上的交换性。[1]

T-模式经常用自然语言表达,但它们很容易接纳多类谓词逻辑或模态逻辑的形式化;比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础,它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉;或者说模型论实现了它们。

参见 编辑

註釋 编辑

  1. ^ Wolfgang Künne. Conceptions of truth. Clarendon Press. 2003: 18 [2017-10-16]. ISBN 978-0-19-928019-3. (原始内容于2017-01-19). 

外部链接 编辑

  • Stanford Encyclopedia of Philosophy entry on Tarski's Truth Definitions(页面存档备份,存于互联网档案馆

模式, 也叫做约定t, 是位于, alfred, tarski, 的真理的语义理论的任何实现的核心位置的归纳定义, 表达了真理在逻辑运算符上的交换性, 经常用自然语言表达, 但它们很容易接纳多类谓词逻辑或模态逻辑的形式化, 比如叫做, 理论的公式化, 理论构成了哲学逻辑中很多基础工作的基础, 它们被应用于分析哲学中很多重要争论, 它们也是在模型论背后的基础直觉, 或者说模型论实现了它们, 参见, 编辑真理的语义理论, 公式, 数理逻辑, 註釋, 编辑, wolfgang, künne, conceptions, t. T 模式 也叫做约定T 是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义 表达了真理在逻辑运算符上的交换性 1 T 模式经常用自然语言表达 但它们很容易接纳多类谓词逻辑或模态逻辑的形式化 比如叫做 T 理论的公式化 T 理论构成了哲学逻辑中很多基础工作的基础 它们被应用于分析哲学中很多重要争论 它们也是在模型论背后的基础直觉 或者说模型论实现了它们 参见 编辑真理的语义理论 公式 数理逻辑 註釋 编辑 Wolfgang Kunne Conceptions of truth Clarendon Press 2003 18 2017 10 16 ISBN 978 0 19 928019 3 原始内容存档于2017 01 19 外部链接 编辑Stanford Encyclopedia of Philosophy entry on Tarski s Truth Definitions 页面存档备份 存于互联网档案馆 nbsp 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title T 模式 amp oldid 74834299, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。