_ Source: _Volume 29, Issue 1, pp 39 - 65 Since Euclid, optics has been considered a geometrical science, which Aristotle defines as a “mixed” mathematical science. Hobbes follows this tradition and clearly places optics among physical sciences. However, modern scholars point to a confusion between geometry and physics and do not seem to agree about the way Hobbes mixes both sciences. In this paper, I return to this alleged confusion and intend to emphasize the peculiarity of (...) Hobbes’s geometrical optics. This paper suggests that Hobbes’s conception of geometrical optics, as a mixed mathematical science, greatly differs from Descartes’s one, mainly because they do not share the same “mechanical conception of nature.” I will argue that Hobbes and Descartes also have in common the quest for a different kind of geometry for their optics, different from that of the Ancients. I will show that this departure is not recent since Hobbes’s approach is already evident in 1636, when he judges the demonstrations of his contemporary friends, Claude Mydorge and Walter Warner. Finally the paper broadly suggests what is noteworthy in Hobbes’s optics, that is, the importance of the idea of force in his mechanics, although he was not able to conceptualize it in other terms than “quickness.”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Isaac Barrow on the Mathematization of Nature: Theological Voluntarism and the Rise of Geometrical OpticsAntoni MaletIntroductionIsaac Newton’s Mathematical Principles of Natural Philosophy embodies a strong program of mathematization that departs both from the mechanical philosophy of Cartesian inspiration and from Boyle’s experimental philosophy. The roots of Newton’s mathematization of nature, this paper aims to demonstrate, are to be found in Isaac Barrow’s (1630–77) philosophy of the mathematical sciences.Barrow’s (...) attitude towards natural philosophy evolved from his earnest interest in medicine of around 1650, when a young Cambridge graduate, to natural philosophy (apparently under Henry More’s influence); from his thesis on the insufficiency of the Cartesian hypothesis to geometrical optics and the strong program of mathematization of natural philosophy of the middle 1660s; from Lucasian professor of Mathematics to Chaplain of his Majesty and eminent Restoration divine. Contemporary accounts of Barrow’s life suggest that he grew ever more skeptical about the worth of natural philosophy and mathematics. 1 In his last years he became a prolific [End Page 265] author of sermons and theological works. Published shortly after his death by John Tillotson (1630–94), later archbishop of Canterbury, they occupy over two thousand folio pages. Overloaded with involved philosophical arguments, Barrow’s sermons were apparently not very popular, but they were highly regarded by scholars and the Anglican hierarchy. 2 It is on certain of his sermons, as well as on the philosophical discussions contained in the Mathematical Lectures that our account of Barrow’s philosophy of the mathematical sciences will rest. 3 Barrow’s understanding of the mathematical sciences will allow us to discuss together three issues often analyzed independently: the theological background to English natural philosophy, the changing notion of mixed mathematical sciences during the seventeenth century, and finally the philosophical foundations of modern geometrical optics.It has long been recognized that significant relationships exist between theological voluntarism or intellectualism and views on natural philosophy. In particular Robert Boyle’s theological voluntarism is seen as grounding his experimentalist approach to natural philosophy. It is not quite so clear, however, how well theological voluntarism may relate to a strong program of mathematization such as the one embodied in Newton’s Principia Mathematica. In fact it has been suggested that the relationship is a negative one. This is derived from the necessary character of mathematical laws, which would put unwanted restrictions on God’s absolute dominion over nature, and also from the notion that theological intellectualism is conducive to a deductive, a priori science—the paradigm of which is of course geometry. However, Barrow’s theological voluntarism lead him to heighten the role of mathematics within natural philosophy.During the seventeenth century the so-called mixed or subalternate mathematical sciences changed profoundly. In the Enlightenment mixed mathematics—meaning above all rational mechanics—became one of the most prestigious and influential disciplines. The mixed mathematics of the Enlightenment, however, was markedly different from the Aristotelian [End Page 266] mixed mathematical sciences. The differences are noticeable both in the subject matter and in the substitution of mathematical infinitesimal analysis for geometrical synthesis, but also in the way of grounding mathematical theory on empirical evidence. Barrow’s Mathematical Lectures (delivered at Cambridge from 1664 to 1666) offer a fresh insight into the metamorphosis of these sciences just when Newton’s “mathematical principles” were in the making. Not the least interesting feature of Barrow’s discussion is that God’s omnipotence allows an evaluation of the truth of mathematical theories that do not apply to this world. Therefore, Barrow is led to introduce the distinction between the internal consistency, or mathematical truth, of a mathematical theory and its physical truth. This, in turn, leads him to the notion that theories need testing.Barrow on Matter and GodRecent literature has established significant correlations between theological voluntarism and empiricism, as well as between theological intellectualism and rationalism. As E. B. Davis writes, “the Christian doctrine of creation is a dialogue between God’s unconstrained will, which utterly transcends the bounds of human comprehension, and God’s orderly intellect, which serves as the model for the human mind.” Intellectualist theology considers God’s omniscience His... (shrink)

