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.

Kansallisvaltion teräsmiehestä valtakunnan sovittelijaksi : Poliisikulttuurin psykohistorialliset solmukohdat 1930-1997

From Steely Nation-State Superman to Conciliator of Economical Global Empire – A Psychohistory of Finnish Police Culture 1930-1997 My study concerns the way police culture has changed within the societal changes in Finnish society between 1930 and 1997. The method of my study was psycho-historical and post-structural analysis. The research was conducted by examining the psycho-historical plateaus traceable within Finnish police culture. I made a social diagnosis of the autopoietic relationship between the power-holders of Finnish society and the police (at various levels of hierarchical organization). According to police researcher John P. Crank, police culture should be understood as the cognitive processes behind the actions of the police. Among these processes are the values, beliefs, rituals, customs and advice which standardize their work and the common sense of policemen. According to Crank, police culture is defined by a mindset which thinks, judges and acts according to its evaluations filtered by its own preliminary comprehension. Police culture consists of all the unsaid assumptions of being a policeman, the organizational structures of police, official policies, unofficial ways of behaviour, forms of arrest, procedures of practice and different kinds of training habits, attitudes towards suspects and citizens, and also possible corruption. Police culture channels its members’ feelings and emotions. Crank says that police culture can be seen in how policemen express their feelings. He advises police researchers to ask themselves how it feels to be a member of the police. Ethos has been described as a communal frame for thought that guides one’s actions. According to sociologist Martti Grönfors, the Finnish mentality of the Protestant ethic is accentuated among Finnish policemen. The concept of ethos expresses very well the self-made mentality as an ethical tension which prevails in police work between communal belonging and individual freedom of choice. However, it is significant that it is a matter of the quality of relationships, and that the relationship is always tied to the context of the cultural history of dealing with one’s anxiety. According to criminologist Clifford Shearing, the values of police culture act as subterranean processes of the maintenance of social power in society. Policemen have been called microcosmic mediators, or street corner politicians. Robert Reiner argues that at the level of self-comprehension, policemen disparage the dimension of politics in their work. Reiner points out that all relationships which hold a dimension of power are political. Police culture has also been called a canteen culture. This idea expresses the day-to-day basis of the mentality of taking care of business which policing produces as a necessity for dealing with everyday hardships. According to police researcher Timo Korander, this figurative expression embodies the nature of police culture as a crew culture which is partly hidden from police chiefs who are at a different level. This multitude of standpoints depicts the diversity of police cultures. According to Reiner, one should not see police culture as one monolithic whole; instead one should assess it as the interplay of individuals negotiating with their environment and societal power networks. The cases analyzed formed different plateaus of study. The first plateau was the so-called ‘Rovaniemi arson’ case in the summer of 1930. The second plateau consisted of the examinations of alleged police assaults towards the Communists during the Finnish Continuation War of 1941 to 1944 and the threats that societal change after the war posed to Finnish Society. The third plateau was thematic. Here I investigated how using force towards police clients has changed culturally from the 1930s to the 1980s. The fourth plateau concerned with the material produced by the Security Police detectives traced the interaction between Soviet KGB agents and Finnish politicians during the long 1970s. The fifth plateau of larger changes in Finnish police culture then occurred during the 1980s as an aftermath of the former decade. The last, sixth plateau of changing relationships between policing and the national logic of action can be seen in the murder of two policemen in the autumn of 1997. My study shows that police culture has transformed from a “stone cold” steely fixed identity towards a more relational identity that tries to solve problems by negotiating with clients instead of using excessive force. However, in this process of change there is a traceable paradox in Finnish policing and police culture. On the one hand, policemen have, at the practical level, constructed their policing identity by protecting their inner self in their organizational role at work against the projections of anger and fear in society. On the other hand, however, they have had to safeguard themselves at the emotional level against the predominance of this same organizational role. Because of this dilemma they must simultaneously construct both a distance from their own role as police officers and the role of the police itself. This makes the task of policing susceptible to the political pressures of society. In an era of globalization, and after the heyday of the welfare state, this can produce heightened challenges for Finnish police culture.

