Abstract I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.

Abstract The main purpose of this paper is to investigate various notions of empirical equivalence in relation to the two main arguments for realism in the philosophy of science, namely the no-miracles argument and the indispensability argument. According to realism, one should believe in the existence of the theoretical entities (such as numbers and electrons) postulated by empirically adequate theories. According to the no-miracles argument, one should do so because truth […]

Abstract I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

Abstract I survey Brouwer’s weak counterexamples to classical theorems, with a view to discovering (i) what useful mathematical work is done by weak counterexamples; (ii) whether they are rigorous mathematical proofs or just plausibility arguments; (iii) the role of Brouwer’s notion of the creative subject in them, and whether the creative subject is really necessary for them; (iv) what axioms for the creative subject are needed; (v) what relation there is between […]

Abstract There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, […]