In the paper I discuss the importance of relativistic hypercomputation for the philosophy of mathematics, in particular for our understanding of mathematical knowledge. I also discuss the problem of the explanatory role of mathematics in physics and argue that relativistic computation fits very well into the so-called programming account. Relativistic computation reveals an interesting interplay between the empirical realm and the realm of very abstract mathematical principles that even exceed standard mathematics and suggests, that such principles might play (...) an explanatory role. I also argue that relativistic computation does not have some of the weaknesses of other hypercomputational models, thus it is particularly attractive for the philosophy of mathematics. (shrink)

This chapter contains sections titled: Abstract Introduction Mathematical Relativism: Does Everything Go In Mathematics? Conceptual, Structural and Logical Relativity in Mathematics Mathematical Relativism and Mathematical Objectivity Mathematical Relativism and the Ontology of Mathematics: Platonism Mathematical Relativism and the Ontology of Mathematics: Nominalism Conclusion: The Significance of Mathematical Relativism References.

Rather than attempting to characterize a relation of confirmation between evidence and theory, epistemology might better consider which methods of forming conjectures from evidence, or of altering beliefs in the light of evidence, are most reliable for getting to the truth. A logical framework for such a study was constructed in the early 1960s by E. Mark Gold and Hilary Putnam. This essay describes some of the results that have been obtained in that framework and their significance for philosophy (...) of science, artificial intelligence, and for normative epistemology when truth is relative. (shrink)

Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own (...) development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development. (shrink)

Robert Brandom; XII*—The Significance of Complex Numbers for Frege's Philosophy of Mathematics1, Proceedings of the Aristotelian Society, Volume 96, Issue 1, 1.

The paper is inspired by the arguments raised recently by Grunbaum criticizing the current approaches of many cosmologists to the problem of spacetime singularity, matter creation and the origin of the universe. While agreeing with him that the currently favored cosmological ideas do not indicate the biblical notion of divine creation ex nihilo, I present my viewpoint on the same issues, which differs considerably from Grunbaum's. First I show that the symmetry principle which leads to the conservation law of energy (...) is violated when the time axis is terminated at t = 0. Next I discuss why this epoch (t = 0) is more a mathematical artifact whose supposed significance may disappear when one goes beyond the classical relativistic cosmology. This is illustrated by the example of quantum cosmology. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The following essay sets out the background developments in mathematics and set theory that inform Alain Badiou’s Being and Event in order to provide some context both for the original text and for comment on Chris Norris’s excellent exploration of Badiou’s work. I also provide a summary of Badiou’s overall approach.

Antony Flew's ?A Strong Programme for the Sociology of Belief (Inquiry 25 {1982], 365?78) critically assesses the strong programme in the sociology of knowledge defended in David Bloor's Knowledge and Social Imagery. I argue that Flew's rejection of the epistemological relativism evident in Bloor's work begs the question against the relativist and ignores Bloor's focus on the social relativity of mathematical knowledge. Bloor attempts to establish such relativity via a sociological analysis of Frege's theory of number. But this (...) analysis only succeeds if the rejection of an explanatory theory entails that there are reasonable grounds for the rejection of the set of propositions which that theory was intended to explain. I argue against such an entailment, and thus against Bloor's attempt to relativize mathematical knowledge. (shrink)

Depending on how it is clarified, the applicability of mathematics can lie anywhere on a spectrum from the completely trivial to the utterly mysterious. At the one extreme, it is obvious that mathematics is used outside of mathematics in cases which range from everyday calculations like the attempt to balance one s checkbook through the most demanding abstract modeling of subatomic particles. The techniques underlying these applications are perfectly clear to those who have mastered them and there seems to be (...) little for the philosopher to say about such cases. At the same time, moving to the other extreme, scientists and philosophers have often remarked on the remarkable power that mathematics provides to the scientist, especially in the formulation of new scientific theories. Most famously, Wigner claimed that The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve (Wigner 1960, p. 14). But Wigner is far from an isolated case. According to Kant, in any special doctrine of nature there can be only as much proper science as there is mathematics therein (Kant 1786, p 6), and others seem to agree that there is some significant tie between mathematics and modern science. (shrink)

