Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners’ interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems. © 2004 Cognitive Science Society, Inc. All rights reserved.

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

What is it reasonable to believe about our most successful scientific theories such as the general theory of relativity or quantum mechanics? That they are true, or at any rate approximately true? Or only that they successfully ‘save the phenomena’, by being ‘empirically adequate’? In earlier work I explored the attractions of a view called Structural Scientific Realism (hereafter: SSR). This holds that it is reasonable to believe that our successful theories are (approximately) structurally correct (and also that this is (...) the strongest epistemic claim about them that it is reasonable to make). In the first part of this paper I shall explain in some detail what this thesis means and outline the reasons why it seems attractive. The second section outlines a number of criticisms that have none the less been brought against SSR in the recent (and as we shall see, in some cases, not so recent) literature; and the third and final section argues that, despite the fact that these criticisms might seem initially deeply troubling (or worse), the position remains viable. (shrink)

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...) the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

In the literature over the Ramsey-sentence approach to structural realism, there is often debate over whether structural realists can legitimately restrict the range of the second-order quantifiers, in order to avoid the Newman problem. In this paper, I argue that even if they are allowed to, it won’t help: even if the Ramsey sentence is interpreted using such restricted quantifiers, it is still an implausible candidate to capture a theory’s structural content. To do so, I use the following observation: if (...) a Ramsey sentence did encode a theory’s structural content, then two theories would be structurally equivalent just in case they have logically equivalent Ramsey sentences. I then argue that this criterion for structural equivalence is implausible, even where frame or Henkin semantics are used. (shrink)

In a series of papers over a period of several years Barry Smith andWerner Ceusters have offered a number of cogent criticisms of historical approaches to creating, maintaining, and applying biomedical terminologies and ontologies. And they have urged the adoption of what they refer to as a “realism-based” approach. Indeed, at times they insist that the realism-based approach not only offers clear advantages and a well-founded methodological basis for ontology development and evaluation, but that such a realist perspective is in (...) fact necessary for understanding and using terminologies and ontologies in science. -/- This paper explores a number of questions surrounding such claims, provides a careful characterization of the type of realism recommended by Smith and Ceusters, and evaluates the role that realism plays in the critiques and recommendations that they offer. The conclusion reached is that while Smith’s and Ceusters’ criticisms of prior practice in the treatment of ontologies and terminologies in medical informatics are often both perceptive and well founded, and while at least some of their own proposals demonstrate obvious merit and promise, none of this either follows from or requires the brand of realism that they propose. (shrink)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously -- having to do, amongst other things, with different "scientific mentalities" in the two disciplines. Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the key notion (...) of a "scientific theory" in a logical perspective. First, various formal explications of this notion are reviewed, then their further logical theory is discussed. In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science. (shrink)

The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...) level of metaphysics and epistemology alike with a sortalist position. Sortalism is the position which insists that, if the question is whether a and b are the same, it has to be asked what are they? Any sufficiently specific answer to that question will bring with it a principle of activity or functioning and a mode of behaviour characteristic of some particular kind of thing by reference to which questions of persistence or non-persistence through change can be adjudicated.These contentions are illustrated by reference to familiar examples such as the human zygote, the Ship of Theseus and Shoemaker's Brown-Brownson. The first example is hostage for a mass of unproblematical cases. The problems presented by the second and third sort of examples arise chiefly (it is claimed) from an incompleteness in our conceptions of the relevant sort—the what the thing in question is. That incompleteness need not prevent us from knowing perfectly well which thing we are referring to. In the concluding section, sortalism is defended against various accusations of anthropocentrism.The paper touches on the interpretation of Heraclitus, Leibniz's theory of clear indistinct ideas, the difficulties of David Lewis's ‘perdurantist’ or stroboscopic view of persistence, four-dimensionalism, and the relation of personal identity both to experiential memory and to the particular bodily physiognomy of a subject. At some points—as in connection with the so-called Only a and b rule—the paper corrects, supplements or extends certain theses or formulations proposed in the author's Sameness and Substance Renewed (2001). (shrink)

