Coordinate formalism on Hilbert manifolds developed in \cite{Kryukov}, \cite{Kryukov1} is further analyzed. The main subject here is a comparison of the ordinary and the string bases of eigenvectors of a linear operator as introduced in \cite{Kryukov}. It is shown that the string basis of eigenvectors is a natural generalization of its classical counterpart. It is also shown that the developed formalism forces us to consider any Hermitian operator with continuous spectrum as a restriction to a space of square (...) integrable functions of a self-adjoint operator defined on a space of generalized functions. In the formalism functional coordinate transformations preserving the norm of strings are now linear isometries rather than the unitary transformations. (shrink)

Infinite-dimensional manifolds modelled on arbitrary Hilbert spaces of functions are considered. It is shown that changes in model rather than changes of charts within the same model make coordinate formalisms on finite and infinite-dimensional manifolds deeply similar. In this context the infinite-dimensional counterparts of simple notions such as basis, dual basis, orthogonal basis, etc. are shown to be closely related to the choice of a model. It is also shown that in this formalism a single tensor equation (...) on an infinite-dimensional manifold produces a family of functional equations on different spaces of functions. (shrink)

Quantum mechanics is formulated as a geometric theory on a Hilbert manifold. Images of charts on the manifold are allowed to belong to arbitrary Hilbert spaces of functions including spaces of generalized functions. Tensor equations in this setting, also called functional tensor equations, describe families of functional equations on various Hilbert spaces of functions. The principle of functional relativity is introduced which states that quantum theory (QT) is indeed a functional tensor theory, i.e., it can be described (...) by functional tensor equations. The main equations of QT are shown to be compatible with the principle of functional relativity. By accepting the principle as a hypothesis, we then explain the origin of physical dimensions, provide a geometric interpretation of Planck’s constant, and find a simple model of the two-slit experiment and the process of measurement. (shrink)

Coordinate formalism on Hilbert manifolds developed in \cite{Kryukov} is reviewed. The results of \cite{Kryukov} are applied to the simpliest case of a Hilbert manifold: the abstract Hilbert space. In particular, functional transformations preserving properties of various linear operators on Hilbert spaces are found. Any generalized solution of an arbitrary linear differential equation with constant coefficients is shown to be related to a regular solution by a (functional) coordinate transformation. The results also suggest a way of (...) using generalized functions to solve nonlinear problems on Hilbert spaces. (shrink)

An appropriate kind of curved Hilbert space is developed in such a manner that it admits operators of $\mathcal{C}$ - and $\mathfrak{D}$ -differentiation, which are the analogues of the familiar covariant and D-differentiation available in a manifold. These tools are then employed to shed light on the space-time structure of Quantum Mechanics, from the points of view of the Feynman ‘path integral’ and of canonical quantisation. (The latter contains, as a special case, quantisation in arbitrary curvilinear coordinates when space (...) is flat.) The influence of curvature is emphasised throughout, with an illustration provided by the Aharonov-Bohm effect. (shrink)

It is shown that the Hilbert space formalism of quantum mechanics can be derived as a corrected form of probability theory. These constructions yield the Schrödinger equation for a particle in an electromagnetic field and exhibit a relationship of this equation to Markov processes. The operator formalism for expectation values is shown to be related to anL 2 representation of marginal distributions and a relationship of the commutation rules for canonically conjugate observables to a topological relationship of two (...) class='Hi'>manifolds is indicated. (shrink)

Husserl’s notion of definiteness, i.e., completeness is crucial to understanding Husserl’s view of logic, and consequently several related philosophical views, such as his argument against psychologism, his notion of ideality, and his view of formal ontology. Initially Husserl developed the notion of definiteness to clarify Hermann Hankel’s ‘principle of permanence’. One of the first attempts at formulating definiteness can be found in the Philosophy of Arithmetic, where definiteness serves the purpose of the modern notion of ‘soundness’ and leads Husserl to (...) a ‘computational’ view of logic. Inspired by Gauss and Grassmann Husserl then undertakes a further investigation of theories of manifolds. When Husserl subsequently renounces psychologism and changes his view of logic, his idea of definiteness also develops. The notion of definiteness is discussed most extensively in the pair of lectures Husserl gave in front of the mathematical society in Göttingen (1901). A detailed analysis of the lectures, together with an elaboration of Husserl’s lectures on logic beginning in 1895, shows that Husserl meant by definiteness what is today called ‘categoricity’. In so doing Husserl was not doing anything particularly original; since Dedekind’s ‘Was sind und sollen die Zahlen’ (1888) the notion was ‘in the air’. It also characterizes Hilbert’s (1900) notion of completeness. In the end, Husserl’s view of definiteness is discussed in light of Gödel’s (1931) incompleteness results. (shrink)

