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.

Chemical Shift of the X-Ray K-Absorption Edge of Cu in Some of Its Compounds, Complexes and Superconductors

Chemical shifts, ΔE, of the X-ray K-absorption edge in several compounds, complexes of copper including its superconducting oxides possessing formal oxidation states +1 and +2 have been measured. It has been shown that the chemical shift is primarily governed by the effective ionic charge on the absorbing ion and the nature of the atoms in the first coordination shell around the absorbing ion. The relation between the chemical shift, ΔE , and the effective charge q on the absorbing ion is found to be ΔE=Aq+Bq2+Cq3+Dq4 (A, B, C and D are constants). The effects of electronegativity, atomic number, oxidation state, crystal structure, the valence d-orbital electrons, etc. on the X-ray absorption chemical shift have been discussed. ©1990 The Physical Society of Japan

Purification and functional characteristics of an endocellulase from Chaetomium thermophile var. coprophile

An endocellulase (1→4)-β-d-glucan 4-glucanohydrolase was isolated from the culture filtrates of Chaetomium thermophile. The enzyme was homogeneous by PAGE and SDS-PAGE. The molecular weight was 36 000 by SDS-PAGE and 38 000 by gel filtration. It was a glycoprotein. From the amino acid composition, it was found to be rich in glycine, threonine, and aspartic and glutamic acids, but contained only low proportions of histidine and sulfur-containing amino acids. It was optimally active at pH 6 and at 60°. The enzyme did not hydrolyze cellobiose and cellotriose, but hydrolyzed cello-tetraose, -pentaose, and -hexaose at comparable rates. It was specific for molecules containing β-(1→4) linkages. It showed high activity towards amorphous cellulose, and the reaction products contained cellobiose to cellopentaose, showing that it effects random cleavage of cellulose.

Phase Relations in the System CaO-Fe2O3-Y2O3 at 1273 K and Compatibility Between Y1-xCaxFeO3-0.5x and Stabilized Zirconia

Phase relations in the system CaO-Fe2O3-Y2O3 in air (P-O2/P-o = 0.21) were explored by equilibrating samples representing eleven compositions in the ternary at 1273 K, followed by quenching to room temperature and phase identification using XRD. Limited mutual solubility was observed between YFeO3 and Ca2Fe2O5. No quaternary oxide was identified. An isothermal section of the phase diagram at 1273 K was constructed from the results. Five three-phase regions and four extended two-phase regions were observed. The extended two-phase regions arise from the limited solid solutions based on the ternary oxides YFeO3 and Ca2Fe2O5. Activities of CaO, Fe2O3 and Y2O3 in the three-phase fields were computed using recently measured thermodynamic data on the ternary oxides. The experimental phase diagram is consistent with thermodynamic data. The computed activities of CaO indicate that compositions of CaO-doped YFeO3 exhibiting good electrical conductivity are not compatible with zirconia-based electrolytes; CaO will react with ZrO2 to form CaZrO3.

An automated thermal relaxation calorimeter for operation at low temperature (0.5 K<T<10 K)

We describe an automated calorimeter for measurement of specific heat in the temperature range 10 K>T>0.5 K. It uses sample of moderate size (100–1000 mg), has a moderate precision and accuracy (2%–5%), is easy to operate and the measurements can be done quickly with He4 economy. The accuracy of this calorimeter was checked by measurement of specific heat of copper and that of aluminium near its superconducting transition temperature.

Conformational studies on beta-bend containing a cis peptide unit

Conformational studies have been carried out on the X-cis-Pro tripeptide system (a system of three linked peptide units, in the trans-cis-trans configuration) using energy minimization techniques. For X, residues Gly, L-Ala, D-Ala and L-Pro have been used. The energy minima have been classified into different groups based upon the conformational similarity. There are 15, 20, 18 and 6 minima that are possible for the four cases respectively and these fall into 11 different groups. A study of these minima shows that, (i) some minima contain hydrogen bonds - either 4-->1 or 1-->2 type, (ii) the low energy minima qualify themselves as bend conformations, (iii) cis' and trans' conformations are possible for the prolyl residue as also the C(gamma)-endo and C(gamma)-exo puckerings, and (iv) for Pro-cis-Pro, cis' at the first prolyl residue is ruled out, due to the high energy. The available crystal structure data on proteins and peptides, containing cis-Pro segment have been examined with a view to find the minima that occur in solid state. The data from protein show that they fall under two groups. The conformation at X in X-cis-Pro is near extended when it is a non-glycyl residue. In both peptides and proteins there exists a preference for trans' conformation at prolyl residue over cis' when X is a non-glycyl residue. The minima obtained can be useful in modelling studies.

A near-optimal initial seed value selection in K-means means algorithm using a genetic algorithm

The K-means algorithm for clustering is very much dependent on the initial seed values. We use a genetic algorithm to find a near-optimal partitioning of the given data set by selecting proper initial seed values in the K-means algorithm. Results obtained are very encouraging and in most of the cases, on data sets having well separated clusters, the proposed scheme reached a global minimum.

Myymälämarkkinointi osana markkinointiviestintää – Kuluttajien arvostamat tekijät päivittäistavarakaupassa. CASE: K-supermarket Torpparinmäki

