It is not yet clear just what the most illuminating ways of rigorously stating the Incompleteness Theorems are. This is particularly true of the Second. Also I believe that there are more illuminating proofs of the Second that have yet to be uncovered.

Classical results of additive number theory lead to the undecidability of the existence of solutions for diophantine equations in given special sets of integers. Those sets which are images of polynomials are covered by a more general result in the second section. In contrast, restricting diophantine equations to images of exponential functions with natural bases leads to decidable problems, as proved in the third section.

Although it has been something of a fetish for philosophers to distinguish between hallucination and illusion, the enduring problems for philosophy of perception that both phenomena present are not essentially different. Hallucination, in its pure philosophical form, is just another example of the philosopher’s penchant for considering extreme and extremely idealized cases in order to understand the ordinary. The problem that has driven much philosophical thinking about perception is the problem of how to reconcile our evident direct perceptual (...) contact with objects and properties with the equally evident fact that there is no phenomenological signal separating error and truth. “The obscure object of hallucination” offers a subtle and plausible solution to this problem and one that solves the problem generally, not just in the special case of hallucination. Johnston’s objective is to offer a theory of perception that meets two constraints: (1) that it provide an explanation of the possibility of delusive and veridical sensings that are indistinguishable from the first-person perspective and (2) that it count as form of direct realism where this is taken to involve acquaintance with the objects of perception. Johnston uses the first constraint to rule out disjunctivism. The second constraint is used to rule out conjunctivism, which as Johnston uses the term, includes most of the widely adopted philosophical theories of perception. Johnston also develops his own sophisticated and interesting theory of perception. In what follows, I will discuss the relation of Johnston’s theory to conjunctivism, examine one of his anti-conjunctivist arguments and finally compare Johnston’s theory with some other versions of direct realism. These topics constitute a very incomplete selection of the important issues discussed in this rich and interesting paper. I will also not disagree, in any fundamental way, with any of the central theses of Johnston’s discussion.. (shrink)

The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and (...) that the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems. (shrink)

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic (...) manipulation. The second level of foundation consists in warranting epistemologically the validity of the combinatory processes underlying the symbolic manipulation in metamathematics. In this level the justification was carried out with the aid of notions from modern epistemology, particularly the notion of intuition. Finally, some problems concerning Hilbert’s use of this notion will be shown and it will be compared with Brouwer’s. (shrink)

The traditional view regarding the philosophy of mathematics in the twentieth century is the dogma of three schools: Logicism, Intuitionism and Formalism. The problem with this dogma is not, at least not first and foremost, that it is wrong, but that it is biased and essentially incomplete. 'Biased' because it was formulated by one of the involved parties, namely the logical empiricists - if I see it right - in order to make their own position look more agreeable with (...) Intuitionism and Formalism. 'Essentially incomplete' because there was - and still exists - beside Frege's Logicism, Brouwer's Intuitionism and Hilbert's Formalism at least one further position, namely Husserl's phenomenological approach to the foundations of arithmetic, which is also philosophically interesting. In what follows, I want to do two things: First, I will show that the standard dogma regarding the foundations of mathematics is not only incomplete, but also inaccurate, misleading and basically wrong with respect to the three schools themselves. In doing this I hope to make room for Husserl and his phenomenological approach as a viable alternative in the foundations of arithmetic. Second, I will show how Husserl's phenomenological point of view is a position that fits exactly in between Frege's "logicism", properlyunderstood, and Hilbert's mature proof theory, in which his so called "formalism" turns out to be only a means to an end and not a goal in itself. (shrink)

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that (...) one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution. (shrink)

This paper aims to show that Frege’s and Hilbert’s mutual disagreement results from different notions of Anschauung and their relation to axioms. In the first section of the paper, evidence is provided to support that Frege and Hilbert were influenced by the same developments of 19th-century geometry, in particular the work of Gauss, Plücker, and von Staudt. The second section of the paper shows that Frege and Hilbert take different approaches to deal with the problems that the developments (...) in 19th-century geometry posed for the traditional Kantian philosophy of mathematics. Frege maintains that Anschauung is a source of knowledge by which we acknowledge geometrical axioms as true. For Hilbert, in contrast, axioms provide one of several correct “pictures” of reality. Hilbert’s position is thereby deeply influenced by epistemological ideas from Hertz and Helmholtz, and, in turn, influenced the neo-Kantian Cassirer. (shrink)

