The curvature argument

Dasgupta (2015) has recently put forward a novel argument, which he calls the ‘curvature argument’, that aims to show that Galilean spacetime is not an ideal setting for our classical theory of motion. This paper examines the curvature argument and argues that it is not sound. The discussion yields a remark about the conditions under which a ‘symmetry argument’ demonstrates that a particular spacetime is a non-ideal setting for our theory of motion.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

“The True” in Gottlob Frege's “Über die Grundlagen der Geometrie”

In this essay, I examine the metaphysical and metalogical ramifications of Gottlob Frege's controversy with David Hilbert and Alwin Korselt, over Hilbert's Grundlagen der Geometrie. These ramifications include(1) Korselt's original appeals to general metatheoretic Deutungen (interpretations);(2) Hilbert's puzzling belief that whatever is consistent in some sense exists; and(3) Frege's semantic monist conviction that theoretical sense and reference (mathematical and other) must be eindeutig lösbar (uniquely solvable).My principal conclusions are(4) that Frege's position in (3) represented a pervasively dogmatic presumption that his newly discovered quantification theory must have a propositional metatheory (the True; the False); and(5) that this needless assumption adversely affected not only his polemic against the moderate semantic relativism of Hilbert and Korselt, but also his reception of type-theoretic ideas, and greatly facilitated his vulnerability to the sort of self-referential inconsistency Russell discovered in Grundgesetz V.These conclusions also seem to me to provide a conceptual framework for several of Frege's other arguments and reactions which might seem more particular and disparate. These include(6) his arbitrary restrictions on the range of second-order quantification, which undercut his own tentative attempts to give accounts of independence and semantic consequence;(7) his uncharacteristic hesitation, even dismay, at the prospect that such accounts might eventuate in a genuinely quantificational metamathematics, whose Gegenstände (objects) might themselves be Gedanken (thoughts); and, perhaps most revealingly(8) his otherwise quite enigmatic, quasi-stoic doctrine that genuine formal deduction must be from premises that are true.A deep reluctance to pluralize or iterate the transition from theory to meta-theory would also be consonant, of course, with Frege's vigorous insistence that there can be only one level each of linguistic Begriffe (concepts) and Gegenstände (objects). With hindsight, such an assumption may seem more gratuitous in the philosophy of language (where it contributed, I would argue, to Wittgenstein's famous transition to the mystical in 6.45 and 6.522 of the Tractatus); but its more implausible implications in this wider context seemed to emerge more slowly.In the mathematical test-case discussed here, however, such strains were immediately and painfully apparent; the first models of hyperbolic geometry were described some thirty years before Frege drafted his polemic against Hilbert's pioneering exposition. It is my hope that a careful study of Frege's lines of argument in this relatively straightforward mathematical controversy may suggest other, parallel approaches to the richer and more ambiguous problems of his philosophy of language.Niemand kann zwei Herren dienen. Man kann nicht der Wahrheit dienen und der Unwahrheit. Wenn die euklidische Geometrie wahr ist, so ist die nichteuklidische Geometrie falsch, und wenn die nichteuklidische wahr ist, so ist die euklidische Geometrie falsch.No one can serve two masters. One cannot serve truth and untruth. If Euclidean geometry is true, non-Euclidean geometry is false, and if non-Euclidean [geometry] is true, Euclidean geometry is false. Über Euklidische Geometrie [Frege 1969], p. 183.     

近红外光谱技术鉴别海面溢油

近红外光谱技术分析速度快、效率高、成本低、重现性好,典型的无损分析;主要用于样品类别鉴定和纯度检验.近红外光谱技术结合模式识别方法,在纯品油种类的鉴别中已得到成功应用[1,2],本实验室也初步建立了纯品油近红外谱图数据库[3],但该法在实际海面溢油样品的鉴别中应用仍甚少.     

Antioxidant survey to assess antagonism to redox stress using a prokaryotic and an eukaryotic system

Using a prokaryote (Escherichia coli) and a metazoa-resembling eukaryote (Ochromonas danica), we surveyed antioxidants which might overcome redox stress imposed by menadione sodium bisulphite (MD) and buthionine sulphoximine (BSO). BSO oxidant stress was evident only inO. danica; MD oxidant stress was evident in both organisms. Glutathione, its precursors, e.g. cysteine, homocysteine, and 2-oxo-4-thiazolidine carboxylic acid, and red blood cells, emerged as prime antioxidants for relieving BSO and MD oxidant stress. BSO and MD oxidant activity and antioxidant-annulling effect inO. danica were judged comparable to those found in animal cells whereas the resultsE. coli were not entirely equivalent. TheO. danica system emerged as a practical, rapid, and useful system for pinpointing oxidant stressors and antioxidants, and shows promise for studies with mammalian systems.     

Signal Diffusion Mapping: Optimal Forecasting with Time‐Varying Lags

We introduce a new methodology for forecasting, which we call signal diffusion mapping. Our approach accommodates features of real‐world financial data which have been ignored historically in existing forecasting methodologies. Our method builds upon well‐established and accepted methods from other areas of statistical analysis. We develop and adapt those models for use in forecasting. We also present tests of our model on data in which we demonstrate the efficacy of our approach. Copyright © 2015 John Wiley & Sons, Ltd.