Proofs, Paradoxes, and Probabilities : The Logical Turn of Philosophy in Finland

This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.

A Theory of the Lifted Temperature Minimum on Calm Clear Nights

Numerous reports from several parts of the world have confirmed that on calm clear nights a minimum in air temperature can occur just above ground, at heights of the order of $\frac{1}{2}$ m or less. This phenomenon, first observed by Ramdas & Atmanathan (1932), carries the associated paradox of an apparently unstable layer that sustains itself for several hours, and has not so far been satisfactorily explained. We formulate here a theory that considers energy balance between radiation, conduction and free or forced convection in humid air, with surface temperature, humidity and wind incorporated into an appropriate mathematical model as parameters. A complete numerical solution of the coupled air-soil problem is used to validate an approach that specifies the surface temperature boundary condition through a cooling rate parameter. Utilizing a flux-emissivity scheme for computing radiative transfer, the model is numerically solved for various values of turbulent friction velocity. It is shown that a lifted minimum is predicted by the model for values of ground emissivity not too close to unity, and for sufficiently low surface cooling rates and eddy transport. Agreement with observation for reasonable values of the parameters is demonstrated. A heuristic argument is offered to show that radiation substantially increases the critical Rayleigh number for convection, thus circumventing or weakening Rayleigh-Benard instability. The model highlights the key role played by two parameters generally ignored in explanations of the phenomenon, namely surface emissivity and soil thermal conductivity, and shows that it is unnecessary to invoke the presence of such particulate constituents as haze to produce a lifted minimum.

Modified Kirchhoffs theory of plates including transverse shear deformations

A primary flexure problem defined by Kirchhoff theory of plates in bending is considered. Significance of auxiliary function introduced earlier in the in-plane displacements in resolving Poisson-Kirchhoffs boundary conditions paradox is reexamined with reference to reported sixth order shear deformation theories, in particular, Reissner's theory and Hencky's theory. Sixth order modified Kirchhoff's theory is extended here to include shear deformations in the analysis. (C) 2011 Elsevier Ltd. All rights reserved.

Minimum error solutions of the Boltzmann equation for shock structure

‘Best’ solutions for the shock-structure problem are obtained by solving the Boltzmann equation for a rigid sphere gas by applying minimum error criteria on the Mott-Smith ansatz. The use of two such criteria minimizing respectively the local and total errors, as well as independent computations of the remaining error, establish the high accuracy of the solutions, although it is shown that the Mott-Smith distribution is not an exact solution of the Boltzmann equation even at infinite Mach number. The minimum local error method is found to be particularly simple and efficient. Adopting the present solutions as the standard of comparison, it is found that the widely used v2x-moment solutions can be as much as a third in error, but that results based on Rosen's method provide good approximations. Finally, it is shown that if the Maxwell mean free path on the hot side of the shock is chosen as the scaling length, the value of the density-slope shock thickness is relatively insensitive to the intermolecular potential. A comparison is made on this basis of present results with experiment, and very satisfactory quantitative agreement is obtained.

Study of the dynamics of protein folding through minimalistic models

Starting with the Levinthal paradox, a brief introduction to the protein folding problem is presented. The existing theories of protein folding, including the folding funnel scenario, are discussed. After briefly discussing different simulation studies of model proteins, we discuss our recent work on the dynamics of folding of the model HP-36 (the chicken villin headpiece) protein by using a simplified hydropathy scale. Special attention has been paid to the statics and dynamics of contact formation among the hydrophobic residues. The results obtained from this simple model appear to be surprisingly similar to several features observed in the folding of real proteins. The account concludes with a discussion of future problems.

Males, but not females, mate with multiple partners: a laboratory study of a primitively eusocial wasp Ropalidia marginata

The intense interest in social Hymenoptera, on account of their elaborate sociality and the paradox of altruism, has often suffered from considerable gender imbalance. This is partly due to the fact that worker behaviour and altruism are restricted to the females and partly because males often live off the nest. Yet, understanding the males, especially in the context of mating biology is essential even for understanding the evolution of sociality. Mating patterns have a direct bearing on the levels of intra-colony genetic relatedness, which in turn, along with the associated costs and benefits of worker behaviour, are central to our understanding of the evolution of sociality. Although mating takes place away from the nest in natural colonies of the primitively eusocial wasp Ropalidia marginata, mating can be observed in the laboratory if a male and a female are placed in a transparent, aerated plastic container, and both wasps are in the range of 5-20 days of age. Here, we use this setup and show that males, but not females, mate serially with multiple partners. The multiple mating behaviour of the males is not surprising because in nature males have to mate with a number of females, only a few of whom will go on to lay eggs. The reluctance of R. marginata females to mate with multiple partners is consistent with the expectation of monogamy in primitively eusocial species with totipotent females, although the apparent discrepancy with a previous work with allozyme markers in natural colonies suggesting that females may sometimes mate with two or three different males remains to be resolved.