Herrana metsässä : Kansatieteellinen tutkimus metsänhoitajuudesta

The aim of the research is to interpret the professional culture of Finnish university-educated foresters in historical perspective. The main material of this research consists of biographical interviews, altogether 226 life stories of Finnish foresters, as well as foresters private photograph collections and articles in forest students' magazines. This study is the first published Ph. D. dissertation of a large oral history project "Forestry Professions in a Changing Society" 1999 2002 collected by The Finnish Forest History Society, the University of Helsinki (Ethnology) and The Finnish Forest Museum Lusto. The forester education was organized in the Evo Forest Institute 1862 1908, at the University of Helsinki since 1908 and additionally at the University of Joensuu since 1982. At first all the vacancies were in the service of the Board of Forestry, but during the 20th century the working opportunities of foresters significantly expanded, even outside the traditional areas of forestry or abroad. At the same time the whole area of Finnish forestry had integrated more versatile values concerning the forests and their use. The male-dominated profession gained its first female members already in the 1920s, and the number of female students rose gradually from the 1970s onwards. In the 1990s almost half of the new forest students were women. The content of both work and education of Finnish forest professionals has faced huge changes during the 19th and 20th centuries. Despite this however, there has been a long-term vision of a firm profession based on joint experiences, shared memories and the common task of foresters in the Finnish forestry. The feeling of togetherness the forester spirit which was created in a tight-knit student group which kept in touch also later as professionals was needed to make the work possible. Through foresters' own attitudes and narratives of themselves, the study is focused on forest professionalism as a cultural process of successive generations of foresters. How have foresters socialized themselves into their profession? How has forest professionalism been maintained? What is the meaning of joint experiences and shared memories in the profession? By studying the manifestations of a culture it is possible to interpret the culture itself. There seems to be an astounding consensus of opinion concerning forest professionalism in the oral, visual and written stories of foresters. Even if all the individuals and some separate groups, such as female foresters and the younger generation of foresters, did not always share the same experiences, the vision of forest professionalism was collectively recognized and often even approved. The shared idea of "a real forest professionalism" is like a model narrative, a point of comparison, which is needed while looking for one s own professional identity.

The Past is the Past? The Impossibility of Erasure of Historical LGBTIQ Policing

This paper considers the impossibility of erasing historical policing of LGBTIQ people. Significant events of LGBTIQ policing may appear to fade into the past and we perhaps assume they literally disappear – not discussed, not thought about, and erased from cultural memory. At times we see evidence of an almost nostalgic contemplation about LGBTIQ policing of the past embedded in the notion that we have moved beyond that point to the future, never to return to those histories. If we draw on the work of Foucault, an impossibility becomes apparent. Foucault suggests that discursive traces circulate in discourse and they emerge and re-emerge to shape future discourses. This paper ruminates on a case example, particularly the policing of the Gay and Lesbian Mardi Gras in Sydney, Australia, in 2013. We argue this case demonstrates Foucault’s understanding of discursive history in action: it shows how the remnant traces of historical LGBTIQ policing can re-emerge to profoundly shape LGBTIQ-police relations in the present. In addition to the case, we draw on qualitative data showing how ideas about historical LGBTIQ policing are rehearsed in a consistent cycle of iteration and reiteration through the musings of research participants across three different projects on LGBTIQ policing. We conclude therefore that LGBTIQ policing in the past may never be erased because moments reminiscent of historical LGBTIQ policing are always already circulating and undermining the governmental work of policing organisations in the present.

"Ei vittu, mennään röökille" : tutkimus sitaattien tehtävistä ja tekemisestä kaunokirjallis-journalistisissa lehtijutuissa

