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: 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)

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)

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.

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.

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)

Doctors’ strikes are legally permissible in the UK, with the situation differing in other countries. But are they morally permissible? Doug McConnell and Darren Mann have systematically attempted to dismiss the arguments for the moral impermissibility of doctors’ strikes and creatively attempted to provide further moral justification for them. Unfortunately for striking doctors, they fail to achieve this. Meanwhile, junior doctors’ strikes have continued in the UK through 2023 and have now extended into 2024. In this response, which focuses on (...) the UK situation and specifically junior doctors’ strikes in the National Health Service (NHS) in England, I will demonstrate a central problem with their arguments—namely that they underplay the harms caused by prolonged doctors’ strikes by ignoring the harms to patients with cancer. This weakens their conclusion that strikes are morally permissible in terms of the conditions and thresholds they set. I then provide a psychological critique of their justification for strikes in terms of the interests of the public. It follows that invoking the controversial concept of supererogatory action is ungrounded but also absurd when you consider time-critical cancer care. If those representing striking doctors wish to maintain a modicum of moral respectability, they should mitigate for patients with cancer and negotiate reasonably and with urgency. (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)

The ‘decapitation gambit’ holds that, if physical decapitation normally entails the death of the human being, then physiological decapitation, evident in cases of total brain failure, entails the death of the human being. This argument has been challenged by Franklin Miller and Robert Truog, who argue that physical decapitation does not necessarily entail the death of human beings and that therefore, by analogy, artificially sustained human bodies with total brain failure are living human beings. They thus challenge the current neurological (...) criterion for determining death and argue for a return to the traditional criterion of the irreversible loss of circulation and respiration. In this paper, I defend the decapitation gambit and total brain failure as a criterion for determining death against Miller and Truog's criticism. (shrink)

The first comprehensive study of Nietzsche's earliest book, The Birth of Tragedy, this important volume by M. S. Silk and J. P. Stern examines the work in detail: its place in Nietzsche's philosophical career; its value as an account of ancient Greek culture; its place in the history of German ideas, and its value as a theory of tragedy and music. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Lesley Chamberlain, illuminating its enduring (...) importance and relevance to philosophical enquiry, this accessible study has been revived for a new generation of readers. (shrink)

A widely adopted approach to end-of-life ethical questions fails to make explicit certain crucial metaphysical ideas entailed by it and when those ideas are clarified, then it can be shown to be inadequate. These metaphysical themes cluster around the notions of personal identity, personhood and humanness, and the metaphysics of substance. In order to clarify and critique the approach just mentioned, I focus on the writings of Robert N. Wennberg as a paradigm case by, first, stating his views of personal (...) identity, humanness, personhood, and the relations among them; second, offering a comparison of a view of humans as substances (understood in the classic interpretation of Aristotle and Aquinas) vs. a view of humans as property-things; third, applying the metaphysical distinctions surfaced in the second section towards a critique of Wennberg. (shrink)

_Naturalism_ provides a rigorous analysis and critique of the major varieties of contemporary philosophical naturalism. The authors advocate the thesis that contemporary naturalism should be abandoned, in light of the serious objections raised against it. Contributors draw on a wide range of topics including: epistemology, the philosophy of science, the philosophy of mind and agency, and natural theology.

Traditional descriptivism and Kripkean causalism are standardly interpreted as rival theories on a single topic. I argue that there is no such shared topic, i.e. that there is no question that they can be interpreted as giving rival answers to. The only way to make sense of the commitment to epistemic transparency that characterizes traditional descriptivism is to interpret Russell and Frege as proposing rival accounts of how to characterize a subject’s beliefs about what names refer to. My argument relies (...) on a development of the distinction between speaker’s reference and semantic reference. (shrink)