Down-to-earth temperatures: The mechanics of the thermal environment

This lecture describes some recent attempts at unravelling the mechanics of the temperature distribution near ground, especially during calm, clear nights. In particular, a resolution is offered of the so-called Ramdas paradox, connected with observations of a temperature minimum some decimetres above bare soil on calm clear nights, in apparent defiance of the Rayleigh criterion for instability due to thermal convection. The dynamics of the associated temperature distribution is governed by radiative and convective transport and by thermal conduction, and is characterised by two time constants, involving respectively quick radiative adjustments and slow diffusive relaxation. The theory underlying the work described here suggests that surface parameters like ground emissivity and soil thermal conductivity can exert appreciable influence on the development of nocturnal inversions.

Waiting for Gajah: an elephant mutualist's contingency plan for an endangered megafaunal disperser

Large animals are disproportionately likely to go extinct, and the effects of this on ecosystem processes are unclear. Megaherbivores (weighing over 1000kg) are thought to be particularly effective seed dispersers, yet only a few plant species solely or predominantly adapted for dispersal by megaherbivores have been identified. The reasons for this paradox may be elucidated by examining the ecology of so-called megafaunal fruiting species in Asia, where large-fruited species have been only sparsely researched. We conducted focal tree watches, camera trapping, fruit ageing trials, dung seed counts and germination trials to understand the ecology of Dillenia indica, a large-fruited species thought to be elephant-dispersed, in a tropical moist forest (Buxa Tiger Reserve, India). We find that the initial hardness of the fruit of D.indica ensures that its small (6mm) seeds will primarily be consumed and dispersed by elephants and perhaps other megaherbivores. Elephants removed 63.3% of camera trap-monitored fruits taken by frugivores. If the fruit of D.indica is not removed by a large animal, the seeds of D.indica become available to successively smaller frugivores as its fruits soften. Seeds from both hard and soft fruits are able to germinate, meaning these smaller frugivores may provide a mechanism for dispersal without megaherbivores.Synthesis. Dillenia indica's strategy for dispersal allows it to realize the benefits of dispersal by megaherbivores without becoming fully reliant on these less abundant species. This risk-spreading dispersal behaviour suggests D.indica will be able to persist even if its megafaunal disperser becomes extinct.

Genetic diversity and proviral DNA load in different neural compartments of HIV-1 subtype C infection

In India, the low prevalence of HIV-associated dementia (HAD) in the Human immunodeficiency virus type 1 (HIV-1) subtype C infection is quite paradoxical given the high-rate of macrophage infiltration into the brain. Whether the direct viral burden in individual brain compartments could be associated with the variability of the neurologic manifestations is controversial. To understand this paradox, we examined the proviral DNA load in nine different brain regions and three different peripheral tissues derived from ten human subjects at autopsy. Using a highly sensitive TaqMan probe-based real-time PCR, we determined the proviral load in multiple samples processed in parallel from each site. Unlike previously published reports, the present analysis identified uniform proviral distribution among the brain compartments examined without preferential accumulation of the DNA in any one of them. The overall viral DNA burden in the brain tissues was very low, approximately 1 viral integration per 1000 cells or less. In a subset of the tissue samples tested, the HIV DNA mostly existed in a free unintegrated form. The V3-V5 envelope sequences, demonstrated a brain-specific compartmentalization in four of the ten subjects and a phylogenetic overlap between the neural and non-neural compartments in three other subjects. The envelope sequences phylogenetically belonged to subtype C and the majority of them were R5 tropic. To the best of our knowledge, the present study represents the first analysis of the proviral burden in subtype C postmortem human brain tissues. Future studies should determine the presence of the viral antigens, the viral transcripts, and the proviral DNA, in parallel, in different brain compartments to shed more light on the significance of the viral burden on neurologic consequences of HIV infection.

La incidencia del trabajo infantil en Argentina

