Context: Strict finitism is usually not taken seriously as a possible view on what mathematics is and how it functions. This is due mainly to unfamiliarity with the topic. Problem: First, it is necessary to present a “decent” history of strict finitism (which is now lacking) and, secondly, to show that common counterarguments against strict finitism can be properly addressed and refuted. Method: For the historical part, the historical material is situated in a broader context, and for the argumentative part, (...) an evaluation of arguments and counterarguments is presented. Results: The main result is that strict finitism is indeed a viable option, next to other constructive approaches, in (the foundations of) mathematics. Implications: Arguing for strict finitism is more complex than is usually thought. For future research, strict finitist mathematics itself needs to be written out in more detail to increase its credibility. In as far as strict finitism is a viable option, it will change our views on such “classics” as the platonist-constructivist discussion, the discovery-construction debate and the mysterious applicability problem (why is mathematics so successful in its applications?). Constructivist content: Strict finitism starts from the idea that counting is an act of labeling, hence the mathematician is an active subject right from the start. It differs from other constructivist views in that the finite limitations of the human subject are taken into account. (shrink)

Context: As one of the major approaches within the philosophy of mathematics, constructivism is to be contrasted with realist approaches such as Platonism in that it takes human mental activity as the basis of mathematical content. Problem: Mathematical constructivism is mostly identified as one of the so-called foundationalist accounts internal to mathematics. Other perspectives are possible, however. Results: The notion of “meaning finitism” is exploited to tie together internal and external directions within mathematical constructivism. The various contributions to this issue (...) support our case in different ways. Constructivist content: Further contributions from a multitude of constructivist directions are needed for the puzzle of an integrative, overarching theory of mathematical practice to be solved. (shrink)

Context: Strict finitism is usually not taken seriously as a possible view on what mathematics is and how it functions. This is due mainly to unfamiliarity with the topic. Problem: First, it is necessary to present a “decent” history of strict finitism and, secondly, to show that common counterarguments against strict finitism can be properly addressed and refuted. Method: For the historical part, the historical material is situated in a broader context, and for the argumentative part, an evaluation of arguments (...) and counterarguments is presented. Results: The main result is that strict finitism is indeed a viable option, next to other constructive approaches, in mathematics. Implications: Arguing for strict finitism is more complex than is usually thought. For future research, strict finitist mathematics itself needs to be written out in more detail to increase its credibility. In as far as strict finitism is a viable option, it will change our views on such “classics” as the platonist-constructivist discussion, the discovery-construction debate and the mysterious applicability problem . Constructivist content: Strict finitism starts from the idea that counting is an act of labeling, hence the mathematician is an active subject right from the start. It differs from other constructivist views in that the finite limitations of the human subject are taken into account. (shrink)

Open peer commentary on the article “Religion: A Radical-Constructivist Perspective” by Andreas Quale. Upshot: An essential feature of Quale’s point of view is the strict distinction between the cognitive and the non-cognitive. I argue that this position is untenable and hence that a radical constructivist can discuss religious matters.

Open peer commentary on the article “Second-Order Science: Logic, Strategies, Methods” by Stuart A. Umpleby. Upshot: The author makes a strong plea for second-order science but somehow mathematics remains out of focus. The major claim of this commentary is that second-order science requires second-order mathematics.

Everyone is familiar with the measure of beauty that has been proposed by Birkhoff, the famous formula M = O/C. Although I show that the formula in its original form cannot be maintained, I present a reinterpretation that adapts the formula for measuring the beauty of mathematical proofs. However, this type of measure is not the only aesthetic element in mathematics. There exists a 'romantic' side as well, to use the term introduced by François Le Lionnais. Thus, a more complex (...) proposal of mathematical beauty is presented. Finally and as a consequence, I argue against the dichotomy that associates science, including mathematics, with the beauty of simplicity and that associates the arts with the beauty of complexity. As an example, the work of Oulipo, Raymond Queneau in particular, is briefly presented. (shrink)