Significantly, Berkeley, in his Essay Towards a New Theory of Vision, leveled a sustained attack on just this geometrical theory of distance perception. At first glance it may seem, as it did to Berkeley, that Descartes’ geometrical theory is produced by a simple error: namely, by the idea that a physiological optics provides an adequate description of the psychological processes of judging distances. In truth, this is the weakest of Berkeley’s objections to Descartes’ theory. Obviously we do (...) not see the angles and lines of convergence when we focus on a distant object, nor are we aware of having used any geometrical rules in judging distance. And Descartes never claimed this. (shrink)

This paper seeks to demonstrate that propositions 23–27 of the Euclidian Optics originated in the context of geometrical astronomy. These entries, which deal with the geometry of spheres and rays, present material that overlaps considerably with propositions 1–3 of Aristarchus of Samos’ On the Sizes and Distances of the Sun and the Moon. While all these theorems deal with material that could conceivably be native to celestial illumination, the proofs do not work for binocular vision. It therefore seems (...) probable that the proofs were borrowed from Aristarchus or, more likely, some common astronomical predecessor. As an extension of this observation, this paper argues that the Optics displays a far less unified purpose than has typically been assumed. Instead, it reflects a conglomerate of concerns, goals and dependencies, insofar as it presents multiple proofs that emerge from a set of geometrical concerns not directly related to vision as a physical phenomenon. These entries complicate the idea that the Optics is about explaining light, sight or false appearances in any straightforward sense. Instead, the text is oriented toward a somewhat more diffuse goal: simply to articulate the geometry of vision and rays. Optics as a discipline should should therefore be understood not as a purely mathematical explanation of vision, but as a target-field of explanation constituted by features and boundaries derived from extra-visual geometric concerns. (shrink)

Snell's law of refraction did not affect the study of optics until twenty‐five years after its publication in 1637 and by then its universality threatened to break down already. Two optical phenomena—colour dispersion and strange refraction—were discovered that did not conform to the sine law. In the early 1670s, Isaac Newton and Christiaan Huygens respectively investigated these phenomena. They tried to describe the irregular behaviour of light rays mathematically and to reconcile it with ordinary refraction. This paper discusses their (...) investigations and aims at throwing new light on the history of seventeenth‐century optics. Both initially approached the problem in a mathematical way in which they built on Descartes' analysis of refraction. This is surprising because it contradicts their earlier dismissal of Descartes' account and it does not fit our picture of them as mathematical physicists. By looking more closely at their early investigations it becomes clear that Newton and Huygens first had to develop the approach to optics of their later writings. After Descartes placed the issue of the physical nature of light rays on the scientific agenda in 1637, they recognized its purport in their struggles with colour dispersion and strange refraction. It was at this point that their physical optics evolved from the traditional geometrical optics with which they had started. (shrink)

In view of the progress made in recent decades in the fields of stemmatology and the analysis of geometric diagrams, the present article explores the possibility of establishing the stemma codicum of a handwritten tradition from geometric diagrams alone. This exploratory method is tested on Ibn al-Haytham’s Epistle on the Shape of the Eclipse, because this work has not yet been issued in a critical edition. Separate stemmata were constructed on the basis of the diagrams and the text, and a (...) comparison showed no major differences. The greater reliability of a stemma codicum constructed on the basis of the diagrams rather than the text of a mathematical work is discussed and preliminary conclusions are drawn. (shrink)

This book explores the interrelationships between optics, vision and perspective before the Classical Age, examining binocularity in particular. The author shows how binocular vision was one of the key juncture points between the three concepts and readers will see how important it is to understand the approach that scholars once took. In the Middle Ages and the Renaissance, the concept of Perspectiva – the Latin word for optics – encompassed many areas of enquiry that had been viewed since (...) antiquity as interconnected, but which a erwards were separated: optics was incorporated into the field of physics (i.e., physical and geometrical optics), vision came to be regarded as the sum of various psycho-physiological mechanisms involved in the way the eye operates (i.e., physiological optics and psychology of vision) and the word ‘perspective’ was reserved for the mathematical representation of the external world (i.e., linear perspective). The author shows how this division, which emerged as a result of the spread of the sciences in classical Europe, turns out to be an anachronism if we confront certain facts from the immediately preceding periods. It is essential to take into account the way medieval scholars posed the problem – which included all facets of the Latin word perspectiva – when exploring the events of this period. (shrink)

A major intellectual shift between Copernicus and the mid-17th century was the rejection of Aristotelian assertions concerning the relationship of mathematics to physical nature. Aristotle asserted that “The minute accuracy of mathematics is not to be demanded in all cases, but only in the case of things which have no matter. Therefore its method is not that of natural science; for presumably all nature has matter.” Thus, he pulled out the rug from under the feet of the aspiration to a (...) mathematically based natural sciences, asserting that: “And at the same time not even this is true, that mensuration deals with perceptible and perishable magnitudes; for then it would have perished, when they perished. And astronomy also cannot be dealing with perceptible magnitudes nor with this heaven above us. For neither are perceptible lines such lines as the geometer speaks of, nor are the movement and complex orbits in the heaven like those which astronomy treats, nor have geometrical points the same nature as the actual stars.”. (shrink)

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and figures. Geometric objects are (...) defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)

