In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

Despite some discomfort with this grandly philosophical topic, I do in fact hope to address a venerable pair of philosophical chestnuts: mathematical truth and existence. My plan is to set out three possible stands on these issues, for an exercise in compare and contrast.' A word of warning, though, to philosophical purists (and perhaps of comfort to more mathematical readers): I will explore these philosophical positions with an eye to their interconnections with some concrete issues of set theoretic method.

Structural realism is sometimes said to undermine the theory underdetermination (TUD) argument against realism, since, in usual TUD scenarios, the supposed underdetermination concerns the object-like theoretical content but not the structural content. The paper explores the possibility of structural TUD by considering some special cases from modern physics, but also questions the validity of the TUD argument itself. The upshot is that cases of structural TUD cannot be excluded, but that TUD is perhaps not such a terribly serious anti-realistic argument.

In this paper we explore the constraints that our preferred account of scientific representation places on the ontology of scientific models. Pace the Direct Representation view associated with Arnon Levy and Adam Toon we argue that scientific models should be thought of as imagined systems, and clarify the relationship between imagination and representation.

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

Though logical positivism is part of Kant's complex legacy, positivists rejected both Kant's theory of intuition and his classification of mathematical knowledge as synthetic a priori. This paper considers some lingering defenses of intuition in mathematics during the early part of the twentieth century, as logical positivism was born. In particular, it focuses on the difficult and changing views of Hermann Weyl about the proper role of intuition in mathematics. I argue that it was not intuition in general, but his (...) commitment to twodifferent types of intuition, which explains his rather unusual and tormented philosophy of the mathematical continuum. I would like to thank Geoff Gorham, David McCarty, and Rosamond Rodman for reading an earlier draft of this work. I should also thank those who provided helpful comments on several distant ancestors of this paper: Emily Carson, Ulrich Majer, Erhard Scholz, John Schuerman, Stewart Shapiro, and Richard Tieszen. I am indebted to two anonymous referees for pointing out some problems and for pointing me to work on Weyl I did not previously know about. In particular, the recent articles in [Feist, 2004a] turned out to be (somewhat uncomfortably) relevant to the focus of this paper. In this last revision I have tried to show where I agree and disagree with the authors of those papers; I apologize for whatever repetition still exists, but it was tere before I read those papers. This paper has a long history, and comes out of several talks I gave some years ago. Audiences at the Center for Philosophy of Science, University of Pittsburgh (colloquium 1995), St Andrews University Philosophy of Mathematics Workshop (1996), the British Society for the History of Mathematics meeting (1996), the University of Mainz Mathematics Department (colloquium 1996), the Canadian Philosophical Association (1997 and 1999), and the University of British Columbia (colloquium 1998) should be thanked for their helpful comments. I also thank Neil Tennant for encouraging me to resurrect this work. CiteULike Connotea Del.icio.us What's this? (shrink)

The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.

James Ladyman has recently proposed a view according to which all that exists on the level of microphysics are structures "all the way down". By means of a comparative reading of structuralism in philosophy of mathematics as proposed by Stewart Shapiro, I shall present what I believe structures could not be. I shall argue that, if Ladyman is indeed proposing something as strong as suggested here, then he is committed to solving problems that proponents of structuralism in philosophy of mathematics (...) such as Shapiro are trying to solve. Attempting to do so, however, brings out a tacit tension in Ladyman's position. I shall argue that the upshot of this is that the ontological import that Ladyman attributes to structures is rather epistemological import properly understood. (shrink)

The question as to whether there are mathematical explanations of physical phenomena has recently received a great deal of attention in the literature. The answer is potentially relevant for the ontology of mathematics; if affirmative, it would support a new version of the indispensability argument for mathematical realism. In this article, I first review critically a few examples of such explanations and advance a general analysis of the desiderata to be satisfied by them. Second, in an attempt to strengthen the (...) realist position, I propose a new type of example, drawing on probabilistic considerations. 1 Introduction2 Mathematical Explanations2.1 ‘Simplicity’3 An Average Story: The Banana Game3.1 Some clarifications3.2 Hopes and troubles for the nominalist3.3 New hopes?3.4 New troubles4 Conclusion. (shrink)

Jim Weatherall has suggested that Einstein's hole argument, as presented by Earman and Norton, is based on a misleading use of mathematics. I argue on the contrary that Weatherall demands an implausible restriction on how mathematics is used. The hole argument, on the other hand, is in no new danger at all.

This dissertation investigates the origin, intellectual development and use of a semantic variant of the idea of logical space found implicitly in Kant and explicitly in early Wittgenstein and van Fraassen. It elucidates the idea of logical space as the idea of images or pictures representative of reality organized into a logico-mathematical structure circumscribing a form of all possible worlds. Its main claim is that application of these images or pictures to reality is through a certain conception of self. The (...) first chapter presents a novel interpretation of Kant’s semantic theory of schemata in the Critique of Pure Reason, showing that a structure of the imagination induced by the transcendental self informs an implicit idea of logical space. The second chapter offers an intellectual history of the idea through developments in the organization of images introduced by Helmholtz and Hertz. The third chapter reveals early Wittgenstein’s idea of logical space to be his notion of the self, demonstrating how this serves to unify propositions of the Tractatus Logico-Philosophicus concerning solipsism, realism, ethics, aesthetics and mysticism with those pertaining to the picture theory of meaning. The fourth chapter provides a historical overview of the development of van Fraassen’s empiricism in relation to his adaptation of logical space, and evaluates his recent proposal in Scientific Representation: Paradoxes of Perspective that the problem of coordination in the semantic view of theories is dissolved through self-location in logical space. After identifying a number of problems this proposal creates for his empiricism, a brief suggestion is made about how van Fraassen might improve upon his conception of logical space, and how an empiricist view of scientific representation might be understood as a result. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility of the (...) theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

The paper is a kind of opinionated review paper on current issues in the debate about Structural Realism, roughly the view that we should be committed in the structural rather than object-like content of our best current scientific theories. The major thesis in the first part of the paper is that Structural Realism has to take structurally derived intrinsic properties into account, while in the second part key elements of aligning Structural Realism with a Humean framework are outlined.

The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in (...) our discourse as though they are independent of time and space; finding a place for such objects in a broader framework of thought is a central task of ontology, or metaphysics. The rigor and precision of mathematical language depends on the fact that it is based on a limited vocabulary and very structured grammar, and semantic accounts of mathematical discourse often serve as a starting point for the philosophy of language. Although mathematical thought has exhibited a strong degree of stability through history, the practice has also evolved over time, and some developments have evoked controversy and debate; clarifying the basic goals of the practice and the methods that are appropriate to it is therefore an important foundational and methodological task, locating the philosophy of mathematics within the broader philosophy of science. (shrink)

L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...) fondamentali per la ricerca di nuovi assiomi in matematica. L’articolo fornisce un quadro generale dei risultati matematici fondamentali, e un’analisi di alcune delle questioni filosofiche connesse al Problema del Continuo. (shrink)