I examine various claims to the effect that Cantor's Continuum Hypothesis and other problems of higher set theory are ill-posed questions. The analysis takes into account the viability of the underlying philosophical views and recent mathematical developments.

Human language has the characteristic of being open and in some cases polysemic. The word “infinite” is used often in common speech and more frequently in literary language, but rarely with its precise meaning. In this way the concepts can be used in a vague way but an argument can still be structured so that the central idea is understood and is shared with to the partners. At the same time no precise definition is given to the concepts used and (...) each partner makes his own reading of the text based on previous experience and cultural background. In a language dictionary the first meaning of “infinite” agrees with the etymology: what has no end. We apply the word infinite most often and incorrectly as a synonym for “very large” or something that we do not perceive its completion. In this context, the infinite mentioned in dictionaries refers to the idea or notion of the “immeasurably large” although this is open to what the individual’s means by “immeasurably great.” Based on this linguistic imprecision, the authors present a non Cantorian theory of the potential and actual infinite. For this we have introduced a new concept: the homogon that is the whole set that does not fall within the definition of sets established by Cantor. (shrink)

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)

In the last decade, the Poincaré conjecture has probably been the most famous statement among all the contributions of Poincaré to the mathematics community. There have been many papers and books that describe various attempts and the final works of Perelman leading to a positive solution to the conjecture, but the evolution of Poincaré’s works leading to this conjecture has not been carefully discussed or described, and some other historical aspects about it have not been addressed either. For example, one (...) question is how it fits into the overall work of Poincaré in topology, and what are some other related questions that he had raised. Since Poincaré did not state the Poincaré conjecture as a conjecture but rather raised it as a question, one natural question is why he did this. In order to address these issues, in this paper, we examine Poincaré’s works in topology in the framework of classifying manifolds through numerical and algebraic invariants. Consequently, we also provide a full history of the formulation of the Poincaré conjecture which is richer than what is usually described and accepted and hence gain a better understanding of overall works of Poincaré in topology. In addition, this analysis clarifies a puzzling question on the relation between Poincaré’s stated motivations for topology and the Poincaré conjecture. (shrink)

This paper aims to cast light on the reasons that explain the shift of opinion—from scepticism to realism—concerning the reality of atoms and molecules in the beginning of the twentieth century, in light of Jean Perrin’s theoretical and experimental work on the Brownian movement. The story told has some rather interesting repercussions for the rationality of accepting the reality of explanatory posits. Section 2 presents the key philosophical debate concerning the role and status of explanatory hypotheses c. 1900, focusing on (...) the work of Duhem, Stallo, Ostwald, Poincaré and Boltzmann. Section 3 examines in detail Perrin’s theoretical account of the molecular origins of Brownian motion, reconstructs the structure and explains the strength of Perrin’s argument for the reality of molecules. Section 4 draws three important lessons for the current debate over scientific realism. (shrink)

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...) philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism. (shrink)

Two symmetry arguments are discussed, each purporting to show that there is no more room for a preferred division of spacetime into instants of time in general relativistic cosmology than in Minkowski spacetime. The first argument is due to Gödel, and concerns the symmetries of his famous rotating cosmologies. The second turns upon the symmetries of a certain space of relativistic possibilities. Both arguments are found wanting.

Abstract Schlick quite clearly maintains that the shift from classical physics to the theories of relativity is not necessitated by experience, but motivated by the pragmatic payoff of simplifying space-time ontology. However, there is in his work another, heretofore unrecognized argument for the revolutionary shift from classical to relativistic physics. According to this conceptual line of argument, the principles that define simultaneity and motion in classical physics fail to establish a univocal correspondence to physical quantities, and therefore must be revised, (...) along with the notions of absolute space and time that they underpin. Though these insights appear only intermittently in Schlick’s work, I will seek to elaborate on them in an effort to clarify his views on conventions within physics and the nature of revolutionary science, and to suggest that these views are invulnerable to the criticisms of pragmatic empiricists such as Quine. Content Type Journal Article Pages 1-17 DOI 10.1007/s12136-011-0131-3 Authors Steven Bland, Department of Philosophy, Huron University College, 1349 Western Rd, London, Ontario, Canada N6G 1H3 Journal Acta Analytica Online ISSN 1874-6349 Print ISSN 0353-5150. (shrink)

How was Poincaré’s conventionalism connected to his relationism? How, in other words, is it the case that the basic principles of geometry and mechanics are, ultimately, freely chosen conventions and that, at the same time, science reveals to us the structure of the world? This lengthy study aims to address these questions by setting Poincaré’s philosophy within its historical context and by examining in detail Poincaré’s developing views about the status and role of conventions in science and the status and (...) role of relations in science. It is argued that Poincaré was a neither a rampant conventionalist nor a pure structuralist. But he was both a conventionalist and a relationist, aiming to delineate a position which allowed room for both freely, but not arbitrarily, chosen constitutive principles of science and the acquisition of objective, though, relational knowledge of the natural world. (shrink)

It is proposed to conceive of representation as an emergent phenomenon that is supervenient on patterns of activity of coarsely tuned and highly redundant feature detectors. The computational underpinnings of the outlined concept of representation are (1) the properties of collections of overlapping graded receptive fields, as in the biological perceptual systems that exhibit hyperacuity-level performance, and (2) the sufficiency of a set of proximal distances between stimulus representations for the recovery of the corresponding distal contrasts between stimuli, as in (...) multidimensional scaling. The present preliminary study appears to indicate that this concept of representation is computationally viable, and is compatible with psychological and neurobiological data. (shrink)

It is well known that one of Poincaré’s most important contributions to mathematics is the creation of algebraic topology. In this paper, we examine carefully the stated motivations of Poincaré and potential applications he had in mind for developing topology. Besides being an interesting historical problem, this study will also shed some light on the broad interest of Poincaré in mathematics in a concrete way.

In this paper I investigate two notions of concepts that have played a dominant role in 20th century philosophy of mathematics. According to the first, concepts are definite and fixed; in contrast, according to the second notion concepts are open and subject to modifications. The motivations behind these two incompatible notions and how they can be used to account for conceptual change are presented and discussed. On the basis of historical developments in mathematics I argue that both notions of concepts (...) capture important aspects of mathematical and scientific reasoning, and, consequently, that a pluralistic approach that allows for representing both of these aspects is most useful for an adequate account of investigative practices. (shrink)