Vienna Circle and Logical Analysis of Relativity Theory

In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers.Comment: 25 pages, 1 firgure

A logic road from special relativity to general relativity

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist

A Geometrical Characterization of the Twin Paradox and its Variants

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is also studied.Comment: 22 pages, 3 figure

Environmental and Toxicological Impacts of Glyphosate with Its Formulating Adjuvant

Environmental and toxicological characteristics of formulated pesticides may substantially differ from those of their active ingredients or other components alone. This phenomenon is demonstrated in the case of the herbicide active ingredient glyphosate. Due to its extensive application, this active ingredient was found in surface and ground water samples collected in Békés Country, Hungary, in the concentration range of 0.54–0.98 ng/ml. The occurrence of glyphosate appeared to be somewhat higher at areas under intensive agriculture, industrial activities and public road services, but the compound was detected at areas under organic (ecological) farming or natural grasslands, indicating environmental mobility. Increased toxicity of the formulated herbicide product Roundup compared to that of glyphosate was observed on the indicator aquatic organism Daphnia magna Straus. Acute LC50 values of Roundup and its formulating adjuvant polyethoxylated tallowamine (POEA) exceeded 20 and 3.1 mg/ml, respectively, while that of glyphosate (as isopropyl salt) was found to be substantially lower (690-900 mg/ml) showing good agreement with literature data. Cytotoxicity of Roundup, POEA and glyphosate has been determined on the neuroectodermal cell line, NE-4C measured both by cell viability test and holographic microscopy. Acute toxicity (LC50) of Roundup, POEA and glyphosate on NE-4C cells was found to be 0.013±0.002%, 0.017±0.009% and 6.46±2.25%, respectively (in equivalents of diluted Roundup solution), corresponding to 0.022±0.003 and 53.1±18.5 mg/ml for POEA and glyphosate, respectively, indicating no statistical difference between Roundup and POEA and 2.5 orders of magnitude difference between these and glyphosate. The same order of cellular toxicity seen in average cell area has been indicated under quantitative cell visualization. The results indicate that toxicity of the formulated herbicide is caused by the formulating agent, but in some parameters toxicological synergy occurs between POEA and glyphosate

How will a drier climate change carbon sequestration in soils of the deciduous forests of Central Europe?

Global warming is accompanied by increasing water stress across much of our planet. We studied soil biological processes and changes in soil organic carbon (SOC) storage in 30 Hungarian oak forest sites in the Carpathian Basin along a climatic gradient (mean annual temperature (MAT) 9.6\u201312.1 C, mean annual precipitation (MAP) 545\u2013725 mm) but on similar gently sloped hillsides where the parent materials are loess and weathered dust inputs dating from the end of the ice age. The purpose of this research was to understand how a drying climate, predicted for this region, might regulate long-term SOC sequestration. To examine the effects of decreasing water availability, we compared soil parameters and processes in three categories of forest that represented the moisture extremes along our gradient and that were defined using a broken-stick regression model. Soil biological activity was significantly lower in the driest (\u2018\u2018dry\u2019\u2019) forests, which had more than double the SOC concentration in the upper 30 cm layer (3.28 g C/100 g soil \ub1 0.11 SE) compared to soils of the wettest (\u2018\u2018humid\u2019\u2019) forests (1.32 g C/100 g soil \ub1 0.09 SE), despite the fact that annual surface litter production in humid forests was * 37% higher than in dry forests. A two-pool SOM model constrained to fit radiocarbon data indicates that turnover times for fast and slow pools are about half as long in the humid soil compared to the dry soil, and humid soils transfer C twice as efficiently from fast to slow pools. Enzyme activity and fungal biomass data also imply shorter turnover times associated with faster degradation processes in the soils of humid forests. Thermogravimetry studies suggest that more chemically recalcitrant compounds are accumulating in the soils of dry forests. Taken together, our results suggest that the predicted climate drying in this region might increase SOC storage in Central European mesic deciduous forests even as litter production decreases

Exponential Distribution of Locomotion Activity in Cell Cultures

In vitro velocities of several cell types have been measured using computer controlled video microscopy, which allowed to record the cells' trajectories over several days. On the basis of our large data sets we show that the locomotion activity displays a universal exponential distribution. Thus, motion resulting from complex cellular processes can be well described by an unexpected, but very simple distribution function. A simple phenomenological model based on the interaction of various cellular processes and finite ATP production rate is proposed to explain these experimental results.Comment: 4 pages, 3 figure

Atomic Force Microscopy of height fluctuations of fibroblast cells

We investigated the nanometer scale height fluctuations of 3T3 fibroblast cells with the atomic force microscope (AFM) under physiological conditions. Correlation between these fluctuations and lateral cellular motility can be observed. Fluctuations measured on leading edges appear to be predominantly related to actin polymerization-depolymerization processes. We found fast (5 Hz) pulsatory behavior with 1--2 nm amplitude on a cell with low motility showing emphasized structure of stress fibres. Myosin driven contractions of stress fibres are thought to induce this pulsation.Comment: 6 pages, 5 figures, 1 tabl

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Developing a dynamic digital twin at a building level: Using Cambridge campus as case study

A Digital Twin (DT) refers to a digital replica of physical assets, processes and systems. DTs integrate artificial intelligence, machine learning and data analytics to create dynamic digital models that are able to learn and update the status of the physical counterpart from multiple sources. A DT, if equipped with appropriate algorithms will represent and predict future condition and performance of their physical counterparts. Current developments related to DTs are still at an early stage with respect to buildings and other infrastructure assets. Most of these developments focus on the architectural and engineering/construction point of view. Less attention has been paid to the operation & maintenance (O&M) phase, where the value potential is immense. A systematic and clear architecture verified with practical use cases for constructing a DT is the foremost step for effective operation and maintenance of assets. This paper presents a system architecture for developing dynamic DTs in building levels for integrating heterogeneous data sources, support intelligent data query, and provide smarter decision-making processes. This will further bridge the gaps between human relationships with buildings/regions via a more intelligent, visual and sustainable channels. This architecture is brought to life through the development of a dynamic DT demonstrator of the West Cambridge site of the University of Cambridge. Specifically, this demonstrator integrates an as-is multi-layered IFC Building Information Model (BIM), building management system data, space management data, real-time Internet of Things (IoT)-based sensor data, asset registry data, and an asset tagging platform. The demonstrator also includes two applications: (1) improving asset maintenance and asset tracking using Augmented Reality (AR); and (2) equipment failure prediction. The long-term goals of this demonstrator are also discussed in this paper