ArgumentHermann von Helmholtz’s distinction between “pure intuitive” and “physical” geometry must be counted as the most influential of his many contributions to the philosophy of science. In a series of papers from the 1860s and 70s, Helmholtz argued against Kant’s claim that our knowledge of Euclidean geometry was an a priori condition for empirical knowledge. He claimed that geometrical propositions could be meaningful only if they were taken to concern the behaviors of physical bodies used in measurement, from which (...) it followed that it was posterior to our acquaintance with this behavior. This paper argues that Helmholtz’s understanding of geometry was fundamentally shaped by his work in sense-physiology, above all on the continuum of colors. For in the course of that research, Helmholtz was forced to realize that the color-space had no inherent metrical structure. The latter was a product of axiomatic definitions of color-addition and the empirical results of such additions. Helmholtz’s development of these views is explained with detailed reference to the competing work of the mathematician Hermann Grassmann and that of the young James Clerk Maxwell. It is this separation between 1) essential properties of a continuum, 2) supplementary axioms concerning distance-measurement, and 3) the behaviors of the physical apparatus used to realize the axioms, which is definitive of Helmholtz’s arguments concerning geometry. (shrink)

Neutron matter-wave optics provides the basis for new quantum experiments and a step towards applications of quantum phenomena. Most experiments have been performed with a perfect crystal neutron interferometer where widely separated coherent beams can be manipulated individually. Various geometric phases have been measured and their robustness against fluctuation effects has been proven, which may become a useful property for advanced quantum communication. Quantum contextuality for single particle systems shows that quantum correlations are to some extent more demanding than (...) classical ones. In this case entanglement between external and internal degrees of freedom offers new insights into basic laws of quantum physics. Non-contextuality hidden variable theories can be rejected by arguments based on the Kochen-Specker theorem. (shrink)

This essay examines one of the cornerstones of Leibniz's defense of teleology within the order of nature. The first section explores Leibniz's contributions to the study of geometrical optics, and argues that his "Most Determined Path Principle" or "MDPP" allows him to bring to the fore philosophical issues concerning the legitimacy of teleological explanations by addressing two technical objections raised by Cartesians to non-mechanistic derivations of the laws of optics. The second section argues that, by drawing on (...) laws such as the MDPP, Leibniz is able to introduce a thin notion of teleology that gives him the resources to respond to the most pressing charges of his day against teleological explanations within natural philosophy. Finally, the third section argues that contemporary philosophers have been overly hasty in their dismissal of Leibniz's account of natural teleology, and indeed that their own generally thin conceptions of teleology have left them with few well-motivated resources for resisting his elegant position. (shrink)

This paper argues that Kepler considered his work in optics as part of natural philosophy and that, consequently, he aimed at change within natural philosophy. Back-to-back with John Schuster’s claim that Descartes’ optics should be considered as a natural philosophical appropriation of innovative results in the tradition of practical and mixed mathematics the central claim of my paper is that Kepler’s theory of optical imagery, developed in his Paralipomena ad Vitellionem (1604), was the result of a move similar (...) to Descartes’ by Kepler. My argument consists of three parts. First, Kepler borrowed a geometrical model and experiment of optical imagery from the mélange of mixed and practical mathematics provided in the works of the sixteenth-century mathematicians Ettore Ausonio and Giovanni Battista Della Porta. Second, Kepler criticized the Aristotelian theory of light and he developed his own alternative metaphysics. Third, Kepler used his natural philosophical assumptions about the nature of light to re-interpret the model of image formation taken from Della Porta’s work. Taken together, I portray Kepler’s theory of optical imagery as a natural philosophical appropriation of an innovative model of image formation developed in a sixteenth-century practical and mixed mathematical tradition which was not interested in questioning philosophical assumptions on the nature of light. (shrink)

Did Goethe devise an empirically viable theory of classical ray optics? Or can we at least make use of his ideas to propose one? And if so, does this confront us with an intriguing case of theory underdetermination? In this paper, which is mainly a comment on the recent work of Olaf Müller, I shall address these three questions and argue for ‘no, yes, no’. This is in contrast to Müller, who has recently launched a vivid defense of Goethe-style (...) ray optics :569–573, 2015b; Z Philos Forsch 69:588–598, 2015c; Br J Hist Philos 24:322–346, 2016). Müller aims to give an almost positive answer to all three questions: ‘perhaps, yes, yes’. My overall line of argument will be that the rather restricted regime of classical geometrical optics of spectral colors allows at best for a weak form of transient theory underdetermination that, in turn and more straightforwardly, also allows for a structuralist reading in terms of two structurally equivalent formulations of one and the same theory. However, extending any of the rivaling models of ray optics other than Newton’s beyond the mentioned regime and embedding them into physics in total—especially in view of thermodynamics—leads to a contradiction. Hence, Newton’s theory is confirmed as the only consistent theoretical interpretation of ray optics. (shrink)

