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.

Semi-realism offers a metaphysics of science based on causal properties. Insofar as these are understood in terms of dispositions for specific relations that comprise the concrete structure of the world it can be regarded as a form of structural realism. And insofar as these properties are 'sociable' and cohere into the groupings that comprise the particulars investigated by science, it captures the underlying intuition behind forms of entity realism. However, I shall raise concerns about both these features. I shall suggest that dispositionalism is not an appropriate metaphysics for modern physics and that 'sociability' should be understood in terms of the coherence revealed by symmetry principles. I hope to show how we can retain the virtues of semi-realism while dispensing with the problematic elements by recasting it in more thoroughly structuralist terms

Although much of its history has been neglected or misunderstood, a structuralist 'tendency' has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's 'epistemic' structural realism; the latter with Ladyman's 'ontic' form. And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency' which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with

The current state of the relationship between metaphysics and the philosophy of science might appear to be one best described as ‘hostility on both sides’. In an attempt to bridge this gap, French and McKenzie have suggested a two fold strategy: on the one hand, if metaphysics is to be taken to have something direct to say about reality, the implications of physics need to be properly appreciated; on the other, one does not have to agree with the claim that a prioristic metaphysics should be dismissed or even discontinued, since we should value scientifically disinterested metaphysics as a ‘toolbox’ for philosophers of science. It is in the context of this strategy that I want to approach the issue of understanding the symmetry principles that feature in the Standard Model of modern physics. I shall suggest that the dispositional analysis of laws is incapable of accommodating such principles. However, there are other tools in the metaphysical toolbox that one can draw upon to help capture the nature of such symmetries corresponding to the second part of the above strategy.