In recent decades, the scientific study of consciousness has significantly increased our understanding of this elusive phenomenon. Yet, despite critical development in our understanding of the functional side of consciousness, we still lack a fundamental theory regarding its phenomenal aspect. There is an “explanatory gap” between our scientific knowledge of functional consciousness and its “subjective,” phenomenal aspects, referred to as the “hard problem” of consciousness. The phenomenal aspect of consciousness is the first-person answer to “what it’s like” question, and it (...) has thus far proved recalcitrant to direct scientific investigation. Naturalistic dualists argue that it is composed of a primitive, private, non-reductive element of reality that is independent from the functional and physical aspects of consciousness. Illusionists, on the other hand, argue that it is merely a cognitive illusion, and that all that exists are ultimately physical, non-phenomenal properties. We contend that both the dualist and illusionist positions are flawed because they tacitly assume consciousness to be an absolute property that doesn’t depend on the observer. We develop a conceptual and a mathematical argument for a relativistic theory of consciousness in which a system either has or doesn’t have phenomenal consciousness with respect to some observer. Phenomenal consciousness is neither private nor delusional, just relativistic. In the frame of reference of the cognitive system, it will be observable and in other frame of reference it will not. These two cognitive frames of reference are both correct, just as in the case of an observer that claims to be at rest while another will claim that the observer has constant velocity. Given that consciousness is a relativistic phenomenon, neither observer position can be privileged, as they both describe the same underlying reality. Based on relativistic phenomena in physics we developed a mathematical formalization for consciousness which bridges the explanatory gap and dissolves the hard problem. Given that the first-person cognitive frame of reference also offers legitimate observations on consciousness, we conclude by arguing that philosophers can usefully contribute to the science of consciousness by collaborating with neuroscientists to explore the neural basis of phenomenal structures. (shrink)

A Christian approach to scholarship, directed by the central biblical motive of creation, fall and redemption and guided by the theoretical idea that God subjected all of creation to His Law-Word, delimiting and determining the cohering diversity we experience within reality, in principle safe-guards those in the grip of this ultimate commitment and theoretical orientation from absolutizing or deifying anything within creation. In this article my over-all approach is focused on the one-sided legacy of mathematics, starting with Pythagorean arithmeticism (“everything (...) is number”), continuing with the geometrization of mathematics after the discovery of irrational numbers and once again, during the nineteenth century returning to an arithmeticistic position. The third option, never explored during the history of mathematics, guides our analysis: instead of reducing space to number or number to space it is argued that both the uniqueness of these two aspects and their mutual coherence ought to direct mathematics. The presence of different schools of thought is highlighted and then the argument proceeds by distinguishing numerical and spatial facts, while accounting for the strict correlation of operations on the law side of the numerical aspect and their correlated numerical subjects (numbers). Discussing the examples of 2 + 2 = 4 and the definition of a straight line as the shortest distance between two points provide the background for a brief sketch of the third alternative proposed (inter alia against the background of an assessment of infinity and continuity and the vicious circles present in contemporary mathematical arithmeticistic claims). (shrink)

Current mathematical models are notoriously unreliable in describing the time evolution of unexpected social phenomena, from financial crashes to revolution. Can such events be forecast? Can we compute probabilities about them? Can we model them? This book investigates and attempts to answer these questions through GOdel's two incompleteness theorems, and in doing so demonstrates how influential GOdel is in modern logical and mathematical thinking. Many mathematical models are applied to economics and social theory, while GOdel's theorems are (...) able to predict their limitations for more accurate analysis and understanding of national and international events. This unique discussion is written for graduate level mathematicians applying their research to the social sciences, including economics, social studies and philosophy, and also for formal logicians and philosophers of science. (shrink)

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both (...) the contemporary literature and older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics. (shrink)