. The deep structural properties of a quantum information theoretic approach to formal languages and universal computation, as well as those of the topology problem of defining the presentation of the Mapping Class Group of a smooth, compact manifold are shown to be grounded in the common categorical features of the two problems.

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)

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

The Dangerous Book for Boys Abstract: Seventeenth and eighteenth century discussions of the senses are often thought to contain a profound truth: some perceptible properties are secondary qualities, dispositions to produce certain sorts of experiences in perceivers. In particular, colors are secondary qualities: for example, an object is green iff it is disposed to look green to standard perceivers in standard conditions. After rebutting Boghossian and Velleman’s argument that a certain kind of secondary quality theory is viciously circular, we discuss (...) three main lines of argument for the secondary quality theory. The first is inspired by an intuitively compelling picture of perception articulated by Reid; the second is that the secondary quality theory is a conceptual truth; the third line of argument is presented in Johnston’s influential paper ‘How to speak of the colors’. We conclude that all these arguments fail, and that the secondary quality theory is unmotivated. Keywords: color, secondary quality, disposition, vision, perception.. (shrink)

A survey of color science and color vision.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

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)

A survey of arguments for and against the view that colors are physical properties.

There are serious reasons for accepting each of these propositions individually but there are apparently insurmountable difficulties with accepting all three of them simultaneously if we assume that color is a single property. 1) and 2) together seem to imply that there is some property which all organisms with color vision can see and 3) seems to imply that there can be no such property. If these implications really are valid then one or more of these propositions will have to (...) be rejected in spite of whatever reasons can be given for their apparent acceptability. Before going on to discuss possible resolutions of this apparent contradiction it is worth pointing out there our three propositions are not all of a kind. Proposition 1) is a metaphysical thesis about the ontological status of color and proposition 3) is an empirical thesis about what properties organisms with color vision are capable of detecting. If you accept 1) then 2) will appear to verge on the trivial, but if 1) is denied then the status of 2) will appear more problematic. In what follows I will have more to say about why we either should or should not accept all three of these propositions. (shrink)

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)

A sensible quality is a perceptible property, a property that physical objects (or events) perceptually appear to have. Thus smells, tastes, colors and shapes are sensible qualities. An egg, for example, may smell rotten, taste sour, and look cream and round.1,2 The sensible qualities are not a miscellanous jumble—they form complex structures. Crimson, magenta, and chartreuse are not merely three different shades of color: the first two are more similar than either is to the third. Familiar color spaces or color (...) solids capture, to a greater or lesser extent, these relations between the colors. The same goes for sensible qualities perceived in other modalities: middle C, high C, and D are not merely three different notes, and the taste of lemons, oranges, and sugar cubes are not merely three different tastes. How can this structure of appearance be explained? One idea is that sensible qualities are of two sorts: basic and derived. The basic sensible qualities are the building blocks from which the derived sensible qualities can be.. (shrink)

If you trained someone to emit a particular sound at the sight of something red, another at the sight of something yellow, and so on for other colors, still he would not yet be describing objects by their colors. Though he might be a help to us in giving a description. A description is a representation of a distribution in a space (in that of time, for instance).

Larry Hardin has been the most steadfast and influential critic of physicalist theories of color over the last 20 years. In their modern form these theories originated with the work of Smart and Armstrong in the 1960s and 1970s1 and Hardin appropriately concentrated on their views in his initial critique of physicalism.2 In his most recent contribution to this project3 he attacks Michael Tye’s recent attempts to defend and extend color physicalism.4 Like Byrne and Hilbert5, Tye identifies color with the (...) reflecting properties of objects (“reflectance physicalism”). Specifically, the determinate and determinable colors are identified with types of reflectances. (Setting some complications aside, the reflectance of an object is the proportion of light that it reflects at each wavelength in the visible spectrum.) These reflectance types are, in the terminology of Hilbert, anthropocentric—in the terminology of Lewis6, they are not very “natural”. (shrink)

We can start with a definition. “[C]olour constancy is the constancy of the perceived colours of surfaces under changes in the intensity and spectral composition of the illumination.” (Foster et al. 1997) Given the definition we can now ask a question: Does human color vision exhibit color constancy?1 The answer to the question depends in part on how we interpret it. If the question is understood as asking whether human color vision displays constancy for every possible scene across every possible (...) illumination then the answer is no.2 If the question is understood as asking whether human color vision displays some degree of constancy for some scenes across some range of illuminants then the answer is yes. The more interesting questions involve characterizing the degree of constancy human vision displays, the types of scenes and ranges of illuminants for which approximate constancy can be achieved and the.. (shrink)

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (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)

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)

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)