Tässä tutkimuksessa tarkastellaan K-supermarket Torpparinmäen asiakkaiden arvostuksia myymälän sisäisiin toimiin liittyen. Myymälän sisäisiin toimiin lasketaan tässä tutkimuksessa kuuluvan laaja kirjo asioita kuten hinnat, tarjoukset, valikoiman laajuus eri tuoteryhmissä, elämyksellisyys, hyllysijoittelu, kaupan selkeys, asiakaspalvelu sek�� viihtyisyys. Myös merkityksellisten ja vähemmän merkityksellisten asioiden toteutumisesta kyseisessä myymälässä halutaan vastauksia. Tutkimuksessa nostetaan esille myös erilaiset tiedotuskanavat kaupan markkinoinnissa. Tämän lisäksi sivutaan aihetta kuluttajien päivittäistavarakaupan valintakriteereistä. Tutkimusote on kvantitatiivinen ja kysely suoritettiin survey-tutkimuksena. Tutkimuksessa haluttiin tämän lisäksi kerätä mahdollisimman paljon myös avoimia kommentteja sek�� myymälästä että päivittäistavarakaupan valintaan liittyvistä kriteereistä. K-supermarket Torpparinmäen pahin kilpailija alueellaan on S-market Torpparinmäki. Asiakkailta haluttiin kysyä avoimesti, miksi asioivat juuri kyseisessä myymälässä. Kysely suoritettiin lauantaipäivänä K-supermarket Torpparinmässä asioineille 18-89-vuotiaille henkilöille. Kyselyyn vastasi 80 asiakasta, joista 65 % oli naisia ja 35 % miehiä. Tutkimuksen viitekehys jakaa myymälämarkkinoinnin neljään pääkategoriaan: viihtyvyystekijä, palvelutekijä, hintatekijä sek�� valikoimatekijä. Näiden tekijöiden merkityksiä asiakkaille haluttiin tutkimuksessa asettaa tärkeysjärjestykseen. Myös näiden tekijöiden toteumaa K-supermarket Torpparinmäessä haluttiin selvittää. Tulosten analysoinnin perusteella edellä mainituista pääkategorioista tärkeimmäksi muodostui valikoimatekijä. Valikoimien monipuolisuutta pidettiin kaikista tärkeimpänä tekijänä myymälässä. Myös luomu- ja lähiruoan valikoimia pidettiin tärkeäpänä kuin valmisruokien. Toiseksi eniten asiakkaat arvostivat asiakaspalvelua ja vasta kolmannelle sijalle päätyi hintatekijä. Neljänneksi tärkeimpänä asiakkaat pitivät viihtyvyystekijää. Mik��än tekijöistä ei erottunut suuresti toisistaan, mutta erot olivat kuitenkin selkeitä.

Bridging the Ruddlesden–Popper and the Dion–Jacobson series of layered perovskites: synthesis of layered oxides, A2–xLa2Ti3–xNbxO10(A = K, Rb), exhibiting ion exchange

Solid solutions of the formula, A2–xLa2Ti3–xNbxO10(A = K, Rb), exist for the range 0[less-than-or-eq]x[less-than-or-eq]1.0, bridging n= 3 members of the Ruddlesden–Popper series (A2La2Ti3O10) and the Dion–Jacobson series (ALa2Ti2NbO10). For 0[less-than-or-eq]x[less-than-or-eq]0.75, the phases possess body-centred structures characteristic of the Ruddlesden–Popper phases, while the x= 1 members are isostructural with KCa2Nb3O10(A = K) and CsCa2Nb3O10(A = Rb). Protonated derivatives, H2–xLa2Ti3–xNbxO10, which are prepared by ion exchange, retain the structural difference of the parent phases. A difference in the Brønsted acidity of the protonated derivatives revealed by intercalation experiments with organic bases seems to be related to this structural difference.

Deformation dynamics of SS-316 Between 1023-K TO 1223-K In The Framework of Cottrell-Stokes Law

Kocks' formalism for analysing steady state deformation data for the case where Cottrell-Stokes law is valid is extended to incorporate possible back stresses from solution and/or precipitation hardening, and dependence of pre-exponential factor on the applied stress. A simple graphical procedure for exploiting these equations is demonstrated by analyzing tensile steady state data for a type 316 austentic stainless steel for the temperature range 1023 to 1223 K. In this instance, the computed back stress values turned out to be negative, a physically meaningless result. This shows that for SS 316, deformation in this temperature regime can not be interpreted in terms of a mechanism that obeys Cottrell-Stokes law.

Fe-57 Mössbauer and Mo K-EXAFS Investigations of MoxFe3-xO4, an Interesting Mixed-Valent Oxide System

Ferrites of the formula MoxFe3-xO4, prepared by a soft-chemistry route, show mixed valence states of both iron and molybdenum cations. Mössbauer studies show that Fe2+ and Fe3+ ions are present on both the A and B sites, giving Fe an average oxidation state between 2+ and 3+. Molybdenum is present in the 3+ and the 4+ states on the B sites. The presence of Mo in the 3+ state has been established by determining the Mo3+-O distance (2.2 Å), for the first time, by Mo K-EXAFS. The mixed valence of Fe on both the A and B sites and of Mo on the B sites is responsible for the fast electron transfer between the cations. All the Mössbauer parameters including the line width show a marked change at a composition (x ? 0.3) above which the concentration of Fe2+A increases rapidly.