Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Constructive Perspectives on Inductive Logic

Constructive (intuitionist, anti-realist) semantics has thus far been lacking an adequate concept of truth in infinity concerning factual (i.e., empirical, non-mathematical) sentences. One consequence of this problem is the difficulty of incorporating inductive reasoning in constructive semantics. It is not possible to formulate a notion for probable truth in infinity if there is no adequate notion of what truth in infinity is. One needs a notion of a constructive possible world based on sensory experience. Moreover, a constructive probability measure must be defined over these constructively possible empirical worlds. This study defines a particular kind of approach to the concept of truth in infinity for Rudolf Carnap's inductive logic. The new approach is based on truth in the consecutive finite domains of individuals. This concept will be given a constructive interpretation. What can be verifiably said about an empirical statement with respect to this concept of truth, will be explained, for which purpose a constructive notion of epistemic probability will be introduced. The aim of this study is also to improve Carnap's inductive logic. The study addresses the problem of justifying the use of an "inductivist" method in Carnap's lambda-continuum. A correction rule for adjusting the inductive method itself in the course of obtaining evidence will be introduced. Together with the constructive interpretation of probability, the correction rule yields positive prior probabilities for universal generalizations in infinite domains.

Cavitation erosion characteristics of poly(methyl methacrylate) in a rotating disk device

Experimental results pertaining to the initiation, dynamics and mechanism of cavitation erosion on poly(methyl methacrylate) specimens tested in a rotating disk device are described in detail. Erosion normally starts at the location nearest to the center of rotation (CR). As the exposure time to cavitation increases, additional erosion areas or sites appear away from the CR and secondary erosion (induced by eroded pits) spreads upstream and merges with the main pit. The microcracks increase in density towards the end of the incubation period and transform into macrocracks in most cases. A study of light optical photographs and scanning electron micrographs of the eroded area shows that material particles are removed from the network of cracks because of crack joining and pits indicate particle debris. Optical degradation (loss of transmittance) is observed to be greater on the back of the specimen than on the front.

Conformation of antibiotic X-537A (lasalocid-A) and its calcium complex in acetonitrile solvent using circular dichroism spectroscopy

The calcium binding characteristics of antibiotic X-537A (lasalocid-A) in a lipophilic solvent, acetonitrile (CH3CN), have been studied using circular dichroism (CD) spectroscopy. The analysis of the data indicated that in this medium polar solvent, X-537A forms predominantly the charged complexes of stoichiometries 2:1 and 1:1, the relative amounts of the two being dependent on [Ca2+]. The conformation of the complexes, arrived at on the basis of the data, seem to indicate a rigid part encompassing Ca2+, liganded to 3 oxygens of the molecule, viz., the carbonyl, the substituted tetrahydrofuran ring and the substituted pyran ring oxygens (apart from possibly, the liganding provided by nitrogen atoms of the solvent molecules), and a flexible part consisting of the salicylic acid group of the molecule.

Stone Weathering in the Monastic Building Complex on Mountain of St Aaron in Petra, Jordan.

Since 1997 the Finnish Jabal Haroun Project (FJHP) has studied the ruins of the monastery and pilgrimage complex (Gr. oikos) of Aaron located on a plateau of the Mountain of Prophet Aaron, Jabal an-Nabi Harûn, ca. 5 km to the south-west of the UNESCO World Heritage site of Petra in Jordan. The state of conservation and the damaging processes affecting the stone structures of the site are studied in this M.A. thesis. The chapel was chosen as an example, as it represents the phasing and building materials of the entire site. The aim of this work is to act as a preliminary study with regards to the planning of long-term conservation at the site. The research is empirical in nature. The condition of the stones in the chapel walls was mapped using the Illustrated Glossary on Stone Deterioration, by the ICOMOS International Scientific Committee for Stone. This glossary combines several standards and systems of damage mapping used in the field. Climatic conditions (temperature and RH %) were monitored for one year (9/2005-8/2006) using a HOBO Microstation datalogger. The measurements were compared with contemporary measurements from the nearest weather station in Wadi Musa. Salts in the stones were studied by taking samples from the stone surfaces by scraping and with the “Paper Pulp”-method; with a poultice of wet cellulose fiber (Arbocel BC1000) and analyzing what main types of salts were to be found in the samples. The climatic conditions on the mountain were expected to be rapidly changing and to differ clearly from conditions in the neighboring areas. The rapid changes were confirmed, but the values did not differ as much as expected from those nearby: the 12 months monitored had average temperatures and were somewhat drier than average. Earlier research in the area has shown that the geological properties of the stone material influence its deterioration. The damage mapping showed clearly, that salts are also a major reason for stone weathering. The salt samples contained several salt combinations, whose behavior in the extremely unstable climatic conditions is difficult to predict. Detailed mapping and regular monitoring of especially the structures, that are going remain exposed, is recommended in this work.