Because the conjunction pandq implies p, the value of a bet on pandq cannot exceed the value of a bet on p at the same stakes. We tested recognition of this principle in a betting paradigm that (a) discouraged misreading p as pandnotq, and (b) encouraged genuinely conjunctive reading of pandq. Frequent violations were nonetheless observed. The findings appear to discredit the idea that most people spontaneously integrate the logic of conjunction into their assessments of chance.

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)

In “Ontological realism: Methodology or misdirection?” I offered a detailed critique of the position referred to as “realism” taken by Barry Smith and Werner Ceusters. This position is claimed to serve as the basis for a “realist methodology” that they seek to impose on the development of scientific ontologies, particularly within the biomedical sciences. Here, in part responding to a reply to those criticisms by Smith and Ceusters, I return the focus to an examination of fundamental incoherencies in this realist (...) approach and propose an alternative that is amenable to much of what Smith and Ceusters hope to accomplish. And I sketch what I believe is needed to advance ontology theory and practice in the sciences. (shrink)

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...) constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus it would seem (...) that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

Some risks have extremely high stakes. For example, a worldwide pandemic or asteroid impact could potentially kill more than a billion people. Comfortingly, scientific calculations often put very low probabilities on the occurrence of such catastrophes. In this paper, we argue that there are important new methodological problems which arise when assessing global catastrophic risks and we focus on a problem regarding probability estimation. When an expert provides a calculation of the probability of an outcome, they are really providing the (...) probability of the outcome occurring, given that their argument is watertight. However, their argument may fail for a number of reasons such as a flaw in the underlying theory, a flaw in the modeling of the problem, or a mistake in the calculations. If the probability estimate given by an argument is dwarfed by the chance that the argument itself is flawed, then the estimate is suspect. We develop this idea formally, explaining how it differs from the related distinctions of model and parameter uncertainty. Using the risk estimates from the Large Hadron Collider as a test case, we show how serious the problem can be when it comes to catastrophic risks and how best to address it. (shrink)

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics and ‘classical’ space and time. We also suggest, but not discuss, the case of the relativistic QM. In this work, we are more concerned with the notion of space and its mathematical representation. The mathematics entails that any two spatially separated objects are necessarily different, which implies that they are discernible —we say that the (...) space is T2, or “Hausdorff”, or yet “separable”. But when enters QM, sometimes the systems need to be taken as completely indistinguishable, so that there is no way to tell which system is which, and this holds even in the case of fermions. But in the NST setting, it seems that we can always give an identity to them by means of their individuation, which seems to be contra the quantum physical situation, where individuation does not entail identity. Here we discuss this topic by considering a case study and conclude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. This case study seems to be relevant for a more detailed discussion on the interplay between physical theories and their underlying mathematics, in a simple way apparently never realized before. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons (...) to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (shrink)

This paper advances a detailed exploration of the complex relationships among terms, concepts, and synonymy in the UMLS Metathesaurus, and proposes the study and understanding of the Metathesaurus from a model-theoretic perspective. Initial sections provide the background and motivation for such an approach, and a careful informal treatment of these notions is offered as a context and basis for the formal analysis. What emerges from this is a set of puzzles and confusions in the Metathesaurus and its literature pertaining to (...) synonymy and its relation to terms and concepts. A model theory for a segment of the Metathesaurus is then constructed, and its adequacy relative to the informal treatment is demonstrated. Finally, it is shown how this approach clarifies and addresses the puzzles educed from the informal discussion, and how the model-theoretic perspective may be employed to evaluate some fundamental criticisms of the Metathesaurus. (shrink)