This paper deals with Hobbes's theory of optical images, developed in his optical magnum opus, ‘A Minute or First Draught of the Optiques’, and published in abridged version in De homine. The paper suggests that Hobbes's theory of vision and images serves him to ground his philosophy of man on his philosophy of body. Furthermore, since this part of Hobbes's work on optics is the most thoroughly geometrical, it reveals a good deal about the role of mathematics in (...) Hobbes's philosophy. The paper points to some difficulties in the thesis of Shapin and Schaffer, who presented geometry as a ‘paradigm’ for Hobbes's natural philosophy. It will be argued here that Hobbes's application of geometry to optics was dictated by his metaphysical and epistemological principles, not by a blind belief in the power of geometry. Geometry supported causal explanation, and assisted reason in making sense of appearances by helping the philosopher understand the relationships between the world outside us and the images it produces in us. Finally the paper broadly suggests how Hobbes's theory of images may have triggered, by negative example, the flourishing of geometrical optics in Restoration England. (shrink)

One of the chief concerns of the young Descartes was with what he, and others, termed “physico-mathematics”. This signalled a questioning of the Scholastic Aristotelian view of the mixed mathematical sciences as subordinate to natural philosophy, non explanatory, and merely instrumental. Somehow, the mixed mathematical disciplines were now to become intimately related to natural philosophical issues of matter and cause. That is, they were to become more ’physicalised’, more closely intertwined with natural philosophising, regardless of which species of natural philosophy (...) one advocated. A curious, short-lived yet portentous epistemological conceit lay at the core of Descartes’ physico-mathematics—the belief that solid geometrical results in the mixed mathematical sciences literally offered windows into the realm of natural philosophical causation—that in such cases one could literally “see the causes”. Optics took pride of place within Descartes’ physico-mathematics project, because he believed it offered unique possibilities for the successful vision of causes. This paper traces Descartes’ early physico-mathematical program in optics, its origins, pitfalls and its successes, which were crucial in providing Descartes resources for his later work in systematic natural philosophy. It explores how Descartes exploited his discovery of the law of refraction of light—an achievement well within the bounds of traditional mixed mathematical optics—in order to derive—in the manner of physico-mathematics—causal knowledge about light, and indeed insight about the principles of a “dynamics” that would provide the laws of corpuscular motion and tendency to motion in his natural philosophical system. (shrink)

In his Paralipomena Johannes Kepler reported an experimentum that he had seen in the Dresden Kunstkammer. In one of the rooms there, which had been turned in its entirety into a camera obscura, he had witnessed the images formed by a lens. I discuss the role of this experiment in the development and foundation of his new theory of optical imagery, which made a distinction between two concepts of image, pictura and imago. My focus is on how Kepler used his (...) report of the experiment inside the camera obscura to criticize the account of image formation given in Giovanbattista Della Porta's Magia naturalis . I argue that this experiment allowed Kepler to sort out the confusion between images 'in the air'—referring to the geometrical locus of images in the perspectivist tradition of optics—and the experimentally produced 'projected images', which were empirically familiar but conceptually alien to perspectivist optics. (shrink)

In 1648, J. Marcus Marci of Prague anticipated two chief features of Isaac Newton's celebrated 1672 theory of light and color, namely that colors are inherent to light and that the role of the prism is to separate the rays of color by means of refraction. Furthermore, Marci argued that colors produced by a first refraction are immutable when subjected to refraction by a second prism. This paper argues that the key to Marci's achievement derived from his chymical view of (...) light, which he tested by means of prism trials and geometrical constructions. I also suggest that Marci's unusual coupling of chymical philosophy with mathematics was a move unusual in the history of alchemy; and that his chymical understanding of light belongs to an underexplored tradition in the history of optics, which is distinct from mechanistic and Aristotelian theories of light. (shrink)

Berkeley's "new theory of vision" and, In particular, His sensationalist solution to the problem of judging distance and magnitude were discussed by many eighteenth-Century authors who faced a variety of problem situations. More specifically, Berkeley's theory fed into the debate over whether the phenomena of vision were susceptible to mathematical analysis or were experientially determined. In this paper a variety of responses to berkeley are examined, Concluding with thomas reid's attempt to distinguish physical optics (which can be analyzed geometrically) (...) from the psychology of vision (in which experience plays a major role). (shrink)

In his Paralipomena Johannes Kepler reported an experimentum that he had seen in the Dresden Kunstkammer. In one of the rooms there, which had been turned in its entirety into a camera obscura, he had witnessed the images formed by a lens. I discuss the role of this experiment in the development and foundation of his new theory of optical imagery, which made a distinction between two concepts of image, pictura and imago. My focus is on how Kepler used his (...) report of the experiment inside the camera obscura to criticize the account of image formation given in Giovanbattista Della Porta's Magia naturalis. I argue that this experiment allowed Kepler to sort out the confusion between images 'in the air'—referring to the geometrical locus of images in the perspectivist tradition of optics—and the experimentally produced 'projected images', which were empirically familiar but conceptually alien to perspectivist optics. (shrink)

