Between proof and truth

We consider two versions of truth as grounded in verification procedures: Dummett??s notion of proof as an effective way to establish the truth of a statement and Hintikka??s GTS notion of truth as given by the existence of a winning strategy for the game associated with a statement. Hintikka has argued that the two notions should be effective and that one should thus restrict one??s attention to recursive winning strategies. In the context of arithmetic, we show that the two notions do not coincide: on the one hand, proofs in PA do not yield recursive winning strategies for the associated game; on the other hand, there is no sound and effective proof procedure that captures recursive GTS truths. We then consider a generalized version of Game Theoretical Semantics by introducing games with backward moves. In this setting, a connection is made between proofs and recursive winning strategies. We then apply this distinction between two kinds of verificationist procedures to a recent debate about how we recognize the truth of G?delian sentences.     

Sense and the identity conception of truth

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place.     

Pragmatism and revisionism: James's conception of truth

Abstract

The paper argues that James's conception of truth is non‐revisionist, that is, it sanctions common use of the notion of truth, but criticizes foundation‐alist philosophical accounts of that notion. This interpretation conflicts with traditional interpretations of James such as Russell's and Moore's, and contemporary interpretations such as Dummett's, all of which are revisionist. To the extent that objections raised against James's pragmatism depend on such revisionist reading, this paper constitutes a defence of James. The paper argues, further, that non‐revisionism distinguishes James from logical positivism and contemporary verificationism, and that James seeks to defend rather than renounce metaphysics. On this issue the paper disagrees with Rorty, who ascribes to James an extreme anti‐metaphysical stance.     

Third party assisted conception: an African perspective

The central importance of reproduction in all human cultures has given rise to many methods and techniques of assisting reproduction or overcoming infertility. Such methods and techniques have achieved spectacular successes in the Western world, where processes like in vitro fertilization (IVF) constitute a remarkable breakthrough. In this paper, the author attempts to reflect critically on assisted reproduction technologies (ART) from the background and perspective of African culture, a culture within which human reproduction is given the highest priority but which also exhibits a highly ambivalent attitude to modern technology-assisted methods of reproduction. The author considers the ethical crux of reproductive technologies to be linked to the issue of the moral status of the human embryo and argues that a morally significant line of demarcation cannot be drawn between embryos and other categories of humans.     

The truth and nothing but the truth,yet never the whole truth: Frege,Russell and the analysis of unities

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition.     

Soames on the logical empiricists on truth,meaning, convention,and logical truth

Philosophical Studies -     

Paradox,truth and logic part I: Paradox and truth

Conclusion The discussion of the semantics of inconsistent truth theories now comes to a pause. The preceding is of course but a sketch; many interesting questions remain to be answered. The second part of this essay, however, will not seek to answer them. Rather, I will turn to the discussion of the proof theory of truth theory: the local and global logic of truth.Under the first heading, I show how to replace the inductive construction of models with an appropriate infinitary proof theory, and relate this on the one hand to the so-called dependence approach to inductive truth theories (Davis, 1979; Yablo, 1982) and on the other to van Fraassen's fact semantics for relevance logic.Under the second heading, I offer formals systems which capture the inferences valid in all approximate models. Not surprisingly, these turn out to be relevant logics.With formalism in hand, I discuss finally the extent to which the gap and/or glut approach can in fact be said to solve the paradoxes; that is, to allow us to say that the very language we are speaking is of the sort described in our theory.     

A three-component conception of intuition: Immediacy,sensing relationships,and reason

Based on a comprehensive review of the published literature, a model of intuition is presented with the following three components: immediacy, the sensing of relationships, and reason. These interactive components contribute specific aspects of intuition: the components of immediacy and relationships contribute insight; the components of relationships and reason contribute metaphorical and analogical thinking; and, the components of immediacy and reason contribute an action-oriented type of reasoning that is antithetical to metacognition. Implications of the model for psychological and educational research are presented.