This research deals with direct speech quotations in magazine articles through two questions: As my major research question, I study the functions of speech quotations based on a data consisting of six literary-journalistic magazine articles. My minor research question builds on the fact that there is no absolute relation between the sound waves of the spoken language and the graphemes of the written one. Hence, I study the general thoughts on how utterances should be arranged in the written form based on a large review of literature and textbooks on journalistic writing as well as interviews I have made with magazine writers and editors, and the Council of Mass Media in Finland. To support my main research questions, I also examine the reference system of the Finnish language, define the aspects of the literary-journalistic article and study vernacular cues in written speech quotations. FUNCTIONS OF QUOTATIONS. I demonstrate the results of my analysis with a six-pointed apparatus. It is a continuum which extends from the structural level of text, all the way through the explicit functions, to the implicit functions of the quotation. The explicit functions deal with the question of what is the content, whereas the implicit ones base mainly on the question how the content is presented. 1. The speech quotation is an distinctive element in the structure of the magazine article. Thereby it creates a rhythm for the text, such as episodes, paragraphs and clauses. 2. All stories are told through a plot, and in magazine articles, the speech quotations are one of the narrative elements that propel the plot forward. 3. The speech quotations create and intensify the location written in the story. This location can be a physical one but also a social one, in which case it describes the atmosphere and mood in the physical environment and of the story characters. 4. The quotations enhance the plausibility of the facts and assumptions presented in the article, and moreover, when a text is placed between quotation marks, the reader can be assured that the text has been reproduced in the authentic verbatim way. 5. Speech quotations tell about the speaker's unique way of using language and the first-hand experiences of the person quoted. 6. The sixth function of speech quotations is probably the most essential one: the quotations characterize the quoted speaker. In other words, in addition to the propositional content of the utterance, the way in which it has been said transmits a lot of the speaker's character (e.g. nature, generation, behaviour, education, attitudes etc.). It is important to notice, that these six functions of my speech quotation apparatus do not exlude one another. It means that every speech quotation basically includes all of the functions discussed above. However, in practice one or more of them have a principal role, while the others play a subsidiary role. HOW TO MAKE QUOTATIONS? It is not suprising that the field of journalism (textbooks, literature and interviews) holds heterogeneous and unestablished thoughts on how the spoken language should be arranged in written quotations, which is my minor research question. However, the most frequent and distinctive aspects can be depicted in a couple of words: serve the reader and respect the target person. Very common advice on how to arrange the quotations is − firstly, to delete such vernacular cues (e.g. repetitions and ”expletives”) that are common in spoken communication, but purposeless in the written language. − secondly, to complete the phonetic word forms of the spoken language into a more reader-friendly form (esim. punanen → punainen, 'red'), and − thirdly, to enhance the independence of clauses from the (authentic) context and to toughen reciprocal links between them. According to the knowledge of the journalistic field, utterances recorded in different points in time of an interview or a data-collecting session can be transferred as consecutive quotations or even merged together. However, if there is any temporal-spatial location written in the story, the dialogue of the story characters should also be situated in an authentic context – chronologically in the right place in the continuum of the events. To summarize, the way in which the utterances should be arranged into written speech quotations is always situationally-specific − and it is strongly based on the author's discretion.

High resolution genetic and physical mapping of the I-3 region of tomato chromosome 7 reveals almost continuous microsynteny with grape chromosome 12 but interspersed microsynteny with duplications on Arabidopsis chromosomes 1, 2 and 3