(First paragraph.) Different views on the relation between phenomenal reality, the world as we consciously experience it, and noumenal reality, the world as it is independent from an experiencing subject, have different implications for a collection of interrelated issues of meaning and reality including aspects of metaphysics, the philosophy of language, and philosophical methodology. Exploring some of these implications, this paper compares and brings together analytic, continental, and Buddhist approaches, focusing on relevant aspects of the philosophy of Donald Davidson, Jacques (...) Derrida, Dharmakīrti, and Dōgen. Prima facie, these philosophers have little in common, and indeed the differences are vast. Even in case of the two Western thinkers there is a fundamental difference between Davidson’s anti-dualist identification of phenomenal, experienced reality with the noumenal, real, external world on the one hand, and the bracketing or elimination of noumenal reality at the base of Derrida’s thought on the other, which lead to radically different ideas with regards to (the possibility and nature of) objectivity and our linguistic access to the real/external/noumenal world. Nevertheless, there are important similarities between Dharmakīrti’s theory of apoha and Davidson’s and Derrida’s theories of triangulation and différance respectively, and these similarities can be exploited to bridge some of the differences and attempt a constructive engagement. (shrink)

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (shrink)

Some of the forerunners of quantum theory regarded the basic entities of such theories as 'non-individuals'. One of the problems is to treat collections of such 'things', for they do not obey the axioms of standard set theories like Zermelo- Fraenkel. In this paper, collections of objects to which the standard concept of identity does not apply are termed 'quasi-sets'. The motivation for such a theory, linked to what we call 'the Manin problem', is presented, so as its specific axioms. (...) At the end, it is shown how quantum statistics can be obtained within quasi-set thbeory. (shrink)

Patrick Suppes' set-theoretical approach to the analysis of theories, and Joseph D. Sneed's metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms ‘perception’ and ‘truth’ are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

This is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for testing notions concerning (...) localized mental-physical reduction. The reason for this is that non-monotonic reasoning by definition is about appeals made not only to explicit observations, but also to an implicit selection of background knowledge containing heuristic information. The flexibility of this definition and the fact that it is not absolute, i.e. that the relation of reduction may be retracted or allowed to shift without fuss, add at least an interesting alternative factor to current materialist debates. South African Journal of Philosophy Vol. 25(2) 2006: 102-112. (shrink)

Bergmann advocated a universal realism different from that of Plato. His universals are different, and the fundamental tie connecting universals to particulars is also in many respects different from Plato's participation. Since Bergmann takes universals to be perceptible, it makes sense to argue empirically for the existence of the fundamental tie of exemplification. He holds that exemplification ties universals and particulars together into facts. However, finally he drops fundamental ties and attributes to diads of diversity the togetherness of universals and (...) particulars, though he is very reluctant to give up the principle that complexes need ties to give them unity. Analyzing the ontological tradition, Bergmann claims that it mostly mistook a function for a fundamental tie. (shrink)

In “Two Dogmas”, Quine indicates that Carnap’s Aufbau fails “in principle” to reduce our knowledge of the external world to sense data. This is because in projecting the sensory material to reconstruct the physical world, Carnap gives up the use of operating rules and switches to a procedure informed by general principles. This procedure falls short of providing an eliminative translation for the connective “is at”, which is necessary for the reduction. In dissecting Quine’s objection, I argue that Quine has (...) at best proven the claim that the use of general principles essentially fails the task of radical reductionism. However, in order to establish the conclusion that the Aufbau fails in principle, Quine needs to further vindicate two other claims. They are: first, a switch from operating rules to general principles is necessary; second, the set of general principles Carnap adopts is the best alternative. By disambiguating the notion of “explicit definition” and examining the concept of definability in the Aufbau, I explore the possibility of justifying these two claims that Quine overlooks in his objection. The result suggests that Quine’s objection stands in tension with his radical reductionist reading of the Aufbau. (shrink)

Logic is the systematic study of patterns of correct inference. The first treatise on logic is Aristotle's Prior Analytics , written around 350 B.C. and there are remarkable similarities between the way he presented his theory of valid arguments and the way it is still taught today. He analyzes the form of various inferences and then illustrates them with concrete examples. He begins with very simple cases.

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

The aim of this paper is to elaborate a notion of explanation which is applicable to stochastic processes such as quantum processes. The model-theoretic approach was adopted in order to delimit appropriate classes, by defining set-theoretical predicates, of different kinds of physical transformations that quantum systems suffer, either of transitions or of transmutations, by interaction or in a spontaneous manner. To explain a singular quantum process consists in showing that it is feasible to model it as an indeterministic process of (...) certain specified kind. (shrink)

Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

