A Spontaneous Physics Philosophy on the Concept of Ether Throughout the History of Science: Birth, Death and Revival

In the course of the history of science, some concepts have forged theoretical foundations, constituting paradigms that hold sway for substantial periods of time. Research on the history of explanations of the action of one body on another is a testament to the periodic revival of one theory in particular, namely, the theory of ether. Even after the foundation of modern Physics, the notion of ether has directly and indirectly withstood the test of time. Through a spontaneous physics philosophical analysis, this article will explore how certain aspects of the concept of ether have appeared in different branches of the history of science.     

Competing Definitions of Information Versus Entropy in Physics

As was mentioned by Nicolas Lori in his (Found Sci, 2010) commentary, the definition of Information in Physics is something about which not all authors agreed. According to physicists like me Information decreases when Entropy increases (so entropy would be a negative measure of information), while many physicists, seemingly the majority of them, are convinced of the contrary (even in the camp of Quantum Information Theoreticians). In this reply I reproduce, and make more precise, some of my arguments, that appeared here and there in my (2010) paper, in order to clarify the presentation of my personal point of view on the subject.     

The Generalised Liar Paradox: A Quantum Model and Interpretation

The formalism of abstracted quantum mechanics is applied in a model of the generalized Liar Paradox. Here, the Liar Paradox, a consistently testable configuration of logical truth properties, is considered a dynamic conceptual entity in the cognitive sphere (Aerts, Broekaert, &; Smets, [Foundations of Science 1999, 4, 115–132; International Journal of Theoretical Physics, 2000, 38, 3231–3239]; Aerts and colleagues[Dialogue in Psychology, 1999, 10; Proceedings of Fundamental Approachs to Consciousness, Tokyo ’99; Mind in Interaction]. Basically, the intrinsic contextuality of the truth-value of the Liar Paradox is appropriately covered by the abstracted quantum mechanical approach. The formal details of the model are explicited here for the generalized case. We prove the possibility of constructing a quantum model of the m-sentence generalizations of the Liar Paradox. This includes (i) the truth–falsehood state of the m-Liar Paradox can be represented by an embedded 2m-dimensional quantum vector in a (2m) ^m -dimensional complex Hilbert space, with cognitive interactions corresponding to projections, (ii) the construction of a continuous ‘time’ dynamics is possible: typical truth and falsehood value oscillations are described by Schrödinger evolution, (iii) Kirchoff and von Neumann axioms are satisfied by introduction of ‘truth-value by inference’ projectors, (iv) time invariance of unmeasured state.     

Mathematical,Philosophical and Semantic Considerations on Infinity (I): General Concepts

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω (the mathematical symbol for the set of all integers)? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many mathematicians believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity.     

The Differential Method and the Causal Incompleteness of Programming Theory in Molecular Biology

The “DNA is a program” metaphor is still widely used in Molecular Biology and its popularization. There are good historical reasons for the use of such a metaphor or theoretical model. Yet we argue that both the metaphor and the model are essentially inadequate also from the point of view of Physics and Computer Science. Relevant work has already been done, in Biology, criticizing the programming paradigm. We will refer to empirical evidence and theoretical writings in Biology, although our arguments will be mostly based on a comparison with the use of differential methods (in Molecular Biology: a mutation or alike is observed or induced and its phenotypic consequences are observed) as applied in Computer Science and in Physics, where this fundamental tool for empirical investigation originated and acquired a well-justified status. In particular, as we will argue, the programming paradigm is not theoretically sound as a causal(as in Physics) or deductive(as in Programming) framework for relating the genome to the phenotype, in contrast to the physicalist and computational grounds that this paradigm claims to propose.

爱因斯坦,物理学和人生--杨振宁先生访谈录

On the morning of April 14, 2005, Dr. C. N. Yang, Nobel Laureate in Physics, accepted our interview in his office at the Center for Advanced Study, Tsinghua University. The interview was two hours in duration and covered a variety of questions including Prof. Yang's personal experience, Nobel Prizes, Einstein's contributions and legacies, World Year of Physics,Prof.     

Belief Systems and Partial Spaces

One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces (Gärdenfors in Conceptual spaces: the geometry of thought. MIT Press, Cambridge, 2000), state-spaces (van Fraassen in Quantum mechanics: an empiricist view. Clarendon Press, Oxford, 1991), and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures (da Costa and French in Science and partial truth. Oxford University Press, New York, 2003), can be provided which not only captures the positive features of these models, but also accommodates the partiality of information ubiquitous in science and mathematics.     

The Canonical Analysis of Distance

Canonical Variate Analysis (CVA) is one of the most useful of multivariate methods. It is concerned with separating between and within group variation among N samples from K populations with respect to p measured variables. Mahalanobis distance between the K group means can be represented as points in a (K - 1) dimensional space and approximated in a smaller space, with the variables shown as calibrated biplot axes. Within group variation may also be shown, together with circular confidence regions and other convex prediction regions, which may be used to discriminate new samples. This type of representation extends to what we term Analysis of Distance (AoD), whenever a Euclidean inter-sample distance is defined. Although the N × N distance matrix of the samples, which may be large, is required, eigenvalue calculations are needed only for the much smaller K × K matrix of distances between group centroids. All the ancillary information that is attached to a CVA analysis is available in an AoD analysis. We outline the theory and the R programs we developed to implement AoD by presenting two examples.     

Notes on the Philosophical Status of Nuclear Physics

In our paper we propose a philosophicalanalysis, based on the notion ofphenomenological model, of Nuclear Physics. Inthis way, we will show some peculiarities ofthis branch of physics.     

科研合作网络在创新团队成员遴选中的应用研究

团队成员的遴选是创新团队建设的第一个环节。本文首先提出了将科研合作网络方法应用到创新团队成员遴选过程当中的思路,然后以中国工程物理研究院等4个机构在爆炸力学领域的科研合作网络为例进行了实证分析。研究表明,本方法在创新团队成员遴选过程中有一定的可操作性和应用价值。     

Computational and Biological Analogies for Understanding Fine-Tuned Parameters in Physics

In this philosophical paper, we explore computational and biological analogies to address the fine-tuning problem in cosmology. We first clarify what it means for physical constants or initial conditions to be fine-tuned. We review important distinctions such as the dimensionless and dimensional physical constants, and the classification of constants proposed by Lévy-Leblond. Then we explore how two great analogies, computational and biological, can give new insights into our problem. This paper includes a preliminary study to examine the two analogies. Importantly, analogies are both useful and fundamental cognitive tools, but can also be misused or misinterpreted. The idea that our universe might be modelled as a computational entity is analysed, and we discuss the distinction between physical laws and initial conditions using algorithmic information theory. Smolin introduced the theory of “Cosmological Natural Selection” with a biological analogy in mind. We examine an extension of this analogy involving intelligent life. We discuss if and how this extension could be legitimated.     

基于科学计量学的中印科技合作现状分析

中国和印度是人口和社会经济发展水平较为接近的邻邦,也同是金砖国家的成员,加强中印科技合作可以促进双方的科技和经济发展。本文通过对中印合作发表的国际论文、共同拥有的专利以及中印政府间的合作情况进行了分析,发现中印论文在物理、核能、化学、天文、医学等学科有一定的合作基础,目前合作专利较少,中印政府间科技合作的力度不够,建议今后加强对中印科技合作的支持力度。     

Emergence,Computation and the Freedom Degree Loss Information Principle in Complex Systems

We consider processes of emergence within the conceptual framework of the Information Loss principle and the concepts of (1) systems conserving information; (2) systems compressing information; and (3) systems amplifying information. We deal with the supposed incompatibility between emergence and computability tout-court. We distinguish between computational emergence, when computation acquires properties, and emergent computation, when computation emerges as a property. The focus is on emergence processes occurring within computational processes. Violations of Turing-computability such as non-explicitness and incompleteness are intended to represent partially the properties of phenomenological emergence, such as logical openness, given by the observer’s cognitive role; structural dynamics where change regards rules rather than only values; and multi-modelling where multiple non-equivalent models are required to model such structural dynamics. In this way, we validate, from an epistemological viewpoint, models and simulations of phenomenological emergence where the sequence of events constitutes the natural, analogical non-Turing computation which a cognitive complex system can reproduce through learning. Reproducibility through learning is different from Turing-like computational iteration. This paper aims to open a new, non-reductionist understanding of the conceptual relationship between emergence and computability.     

再析吴健雄未获诺贝尔奖的原因

20世纪中期,吴健雄最先开展实验验证杨掁宁、李政道提出的弱作用下宇称可能不守恒的假说,并最早取得突破。然而她却未能因此而获得或分享诺贝尔物理学奖。其中一个重要原因是李政道提前透露了吴健雄实验的"初步结果",最终导致她未能独享验证假说的优先权。而吴健雄在实验过程中未能与国家标准局的科学家建立良好的合作关系,使她难以通过诺贝尔评奖委员会的调查关,这可能也是她未能获奖的另一个重要原因。     

Social Autonomy and Heteronomy in the Age of ICT: The Digital <Emphasis Type="Italic">Pharmakon</Emphasis> and the (Dis)Empowerment of the General Intellect

‘The art of living with ICTs (information and communication technologies)’ today not only means finding new ways to cope, interact and create new lifestyles on the basis of the new digital (network) technologies individually, as ‘consumer-citizens’. It also means inventing new modes of living, producing and, not in the least place, struggling collectively, as workers and producers. As the so-called digital revolution unfolds in the context of a neoliberal cognitive and consumerist capitalism, its ‘innovations’ are predominantly employed to modulate and control both production processes and consumer behavior in view of the overall goal of extracting surplus value. Today, the digital networks overwhelmingly destroy social autonomy, instead engendering increasing social heteronomy and proletarianization. Yet it is these very networks themselves, as technical pharmaka in the sense of French ‘technophilosopher’ Bernard Stiegler, that can be employed as no other to struggle against this tendency. This paper briefly explores this possibility by reflecting upon current diagnoses of our ‘technological situation’ by some exemplary post-operaist Marxists from a Stieglerian, pharmacological perspective.     

数理科学国家杰出青年科学基金项目评估与分析

本文依据2002--2006年资助的国家杰出青年科学基金完成和执行效果的评估材料，分析了数理科学国家杰出青年科学基金的资助情况以及专家评估的结果，总结了数理科学国家杰出青年科学基金的运行绩效特点，提出了若干需要进一步改进的问题与建议。     

The Deluge of Spurious Correlations in Big Data

Very large databases are a major opportunity for science and data analytics is a remarkable new field of investigation in computer science. The effectiveness of these tools is used to support a “philosophy” against the scientific method as developed throughout history. According to this view, computer-discovered correlations should replace understanding and guide prediction and action. Consequently, there will be no need to give scientific meaning to phenomena, by proposing, say, causal relations, since regularities in very large databases are enough: “with enough data, the numbers speak for themselves”. The “end of science” is proclaimed. Using classical results from ergodic theory, Ramsey theory and algorithmic information theory, we show that this “philosophy” is wrong. For example, we prove that very large databases have to contain arbitrary correlations. These correlations appear only due to the size, not the nature, of data. They can be found in “randomly” generated, large enough databases, which—as we will prove—implies that most correlations are spurious. Too much information tends to behave like very little information. The scientific method can be enriched by computer mining in immense databases, but not replaced by it.     

Recognizing Treelike k-Dissimilarities

A k-dissimilarity D on a finite set X, |X|????k, is a map from the set of size k subsets of X to the real numbers. Such maps naturally arise from edgeweighted trees T with leaf-set X: Given a subset Y of X of size k, D(Y ) is defined to be the total length of the smallest subtree of T with leaf-set Y . In case k?=?2, it is well-known that 2-dissimilarities arising in this way can be characterized by the so-called ??4-point condition??. However, in case k?>?2 Pachter and Speyer (2004) recently posed the following question: Given an arbitrary k-dissimilarity, how do we test whether this map comes from a tree? In this paper, we provide an answer to this question, showing that for k????3 a k-dissimilarity on a set X arises from a tree if and only if its restriction to every 2?k-element subset of X arises from some tree, and that 2?k is the least possible subset size to ensure that this is the case. As a corollary, we show that there exists a polynomial-time algorithm to determine when a k-dissimilarity arises from a tree. We also give a 6-point condition for determining when a 3-dissimilarity arises from a tree, that is similar to the aforementioned 4-point condition.     

Mathematics as a Quasi-Empirical Science

The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T ₁, ..., T _n in which T _i+1, for 1 ≤ i < n, supersedes T _i . This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of this article consists in arguing that Cantor–Zermelo set theory is a Lakatosian Mathematical Research Programme (MRP).