This book interrogates the ontology of mathematical entities in Spinoza as a basis for addressing a wide range of interpretive issues in Spinoza’s epistemology—from his antiskepticism and philosophy of science to the nature and scope of reason and intuitive knowledge and the intellectual love of God. Going against recent trends in Spinoza scholarship, and drawing on various sources, including Spinoza’s engagements with optical theory and physics, Matthew Homan argues for a realist interpretation of geometrical figures in Spinoza; illustrates their (...) role in a Spinozan hypothetico-deductive scientific method; and develops Spinoza’s mathematical examples to better illuminate the three kinds of knowledge. The result is a portrait of Spinoza’s epistemology as sanguine and distinctive yet at home in the new Cartesian and Galilean scientific-philosophical paradigm. (shrink)

In the present work Berkeley's theory of vision is considered in its historical origins, in its relation to Berkeley's general philosophical conceptions, and in its early reception. Berkeley's theory replaces an account of vision according to which distance and other spatial properties are deduced from elementary data through an unconscious geometric inference. This account of vision in terms of "natural geometry" was first introduced by Descartes and Malebranche. Among Berkeley's immediate sources of knowledge of the geometric theory of perception, a (...) key role was played by the treatise of dioptrics of William Molyneux, Dioptrica Nova. Berkeley's understanding of "natural geometry" relies closely on Molyneux's description of the mechanism of vision which avoids the complexities of the accounts of Descartes and Malebranche. In the first chapter Berkeley's theory is presented by way of contrast with Molyneux's theory. In the second chapter I consider the relation between the theory of vision and immaterialism. In the final chapter I examine one of the first criticisms of Berkeley's theory, that which is found in William Porterfield's Treatise on the Eye. Dept. of Philosophy. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1997.G72. Source: Masterss International, Volume: 37-01, page: 0076. Adviser: John P. Wright. Thesis --University of Windsor, 1997. (shrink)

The analysis of the Helmholtz equation is shown to lead to an exact Hamiltonian system describing in terms of ray trajectories, for a stationary refractive medium, a very wide family of wave-like phenomena (including diffraction and interference) going much beyond the limits of the geometrical optics (“eikonal”) approximation, which is contained as a simple limiting case. Due to the fact, moreover, that the time independent Schrödinger equation is itself a Helmholtz-like equation, the same mathematics holding for a classical (...) optical beam turns out to apply to a quantum particle beam moving in a stationary force field, and leads to a system of Hamiltonian equations providing exact and deterministic particle trajectories and dynamical laws, and containing the laws of Classical Mechanics in the eikonal limit. (shrink)

In developing a new theory of vision in Ad Vitellionem paralipomena Kepler introduced a new optical concept, pictura, which is an image projected on to a screen by a camera obscura. He distinguished this pictura from an imago, the traditional image of medieval optics that existed only in the imagination. By the 1670s a new theory of optical imagery had been developed, and Kepler's pictura and imago became real and virtual images, two aspects of a unified concept of image. (...) The new concept of image developed out of a synthesis of Kepler's determination of the geometrical location of a pictura as the limit, or focus, of refracted pencils of rays and the triangulation used by a single eye to determine the perceived location of an imago. The distinction between real and imaginary images was largely developed by Gilles Personne de Roberval and the Jesuits Francesco Eschinardi and Claude François Milliet Dechales. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

This paper addresses a relatively common scientific (as opposed to philosophical) conception of intertheoretic reduction between physical theories. This is the sense of reduction in which one (typically newer and more refined) theory is said to reduce to another (typically older and coarser) theory in the limit as some small parameter tends to zero. Three examples of such reductions are discussed: First, the reduction of Special Relativity (SR) to Newtonian Mechanics (NM) as (v/c)20; second, the reduction of wave optics (...) to geometrical optics as 0; and third, the reduction of Quantum Mechanics (QM) to Classical Mechanics (CM) as0. I argue for the following two claims. First, the case of SR reducing to NM is an instance of a genuine reductive relationship while the latter two cases are not. The reason for this concerns the nature of the limiting relationships between the theory pairs. In the SR/NM case, it is possible to consider SR as a regular perturbation of NM; whereas in the cases of wave and geometrical optics and QM/CM, the perturbation problem is singular. The second claim I wish to support is that as a result of the singular nature of the limits between these theory pairs, it is reasonable to maintain that third theories exist describing the asymptotic limiting domains. In the optics case, such a theory has been called catastrophe optics. In the QM/CM case, it is semiclassical mechanics. Aspects of both theories are discussed in some detail. (shrink)

This paper gives a technically elementary treatment of some aspects of Hamilton -Jacobi theory, especially in relation to the calculus of variations. The second half of the paper describes the application to geometric optics, the optico-mechanical analogy and the transition to quantum mechanics. Finally, I report recent work of Holland providing a Hamiltonian formulation of the pilot-wave theory.

When classical mechanics is seen as the short-wavelength limit of quantum mechanics (i.e., as the limit of geometrical optics), it becomes clear just how serious and all-pervasive the measurement problem is. This formulation also leads us into the Bohm theory. But this theory has drawbacks: its nonuniqueness, in particular, and its nonlocality. I argue that these both reflect an underlying problem concerning information, which is actually a deeper version of the measurement problem itself.

