论文信息 - How truthlike can a predicate be? A negative result - 字舞流文

How truthlike can a predicate be? A negative result

[1] Solomon Feferman,et al. Toward useful type-free theories. I , 1984, Journal of Symbolic Logic.

[2] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[3] B. V. Fraassen. Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[4] Hans G. Herzberger,et al. Notes on naive semantics , 1982, J. Philos. Log..

[5] Anil Gupta,et al. Truth and paradox , 1982, J. Philos. Log..

[6] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[7] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .

[8] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .

[9] Peter W. Woodruff. Paradox, truth and logic part I: Paradox and truth , 1984, J. Philos. Log..

[10] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[11] Nuel Belnap,et al. Gupta's rule of revision theory of truth , 1982, J. Philos. Log..