Hilbert's tenth problem for a theory T asks if there is an algorithm which decides for a given polynomial p() from [] whether p() has a root in some model of T. We examine some of the model-theoretic consequences that an affirmative answer would have in cases such as T = Open Induction and others, and apply these methods by providing a negative answer in the cases when T is some particular finite fragment of the weak theories IE1 or (...) IU-1. (shrink)

This paper has two parts, a historical and a systematic. In the historical part it is argued that the two major axiomatic approaches to relativistic quantum field theory, the Wightman and Haag-Kastler axiomatizations, are realizations of the program of axiomatization of physical theories announced by Hilbert in his 6th of the 23 problems discussed in his famous 1900 Paris lecture on open problems in mathematics, if axiomatizing physical theories is interpreted in a soft and opportunistic sense suggested in 1927 by (...) Hilbert, Nordheim, and von Neumann. To show this, Section 2 recalls first some of Hilbert's views about the axiomatic approach to physical theories as these were formulated in his 6th problem. It will be .. (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic (...) approach was guided primarily by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

We show that if R is a nonconstant regular (semi-)local subring of a rational function field over an algebraically closed field of characteristic zero, Hilbert's Tenth Problem for this ring R has a negative answer; that is, there is no algorithm to decide whether an arbitrary Diophantine equation over R has solutions over R or not. This result can be seen as evidence for the fact that the corresponding problem for the full rational field is also unsolvable.

We recall the characterisation of positive definite polynomial functions over a real closed ring due to Dickmann, and give a new proof of this result, based upon ideas of Abraham Robinson. In addition we isolate the class of convexly ordered valuation rings for which this characterisation holds.

The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and (...) the soundness of the propositional rules of inference deserve special emphasis. (shrink)

We say that a first order theoryTislocally finiteif every finite part ofThas a finite model. It is the purpose of this paper to construct in a uniform way for any consistent theoryTa locally finite theory FIN which is syntactically isomorphic toT.Our construction draws upon the main idea of Paris and Harrington [6] and generalizes the syntactic aspect of their result from arithmetic to arbitrary theories. The first mathematically strong locally finite theory, called FIN, was defined in [1]. Now we get (...) much stronger ones, e.g. FIN.From a physicalistic point of view the theorems of ZF and their FIN-counterparts may have the same meaning. Therefore FIN is a solution of Hilbert's second problem. It eliminates ideal objects from the proofs of properties of concrete objects.In [4] we will demonstrate that one can develop a direct finitistic intuition that FIN is locally finite. We will also prove a variant of Gödel's second incompleteness theorem for the theory FIN and for all its primitively recursively axiomatizable consistent extensions.The results of this paper were announced in [3]. (shrink)

In 2000, a draft note of David Hilbert was found in his Nachlass concerning a 24th problem he had consider to include in the his famous problem list of the talk at the International Congress of Mathematicians in 1900 in Paris. This problem concerns simplicity of proofs. In this paper we review the traces of this problem which one can find in the work of Hilbert and his school, as well as modern research started on it (...) after its publication. We stress, in particular, the mathematical nature of the problem.1. (shrink)

Colour has often been supposed to be a subjective property, a property to be analysed orretly in terms of the phenomenological aspects of human expereince. In contrast with subjectivism, an objectivist analysis of color takes color to be a property objects possess in themselves, independently of the character of human perceptual expereince. David Hilbert defends a form of objectivism that identifies color with a physical property of surfaces - their spectral reflectance. This analysis of color is shown to provide a (...) more adequate account of the features of human color vision than its subjectivist rivals. The author's account of colro also recognises that the human perceptual system provides a limited and idiosyncratic picture of the world. These limitations are shown to be consistent with a realist account of colour and to provide the necessary tools for giving an analysis of common sense knowledge of color phenomena. (shrink)

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim (...) is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. (shrink)

