Dummett's objections to the coherence of the strict finitist philosophy of mathematics are thus, at the present time at least, ill-taken. We have so far no definitive treatment of Sorites paradoxes; so no conclusive ground for dismissing Dummett's response — the response of simply writing off a large class of familiar, confidently handled expressions as semantically incoherent. I believe that cannot be the right response, if only because it threatens to open an unacceptable gulf between the insight into his (...) own understanding available to a philosophically reflective speaker and the conclusions available to one confined to observing the former's linguistic practice; for an observer of our linguistic practice could never justifiably arrive at the conclusion that ‘red’, ‘child’, etc., are governed by inconsistent rules. But the Sorites is not the subject of this paper. The points I hope to have made plausible are: that a generalized intuitionist position cannot be so much as formulated and that even a most local intuitionism, argued for the special case of arithmetic, is hard pressed effectively to stabilize and defend itself; that strict finitism remains the natural outcome of the anti-realism which Dummett has propounded by way of support for the intuitionist philosophy of mathematics; that it is powerfully buttressed by the ideas of the latter Wittgenstein on rule-following; and that there is no extant compelling reason to suppose that its involvement with predicates of surveyability calls its coherence into question. The correct philosophical assessment of strict finitism, and its proper mathematical exegesis, remain absolutely open, almost virgin issues. This is not a situation which philosophers of mathematics should tolerate very much longer. (shrink)

Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at (...) least some happy sorites arguments: strict finitism in the philosophy of mathematics. My aim in this paper is to explore to what extent this appearance is accurate. As we shall see, this question is far from trivial. In particular, I will discuss two arguments that threaten to show that strict finitism cannot consistently accept happy sorites arguments, but I will argue that (given reasonable assumptions on strict finitistic logic) these arguments can ultimately be avoided, and the view can indeed allow for happy sorites arguments. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The 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. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is 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. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

In his paper ‘Wang’s Paradox’, Michael Dummett provides an argument for why strict finitism in mathematics is internally inconsistent and therefore an untenable position. Dummett’s argument proceeds by making two claims: (1) Strict finitism is committed to the claim that there are sets of natural numbers which are closed under the successor operation but nonetheless have an upper bound; (2) Such a commitment is inconsistent, even by finitistic standards. -/- In this paper I claim that Dummett’s (...) argument fails. I question both parts of Dummett’s argument, but most importantly I claim that Dummett’s argument in favour of the second claim crucially relies on an implicit assumption that Dummett does not acknowledge and that the strict finitist need not accept. (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)

Strict finitism is the position that only those natural numbers exist that we can represent in practice. Michael Dummett, in a paper called Wang's Paradox, famously tried to show that strict finitism is an incoherent position. By using the Sorites paradox, he claimed that certain predicates the strict finitist is committed to are incoherent. More recently, Ofra Magidor objected to Dummett's claims, arguing that Dummett fails to show the incoherence of strict finitism. In (...) this paper, I shall investigate whether Magidor is successful in preventing Dummett from proving the incoherence of strict finitism. Though not all the counterarguments Magidor presents are successful, she does in the end manage to corner Dummett. There remains an opportunity for Dummett to insist on the incoherence of strict finitism, but this is a very small opening. The final conclusion of this paper is that Dummett cannot logically prove the incoherence of strict finitism, even though a limited chance for success remains. (shrink)

Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix, he proposes models of strict finitistic arithmetic. They are tree-like structures, formed in his strict finitistic metatheory, of equations between numerals on which concrete arithmetical sentences are evaluated. As a first step towards classical formalisation of strict finitism, we propose their counterparts in the classical metatheory with one additional assumption, and then extract (...) the propositional part of ‘strict finitistic logic’ from it and investigate. We will provide a sound and complete pair of a Kripke-style semantics and a sequent calculus, and compare with other logics. The logic lacks the law of excluded middle and Modus Ponens and is weaker than classical logic, but stronger than any proper intermediate logics in terms of theoremhood. In fact, all the other well-known classical theorems are found to be theorems. Finally, we will make an observation that models of this semantics can be seen as nodes of an intuitionistic model. (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)

