Abstract:{The paper studies classical, type-free theories of truth and determinateness. Recently, Volker Halbach and Kentaro Fujimoto proposed a novel approach to classical determinate truth, in which determinateness is axiomatized by a primitive predicate. In the paper we propose a different strategy to develop theories of classical determinate truth in Halbach and Fujimoto's sense featuring a \emph{defined} determinateness predicate. This puts our theories of classical determinate truth in continuity with a standard approach to determinateness by authors such as Feferman and Reinhardt. The theories entail all principles of Fujimoto and Halbach's theories, and are proof-theoretically equivalent to Halbach and Fujimoto's CD+. They will be shown to be logically equivalent to a class of natural theories of truth, the \emph{classical closures of Kripke-Feferman truth}. The analysis of the proposed theories will also provide new insights on Fujimoto and Halbach's theories: we show that the latter cannot prove most of the axioms of the classical closures of Kripke-Feferman truth. This entails that, unlike what happens in our theories of truth and determinateness, Fujimoto and Halbach's \emph{inner theories} -- the sentences living under two layers of truth -- cannot be closed under standard logical rules of inference.}

A Comparative Study on Tarski's and Frege's Method of Pursuit of truth

Study of Contingent Priori Truth:Progress from Kant to Kripke

A definição de verdade de Tarski

Debate on Definite Description: Viewpoints,Divergences and Direction

Truth and Semiotic Phenomenology

Logical Paradoxes and Self-reference——on Kripke's Thoughts of Logical Paradoxes

On Classical Determinate Truth

Carnap, Quine, and Putnam on Methods of Inquiry

The Truth of a Sentence, True Sentence(s) and True Theoretical System

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

The Truth and Proposition in Law:Review On Patterson's Law and Truth

The Theory of Indexicals:From a Perspective of Philosophical Logic

Tarski's Undefinability Theorem and Diagonal Lemma

The Problem of Truth and Paradox: A Brief Analysis to V. Halbach's Strategy on Axiomatic Theory of Truth

Analytical Truths in R. Carnap’s Theory and in Natural Language

Varieties of truth definitions

A Comparative Study of Cognitive and Generative Constructional Theories:With Special Reference to Construction Grammar and First Phase Syntax

General Logic in Comparative Studies

The Concept of Truth

Truth and Subjunctive Theories of Knowledge: No Luck?

A Comparative Study on The Sapir-Whorf Hypothesis and Quine's Holistic View of Language