Color-vision defects constitute a spectrum of disorders with varying degrees and types of departure from normal human color vision. One form of color-vision defect is dichromacy; by mixing together only two lights, the dichromat can match any light, unlike normal trichromatic humans, who need to mix three. In a philosophical context, our titular question may be taken in two ways. First, it can be taken at face value as a question about visible properties of external objects, and second, it (...) may be interpreted as the more intangible question of “what it’s like” to be color-blind. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important (...) programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)

Herschel's experiments on radiant heat are analysed to see how he understood the role of experiment and how he handled potential difficulties in measurement. He believed that experiments could answer essential questions about nature and was willing to change his mind in light of evidence. Potential problems with data did not shake his confidence in the results of his experiments. Herschel's critic, Leslie, had even less patience with experimental results that did not fit his theory. His harsh condemnations of Herschel's (...) work could not be empirically substantiated, but they pointed to problems of which Herschel was aware. Although the theories of both men about radiant heat have subsequently been abandoned, attempts to address their concerns and differences contributed to the development of the electromagnetic spectrum. The unification of radiant heat and light through the spectrum came about after better instruments made it possible to account for the rival claims of earlier experimenters. (shrink)

It is commonly assumed that Aristotle thinks that his claim that being exhibits a category-based pros hen structure, which he introduces to obviate the problem of categorial heterogeneity, is sufficient to defend the possibility of a science of being qua being. We, on the contrary, argue that Aristotle thinks that the pros hen structure is necessary only, but not sufficient, for this task. The central thesis of our paper is that Aristotle, in what follows 1003b19, raises a second (...) problem for the possibility of the science of being qua being; and that he does not think that the resolution of the first, the category-based problem, is either necessary or sufficient for resolving this problem. This is the problem: how can a plurality of apparently primary kinds and their opposites (they include to hen, to on, to auto, to homoion, to heteron and to anhomoion) be the subject-matter of the science of being qua being? It has been argued that these kinds are per se attributes of ousia and that, therefore, this problem is not different from the first problem. This, we argue, is mistaken; for nowhere in Gamma 2 does Aristotle claim that unity is a per se attribute of ousia. Rather, he says that identity, similarity, etc. are per se attributes of being qua being and unity qua unity. Aristotle’s resolution of the second problem, we argue, is that most of these kinds are reducible to a single compound principle: being-and-unity. Being and unity, moreover, are themselves related to each other as primary ousia and consequent ousia; but, we argue, Aristotle leaves it open, in Gamma 2, which of the two is primary, and which is consequent ousia. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

The target article is an attempt to make some progress on the problem of color realism. Are objects colored? And what is the nature of the color properties? We defend the view that physical objects (for instance, tomatoes, radishes, and rubies) are colored, and that colors are physical properties, specifically types of reflectance. This is probably a minority opinion, at least among color scientists. Textbooks frequently claim that physical objects are not colored, and that the colors are "subjective" or (...) "in the mind." The article has two other purposes: first, to introduce an interdisciplinary audience to some distinctively philosophical tools that are useful in tackling the problem of color realism and, second, to clarify the various positions and central arguments in the debate. (shrink)

Hilbert's plan for understanding the concept of infinity required the elimination of non‐finitist machinery from proofs of finitist assertions. The failure of the original plan leads to a hierarchy of progressively less elementary, but still constructive methods instead of finitist ones . A mathematical proof of this failure requires a definition of « finitist ».—The paper sketches the three principal methods for the syntactic analysis of non‐constructive mathematics, the resulting consistency proofs and constructive interpretations, modelled on Herbrand's theorem, and their (...) mathematical and logical consequences. A characterization of finitist proofs is sketched. A remark on the completeness of the predicate calculus concludes the paper. Throughout open problems and alternative approaches are emphasized.ZusammenfassungHilbert sah das Verstehen des Begriffs des Unendlichen in der Eliminierung nichtfiniter Methoden aus Beweisen finiter Sätze. Das Versagen dieses Unternehmens führt zu einer Hierarchic progressiv weniger elementarer, aber noch konstruktiver Methoden, statt der finiten . Ein Unmöglichkeitsbeweis des ursprünglichen Planes setzt eine Definition von « finit » voraus.—Die drei wichtigsten Methoden der syntaktischen Analyse nichtkonstruktiver mathematischer Theorien, die daraus gewonnenen Widerspruchsfreiheitsbeweise and konstruktiven Interpretationen and deren mathematische and logische Anwendungen werden besprochen. Eine Prazisierung des Begriffs « finit » wird skizziert. Eine Bemerkung zur Vollstandigkeit des engeren Funktionenkalküls beschliesst die Abhandlung.—Oflene Fragen and komplementare Fragestellungen werden betont. (shrink)