A fuzzy logic based dynamic wave model inversion algorithm for canal regulation

A fuzzy logic based centralized control algorithm for irrigation canals is presented. Purpose of the algorithm is to control downstream discharge and water level of pools in the canal, by adjusting discharge release from the upstream end and gates settings. The algorithm is based on the dynamic wave model (Saint-Venant equations) inversion in space, wherein the momentum equation is replaced by a fuzzy rule based model, while retaining the continuity equation in its complete form. The fuzzy rule based model is developed on fuzzification of a new mathematical model for wave velocity, the derivational details of which are given. The advantages of the fuzzy control algorithm, over other conventional control algorithms, are described. It is transparent and intuitive, and no linearizations of the governing equations are involved. Timing of the algorithm and method of computation are explained. It is shown that the tuning is easy and the computations are straightforward. The algorithm provides stable, realistic and robust outputs. The disadvantage of the algorithm is reduced precision in its outputs due to the approximation inherent in the fuzzy logic. Feed back control logic is adopted to eliminate error caused by the system disturbances as well as error caused by the reduced precision in the outputs. The algorithm is tested by applying it to water level control problem in a fictitious canal with a single pool and also in a real canal with a series of pools. It is found that results obtained from the algorithm are comparable to those obtained from conventional control algorithms.

A head-mounted display as a personal viewing device: Dimensions of subjective experiences

The use of head-mounted displays (HMDs) can produce both positive and negative experiences. In an effort increase positive experiences and avoid negative ones, researchers have identified a number of variables that may cause sickness and eyestrain, although the exact nature of the relationship to HMDs may vary, depending on the tasks and the environments. Other non-sickness-related aspects of HMDs, such as users opinions and future decisions associated with task enjoyment and interest, have attracted little attention in the research community. In this thesis, user experiences associated with the use of monocular and bi-ocular HMDs were studied. These include eyestrain and sickness caused by current HMDs, the advantages and disadvantages of adjustable HMDs, HMDs as accessories for small multimedia devices, and the impact of individual characteristics and evaluated experiences on reported outcomes and opinions. The results indicate that today s commercial HMDs do not induce serious sickness or eyestrain. Reported adverse symptoms have some influence on HMD-related opinions, but the nature of the impact depends on the tasks and the devices used. As an accessory to handheld devices and as a personal viewing device, HMDs may increase use duration and enable users to perform tasks not suitable for small screens. Well-designed and functional, adjustable HMDs, especially monocular HMDs, increase viewing comfort and usability, which in turn may have a positive effect on product-related satisfaction. The role of individual characteristics in understanding HMD-related experiences has not changed significantly. Explaining other HMD-related experiences, especially forward-looking interests, also requires understanding more stable individual traits and motivations.

Post-industrial Intervention : An Activity-Theoretical Expedition Tracing the Proximal Development of Forms of Conducting Interventions

Ei saatavilla

Comparison of odour emission rates measured from various sources using two sampling devices

Two commonly used sampling devices (a wind tunnel and the US EPA dynamic emission chamber), were used to collect paired samples of odorous air from a number of agricultural odour sources. The odour samples were assessed using triangular, forced-choice dynamic olfactometry. The odour concentration data was combined with the flushing rate data to calculate odour emission rates for both devices on all sources. Odour concentrations were consistently higher in samples collected with a flux chamber (ratio ranging from 10:7 to 5:1, relative to wind tunnel samples), whereas odour emission rates were consistently larger when derived from wind tunnels (ratio ranging from 60:1 to 240:1, relative to flux chamber values). A complex relationship existed between emission rate estimates derived from each device, apparently influenced by the nature of the emitting surface. These results have great significance for users of odour dispersion models, for which an odour emission rate is a key input parameter.

Complex symbolic sequence clustering and multiple classifiers for predictive process monitoring

This paper addresses the following predictive business process monitoring problem: Given the execution trace of an ongoing case,and given a set of traces of historical (completed) cases, predict the most likely outcome of the ongoing case. In this context, a trace refers to a sequence of events with corresponding payloads, where a payload consists of a set of attribute-value pairs. Meanwhile, an outcome refers to a label associated to completed cases, like, for example, a label indicating that a given case completed “on time” (with respect to a given desired duration) or “late”, or a label indicating that a given case led to a customer complaint or not. The paper tackles this problem via a two-phased approach. In the first phase, prefixes of historical cases are encoded using complex symbolic sequences and clustered. In the second phase, a classifier is built for each of the clusters. To predict the outcome of an ongoing case at runtime given its (uncompleted) trace, we select the closest cluster(s) to the trace in question and apply the respective classifier(s), taking into account the Euclidean distance of the trace from the center of the clusters. We consider two families of clustering algorithms – hierarchical clustering and k-medoids – and use random forests for classification. The approach was evaluated on four real-life datasets.

Multifaceted Modelling of Complex Business Enterprises