According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have argued that semantic antirealism must be committed to effective provability and that the commitment leads to a stronger kind of logical revisionism exemplified by substructural logics. I shall take into account two different kinds of reply. The first is concerned with meaning per se and grasp or fixing of meaning. It rests on the idea that if we have a (...) method which may be used over some surveyable range, we have determined a way of applying the method everywhere in principle, and that this is enough as far as fixing or grasping meaning is concerned. The second concerns two radical antirealist principles disqualifying structural rules: Token Preservation and Preservation of Local Feasibility. Against criticisms, I shall argue that conceptual support may be provided for both. The main point in this debate is that there is a decisive difference between the rejection of classical logic via the curbing of the epistemic idealizations embedded in structural rules and the rejection of classical logic via the intuitionistic criticism of invalid introduction and elimination rules. It will be explained why the second rejection is stronger than the former. (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 (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)

The philosolphy of strict finitism is a research programme containing developmental theory and mathematics as its main branches. The first branch is concerned with the ontogenetic and historicaldevelopment of various concepts of infinity. The frame work is Jean Piaget’s genetic epistemology. Based upon these develop mental studies, the mathematical branch introduces a new concept of infinity into mathematics. Cantor propagated the actual infinite, Brouwer and the constructivists the potential infinite. Still more radical is strict finitism, favoring (...) the natural infinite, i.e. the phenomena of the unsurveyable, unfeasible, unreachable. There exist by this time strict finitistic reconstructions for arithmetic, geometry, calculus, and even for infinitistic set theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

Michael Dummett's anti-realism is founded on the semantics of natural language which, he argues, can only be satisfactorily given in mathematics by intuitionism. It has been objected that an analog of Dummett's argument will collapse intuitionism into strict finitism. My purpose in this paper is to refute this objection, which I argue Dummett does not successfully do. I link the coherence of strict finitism to a view of confirmation — that our actual practical abilities cannot confirm (...) we know what would happen if we could compute impracticably vast problems. But to state his case, the strict finitists have to suppose that we grasp the truth conditions of sentences we can't actually decide. This comprehension must be practically demonstrable, or the analogy with Dummett's argument fails. So, our actual abilities must be capable of confirming that we know what would be the case if actually undecidable sentences were true, contradicting the view of confirmation. I end by considering objections. (shrink)

I consider here several versions of finitism or conceptions that try to work around postulating sets of infinite size. Restricting oneself to the so-called potential infinite seems to rest either on temporal readings of infinity (or infinite series) or on anti-realistic background assumptions. Both these motivations may be considered problematic. Quine’s virtual set theory points out where strong assumptions of infinity enter into number theory, but is implicitly committed to infinity anyway. The approaches centring on the indefinitely large and (...) the use of schemata would provide a work-around to circumvent usage of actual infinities if we had a clear understanding of how schemata work and where to draw the conceptual line between the indefinitely large and the infinite. Neither of this seems to be clear enough. Versions of strict finitism in contrast provide a clear picture of a (realistic) finite number theory. One can recapture standard arithmetic without being committed to actual infinities. The major problem of them is their usage of a paraconsistent logic with an accompanying theory of inconsistent objects. If we are, however, already using a paraconsistent approach for other reasons (in semantics, epistemology or set theory), we get finitism for free. This strengthens the case for paraconsistency. (shrink)

Strict finitism is a minority view in the philosophy of mathematics. In this paper, we develop a strict finite axiomatic system for geometric constructions in which only constructions that are executable by simple tools in a small number of steps are permitted. We aim to demonstrate that as far as the applications of synthetic geometry to real-world constructions are concerned, there are viable strict finite alternatives to classical geometry where by one can prove analogs to fundamental (...) results in classical geometry. We consider this as one of many early steps investigating the extent to which strict finite foundations can be developed for the application of mathematics to the real-world. (shrink)

Frege’s theory is inconsistent. However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model-theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak. We also prove the finitistic consistency of the extension of Heck’s theory to $\Delta^{1}_{1}$-comprehension and of Heck’s ramified predicative second-order system.

The dissertation studies the mathematical strength of strict constructivism, a finitistic fragment of Bishop's constructivism, and explores its implications in the philosophy of mathematics. ;It consists of two chapters and four appendixes. Chapter 1 presents strict constructivism, shows that it is within the spirit of finitism, and explains how to represent sets, functions and elementary calculus in strict constructivism. Appendix A proves that the essentials of Bishop and Bridges' book Constructive Analysis can be developed within (...) class='Hi'>strict constructivism. Appendix B further develops, within strict constructivism, the essentials of the functional analysis applied in quantum mechanics, including the spectral theorem, Stone's theorem, and the self-adjointness of some common quantum mechanical operators. Some comparisons with other related work, in particular, a comparison with S. Simpson's partial realization of Hilbert's program, and a discussion of the relevance of M. B. Pour-El and J. I. Richards' negative results in recursive analysis are given in Appendix C. ;Chapter 2 explores the possible philosophical implications of these technical results. It first suggests a fictionalistic account for the ontology of pure mathematics. This leaves a puzzle about how truths about fictional mathematical entities are applicable to science. The chapter then explains that for those applications of mathematics that can be reduced to applications of strict constructivism, fictional entities can be eliminated in the applications and the puzzle of applicability can be resolved. Therefore, if strict constructivism were essentially sufficient for all scientific applications, the applicability of mathematics of mathematics in science would be accountable. The chapter then argues that the reduction of mathematics to strict constructivism also reduces the epistemological question about mathematics to that about elementary arithmetic. The dissertation ends with a suggestion that a proper epistemological basis for arithmetic is perhaps a mixture of Mill's empiricism and the Kantian views. (shrink)

Finitism is given an interpretation based on two ideas about strings (sequences of symbols): a replacement principle extracted from Hilberts class 2 can be justified by means of an additional finitistic choice principle, thus obtaining a second equational theory . It is unknown whether is strictly stronger than since 2 may coincide with the class of lower elementary functions.

Michael Dummett presents a modus tollens argument against a Wittgensteinian conception of meaning. In a series of papers, Dummett claims that Wittgensteinian considerations entail strict finitism. However, by a “sorites argument”, Dummett argues that strict finitism is incoherent and therefore questions these Wittgensteinian considerations.In this paper, I will argue that Dummett’s sorites argument fails to undermine strict finitism. I will claim that the argument is based on two questionable assumptions regarding some strict finitist (...) sets of natural numbers. It will be shown that strict finitism entails none of these assumptions. Hence, the argument does not prove that the view is internally incoherent, and consequently, Dummett fails to undermine the Wittgensteinian conception of meaning. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

According to the realist, the meaning of a declarative, non-indexical sentence is the condition under which it is true and the truth-condition of an undecidable sentence can obtain or fail to obtain independently of our capacity, even in principle, to recognize that it obtains or that fails to do so.1 In a series of papers, beginning with “Truth” in 1959, Michael Dummett challenged the position that the classical notion of truth-condition occupied as the central notion of a theory of meaning, (...) and proposed that it should be replaced by the anti-realist (and intuitionistic) notion of assertability-condition. Taken together with normalization results obtained by Dag Prawitz, Dummett’s work truly opened up the anti-realist challenge at the level of proof-theoretical semantics.2 There has been since numerous rejoinders from partisans of classical logic, which were at times met with by attempts at watering down the anti-realist challenge, e.g., by arguing that anti-realism does not necessarily entail the adoption of intuitionistic logic. Only a few anti-realists, such as Crispin Wright and Neil Tennant, tried to look instead in the other direction, towards a more radical version of anti-realism which would entail deeper revisions of classical logic than those recommended by intuitionists.3 In this paper, which is largely programmatic, we shall also argue in favour of a radical anti-realism which would be a genuine alternative to the traditional anti-realism of Dummett and Prawitz. The debate about anti-realism has by now more or less run out of breath and we wish to provide it with a new lease on life, by taking into account the profound changes that took place in proof theory during the intervening years. We have in mind in particular the considerable development within Gentzen-style proof theory of non-classical, substructural logics other than intuitionistic logic, which seriously opens up the possibility that anti-realism, when properly understood, might end up justifying another logic, and the development of closer links between proof theory and computational complexity theory that has renewed interest in a radical form of anti-realism, namely strict finitism. (shrink)

In this paper, I focus on some intuitionistic solutions to the Paradox of Knowability. I first consider the relatively little discussed idea that, on an intuitionistic interpretation of the conditional, there is no paradox to start with. I show that this proposal only works if proofs are thought of as tokens, and suggest that anti-realists themselves have good reasons for thinking of proofs as types. In then turn to more standard intuitionistic treatments, as proposed by Timothy Williamson and, most recently, (...) Michael Dummett. Intuitionists can either point out the intuitionistc invalidity of the inference from the claim that all truths are knowable to the insane conclusion that all truths are known, or they can outright demur from asserting the existence of forever-unknown truths, perhaps questioning—as Dummett now suggests—the applicability of the Principle of Bivalence to a certain class of empirical statements. I argue that if intuitionists reject strict finitism—the view that all truths are knowable by beings just like us—the prospects for either proposal look bleak. (shrink)

In ‘The Kalam Cosmological Argument Neither Bloodied nor Bowed’ , David Oderberg provides four main criticisms of the line of argument which I developed in ‘Time, Successive Addition, and Kalam Cosmological Arguments’ . I argue here that none of these lines of criticism succeeds. Further I re-emphasise the point that those who maintain that the temporal series of past events is formed by ‘successive addition’ are indeed thereby committed to a highly contentious strict finitist metaphysics.

Some issues raised by the notion of surveyability and how it is represented mathematically are explored. Wright considers the sense in which the positive integers are surveyable and suggests that their structure will be a weakly finite, but weakly infinite, totality. One way to expose the incoherence of this account is by applying Wittgenstein's distinction between intensional and extensional to it. Criticism of the idea of a surveyable proof shows the notion's lack of clarity. It is suggested that this concept (...) should be replaced by that of a feasible operation, as strict finitism aims to understand the boundaries of legitimate mathematical knowledge. (shrink)

Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In particular, I argue that (...) the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism. (shrink)

This essay examines David Hume's principal criticism of the idea of the infinite divisibility of extension in the ink-spot experiment of _Treatise<D>, Book I, Part II, and his arguments for his positive theory of finitely divisible space as composed of finitely many sensible extensionless indivisibles or _minima sensibilia<D>. The essay considers Hume's strict finitist metaphysics of space in the context of his reactions to a trilemma about the impossibility of the divisibility of extension on any theory posed by Pierre (...) Bayle in the article on "Zeno of Elea" in his _Dictionary Historical and Critical<D>. I evaluate Hume's arguments in light of complaints raised by contemporary commentators, and I compare the inference of the _Treatise<D> with Hume's final words on the subject, in the cryptic Berkeleyan 'hint' of the first _Enquiry<D>, to the effect that the idea of infinite divisibility is subject to general objections to 'all _abstract<D> reasonings'. (shrink)

Alternative set theory was created by the Czech mathematician Petr Vopěnka in 1979 as an alternative to Cantor’s set theory. Vopěnka criticised Cantor’s approach for its loss of correspondence with the real world. Alternative set theory can be partially axiomatised and regarded as a nonstandard theory of natural numbers. However, its intention is much wider. It attempts to retain a correspondence between mathematical notions and phenomena of the natural world. Through infinity, Vopěnka grasps the phenomena of vagueness. Infinite sets are (...) defined as sets containing proper semisets, i.e. vague parts of sets limited by the horizon. The new interpretation extends the field of applicability of mathematics and simultaneously indicates its limits. Compared to strict finitism and other attempts at a reduction of the infinite to the finite Vopěnka’s theory reverses the process: he models the finite in the infinite. (shrink)

It is a generally accepted idea that strict finitism is a rather marginal view within the community of philosophers of mathematics. If one therefore wants to defend such a position (as the present author does), then it is useful to search for as many different arguments as possible in support of strict finitism. Sometimes, as will be the case in this paper, the argument consists of, what one might call, a “rearrangement” of known materials. The novelty (...) lies precisely in the rearrangement, hence on the formal-axiomatic level most of the results presented here are not new. In fact, the basic results are inspired by and based on Mycielski (1981). (shrink)

This Dissertation expands the work of Michael Dummett to issues in the philosophy of science. ;Chapter One relates the issue of realism to that of truth and meaning. ;Dummett's view is subject to the same attacks that doomed logical positivism. In Chapter Two I defend him against these attacks and articulate his view further. In particular, Dummett's view of sense is articulated, and the attacks of Kripke and Hempel are addressed. ;Chapter Three is devoted to applying Dummett's view to Mach's (...) criticisms of absolute space. I argue that the usual reading of Mach is incorrect, and strains the text. I then argue that Mach is best read as arguing that absolute space is a senseless concept. ;Chapter Four argues that van Fraassen's view that we may be agnostic about what a theory says about unobservable objects while believing its edicts about observable ones erases the distinction between belief and agnosticism. I also argue that empirically equivalent theories must have the same truth value. ;The fifth chapter replies to the objection that my position must collapse into something more radical, strict finitism in the case of mathematics. I reply that the objection depends on a view of counterfactuals I am not bound to adopt. ;Finally I apply the apparatus developed to the articulation of an anti-realist theme in the work of Thomas Kuhn. (shrink)

The main issue André Porto raises in his paper concerns the use of dot notation to indicate an infinite set of hypotheses. Whereas I agree that one cannot extract a unique infinite expansion from a finite initial segment, in my response I argue that this holds for finite expansions as well. I further explain how my remarks on infinite proof structures are neither motivated by the impact of Gödel’s incompleteness theorems on Hilbert’s program, nor by a negative view of (...) class='Hi'>strict finitism.O problema central que André Porto discute em seu artigo diz respeito ao uso da notação de pontos para indicar um conjunto infinito de hipóteses. Mesmo estando de acordo não ser possível extrair uma expansão infinita a partir de um segmento inicial finito, em minha réplica argumento que isto vale igualmente para expansões finitas. Explico também que minhas observações sobre estruturas de prova infinitas não são motivadas pelo impacto dos teoremas de incompletude de Gödel no programa de Hilbert, e tampouco por uma visão negativa do finitismo estrito. (shrink)

There is a review of how Mark Addis has made a case that it would require great effort for scant philosophical profit to formalize a notion of surveyability as a metamathematical predicate demarcating strict finitistic mathematics. It is then suggested how the notion of surveyability is useful in informal philosophizing about mathematics.

In a nutshell, semantic antirealism is the doctrine that if a statement is true, then it must be possible, at least in principle, to determine that it is true. Consider the particular case of self-ascriptions of attitudes such as beliefs, desires and intentions, i.e. statements of the form "I φ [that] p", where φ ranges over propositional attitude verbs and p provides the content of whatever is φd by the self-ascriber. Should we be semantic antirealists about these when the putative (...) bearer of the attitude is the only individual who may retrieve a warrant in favour of his φing that p? We can't provide an answer to the question unless we're clear about (i) whether or not the "at least in principle" clause is too weak, and (ii) what the right construal of positive introspection should look like. 2 Thus two issues: strict finitism on the one hand and the phenomenological nature of introspective warrants on the other. I shall argue that recent views defended by Peacocke and Pryor are found wanting with respect to both. (shrink)

As far as logic is concerned, the conclusion of Michael Dummett's manifestability argument is that intuitionistic logic, as first developed by Heyting, satisfies the semantic requirements of antirealism. The argument may be roughly sketched as follows: since we cannot manifest a grasp of possibly justification-transcendent truth conditions, we must countenance conditions which are such that, at least in principle and by the very nature of the case, we are able to recognize that they are satisfied whenever they are. Intuitionistic logic (...) satisfies the semantic requirement that we should either eschew the notion of truth altogether and replace it by provability in principle, or constrain it by provability in principle (Dummett [1973] 1978). (Handout: 1-5). Some philosophers have argued that the traditional antirealist desideratum of decidability in principle is too weak, so that semantic antirealism properly construed must be committed to effective decidability. As such, it either leads to strict finitism (Wright [1982] 1993) [Handout: 6] or to a much stronger kind of logical revisionism than the one considered by intuitionists (whether or not they accept the manifestability argument): substructural logics, and in particular linear logics, rather than intuitionistic logic, satisfy the semantic requirements of strict antirealism (Dubucs and Marion 2004) [Handout: 8-9]. I shall develop two different kinds of replies. The first is concerned with the notion of meaning per se and looks to strict finitism directly, although not on the ground that it would provide a correct way of dealing with Soritic-type paradoxes (the original and primary focus of discussion in Wright [1982] 1993). The second is concerned with the justification of structural and logical rules in a natural deduction system à la Gentzen. It will deal in particular with the criticism of the structural rules of Weakening and Contraction [Handout: 10 and 11]. The first kind of reply, which Dummett has partially taken into consideration, is that if we jettison the effectively vs. in principle distinction, as applied to manifestability-type arguments, we end up with an unsatisfactory explanation of how the meaning of statements covering the practically unsurveyable or pro tempora undecided cases is fixed. The idea is that if we have a method which may be used over some small range, we have determined a way of applying the method everywhere in principle and that this is enough as far as fixing meaning is concerned. Decidability in principle is just what we need with respect to manifestation of grasp of meaning. In this perspective, antirealism shouldn't be strict and manifestability-type arguments need not be applied as far as the strict finitist would want to [Handout: 7]. It follows that there is no reason to think that practical feasibility should be built in assertibility conditions and proofs be construed dynamically as acts in the strict antirealist's acception of that term [Handout: 8]. I shall then look at one radical antirealist principle disqualifying structural rules, namely Token Preservation, arguing against Bonnay and Cozic's criticisms of Dubucs and Marion (Bonnay and Cozic 3 2007) that some conceptual support may be provided for Token Preservation, which doesn't rely on a causal misreading of the turnstile [Handout: 13, 14]. I shall then assess the merits and limits of radical antirealism and the logic of feasible proofs with respect to the original Dummettian argument in favour of semantic antirealism (provided it has indeed revisionist implications for logic), whether the radical antirealist merely stipulates what human feasibility amounts to, or dispenses with structural rules in order to argue in favour of a curb on the epistemic idealizations they unwarrantedly embed. It will be noted here that there is a great difference, conceptually speaking, between the rejection of classical logic via the curbing of the epistemic idealizations embedded in structural rules, and the rejection of classical logic via the criticism of the introduction and elimination rules which fix the meaning of the classical constants. The kind of logical revisionism envisaged by intuitionists from Heyting on is in many respects stronger than the one envisaged by advocates of linear logic, should they ground their arguments on an endorsement of strict antirealism. The crucial case of excluded middle is telling. Because of the splitting of the constants in linear logic (Handout: 12], two distinct laws of excluded middle may be formulated (Handout: 15), but the traditional arguments of Brouwer and Heyting against the classical law yield a stronger revision than the substructural revision with its admission of these two (very) weak versions of the law. (Project: a clearer conception is needed of how the introduction and elimination rules for the logical connectives in the intuitionistic calculus depend on the structural rules which the radical antirealist wishes to reject.). (shrink)

In this paper several arguments are discussed and evaluated concerning the possibility of discrete space and time.

No one will dispute, looking at the history of mathematics, that there are plenty of moments where mathematics is “in trouble”, when paradoxes and inconsistencies crop up and anomalies multiply. This need not lead, however, to the view that mathematics is intrinsically inconsistent, as it is compatible with the view that these are just transient moments. Once the problems are resolved, consistency (in some sense or other) is restored. Even when one accepts this view, what remains is the question what (...) mathematicians do during such a transient moment? This requires some method or other to reason with inconsistencies. But there is more: what if one accepts the view that mathematics is always in a phase of transience? In short, that mathematics is basically inconsistent? Do we then not need a mathematics of inconsistency? This paper wants to explore these issues, using classic examples such as infinitesimals, complex numbers, and infinity. (shrink)

If we make the basic assumption that the components of a proposition have reference on the model of proper name and bearer, we face the problem of distinguishing the proposition from a mere list' of names. We neutralize the problem posed by that assumption of we first of all follow Wiggins and distinguish, in every predicate, a strictly predicative element (the copula), and a strictly non-predicative conceptual component (available to be quantified over). If we further allow the copula itself to (...) conform to the basic assumption, a regress ( Bradley's regress') arises: the referent of the copula will be instantiation, the instantiation of instantiation etc. To avert the regress, Wiggins simply legislates that the basic assumption is to fail for the copula. But we are entitled to regard the regress as constitution not a difficulty, but the solution: the infinitism it imports (capturable in a finitistic theory of meaning) is just what the unity of the proposition "is". (edited). (shrink)