Resumen: El tema “trabajo infantil” es complejo de abordar debido a la falta de unicidad en su conceptualización y por la heterogeneidad y multiplicidad que lo caracteriza. No obstante, la diversidad de análisis (tanto descriptivos como estadísticos) en diferentes países sobre la cuestión, ha probado el gran avance en el sorteamiento de estas dificultades, como también brindado la base del diseño de planes de erradicación eficientes. Argentina ha sido una excepción a la regla. A pesar de la existencia de reportes e informes provenientes de organismos gubernamentales nacionales e internacionales se encuentra muy poco desarrollada la investigación basada en las herramientas econométricas. Por consiguiente, este análisis busca ampliar los conocimientos sobre el trabajo infantil en Argentina mediante la construcción de un modelo Logit binario que permita así examinar tanto la incidencia de los factores condicionantes más populares de la bibliografía internacional, así como la llamada “paradoja de la riqueza” planteada por Bhalotra y; por último la obtención de conclusiones sobre el impacto de las asistencias sociales en el trabajo infantil.

Yves M.-J. Congar y la sacralidad cristiana

Resumen: Habiendo puesto de relieve en trabajos anteriores los elementos que comparten la religión judía y la cristiana en relación con lo sagrado, busco aquí señalar los principales puntos que las diferencian. Siguiendo la guía del renombrado teólogo francés Yves-Marie Congar, propongo una lectura de un artículo de su autoría en el que resume la cuestión basándose en la diferencia entre lo “sagrado de separación” y lo que llama “sagrado pedagógico”. En busca de un nuevo nivel de reflexión propongo una nueva lectura del tema centrándome en la idea de un “sagrado de comunicación” y poniendo de relieve la paradoja de una sacralidad a la vez exclusiva e inclusiva.

Ciencia y subjetividad

Resumen: El artículo aborda el problema de la cientificidad de la psicología en su relación con la subjetividad. Al mismo que tiempo que todo conocimiento se funda en la depuración de lo subjetivo, la psicología tiene a la subjetividad como uno de sus objetos. El autor explora esta situación paradojal, particular de la ciencia psicológica, desde el punto de vista del psicoanálisis y del cognitivismo, haciendo un balance de sus historias y fundamentos respectivos.

纤维取向性对短纤维增强复合材料力学性能的影响

<正> 1.前言短纤维增强复合材料的增强机理经过Cool、Dow、Rosen和Hayashi几人采用单根短纤维模型已弄清。并对多根纤维模型进行了一些研究工作,但对它们的增强机理还难解释清楚。关于长纤维取向对纤维增强复合材料力学性能影响的研究,已有报导。本文通过实验阐明短纤维增强复合材料力学性能与纤维方向之间的关系。采用三种类型的试件:单向、双向和随机方向。从其拉伸实验结果可看出在不同的纤维方向上所得到的杨氏模量和拉伸强度有很大差别。断裂表面用扫描电镜观察,认为影响复合材料断裂的主要因素是纵向纤维的特性。此外,我们基于Cox理论的纤维排列模型证明计算结果与实验结果符合。

Quantum simulations of relativistic quantum physics in circuit QED

We present a scheme for simulating relativistic quantum physics in circuit quantum electrodynamics. By using three classical microwave drives, we show that a superconducting qubit strongly coupled to a resonator field mode can be used to simulate the dynamics of the Dirac equation and Klein paradox in all regimes. Using the same setup we also propose the implementation of the Foldy-Wouthuysen canonical transformation, after which the time derivative of the position operator becomes a constant of the motion.

Compressible flows at small Reynolds numbers

The problem of the slow viscous flow of a gas past a sphere is considered. The fluid cannot be treated incompressible in the limit when the Reynolds number Re, and the Mach number M, tend to zero in such a way that Re ~ o(M^2 ). In this case, the lowest order approximation to the steady Navier-Stokes equations of motion leads to a paradox discovered by Lagerstrom and Chester. This paradox is resolved within the framework of continuum mechanics using the classical slip condition and an iteration scheme that takes into account certain terms in the full Navier-Stokes equations that drop out in the approximation used by the above authors. It is found however that the drag predicted by the theory does not agree with R. A. Millikan's classic experiments on sphere drag.

The whole question of the applicability of the Navier-Stokes theory when the Knudsen number M/Re is not small is examined. A new slip condition is proposed. The idea that the Navier-Stokes equations coupled with this condition may adequately describe small Reynolds number flows when the Knudsen number is not too large is looked at in some detail. First, a general discussion of asymptotic solutions of the equations for all such flows is given. The theory is then applied to several concrete problems of fluid motion. The deductions from this theory appear to interpret and summarize the results of Millikan over a much wider range of Knudsen numbers (almost up to the free molecular or kinetic limit) than hitherto Believed possible by a purely continuum theory. Further experimental tests are suggested and certain interesting applications to the theory of dilute suspensions in gases are noted. Some of the questions raised in the main body of the work are explored further in the appendices.