S. Negri and J. von Plato, Proof Analysis. A Contribution to Hilbert's Last Problem. Cambridge University Press: Cambridge, 2011. 278 pp. $90.00. ISBN:978-1-107-00895-3. Reviewed by F. Poggiolesi,...

The paper establishes lower bounds on the provability of.

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

We carry out a systematic study of decidability for theories of real vector spaces, inner product spaces, and Hilbert spaces and of normed spaces, Banach spaces and metric spaces, all formalized using a 2-sorted first-order language. The theories for list turn out to be decidable while the theories for list are not even arithmetical: the theory of 2-dimensional Banach spaces, for example, has the same many-one degree as the set of truths of second-order arithmetic.We find that the purely universal (...) and purely existential fragments of the theory of normed spaces are decidable, as is the ∀∃ fragment of the theory of metric spaces. These results are sharp of their type: reductions of Hilbertʼs 10th problem show that the ∃∀ fragments for metric and normed spaces and the ∀∃ fragment for normed spaces are all undecidable. (shrink)

In the first part of this paper we discuss some aspects of Detlefsen's attempt to save Hilbert's Program from the consequences of Godel's Second Incompleteness Theorem. His arguments are based on his interpretation of the long standing and well-known controversy on what, exactly, finitistic means are. In his paper [1] Detlefsen takes the position that there is a form of the ω-rule which is a finitistically valid means of proof, sufficient to prove the consistency of elementary number theory Z. (...) On the other hand, he claims that Z with its first-order logic is not strong enough to allow a formalization of such an ω-rule. This would explain why the unprovability of $\operatorname{Con}(Z)$ in Z does not imply that the consistency of Z cannot be proved by finitistic means. We show that Detlefsen's proposal is unacceptable as originally formulated in [1], but that a reasonable modification of the rule he suggest leads to a partial program already studied for many years. We investigate the scope of such a program in terms of proof-theoretic reducibilities. We also show that this partial program encompasses mathematically important theories studied in the "Reverse Mathematics" program. In order to investigate the provability with such a modified rule, we define new consistency and provability predicates which are weaker than the usual ones. We then investigate their properties, including a few that have no apparent philosophical significance but compare interestingly with the properties of the program based on the iteration of our ω-rule. We determine some of the limitations of such programs, pointing out that these limitations partly explain why partial programs that have been successfully carried out use quite different and substantially more radical extensions of finitistic methods with more general forms of restricted reasoning. (shrink)

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

Formalism in the philosophy of mathematics has taken a variety of forms and has been advocated for widely divergent reasons. In Sects. 1 and 2, I briefly introduce the major formalist doctrines of the late nineteenth and early twentieth centuries. These are what I call empirico-semantic formalism, game formalism and instrumental formalism. After describing these views, I note some basic points of similarity and difference between them. In the remainder of the paper, I turn my attention to Hilbert’s instrumental (...) formalism. My primary aim there will be to develop its formalist elements more fully. These are, in the main, its rejection of the axiom-centric focus of traditional model-construction approaches to consistency problems, its departure from the traditional understanding of the basic nature of proof and its distinctively descriptive or observational orientation with regard to the consistency problem for arithmetic. More specifically, I will highlight what I see as the salient points of connection between Hilbert’s formalist attitude and his finitist standard for the consistency proof for arithmetic. I will also note what I see as a significant tension between Hilbert’s observational approach to the consistency problem for arithmetic and his expressed hope that his solution of that problem would dispense with certain epistemological concerns regarding arithmetic once and for all. (shrink)