Steven French

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey of paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.)

An account of scientific representation in terms of partial structures and partial morphisms is further developed. It is argued that the account addresses a variety of difficulties and challenges that have recently been raised against such formal accounts of representation. This allows some useful parallels between representation in science and art to be drawn, particularly with regard to apparently inconsistent representations. These parallels suggest that a unitary account of scientific and artistic representation is possible, and our article can be viewed as laying the groundwork for such an account—although, as we shall acknowledge, significant differences exist between these two forms of representation.

Fifteen essays are contained in this collection, all relating to Heinz Post ’ s article ‘ Correspondence, Invariance and Heuristics ’, also reprinted. In this article, written in the heyday of the post - positivist movement, Post aims to convince his fellowphilosophers of science to bring the issue of heuristics back to the philosophical stage. Examining a wealth of theories and models from the physics and chemistry of the last 300 years, Post extracts several strategies of theory construction of which he considers the General Correspondence Principle to be the most important. According to this principle, any acceptable newtheory should explain the well - confirmed part of its predecessor. Later Post states the General Correspondence Principle more precisely and uses it with what he considers its de facto validity to argue against incommensurability, Kuhn - losses, 1 and relativism. Post himself seems to support a kind of convergent realism which is most notably expressed in his credo that science progresses linearly

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate

Quasi-set theory has been proposed as a means of handling collections of indiscernible objects. Although the most direct application of the theory is quantum physics, it can be seen per se as a non-classical logic (a non-reflexive logic). In this paper we revise and correct some aspects of quasi-set theory as presented in [12], so as to avoid some misunderstandings and possible misinterpretations about the results achieved by the theory. Some further ideas with regard to quantum field theory are also advanced in this paper

Some recent work in the philosophy of quantum mechanics has suggested that quantum systems can be thought of as non-separable and therefore non-individual, in some sense, in Bell and E.P.R. type situations. This suggestion is set in the context of previous work regarding the individuality of quantal particles and it is argued that such entities can be considered as individuals if their non-classical statistical correlations are understood in terms of non-supervenient relations holding between them. We conclude that such relations are strongly non-supervenient in Cleland's sense and note a possible connection between this idea and the realist quantum logic programme

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion.

Many important explanations in physics are based on ideas and assumptions about symmetries, but little has been said about the nature of such explanations. This chapter aims to fill this lacuna, arguing that various symmetry explanations can be naturally captured in the spirit of the counterfactual-dependence account of Woodward, liberalized from its causal trappings. From the perspective of this account symmetries explain by providing modal information about an explanatory dependence, by showing how the explanandum would have been different, had the facts about an explanatory symmetry been different. Furthermore, the authors argue that such explanatory dependencies need not be causal.

The central concern of this article is whether the semantic approach has the resources to appropriately capture the core tenets of structural realism. Chakravartty (2001) has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component, which undermines the approach itself. We suggest that this worry can be addressed by an appropriate understanding of the role of language in this context. The real challenge, however, is how to incorporate the core notion of `explanatory approximate truth' in such a way that the emphasis on structure is retained.

In this opinion piece, the authors offer their personal and idiosyncratic views of the future of the philosophy of science, focusing on its relationship with the history of science and metaphysics, respectively. With regard to the former, they suggest that the Kantian tradition might be drawn upon both to render the history and philosophy of science more relevant to philosophy as a whole and to overcome the challenges posed by naturalism. When it comes to the latter, they suggest both that metaphysics has much to learn from the philosophy of science and that it offers an array of tools that philosophers of science can themselves appropriate

‘Epistemic structural realism’ (ESR) insists that all that we know of the world is its structure, and that the ‘nature’ of the underlying elements remains hidden. With structure represented via Ramsey sentences, the question arises as to how ‘hidden natures’ might also be represented. If the Ramsey sentence describes a class of realisers for the relevant theory, one way of answering this question is through the notion of multiple realisability. We explore this answer in the context of the work of Carnap, Hintikka and Lewis. Both Carnap and Hintikka offer clear structuralist perspectives which, crucially, accommodate the openness inherent in theory change. Unfortunately there is little purchase for a viable form of realism in either case. Lewis’s approach, on the other hand, offers more scope for realism but, as we shall see, concerns arise as to whether a relevant form of structuralism can be maintained. In particular his thesis of Ramseyan humility undermines certain conceptions of scientific laws that the structural realist might naturally cleave to. Our overall conclusion is that the representational device of Ramsey sentence plus multiple realisability can accommodate either the structuralist or realist aspects of ESR but has difficulties capturing both

This chapter discusses some emerging trends, new directions, and outstanding issues in philosophy of science. The first section places contemporary philosophy of science in context by considering its relationship to analytic philosophy at large, to the history of science, and to science itself. The subsequent sections will then take a look at a selection of interesting trends emerging from current research, and some important issues calling for further work. The presentation is inevitably coloured by our personal perspectives, and we cannot hope to do justice even to the majority of new developments. But we hope to be able to convey some sense of the range of problems, issues and areas where new and interesting research is being conducted.

This volume is presented in honour of Heinz Post, who founded a distinc tive and distinguished school of philosophy of science at Chelsea College, University of London. The 'Chelsea tradition' in philosophy of science takes the content of science seriously, as exemplified by the papers presented here. The unifying theme of this work is that of 'Correspondence, Invariance and Heuristics', after the title of a classic and seminal paper by Heinz Post, published in 1971, which is reproduced in this volume with the kind permission of the editors and publishers of Studies in History and Philosophy of Science. Described by Paul Feyerabend in Against Method as "brilliant" and " . . . a partial antidote against the view which I try to defend" (1975, p. 61, fn. 17), this paper, peppered with illustrative examples from the history of science, brings to the fore some of Heinz Post's central concerns: the heuristic criteria used by scientists in constructing their theories, the intertheoretic relationships which these criteria reflect and, in particular, the nature of the correspondence that holds between a theory and its predecessors (and its suc cessors). The appearance of this volume more than twenty years later is an indica tion of the fruitfulness of Post's contribution: philosophers of science continue to explore the issues raised in his 1971 paper.