We formalise and present a new generic multifaceted complex system approach for modelling complex business enterprises. Our method has a strong focus on integrating the various data types available in an enterprise which represent the diverse perspectives of various stakeholders. We explain the challenges faced and define a novel approach to converting diverse data types into usable Bayesian probability forms. The data types that can be integrated include historic data, survey data, and management planning data, expert knowledge and incomplete data. The structural complexities of the complex system modelling process, based on various decision contexts, are also explained along with a solution. This new application of complex system models as a management tool for decision making is demonstrated using a railway transport case study. The case study demonstrates how the new approach can be utilised to develop a customised decision support model for a specific enterprise. Various decision scenarios are also provided to illustrate the versatility of the decision model at different phases of enterprise operations such as planning and control.

Assessing organizational culture in complex sociotechnical systems : Methodological evidence from studies in nuclear power plant maintenance organizations

Failures in industrial organizations dealing with hazardous technologies can have widespread consequences for the safety of the workers and the general population. Psychology can have a major role in contributing to the safe and reliable operation of these technologies. Most current models of safety management in complex sociotechnical systems such as nuclear power plant maintenance are either non-contextual or based on an overly-rational image of an organization. Thus, they fail to grasp either the actual requirements of the work or the socially-constructed nature of the work in question. The general aim of the present study is to develop and test a methodology for contextual assessment of organizational culture in complex sociotechnical systems. This is done by demonstrating the findings that the application of the emerging methodology produces in the domain of maintenance of a nuclear power plant (NPP). The concepts of organizational culture and organizational core task (OCT) are operationalized and tested in the case studies. We argue that when the complexity of the work, technology and social environment is increased, the significance of the most implicit features of organizational culture as a means of coordinating the work and achieving safety and effectiveness of the activities also increases. For this reason a cultural perspective could provide additional insight into the problem of safety management. The present study aims to determine; (1) the elements of the organizational culture in complex sociotechnical systems; (2) the demands the maintenance task sets for the organizational culture; (3) how the current organizational culture at the case organizations supports the perception and fulfilment of the demands of the maintenance work; (4) the similarities and differences between the maintenance cultures at the case organizations, and (5) the necessary assessment of the organizational culture in complex sociotechnical systems. Three in-depth case studies were carried out at the maintenance units of three Nordic NPPs. The case studies employed an iterative and multimethod research strategy. The following methods were used: interviews, CULTURE-survey, seminars, document analysis and group work. Both cultural analysis and task modelling were carried out. The results indicate that organizational culture in complex sociotechnical systems can be characterised according to three qualitatively different elements: structure, internal integration and conceptions. All three of these elements of culture as well as their interrelations have to be considered in organizational assessments or important aspects of the organizational dynamics will be overlooked. On the basis of OCT modelling, the maintenance core task was defined as balancing between three critical demands: anticipating the condition of the plant and conducting preventive maintenance accordingly, reacting to unexpected technical faults and monitoring and reflecting on the effects of maintenance actions and the condition of the plant. The results indicate that safety was highly valued at all three plants, and in that sense they all had strong safety cultures. In other respects the cultural features were quite different, and thus the culturally-accepted means of maintaining high safety also differed. The handicraft nature of maintenance work was emphasised as a source of identity at the NPPs. Overall, the importance of safety was taken for granted, but the cultural norms concerning the appropriate means to guarantee it were little reflected. A sense of control, personal responsibility and organizational changes emerged as challenging issues at all the plants. The study shows that in complex sociotechnical systems it is both necessary and possible to analyse the safety and effectiveness of the organizational culture. Safety in complex sociotechnical systems cannot be understood or managed without understanding the demands of the organizational core task and managing the dynamics between the three elements of the organizational culture.

X-ray crystal and molecular structure of a hydrated lithium picrate complex of benzo-15-crown-5; An example of non-chelation of the crown

Complexation of alkali and alkaline earth metal ions with crown ethers is well known (1) and chemical and crystallographic studies have been carried out for number of complexes (2,3). The interaction of the metal with the crown ether depends on the nature of the cation and particularly on the basicity of the anion (4) , In this paper we report the crystal and molecular structure of a lithium picrate complex of benzo-15-crown-5, the first x-ray crystallographic study of a lithlum-crown system.

Structural Damage Detection Using Modal Curvature and Fuzzy Logic

A fuzzy logic system (FLS) with a new sliding window defuzzifier is proposed for structural damage detection using modal curvatures. Changes in the modal curvatures due to damage are fuzzified using Gaussian fuzzy sets and mapped to damage location and size using the FLS. The first four modal vectors obtained from finite element simulations of a cantilever beam are used for identifying the location and size of damage. Parametric studies show that modal curvatures can be used to accurately locate the damage; however, quantifying the size of damage is difficult. Tests with noisy simulated data show that the method detects damage very accurately at different noise levels and when some modal data are missing.