TRUTH AND FEASIBLE REDUCIBILITY

Enayat, A; Lelyk, M; Wcislo, B

Enayat, A (corresponding author), Univ Gothenburg, Dept Philosophy Linguist & Theory Sci, Box 200, S-40530 Gothenburg, Sweden.

JOURNAL OF SYMBOLIC LOGIC, 2020; 85 (1): 367

Abstract

Let tau be any of the three canonical truth theories CT- (compositional truth without extra induction), FS- (Friedman-Sheard truth without extra induc......

Full Text Link