The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in light (...) of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (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)

The material contained in the following translation was given in substance by Professor Hilbertas a course of lectures on euclidean geometry at the University of G]ottingen during the wintersemester of 1898-1899. The results of his investigation were re-arranged and put into the formin which they appear here as a memorial address published in connection with the celebration atthe unveiling of the Gauss-Weber monument at G]ottingen, in June, 1899. In the French edition, which appeared soon after, Professor Hilbert made some (...) additions, particularly in the concludingremarks, where he gave an account of the results of a recent investigation made by Dr. Dehn.These additions have been incorporated in the following translation.Geometry, like arithmetic, requires for its logical development only a small number ofsimple, fundamental principles. These fundamental principles are called the axioms ofgeometry. The choice of the axioms and the investigation of their relations to one anotheris a problem which, since the time of Euclid, has been discussed in numerous excellentmemoirs to be found in the mathematical literature.1 This problem is tantamount to thelogical analysis of our intuition of space. (shrink)

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

One of the traditional problems of philosophy is the nature of the connection between perceptual experience and empirical knowledge. That there is an intimate connection between the two is rarely doubted. Three case studies of visual deficits due to brain damage are used to motivate the claim that perceptual experience is neither necessary nor sufficient for perceptual knowledge. Acceptance of this claim leaves a mystery as to the epistemic role, if any, of perceptual experience. It is argued that one function (...) of perceptual experience is to provide information about the sources of beliefs, both as to which perceptual modality and within a given modality. This information is useful in assessing the reliability of perceptual beliefs. (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)

Naturalistic theories of content and whether or not reason-giving explanations of human behavior are causal explanations have been central topics in recent philosophy of mind. Fred Dretske, in his book Explaining Behavior, attempts to construct a naturalistic theory of the contents of beliefs and desires that gives these mental states an important role in the causation of behavior. Even if Dretske is granted that the theory adequately accounts for individual behaviors the theory still faces problems in offering an adequate account (...) of important features of extended sequences of behavior. Some sequences of behavior exhibit coherence in the sense that the elements of the sequence either contribute to the atttainment of a goal state or only make sense on the supposition that the goal state will be attained. Two ways of attaining coherence are distinguished. In chaining behavior coherence is guaranteed by the fit between the internal structure of the organism and the structure of the external environment. In other cases of coherence chaining is not available as an explanation. It is argued that Dretske. (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.

Little sociological attention is directed to dreams and dreaming, and none at all is directed to how people tell one another about dreams. Ordinary settings in which dreams are told mimic the conditions of “breaching” experiments and should produce anomie, but dream telling proceeds without trouble. Foundational orientations of ordinary dream talk assimilate into professional dream studies, where dream narratives are “data” and the analysis of narratives is “dream analysis.” That such practices proceed without trouble poses some interesting problems for (...) sociology in terms of how anyone experiences “constraint” in the telling and hearing of dreams. (shrink)

In the present paper we empirically investigate the psychometric properties of some of the most famous statistical and logical cognitive illusions from the “heuristics and biases” research program by Daniel Kahneman and Amos Tversky, who nearly 50 years ago introduced fascinating brain teasers such as the famous Linda problem, the Wason card selection task, and so-called Bayesian reasoning problems (e.g., the mammography task). In the meantime, a great number of articles has been published that empirically examine single cognitive illusions, (...) theoretically explaining people’s faulty thinking, or proposing and experimentally implementing measures to foster insight and to make these problems accessible to the human mind. Yet these problems have thus far usually been empirically analyzed on an individual-item level only (e.g., by experimentally comparing participants’ performance on various versions of one of these problems). In this paper, by contrast, we examine these illusions as a group and look at the ability to solve them as a psychological construct. Based on an sample ofN= 2,643 Luxembourgian school students of age 16–18 we investigate the internal psychometric structure of these illusions (i.e., Are they substantially correlated? Do they form a reflexive or a formative construct?), their connection to related constructs (e.g., Are they distinguishable from intelligence or mathematical competence in a confirmatory factor analysis?), and the question of which of a person’s abilities can predict the correct solution of these brain teasers (by means of a regression analysis). (shrink)

The proposals gathered under the rubric of “Hilbert Problems” (HPs) demonstrate the progress, the disciplinary maturity, and the distinctive analytical potential of bio-cultural approaches to the study of religion. The HPs identify and investigate the ubiquitous evolutionary, cognitive, and neural processes that undergird the disparate array of religious phenomena. Many of the proposals offer fresh perspectives on conventional components of religion by connecting the study of religion to disciplines as diverse as psychiatry, semiotics, and statistics. In these ways, the (...) HPs demonstrate the naturalness of religion in the evolution of the human species. This short commentary briefly explores the issues of the definition of religion, religion and morality, the naturalistic basis for religious hermeneutics, and tradition-centered research and suggests ways in which the humanities can inform and enrich bio-cultural approaches. It proposes that collaboration between science and the humanities can advance research and help illuminate religion’s relevance to humanity’s lived experience. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of (...) Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (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)

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)