Incommensurability between successive scientific theories—the impossibility of empirical evidence dictating the choice between them—was Thomas Kuhn's most controversial proposal. Toward defending it, he directed much effort over his last 30 years into formulating precise conditions under which two theories would be undeniably incommensurable with one another. His first step, in the late 1960s, was to argue that incommensurability must result when two theories involve incompatible taxonomies. The problem he then struggled with, never obtaining a solution that he found entirely satisfactory, (...) was how to extend this initial line of thought to sciences like physics in which taxonomy is not so transparently dominant as it is, for example, in chemistry. This paper reconsiders incommensurability in the light of examples in which evidence historically did and did not carry over continuously from old laws and theories to new ones. The transition from ray to wave optics early in the nineteenth century, we argue, is especially informative in this regard. The evidence for the theory of polarization within ray optics did not carry over to wave optics, so that this transition can be regarded as a prototypical case of discontinuity of evidence, and hence of incommensurability in the way Kuhn wanted. Yet the evidence for classic geometric optics did carry over to wave optics, notwithstanding the fundamental conceptual readjustment that Fresnel's wave theory required. (shrink)

Gibson's ecological approach to depiction is compared with Nelson Goodman's relativist theory of representation. Goodman's commitment to radical relativism and Gibson's to direct realism would make these thinkers unlikely candidates for comparison if Goodman himself had not indicated a substantial body of agreement with Gibson in the area of picture perception. The present study analyzes this agreement through systematic discussion of the following theses: realism in representation is not a function of geometrical optics, physical similarity to what is (...) depicted, or deception; pictures differ in density and articulation from words, so that picturing has no explicit vocabulary; and artists can teach us new ways to see the world. The agreement between Goodman and Gibson has wide-ranging implications for the further development of what might be called a Gibsonian relativism. (shrink)

Recent work in the physics literature demonstrates that, in particular classes of rotating spacetimes, physical light rays in general do not traverse null geodesics. Having presented this result, we discuss its philosophical significance, both for the clock hypothesis (and, in particular, a recent purported proof thereof for light clocks), and for the operational meaning of the metric field. 1Introduction 2Fletcher's Theorem 2.1Maudlin on the clock hypothesis in special relativity 2.2Fletcher’s result in special relativity 2.3Fletcher’s theorem in general relativity 3Electromagnetism and (...) the Geometrical-Optical Limit 3.1Maxwell’s equations in curved spacetime 3.2The geometrical-optical limit 3.3Rotating spacetimes 3.4Aren’t Gödel spacetimes unphysical? 4The Clock Hypothesis and Chronogeometry 4.1Natural and mathematical observations 4.2Clock registry discord 4.3Chronogeometry 5Conclusion. (shrink)

An empirically based view of size and distance perceptual content and phenomenology is introduced, in which perceivers measure worldly size and distance against their bodies. Central principles of the formal, representational theory of the measurement of extensive magnitudes are then applied in framing the account in a precise way. The question of whether spatial-perceptual experience is “unit-free” is clarified. The framework is used to assess Dennis Proffitt's proposal that spatial setting is perceived in various “units,” “scales,” or “rulers”, some of (...) them non-spatial—distance in terms of calories burned to traverse and the like. The debate between Proffitt and Firestone about the commensurability of differing measurement scales held by Proffitt to be relied on by perceivers is then clarified and resolved. Finally, the measurement theory framed account of size and distance perception is used to illuminate Gibson’s famous but elusive contrasts between “geometrical optics” and “ecological optics” and between the “physical world” and the “animal environment”. (shrink)

In past and modern psychophysics there are several unresolved methodological and philosophical problems of human and animal perception, including the outstanding question of the relational basis of whole psychophysics. Here the main issue is discussed: if, and to what extent, there are viable bridges between the traditional “gestalt” oriented approaches and the modern perceptual-cognitive perspectives in psychophysics. Thereby the key concept of psychological “frame of reference” is presented by pointing to Hermann Ebbinghaus' geometric-optical illusions, on the one hand, and Max (...) Wertheimer's treatment of the traditional transposition phenomenon, on the other hand. A much-needed theoretical reorientation of future research may help to overcome the philosophical narrowness of present-day human and comparative psychophysics. (shrink)

Haack, S. Is truth flat or bumpy?--Chihara, C. S. Ramsey 's theory of types.--Loar, B. Ramsey 's theory of belief and truth.--Skorupski, J. Ramsey on Belief.--Hookway, C. Inference, partial belief, and psychological laws.--Skyrms, B. Higher order degrees of belief.--Mellor, D. H. Consciousness and degrees of belief.--Blackburn, S. Opinions and chances.--Grandy, R. E. Ramsey, reliability, and knowledge.--Cohen, L. J. The problem of natural laws.--Giedymin, J. Hamilton's method in geometrical optics and Ramsey 's view of theories.