In this article the philosophy of mathematics issues related to the procedure of mathematical symbolization are studied on the basis of phenomenon of implicit knowledge. The specificity of mathematical symbolization and conditions of its implementation, defines the role of mathematical symbolization in the development of mathematics. The author believes that the results can justify the thesis that the basis of mathematical symbolization is a priori epistemological ‘foundation‘. The author believes that the conclusions of the article significantly (...) limit the prospects of the popular contemporary philosophy of science epistemological relativism in the philosophy of mathematics, as well as in the theory of knowledge in general. Further studies on the role of implicit knowledge in the development of mathematics, according to the author, should contribute to the strengthening and further spread of a similar approach in the theory of knowledge. (shrink)

This collection’s basic theme and thesis, explained by Curtis L. Hancock, “A Critique of Social Construct Theory” and “A Counterfeit Choice,” is that the seeds of contemporary relativism were sown by modern philosophy, primarily Descartes himself, its founder. Following a lead from Gilson, these authors pursue the benefits of classical realism and existential Thomism compared with the Cartesian legacy of subjectivism in modern philosophy. Indeed, Peter Redpath, “Why Descartes was not a Philosopher,” explains why Descartes may not be a (...) philosopher at all, if the significance of the term be properly considered as a love of wisdom and a search for true being. As Maritain coined the phrase, he is an “ideosopher,” in pursuit of the effective idea and rhetorical success, not the contemplation of being. Christopher Cullen, “Transcendental Thomism: Realism Rejected,” argues that the attempt by Karl Rahner, Joseph Donceel, and others to absorb the Cartesian and Kantian approach into Thomism has not proved successful. Robert Geis, “Descartes’s Res: An Interactionist Difficulty,” explains how the objectifying of mind as a thing sets up insoluble difficulties; he argues that a more adequate account is found in Aristotle. Donald DeMarco, “Descartes, Mathematics and Music,” traces out the effect in music when the physical is reduced to the mathematical. The imposition of a uniform method leads to a distortion of what musicians do. William J. Fossati, “Maximum Influence from Minimum Abilities: La Mettrie and Radical Materialism,” traces the Cartesian heritage of reductionism through Julien Offroy de Le Mettrie to the most contemporary attempts to explain human beings as mere biological organisms. (shrink)

A curious collection of snippets from the world of mathematics, mainly of historical significance. Beside Newton there are selections from Chaucer and Dürer, on the one hand, and Plato and Sun-Tsu on the other. The author provides historical and biographical sketches for all fifty-four of the cross-cultural selections.—P. S.

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, namely, ZFC set theory, all mathematical objects are represented by sets, while ordinary, namely, non–set theoretic, mathematics is represented in the more parsimonious language of second-order arithmetic. This paper deals with the latter representation for the rather basic case of continuous functions on the reals and Baire space. We show that the logical (...) strength of basic theorems named after Tietze, Heine, and Weierstrass changes significantly upon the replacement of “second-order representations” by “third-order functions.” We discuss the implications and connections to the reverse mathematics program and its foundational claims regarding predicativist mathematics and Hilbert’s program for the foundations of mathematics. Finally, we identify the problem caused by representations of continuous functions and formulate a criterion to avoid problematic codings within the bigger picture of representations. (shrink)

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research (...) in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The further sections then build on this and are centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

This essay explores theories of place, or lived-space, as regards the role of objectivity and the problem of relativism. As will be argued, the neglect of mathematics and geometry by the lived-space theorists, which can be traced to the influence of the early phenomenologists, principally the later Husserl and Heidegger, has been a major contributing factor in the relativist dilemma that afflicts the lived-space movement. By incorporating various geometrical concepts within the analysis of place, it is demonstrated that the (...) lived-space theorists can gain a better insight into the objective spatial relationships among individuals and within groups—and, more importantly, this appeal to mathematical content need not be construed as undermining the basic tenants of the lived-space approach. (shrink)