In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900.

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.

A chain-closed field is defined as a chainable field (i.e. a real field such that, for all n ∈ N, Σ K2n+1 ≠ Σ K2n) which does not admit any "faithful" algebraic extension, and can also be seen as a field having a Henselian valuation ν such that the residue field K/ν is real closed and the value group ν K is odd divisible with |ν K/2ν K| = 2. If K admits only one such valuation, we show that f (...) ∈ K(X) is in $\mathbf{\Sigma} K(X)^{2n} \operatorname{iff}$ for any real algebraic extension L of $K, "f(L) \subseteq \mathbf{\Sigma}L^{2n}"$ holds. The conclusion is also true for K = R((t)) (a chainable but not chain-closed field), and in the case n = 1 it holds for several variables and any real field K. (shrink)

A chain-closed field is defined as a chainable field which does not admit any "faithful" algebraic extension, and can also be seen as a field having a Henselian valuation $\nu$ such that the residue field $K/\nu$ is real closed and the value group $\nu K$ is odd divisible with $|\nu K/2\nu K| = 2$. If $K$ admits only one such valuation, we show that $f \in K$ is in $\mathbf{\Sigma} K^{2n} \operatorname{iff}$ for any real algebraic extension $L$ of $K, "f (...) \subseteq \mathbf{\Sigma}L^{2n}"$ holds. The conclusion is also true for $K = \mathbf{R})$, and in the case $n = 1$ it holds for several variables and any real field $K$. (shrink)

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.

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)

The class of Hilbert lattices that derive from orthomodular spaces containing infinite orthonormal sets (normal Hilbert lattices) is investigated. Relevant open problems are listed. Comments on form-topological orthomodular spaces and results on arbitrary orthomodular spaces are appended.

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)

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)

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.

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)

In the present paper, these authors argue on actual reasons why Hilbert’s axiomatic program to unify gravitation theory and electromagnetism failed completely. An outline of plausible resolution of this problem is given here, based on: a) Gödel’s incompleteness theorem, b) Newton’s aether stream model. And in another paper we will present our calculation of receding Moon from Earth based on such a matter creation hypothesis. More experiments and observations are called to verify this new hypothesis, albeit it is (...) inspired from Newton’s theory himself. (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)

In a recent paper Griffiths [38] has argued, based on the consistent histories interpretation, that Hilbert space quantum mechanics is noncontextual. According to Griffiths the problem of contextuality disappears if the apparatus is “designed and operated by a competent experimentalist” and we accept the Single Framework Rule. We will argue from a representational realist stance that the conclusion is incorrect due to the misleading understanding provided by Griffiths to the meaning of quantum contextuality and its relation to physical (...) reality and measurements. We will discuss how the quite general incomprehension of contextuality has its origin in the ''objective-subjective omelette'' created by Heisenberg and Bohr. We will argue that in order to unscramble the omelette we need to disentangle, firstly, representational realism from naive realism, secondly, ontology from epistemology, and thirdly, the different interpretational problems of QM. In this respect, we will analyze what should be considered as Meaningful Physical Statements within a theory and will argue that Counterfactual Reasoning -considered by Griffiths as ''tricky''- must be accepted as a necessary condition for any representational realist interpretation of QM. Finally we discuss what should be considered as a problem in QM from a representational realist perspective. (shrink)

The many-Hilbert-spaces approach to the measurement problem in quantum mechanics is reviewed, and the notion of wave function collapse by measurement is formulated as a dephasing process between the two branch waves of an interfering particle. Following the approach originally proposed in Ref. 1, we introduce a “decoherence parameter,” which yields aquantitative description of the degree of coherence between the two branch waves of an interfering particle. By discussing the difference between the wave function collapse and the orthogonality (...) of the apparatus' wave functions, we analyze critically two proposals, recently appeared in the literature, (2, 3) and argue that neither one describes a dephasing process. We conclude that the concept of “wave function collapse,” according to the conventional Copenhagen interpretation, is to be replaced by that of a statisticallydefined dephasing process. (shrink)

While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas (...) as “written diagrams”, thus suggesting that the former encapsulate propositional information which can be extracted and translated into formulas. In the case of Minkowski diagrams, local geometrical axioms were actually being produced, starting with the diagrams, by a process that was both constrained and fostered by the requirement, brought about by the axiomatic method itself, that geometry ought to be made independent of analysis. This paper aims at making a twofold point. On the one hand, it shows that Minkowski’s diagrammatic methods in number theory prompted Hilbert’s axiomatic investigations into the notion of a straight line as the shortest distance between two points, which start from his earlier work focused on the role of the triangle inequality property in the foundations of geometry, and lead up to his formulation of the 1900 Fourth Problem. On the other hand, it purports to make clear how Hilbert’s assessment of Minkowski’s diagram-based reasoning in number theory both raises and illuminates conceptual compatibility concerns that were crucial to his philosophy of mathematics. (shrink)