There is an uncanny unanimity about the founding role of Kepler's Dioptrice in the theory of optical instruments and for classical geometric optics generally. It has been argued, however, that for more than fifty years optical theory in general, and Dioptrice in particular, was irrelevant for the purposes of telescope making. This article explores the nature of Kepler's achievement in his Dioptrice . It aims to understand the Keplerian 'theory' of the telescope in its own terms, and particularly its (...) links to Kepler's theory of vision. It deals first with Kepler's way to circumvent his ignorance of the law of refraction, before turning to Kepler's explanations of why lenses magnify and invert vision. Next, it analyses Kepler's account of the properties of telescopes and his suggestions to improve their designs. The uses of experiments in Dioptrice , as well as the explicit and implicit references to della Porta's work that it contains, are also elucidated. Finally, it clarifies the status of Kepler's Dioptrice vis-à-vis , classical geometrical optics and presents evidence about its influence in treatises about the practice of telescope making during roughly the first two-thirds of the seventeenth century. (shrink)

A mechanistic explanation is a desired outcome in many studies of perception. Such explanations require discovering the processes that contribute to the realization of a perceptual phenomenon at different levels of information processing. The present analysis aims at investigating the obstacles to develop such mechanistic explanations and their potential solutions in the context of psychopathology. Geometric-Optical Illusions (GOIs) are among perceptual phenomena that have been studied to understand psychopathology in various clinical populations. In the present analysis, the GOIs will be (...) discussed as a methodological tool in the investigation of the mechanistic approach to understanding perception in such populations. I will argue that the fact that most such studies are mainly focused on the investigation of susceptibility to GOIs can only lead to classifying such phenomena or to reporting some correlations between different aspects of such phenomena with certain brain activities, without formulating a mechanistic explanation. The investigation of the variables that mediate perceptual phenomena at earlier stages of information processing is required for the formulation of such explanations. Thus, the objective of the present analysis is twofold: 1) showing how ignoring such variables have prevented the formulation of mechanistic explanations of responses to GOIs in clinical populations, such as schizophrenia and autism, 2) analyzing the methodological aspects of an effective approach in which a top-down guidance based on phenomenological insights (the first-person data) along with the insights provided by the existing theories help overcome obstacles in developing mechanistic explanations of GOIs. (shrink)

Is vision merely a state of the beholder’s sensory organ which can be explained as an immediate effect caused by external sensible objects? Or is it rather a successive process in which the observer actively scanning the surrounding environment plays a major part? These two general attitudes towards visual perception were both developed already by ancient thinkers. The former is embraced by natural philosophers (e.g., atomists and Aristotelians) and is often labelled “intromissionist”, based on their assumption that vision is an (...) outcome of the causal influence exerted by an external object upon a sensory organ receiving an entity from the object. The latter attitude to vision as a successive process is rather linked to the “extramissionist” theories of the proponents of geometrical optics (such as Euclid or Ptolemy) who suggest that an entity – a visual ray – is sent forth from the eyes to the object. The present paper focuses on the contributions to this ancient controversy proposed by some 13th-century Latin thinkers. [...]. (shrink)

Abstract.The aim of this paper is to examine the work of Tschirnhaus, La Hire and Leibniz on the theory of caustics, a subject whose history is closely linked to geometrical optics. The curves in question were examined by the most eminent mathematicians of the 17th century such as Huygens, Barrow and Newton and were subsequently studied analytically from the time of Tschirnhaus until the 19th century.Leibniz was interested in caustics and the subject probably inspired him in his discovery (...) of the concept of envelopes of lines. (shrink)

TO SEE BEYOND THE HORIZON. BLAISE PASCAL AND THE QUESTION OF PERSPECTIVE The main purpose of this paper is to present some aspects of Blaise Pascal’s thought, especially his skeptic theory of human natural cognition, as related to his comments on the question of perspective and his technique of permanent changing the points of view. I argue that Pascal’s practice as well as his theoretical considerations on the art of perspective and geometrical optics demonstrate not only some kind (...) of skepticism but a possible starting point to get to the metaphysical, invisible order from the visible world (irrespective of the grace of God). The fundamental condition of such metaphysical discovery is the situation of the lack of sense, of the impossibility to find any definitive answer to any of the questions that our reasoning has to cope with. Pascal finds the paradigmatic example of this “reading the world” in which any visible or intelligible meaning is available in the figural interpretation of the Bible, as opposed to its literal interpretation. At the same time Pascal does not propose any privileged point of view, any other perspective that human being could perceive as established, but always confronts us with Deus absconditus and his paradoxical traces. Keywords: BLAISE PASCAL, SKEPTIC THEORY, HUMAN NATURAL COGNITION, GEOMETRICAL OPTICS, METAPHYSICAL DISCOVERY, HORIZON. (shrink)