The tomato I-3 gene introgressed from the Lycopersicon pennellii accession LA716 confers resistance to race 3 of the fusarium wilt pathogen Fusarium oxysporum f. sp. lycopersici. We have improved the high-resolution map of the I-3 region of tomato chromosome 7 with the development and mapping of 31 new PCR-based markers. Recombinants recovered from L. esculentum cv. M82 × IL7-2 F2 and (IL7-2 × IL7-4) × M82 TC1F2 mapping populations, together with recombinants recovered from a previous M82 × IL7-3 F2 mapping population, were used to position these markers. A significantly higher recombination frequency was observed in the (IL7-2 × IL7-4) × M82 TC1F2 mapping population based on a reconstituted L. pennellii chromosome 7 compared to the other two mapping populations based on smaller segments of L. pennellii chromosome 7. A BAC contig consisting of L. esculentum cv. Heinz 1706 BACs covering the I-3 region has also been established. The new high-resolution map places the I-3 gene within a 0.38 cM interval between the molecular markers RGA332 and bP23/gPT with an estimated physical size of 50-60 kb. The I-3 region was found to display almost continuous microsynteny with grape chromosome 12 but interspersed microsynteny with Arabidopsis thaliana chromosomes 1, 2 and 3. An S-receptor-like kinase gene family present in the I-3 region of tomato chromosome 7 was found to be present in the microsyntenous region of grape chromosome 12 but was absent altogether from the A. thaliana genome.

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 computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

An On-Line Algorithm for the Location of Cross Point Faults in Programmable Logic Arrays

An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the valgorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.

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.

Foldable compatibility matrix for the folding of programmable logic arrays

This paper describes a switching theoretic algorithm for the folding of programmable logic arrays (PLA). The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are mapped into a square matrix, called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept introduced by the author, is then derived from the compatibility matrix. A new theorem called the folding theorem is then proved. The theorem states that the existence of an m by 2m FCM is both necessary and sufficient to fold 2m columns of the n column PLA (2m ≤ n). Once an FCM is obtained, the ordered pairs of foldable columns and the re-ordering of the rows are readily determined.

Preventive orientation and caries management by Iranian dentists

Ehkäisypainotteisuus karieksen hoidossa: iranilaishammaslääkärien hoitovalinnat Karies aiheuttaa hampaiden kovan pinnan ja hammasluun syöpymistä, joka lopulta näkyy ”reikänä”. Iästä riippumatta kariesvaara vaanii kaikkia hampaiden omistajia, vauvasta vaariin, ja lähes kaikilla aikuisilla on suussaan merkkejä karieksesta. Karies etenee yleensä hitaasti ja antaa siten aikaa ehkäisevälle hoidolle. Tämä etsikkoaika jää usein käyttämättä, ja karieksen hoito painottuu reikien paikkaamiseen. Karies voitaisiin pitää kurissa sen ehkäisyyn kehitetyillä monipuolisilla keinoilla. Hammaslääkärit ovat avainasemassa, sillä he tekevät kauaskantoisia valintoja — hoidetaanko kariesta paikkaamalla vai valitaanko ehkäisevä hoito? Valintojen taustalla ovat hammaslääkärin tietotaso, asenteet ja omat terveystavat sekä potilaiden ja vastaanoton aiheuttamiksi koetut esteet. Tämä kyselytutkimus selvitti karieksen hoitovalintoja ja niiden taustoja Iranissa. Kysymyslomakkeet jaettiin kahdessa hammaslääkärien kongressissa Teheranissa (2004─2005) ja palautettiin nimettöminä. Kysely kartoitti hammaslääkärien tietoja karieksen ehkäisykeinoista ja asenteita ehkäisyä kohtaan sekä koettuja esteitä sen toteuttamisessa. Hoitovalintoja selvitettiin tarkasti kuvattujen esimerkkipotilaiden avulla. Kysely kartoitti myös hammaslääkärien omat terveystavat: suun omahoidon, tupakoinnin ja hammaslääkärissä käynnin. Aineisto käsitti 980 iältään keskimäärin 37-vuotiasta hammaslääkäriä, joista 64 % oli miehiä. Iranilaishammaslääkärien tiedot karieksen ehkäisystä olivat fluorihammastahnan merkitystä lukuun ottamatta hyvät ja heidän asenteensa ehkäisyä kohtaan valtaosin myönteiset. Tästä huolimatta 77 % heistä olisi valinnut suuren kariesvaaran potilaalle hammaskiilteessä olevan reiän hoidoksi paikkauksen. Ehkäisyhoidoksi tarjotuista 8:sta keinosta lähes kaikki hammaslääkärit valitsivat suuren kariesvaaran potilaalle hoidoksi harjausopetuksen ja säännölliset hammastarkastukset, noin 80 % valitsi hampaiden puhdistamisen vastaanotolla ja ravintoneuvonnan, 70 % ohjeet fluorihuuhteluista kotona ja 53 % vastaanotolla tehtävän fluorikäsittelyn. Potilaiden vastustavat mielipiteet arvioitiin suurimmaksi esteeksi ehkäisevän hoidon toteuttamiselle. Hammaslääkäreistä 59 % ilmoitti harjaavansa hampaansa kahdesti päivässä; 76 % ei tupakoinut ja 56 % kertoi aina ehdottavansa tupakoivalle potilaalle tupakoinnin lopettamista. Hammaslääkärien ehkäisypainotteisuus karieshoidossa oli naisilla vahvempi kuin miehillä. Tulosten perusteella voi päätellä, että Iranissa tulisi nykyistä selvemmin suosia ehkäisevää linjaa karieksen hoitovalintoja tehtäessä ja hammaslääkäreitä koulutettaessa. Potilastyössä koettujen ehkäisyhoidon esteiden syvällisempi ymmärtäminen edesauttaisi niiden poistamisessa.

