Heidegger and the Problem of Idealism

This paper contains a discussion of Quine's thesis of indeterminacy of translation within the more general thesis that using and understanding a language are to be conceived of as a creative and interpretative‐constructional activity. Indeterminacy is considered to be ineliminable. Three scenarios are distinguished concerning, first, the reasons for indeterminacy, second, the kinds of indeterminacy and, third, different levels of a general notion of recursive interpretation. Translational hypotheses are seen as interpretational constructs. The indeterminacy thesis turns out to be a consequence of the externalizing of language, meaning, and epistemology. By means of a three‐leveled interpretation model one can substantiate the crucial aspects, first, that indeterminacy is not an indeterminacy of facts of the matter and, second, that there is a significant difference between indeterminacy and underdetermination. In addition, the relationship between indeterminacy, interpretation, and charity is elucidated. Indeterminacy is seen not as an obstacle to but as a condition for communication. Charity and empathy in dialogue are conditional upon indeterminacy. All three components reveal the interpretative‐constructional character of the inseparable connection of meaning and experience.     

Naming and Diagonalization, from Cantor to Godel to Kleene

We trace self-reference phenomena to the possibility of namingfunctions by names that belong to the domain over which thefunctions are defined. A naming system is a structure of theform (D, type( ),{ }), where D is a non-empty set; for everya D, which is a name of a k-ary function, {a}: D^k D is thefunction named by a, and type(a) is the type of a, which tellsus if a is a name and, if it is, the arity of the named function.Under quite general conditions we get a fixed point theorem,whose special cases include the fixed point theorem underlyingGödel's proof, Kleene's recursion theorem and many othertheorems of this nature, including the solution to simultaneousfixed point equations. Partial functions are accommodated byincluding "undefined" values; we investigate different systemsarising out of different ways of dealing with them. Many-sortednaming systems are suggested as a natural approach to generalcomputatability with many data types over arbitrary structures.The first part of the paper is a historical reconstruction ofthe way Gödel probably derived his proof from Cantor'sdiagonalization, through the semantic version of Richard. Theincompleteness proof–including the fixed point construction–resultfrom a natural line of thought, thereby dispelling the appearanceof a "magic trick". The analysis goes on to show how Kleene'srecursion theorem is obtained along the same lines.     

I. Kant after Virtue 1

Maclntyre's refurbishing of Aristotelian ethics aims to restore both intelligibility and rationality to moral discourse. In After Virtue he concentrates on showing how intelligible action requires that lives be led within institutional and cultural traditions. But he does not offer a developed account of practical reason which could provide grounds for seeking some rather than other intelligible continuations of lives and traditions. Despite Maclntyre's criticisms of Kant's ethics, a Kantian account of practical reasoning may complement his account of intelligibility. An appropriate interpretation of Kantian ethics is outlined, which escapes Maclntyre's criticisms, allows both for the universal character of basic moral principles and for the historical variability of intelligible action, and which makes moral worth or virtue the centre of the moral life. The refurbishing of Aristotelian ethics may be achieved by a Kantian completion.     

Against Stepping Back: A Critique of Contextualist Approaches to the Semantic Paradoxes

A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can ‘step back’ and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this ‘stepping back’ idea is a mistake that results from failing to relativize truth to context in the first place. Moreover, context-relative liar sentences, such as ‘This sentence is not true in any context’ present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about.     

On Meaningfulness and Truth

We show how to construct certain L _{M, T} -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L _T -type, truth-theoretic languages first considered by Kripke, yet each of our L _{M, T} -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) of the claim that the strengthened Liar is meaningless.     

Replies to Bacon,Eklund, and Greenough on Replacing Truth

Andrew Bacon, Matti Eklund, and Patrick Greenough have individually proposed objections to the project in my book, Replacing Truth. Briefly, the book outlines a conceptual engineering project – our defective concept of truth is replaced for certain purposes with a team of concepts that can do some of the jobs we thought truth could do. Here, I respond to their objections and develop the views expressed in Replacing Truth in various ways.