The scope and nature of reductionist explanation in quantum physics is analyzed, with special attention being paid to the situation in quantum physics.

Permission is hereby granted until the end of December, 2009 to make single copies of this document as desired, and to make multiple copies for use by teachers or students in any course offered by any school.

The Logic of Partial Terms LPT is a strict negative free logic that provides an economical framework for developing many traditional mathematical theories having partial functions. In these traditional theories, all functions and predicates are strict. For example, if a unary function (predicate) is applied to an undefined argument, the result is undefined (respectively, false). On the other hand, every practical programming language incorporates at least one nonstrict or lazy construct, such as the if-then-else, but nonstrict functions cannot be either (...) primitive or introduced in definitional extensions in LPT. Consequently, lazy programming language constructs do not fit the traditional mathematical mold inherent in LPT. A nonstrict (positive free) logic is required to handle nonstrict functions and predicates. Previously developed nonstrict logics are not fully satisfactory because they are verbose in describing strict functions (which predominate in many programming languages), and some logicians find their semantics philosophically unpalatable. The newly developed Lazy Logic of Partial Terms LL is as concise as LPT in describing strict functions and predicates, and strict and nonstrict functions and predicates can be introduced in definitional extensions of traditional mathematical theories. LL is "built on top of" LPT, and, like LPT, admits only one domain in the semantics. In the semantics, for the case of a nonstrict unary function h in an LL theory T, we have $\models_T h(\perp) = y \longleftrightarrow \forall x(h(x) = y)$ , where $\perp$ is a canonical undefined term. Correspondingly, in the axiomatization, the "indifference" (to the value of the argument) axiom $h(\perp) = y \longleftrightarrow \forall x(h(x) = y)$ guarantees a proper fit with the semantics. The price paid for LL's naturalness is that it is tailored for describing a specific area of computer science, program specification and verification, possibly limiting its role in explicating classical mathematical and philosophical subjects. (shrink)

Non-relativistic quantum mechanics is grounded on ‘classical’ space and time. The mathematical description of these con- cepts entails that any two spatially separated objects are necessarily dif- ferent, which implies that they are discernible — we say that the space is T2, or "Hausdorff". But quantum systems, in the most interesting cases, some- times need to be taken as indiscernible, so that there is no way to tell which system is which, and this holds even in the case of fermions. (...) But in the NST setting, it seems that we can always give an identity to them, which seems to be contra the physical situation. In this paper we discuss this topic for a case study and con- clude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. (shrink)

La parution de la monographic de Sneed,The Logical Structure of Mathematical Physics a suscité un renouveau d'intérêt en philosophie contemporaine des sciences. Cet ouvrage arrivait à un moment où l'épistémologie des sciences, telle que développée dans les milieux germaniques et anglo-saxons, accusait de graves insuffisances dans la reconstruction rationnelle du développement historique des théories physiques. Mis sur la défensive par les thèses et arguments historiques de Kuhn et de Feyerabend, ces milieux « orthodoxes » devaient reconnaitre l'état embryonnaire de ce (...) qui devait être uneépistémologie diachroniquedes sciences, une épistémologie du changement scientifique où les méthodes d'analyse formelle puissent être aussi mises á contribution. A cela s'ajoutait un certain malaise, une certaine stagnation de la problématique, plus synchronique, de l'approche traditionnelle issue du mouvement empiriste logique. Le probleme de la dichotomielangage théorique—langage observationnel, ainsi que son fidèle compagnon, le problème destermes théoriques, le statut épistémologique desrègies de correspondance, la dèfinition du concept d'analyticitéen science, autant de questions qui avaient été discutées et critiquées, à maintes reprises, pour aboutir à des résultats peu concluants aux yeux des philosophes, comme à ceux des physiciens préoccupés des fondements de leur discipline et à qui la teneur de cette discussion semblait souvent étrangère à la pratique scientifique. (shrink)