Comparative effects of thermal and high pressure processing on phenolic phytochemicals in different strawberry cultivars

Abstract It is widely considered that high pressure processing (HPP) results in better retention of micronutrients and phytochemicals compared to thermal pasteurization (TP), although some studies indicate that this may not be true in all cases. The aims of this study were (1) to objectively compare the effects of HPP under commercial processing conditions with thermal pasteurization (TP) on the stability of phenolic antioxidants in strawberries following processing and during storage and (2) to evaluate the influence of varietal differences and hence differences in biochemical composition of strawberries on the stability of phenolic antioxidants. Strawberry puree samples from cultivars Camarosa, Rubygem, and Festival were subjected to HPP (600 MPa/20 °C/5 min) and TP (88 °C/2 min). The activities of oxidative enzymes were evaluated before and after processing. Furthermore, the antioxidant capacity (total phenolic content (TPC), oxygen radical absorbance capacity (ORAC), and ferric reducing antioxidant power (FRAP)) and individual anthocyanins (by HPLC) were determined prior to and following processing and after three months of refrigerated storage (4 °C). Depending on the cultivar, HPP caused 15–38% and 20–33% inactivation of polyphenol oxidase and peroxidase, respectively, compared to almost complete inactivation of these enzymes by TP. Significant decreases (p < 0.05) in ORAC, FRAP, TPC and anthocyanin contents were observed during processing and storage of both HPP and TP samples. Anthocyanins were the most affected with only 19–25% retention after three months of refrigerated storage (4 °C). Slightly higher (p < 0.05) loss of TPC and antioxidant capacity were observed during storage of HPP samples compared to TP. Industrial Relevance: The results of the study demonstrated that both high pressure processing and thermal pasteurization result in high retention of phenolic phytochemicals in strawberry products. Under the conditions investigated, high pressure processing did not result in a better retention of phenolic phytochemicals compared to thermal pasteurization. In fact, a slightly higher loss of total polyphenol content and antioxidant capacity were observed during refrigerated storage of HPP processed samples. Our results showed that, high pressure processing may not always be a better alternative to thermal processing for strawberry puree processing if the main objective is better retention of phenolic antioxidants. However, it should be noted that other quality attributes such as sensory properties, where distinct advantages of HPP are expected, were outside the scope of this study.

The third logic: Adolf Hitler and abductive logic. A thesis in history of consciousness.

Ph.D. Thesis