In this paper, I discuss the social philosopher Pierre Bourdieu’s concept of habitus, and use it to locate and examine dispositions in a larger constellation of related concepts, exploring their dynamic relationship within the social context, and their construction, manifestation, and function in relation to classroom mathematics practices. I describe the main characteristics of habitus that account for its invisible effects: its embodiment, its deep and pre-reflective internalization as schemata, orientation, and taste that are learned and yet unthought, and are (...) subsumed by our practices, which we understand as something that “goes without saying.” I also propose that, similarly to Bourdieu’s concept of linguistic habitus, a math habitus is made up of a complex intertwining of collective and individual histories that turn into “nature,” which structure all individual and collective action and inform mathematical classroom practice. I suggest that individual math dispositions may be liable to reconstruction through the reconstruction of the collective math habitus, which follows from opening spaces for dialogue, problematization and reconstruction of the unthought categories of the doxa. This requires that students acquire new concrete and symbolic means with which to challenge their current sense of mathematics as a discipline, and mathematical practice tout court. Finally, I argue that community of inquiry, employed as a pedagogical model, provides an avenue for both: for opening those spaces for reflective dialogical inquiry into concepts and questions whose meanings and references have so far been taken for granted, and for acquiring critical thinking and dialogical skills and dispositions that are a necessary means for participating in such reflective inquiry that offers significant promise for reconstructing individual and collective habitus in school settings. (shrink)

The dream of a community of philosophers engaged in inquiry with shared standards of evidence and justification has long been with us. It has led some thinkers puzzled by our mathematical experience to look to mathematics for adjudication between competing views. I am skeptical of this approach and consider Skolem's philosophical uses of the Löwenheim-Skolem Theorem to exemplify it. I argue that these uses invariably beg the questions at issue. I say ?uses?, because I claim further that Skolem shifted (...) his position on the philosophical significance of the theorem as a result of a shift in his background beliefs. The nature of this shift and possible explanations for it are investigated. Ironically, Skolem's own case provides a historical example of the philosophical flexibility of his theorem. Our suspicion ought always to be aroused when a proof proves more than its means allow it. Something of this sort might be called ?a puffed-up proof?. Ludwig Wittgenstein, Remarks on the foundations of mathematics (revised edition), vol. 2, 21. (shrink)

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

Mathematicians typically invoke a wide range of reasons as to why their research is valuable. These reveal considerable differences between their personal images of mathematics. One of the most interesting of these concerns the relative importance accorded to conceptual reformulation and development compared with that accorded to the achievement of concrete results. Here I explore the conceptualists' claim that the scales are tilted too much in favour of the latter. I do so by taking as a case study the debate (...) surrounding the question as to whether groupoids are significantly more powerful than groups at capturing the symmetry of a mathematical situation. The introduction of groupoids provides a suitable case as they score highly according to criteria relating to theory-building rather than problem-solving.Several of the arguments for the adoption of the groupoid concept are outlined, including claims as to its capacity for reformulating existing theory, its ability to measure symmetry more systematically, and its ‘naturalness’. This last notion is given an extensive treatment. (shrink)

This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been closely linked to, and has exerted a significant influence upon, the main stream of analytical philosophy. The issues discussed are of interest throughout philosophy, and no mathematical expertise is required of the reader. Contributors include W.V. Quine, W.D. Hart, Michael Dummett, Charles Parsons, Paul Benacerraf, Penelope Maddy, W.W. Tait, Hilary Putnam, George Boolos, Daniel Isaacson, Stewart (...) Shapiro, and Hartry Field. (shrink)

In the present paper, I try to defend a coherent interpretation of Goodman�s relativism by responding to the main objections of the critics. I also discuss the significance of his pluralism by relating it to the notion of construction. This will show the relevance of Goodman�s philosophy for the present days.