What is philosophy of mathematics and what is it about? The most popular answer, I suppose, to this question would be that philosophers should provide a justification for our presently most cherished mathematical theories and for the most important tool to develop such theories, namely logico-mathematical proof. In fact, it does cover a large part of the activity of philosophers that think about mathematics. Discussions about the merits and faults of classical logic versus one or other ‘deviant’ logics as the (...) logical basis for mathematical theories, ranging from intuitionist over modal logic to paraconsistent logic, typically belong to this area, as do debates about the natural-number concept, its ‘nature’, its properties, especially its uniqueness, and so on. No doubt sociologists of knowledge could explain why philosophers of mathematics came to select these particular problems and deal with them the way they do. What it does imply, however, is that the question is meaningful whether different kinds of philosophies of mathematics are possible, and—why not?—perhaps even desirable. To a certain extent, the answer is trivial: look at what, e.g., phenomenologists have to say about mathematics and you must notice it does not fit into the scheme sketched above.1 Rather, the question should be whether there are forms that, on the one hand, reinterpret the whole enterprise, and, on the other hand, somehow remain related to the work of ‘mainstream’ philosophers of mathematics today.The book under review here does precisely that. Let me be a bit more precise. The general proposal, present throughout all the contributions, is that even at a first, superficial, glance at what mathematicians do when they do mathematics, it is far more complex than ‘just thinking about and …. (shrink)

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

The achievements of the textile industry in Roman Britain are often underestimated as a result of the meagreness of our available evidence. The Edict on maximum prices issued by Diocletian in A.D. 301 shows that British capes commanded high prices on the markets of the Empire, and that in the late third century A.D. British rugs were the best in the world. In view of the competition from the traditional centres of rug manufacture in the East, this is an astonishing (...) achievement. (shrink)

The received translation and interpretation of many of the technical terms current in the textile industry of the Roman Empire are inaccurate, because lexicographers have either fought shy of being precise, or have thought that they recognized in the ancient world technical processes which originated at a much later date. The evidence is often equivocal or insufficient, but may still yield details that have been overlooked. The textile expression scutulatus, to take an example, deserves more attention than Blümner has devoted (...) to it. When it refers to the appearance of a garment, Lewis and Short, s.v. scutulatus, translate ‘diamond or lozenge-shaped, checkered’. It seems worth while to attempt a more precise translation, and, if possible, to estimate the significance in context of the goods so designated. (shrink)

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

Human conflict and its resolution is obviously a subject of great practical importance. Equally obviously, it is a vast subject, ranging from total war at one end of the spectrum to negotiated settlement at its other end. The literature on the subject is correspondingly vast and, in recent times, technical, thanks to the valuable contributions made to it by game theorists, economists, and writers on industrial and international relations. In this essay, however, I shall discuss only one familiar form of (...) conflict-resolution. There is room for such a discussion, because philosophers have lately neglected compromise, despite the interest shown in it by the aforementioned experts, and despite the classic treatments of it by Halifax, Burke and Morley. Truly, ‘…compromise is not so widely discussed by philosophers as one might expect’, and ‘…the idea of compromise has been largely neglected by Anglo-American jurisprudence’. (shrink)

After describing Heidegger's critique of metaphysics as ontotheology, I unpack the metaphysical assumptions of several transhumanist philosophers. I claim that they deploy an ontology of power and that they also deploy a kind of theology, as Heidegger meant it. I also describe the way in which this metaphysics begets its own politics and ethics. In order to transcend the human condition, they must transgress the human.

Humanity does not gradually progress from combat to combat until it arrives at universal reciprocity, where the rule of law finally replaces warfare; humanity installs each of its violences in a system of rules and thus proceeds from domination to domination. (Foucault, 1984, 85)In this essay, I take a note from Michel Foucault regarding the notion of biopolitics. For Foucault, biopolitics has both repressive and constitutive properties. Foucault's claim is that with the rise of modern government, the state became exceedingly (...) concerned about the body politic, the bodies that make up the polis, including the health of those bodies. However, Giorgio Agamben claims that Foucault and all western political philosophy misses the relationship between power and Sovereignty, with disastrous results and totalizing tendencies. I explore the case of Terri Schiavo claiming that the social conservatives have attempted to politicize bare life in its legal maneuverings, but I also show how the social liberals open an uncontrollable space between life and death. Both the left and the right miss the aporia at the heart of western political philosophy, and bioethics is complicit in the totalizing effects of contemporary medicine. (shrink)

This essay places Foucault's work into a philosophical context, recognizing that Foucault is difficult to place and demonstrates that Foucault remains in the Kantian tradition of philosophy, even if he sits at the margins of that tradition. For Kant, the forms of intuition—space and time—are the a priori conditions of the possibility of human experience and knowledge. For Foucault, the a priori conditions are political space and historical time. Foucault sees political space as central to understanding both the subject and (...) objects of medicine, psychiatry, and the social sciences. Through this analysis one can see that medicine's metaphysics is a metaphysics of efficient causation, where medicine's objects are subjected to mechanisms of efficient control. (shrink)