AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
复制标题
DOI：
10.1017/s1755020314000379
复制
发表时间：
2015-06-01
影响因子：
0.6
通讯作者：
Stern, Johannes
中科院分区：
文献类型：
--
作者：
Fischer, Martin;Halbach, Volker;Stern, Johannes
我们讨论了公理化和语义方法之间的相互作用。通常，语义结构指导公理理论的发展，并且某些公理理论被声称捕获了语义结构。我们问在什么条件下公理理论捕获语义结构。在讨论了一些可能的标准之后，我们重点讨论了n -范畴标准，并讨论了它的有用性和局限性。
We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of N-categoricity and discuss its usefulness and limits.