ionism as a foundational programme in the philosophy of mathematics traditionally originates with Gottlob Frege. According to it, significant portions of mathematics (arithmetic, possibly r...

Mathematically, the fusion of space and time may be explained as follows. In pre-relativity physics, space was envisaged as a three-dimensional Euclidean continuum. Such a continuum is homogeneous and isotropic, and its metrical character can be specified by the definition of the distance between any two points in the continuum: s2 = 2 + 2 + 2. Now, while it is possible to speak of a four-dimensional continuum in pre-relativity physics by adding the time-coordinate to the three space-coordinates, there is (...) no way, corresponding to the definition of s, to define the spatio-temporal "separation" or "interval" between any two points in this new four-dimensional continuum. Thus, while it makes sense from the classical point of view to ask for the distance between two points in space, it does not make sense to ask for the spatio-temporal interval between two events occurring in different places at different times. The spatio-temporal interval between non-simultaneous, spatially separated events is simply not defined in pre-relativity physics. Another way of putting it is that in classical physics space and time are measured in entirely disparate units and no method is provided for making these units comparable with one another. In relativity physics, on the other hand, light--or rather the velocity of light--provides the means for making the results of spatial and temporal measurement comparable quantities: one simply multiplies the time-like intervals by c, the fixed velocity of light, in order to obtain space-like intervals. The interval between any two events is defined as: s2 = 2 + 2 + 2 - c22. Interval, so defined, is an invariant, whereas spatial and temporal "separation" are now relative to the state of motion of the observer. The geometry of the four-dimensional continuum characterized by this formula is called "semi-Euclidean". (shrink)

The dynamics of populations of self-replicating, hierarchically structured individuals, exposedto accidents which destroy their sub-units, is analyzed mathematically, specifically with regardto the roles of redundancy and sexual repair. The following points emerge from this analysis:0 A population of individuals with redundant sub-structure has no intrinsic steady-statepoint; it tends to either zero or infinity depending on a critical accident rate α c . Increased redundancy renders populations less accident prone initially, but populationdecline is steeper if a is greater than a fixed (...) value α d . Periodic, sexual repair at system-specific intervals prevents continuous decline and stabilizesthe population insofar as it will now oscillate between two fixed population levels. The stabilizing sexual interval increases with increased complexity provided this is accom-panied by appropriate levels of redundancy. The model closely simulates the dynamics of heterosis effects. Repair fitness is a population fitness: the chance of an individual being repaired is a functionof the statistical make-up of the population as a whole at that particular period. Populationsliving at α > α c either engage in sexual repair at the appropriate time or they die out. The mathematical properties of the model illustrate mechanisms which possibly played arole in the evolution of a mortal soma in relation to sexual reproduction. (shrink)

I am exceedingly grateful to John Doris, Josh Gert and Valerie Tiberius for their gracious, thoughtful and penetrating commentaries. They have each brought out aspects of The Emotional Construction of Morals that are both core to the project and in need of further elaboration and defence. Or, better than ‘defence’, I should say discussion, since I take many of these issues to be unsettled. Also, the commentaries are refreshingly constructive. In a limited space, they manage to advance substantive theses about (...) the nature of morality. These are not book reviews; they are significant contributions to the literature. Tiberius stakes out a subtle strategy for rendering relativism irrelevant. Gert offers a rosy new way of viewing the analogy between morals and secondary qualities. Doris crafts an innovative story about why history should matter to moralists. In my replies, I offer some reasons for upholding the perspective charted out in ECM, but my thinking about all of these issues has been deepened by the exchange. (shrink)

This paper rejoins the debate surrounding Thomas Tymockzko’s paper on the surveyability of proof, first published in the Journal of Philosophy, and makes the claim that by attending to certain broad features of modern conceptions of proof we may understand ways in which the debate surrounding the surveyability of proof has heretofore remained unduly circumscribed. Motivated by these historical reflections, I suggest a distinction between local and global surveyability which I believe has the promise to open up significant new advances (...) in the philosophy of mathematics. (shrink)

A major challenge in the philosophy of mathematics is to explain how mathematical language can pick out unique structures and acquire determinate content. In recent work, Button and Walsh have introduced a view they call ‘internalism’, according to which mathematical content is explained by internal categoricity results formulated and proven in second-order logic. In this paper, we critically examine the internalist response to the challenge and discuss the philosophical significance of internal categoricity results. Surprisingly, as we argue, (...) while internalism arguably explains how we pick out unique mathematical structures, this does not suffice to account for the determinacy of mathematical discourse. (shrink)

In this paper, 1 examine the role of the delta function in Dirac’s formulation of quantum mechanics (QM), and I discuss, more generally, the role of mathematics in theory construction. It has been argued that mathematical theories play an indispensable role in physics, particularly in QM [Colyvan, M. (2001). The inrlispensability of mathematics. Oxford University Press: Oxford]. As I argue here, at least in the case of the delta function, Dirac was very clear about its rlispensability. I first discuss (...) the significance of the delta function in Dirac’s work, and explore the strategy that he devised to overcome its use. l then argue that even if mathematical theories turned out to be indispensable, this wouidn’t justify the commitment to the existence of mathematical entities. In fact, even in successful uses of mathematics, such as in Dirac’s discovery of antimatter, there’s no need to believe in the existence of the corresponding mathematical entities. An interesting picture about the application of mathematics emerges from a careful examination of Dirac’s work. (shrink)

The role of mathematics in the development of Gilles Deleuze's (1925-95) philosophy of difference as an alternative to the dialectical philosophy determined by the Hegelian dialectic logic is demonstrated in this paper by differentiating Deleuze's interpretation of the problem of the infinitesimal in Difference and Repetition from that which G. W. F Hegel (1770-1831) presents in the Science of Logic . Each deploys the operation of integration as conceived at different stages in the development of the infinitesimal calculus in his (...) treatment of the problem of the infinitesimal. Against the role that Hegel assigns to integration as the inverse transformation of differentiation in the development of his dialectical logic, Deleuze strategically redeploys Leibniz's account of integration as a method of summation in the form of a series in the development of his philosophy of difference. By demonstrating the relation between the differential point of view of the Leibnizian infinitesimal calculus and the differential calculus of contemporary mathematics, I argue that Deleuze effectively bypasses the methods of the differential calculus which Hegel uses to support the development of the dialectical logic, and by doing so, sets up the critical perspective from which to construct an alternative logic of relations characteristic of a philosophy of difference. The mode of operation of this logic is then demonstrated by drawing upon the mathematical philosophy of Albert Lautman (1908-44), which plays a significant role in Deleuze's project of constructing a philosophy of difference. Indeed, the logic of relations that Deleuze constructs is dialectical in the Lautmanian sense. (shrink)

Joseph Margolis’ philosophical work is both sanguine and fair. It is sanguine because much of it captures the inherent worth and dignity of the human condition. This includes aesthetics, anthropological diversity and history, the diversity of cognitive orientations and objectivity without foundations. Margolis embraces science and naturalism without reductionism. His pragmatism, though, is rooted more in James’ perspectivism, his local nice adaptation, and his relativism than that of Peirce and Dewey and their sense of science and the community of (...) inquirers. Margolis’ strength is his attempt to reconcile positions and his fairness towards others as he tries to wedge his pragmatist position amid others. But he celebrates the subjective stance of James, and downplayed the communal sense of Peirce and Dewey so vital to epistemic advances. (shrink)

The central aim of this dissertation is to clarify, defend and develop a realist field ontology of the causal-inertial structure of spacetime forcefully advanced by Hermann Weyl. Weyl's field ontology of spacetime structure may roughly be described as follows. The Special and General as well as the non-relativistic spacetime theories are principle theories of spacetime structure. They all postulate various structural constraints, and events within spacetime are held to satisfy these constraints. When interpreted physically, these mathematical structures correspond to (...) physical structural fields on spacetime. ;The thesis begins with a discussion of the significance of Riemann's Dynamical Hypothesis within the context of the debate between geometrical realism and conventionalism. In particular, Grunbaum's unyielding insistence that Riemann's work must be seen as the immediate progenitor of his brand of geometrical conventionalism is challenged and shown to be unsupported by a textual analysis of the relevant works by Riemann. The first two chapters provide a historical/exegetical analysis of Riemann's Habilitationsvortrag. Chapter 3 presents a general account of geometrical conventionalism apart from issues of its alleged historical ancestry as seen by Grunbaum. This is followed by a critical examination of Grunbaum's interpretation of Riemann. ;Grunbaum has repeatedly argued that Weyl's interpretation of Riemann accords with his. It is shown, however, that Weyl's understanding of Riemann is the direct opposite of that of Grunbaum. Chapter 4 provides an examination of Weyl's philosophy of geometry and his interpretation of Riemann. It is shown that Weyl considers Riemann's work to be essentially progenitorial of his version of geometrical realism. . . . UMI. (shrink)

This essay proposes that mathematical biology can be used as a fruitful exemplar for the introduction of scientific principles to history. After reviewing the antecedents of the application of mathematics to biology, in particular evolutionary biology, I describe in detail a mathematical model of cultural diffusion based on an analogy with population genetics. Subsequently, as a case study, this model is used to investigate the dynamics of the early modern European witch-crazes in Bavaria, England, Hungary and Finland. In (...) the second part of the article, I sketch the methodological significance of this type of 'scientific history' and, in particular, I identify three lessons that mathematical biology can contribute to historiography. The first lesson is on the fundamental distinction between agent's purposes and structural social processes. I argue that mathematical modeling can be fruitfully applied to describe social processes, while agents' purposes ought to be addressed following an hermeneutic tradition. The second lesson is on the aim of mathematical modeling. Here I argue that the object of modeling, rather than being the prediction or retrodiction of events , is the understanding of the factors involved in the dynamics of social processes . Finally, the third lesson is on the new understanding of science after the collapse of the standard view. In summary, while mathematical modeling can provide an extremely powerful approach to clarify the dynamics of certain macro-historical processes, scientific methods ought to be regarded as a complement, not a substitute, to classical historiography. (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as elementary recursive (...) Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet (...) in this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

This paper is about how moral disagreement matters for metaethics. It has four parts. In the first part I argue that moral facts are subject to a certain epistemic accessibility requirement. Namely, moral facts must be accessible to some possible agent. In the second part I show that because this accessibility requirement on moral facts holds, there is a route from facts about the moral disagreements of agents in idealized conditions to conclusions about what moral facts there are. In the (...) third part I build on this route to show that (*) if there is significant moral disagreement in idealized conditions, then our understanding of morality is fatally flawed and we should accept relativism over non-naturalism and quasi-realism. So, if, like many, you think that there would be significant moral disagreement in idealized conditions, you should hold that our understanding of morality is fatally flawed and reject non-naturalism and quasi-realism. In the fourth part of this paper I show that (*) undermines the plausibility of non-naturalism, quasi-realism, and the view that our understanding of morality is not fatally flawed even if we do not have sufficient reason to believe that there would be significant moral disagreement in idealized conditions. (shrink)

Supposing that one is already familiar with special relativistic physics, what constitutes the best route via which to arrive at the architecture of the general theory of relativity? Although the later Einstein would stress the significance of mathematical and theoretical principles in answering this question, in this article we follow the lead of the earlier Einstein (circa 1916) and stress instead how one can go a long way to arriving at the general theory via inductive and empirical principles, (...) without invoking presumptions concerning the geometrical structure of the final theory. We focus on the construction of the kinematical structure and the terms describing the coupling of matter to gravity. General covariance, understood and employed as a straightforward extrapolation of empirical considerations, is central to our derivation, together with what we dub the `Methodological Equivalence Principle'. We argue that our approach has a number of virtues, both for one's understanding of the general theory of relativity, but also for pedagogy, since it stresses---to the greatest extent possible (a lesson which we inherit from Bell, [1976])---both the methodological precedence of dynamical considerations to interpretative issues and the theoretical continuity between general relativity and its precursors. We conclude by comparing our approach to other philosophical approaches to general relativity and discussing the significance of empirically motivated methodological principles in the philosophy of science. (shrink)