The efficient coding hypothesis posits that sensory systems are tuned to the regularities of their natural input. The statistics of natural image databases have been the topic of many studies, which have revealed biases in the distribution of orientations that are related to neural representations as well as behavior in psychophysical tasks. However, commonly used natural image databases contain images taken with a camera with a planar image sensor and limited field of view. Thus, these images do not incorporate the (...) physical properties of the visual system and its active use reflecting body and eye movements. Here, we investigate quantitatively, whether the active use of the visual system influences image statistics across the visual field by simulating visual behaviors in an avatar in a naturalistic virtual environment. Images with a field of view of 120° were generated during exploration of a virtual forest environment both for a human and cat avatar. The physical properties of the visual system were taken into account by projecting the images onto idealized retinas according to models of the eyes' geometrical optics. Crucially, different active gaze behaviors were simulated to obtain image ensembles that allow investigating the consequences of active visual behaviors on the statistics of the input to the visual system. In the central visual field, the statistics of the virtual images matched photographic images regarding their power spectra and a bias in edge orientations toward cardinal directions. At larger eccentricities, the cardinal bias was superimposed with a gradually increasing radial bias. The strength of this effect depends on the active visual behavior and the physical properties of the eye. There were also significant differences between the upper and lower visual field, which became stronger depending on how the environment was actively sampled. Taken together, the results show that quantitatively relating natural image statistics to neural representations and psychophysical behavior requires not only to take the structure of the environment into account, but also the physical properties of the visual system, and its active use in behavior. (shrink)

The text translated, “Das Wissen von fremden Ichen,” bears particular importance for the early phenomenological movement for two reasons. The first is Lipps’ refutation of the theory that knowledge of other selves arises by way of an inference from analogy. Lipps first developed his account of empathy to explain that we tend to succumb to geometric optical illusions because we project living activity into inanimate objects. In sum, Lipps’ groundbreaking article on The Knowledge of Other Egos deserves as much interest (...) from the philosophical community today as it had in the past. The figure of Lipps the philosopher needs to be taken into consideration anew among other much-celebrated proponents of the phenomenological movement. The supporters of that theory, however, demand that we ought to be able to pick out a justification for the existence of objective reality from the fact of our sensations by way of thought alone. (shrink)

The much larger appearance of the moon near horizon than the perceived size of the moon at zenith has motivated many scientists to develop theories that aim at explaining this puzzling phenomenon. Considering that the size of retinal images of the moon in these positions are very similar, the explanation of difference in their apparent sizes has relied on perceptual cues of distance embedded in the retinal image of their respective contexts. Although this account of the moon illusion is quite (...) popular, it does not explain all aspects of this phenomenon. The theoretical formulation of the moon illusion based on other factors such as size contrast later may have had some advantages but has also created some new problems. Although the moon is perceived in a three-dimensional (3D) environment, the present analysis proposes that an explanation of the moon illusion based on two-dimensional (2D) cues can remove some of the unnecessary problems. The empty space and size contrast that have already been considered in explaining classic geometric-optical illusions play a parallel role in explaining the moon illusion. In other words, the role of open space in interaction with the image of the moon and different objects near horizon, all reflected on the retina, are considered as the main explaining factors. The advantages of this approach will be discussed and some of the facts pertaining to the moon illusion will be explained within this theoretical framework. (shrink)

The extension of the principle of relativity to general coordinate systems is based on the hypothesis that an accelerated observer is locally equivalent to a hypothetical inertial observer with the same velocity as the noninertial observer. This hypothesis of locality is expected to be valid for classical particle phenomena as well as for classical wave phenomena but only in the short-wavelength approximation. The generally covariant theory is therefore expected to be in conflict with the quantum theory which is based on (...) wave-particle duality. This is explicitly demonstrated for the frequency of electromagnetic radiation measured by a uniformly rotating observer. The standard Doppler formula is shown to be valid only in the geometric optics approximation. A new definition for the frequency is proposed, and the resulting formula for the frequency measured by the rotating observer is shown to be consistent with expectations based on the classical theory of electrons. A tentative quantum theory is developed on the basis of the generalization of the Bohr frequency condition to include accelerated observers. The description of the causal sequence of events is assumed to be independent of the motion of the observer. Furthermore, the quantum hypothesis is supposed to be valid for all observers. The implications of this theory are critically examined. The new formula for frequency, which is still based on the hypothesis of locality, leads to the observation of negative energy quanta by the rotating observer and is therefore in conflict with the quantum theory. (shrink)

We apply a method analogous to the eikonal approximation to the Maxwell wave equations in an inhomogeneous anisotropic medium and geodesic motion in a three dimensional Riemannian manifold, using a method which identifies the symplectic structure of the corresponding mechanics, to the five dimensional generalization of Maxwell theory required by the gauge invariance of Stueckelberg's covariant classical and quantum dynamics. In this way, we demonstrate, in the eikonal approximation, the existence of geodesic motion for the flow of mass in a (...) four dimensional pseudo-Riemannian manifold. These results provide a foundation for the geometrical optics of the five dimensional radiation theory and establish a model in which there is mass flow along geodesics. We then discuss the interesting case of relativistic quantum theory in an anisotropic medium as well. In this case the eikonal approximation to the relativistic quantum mechanical current coincides with the geodesic flow governed by the pseudo-Riemannian metric obtained from the eikonal approximation to solutions of the Stueckelberg–Schrödinger equation. The locally symplectic structure which emerges is that of a generally covariant form of Stueckelberg's mechanics on this manifold. (shrink)