Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Historiebruk kring Nådendal : och den kommemorativa anatomin av klostrets minnesplats

This thesis examines the ruins of the medieval Bridgettine (Birgittan) monastery of Naantali (Vallis Gratiae, f. 1443) in Finland and the transformation of the site into a national heritage and a memory landscape. It was archaeologically surveyed in the 19th century by Professor Sven Gabriel Elmgren (1817 1897). His work was followed by Dr. Reinhold Hausen (1850 1942), who excavated the site in the 1870s. During this time the memories of Saint Bridget (Birgitta) in Sweden were also invented as heritage. Hausen published his results in 1922 thus forming the connection with the next generation of actors involved with the Naantali site: the magnate Amos Anderson (1878 1961), the teacher Julius Finnberg (1877 1955) and the archaeologist Juhani Rinne (1872 1950). They erected commemorative monuments etc. on the Naantali site, thus creating a memory landscape there. For them, the site represented the good homeland in connection with a western-oriented view of the history of Finland. The network of actors was connected to the Swedish researchers and so-called Birgitta Friends, such as state antiquarian Sigurd Curman (1879 1966), but also to the members of the Societas Sanctae Birgittae and the Society for the Embellishment of Pirita, among others. Historical jubilees as manifestations of the use of history were also arranged in Naantali in 1943, 1993 and 2003. It seems as if Naantali is needed in Finnish history from time to time after a period of crisis, i.e. after the Crimean War in the 1850s, the civil war of 1918, during World War II and also after the economic crisis of the early 1990s. In 2003, there was a stronger focus on the international Saint Bridget Jubilee in Sweden and all over Europe. Methodologically, the thesis belongs to the history of ideas, but also to research on the use of history, invented traditions and lieux de mémoire. The material for the work consists of public articles and scholarly texts in books or newspapers and letters produced by the actors and kept in archives in Finland, Sweden and Estonia, in addition to pictures and erected commemorative monuments in situ in the Western Finnish region. Keywords: Nådendal, Naantali monastery, Bridgettines, St. Bridget, use of history, lieux de mémoire, invented traditions, commemorative anatomy, memory landscape, Saint Bridget jubilees , S. G. Elmgren, R. Hausen, A. Anderson, J. Finnberg, J. Rinne, S. Curman, High Church Movement, Pirita, Vadstena.

Talousmetafysiikan kritiikkiä

Jakke Holvas: A Critique of the Metaphysics of Economy The research problem of this dissertation is the commonly held opinion according to which everything has become a question of economy in the present day. Economy legitimates and justifies. In this study, the pattern of thinking and conceptualizing in which economy figures as the ultimate reason is called the metaphysics of economy. The defining characteristic of the metaphysics of economy is its failure to recognize non-economic rules, ethics, or ways of existence. The sources included in the study cover certain classics of philosophy (Plato, Aristotle, Friedrich Nietzsche) and sociology (Karl Marx, Max Weber, Marcel Mauss), as well as the more recent French social theory (Jean Baudrillard, Michel Foucault). The research methods used are textual analysis and evaluation of concepts by means of historical comparison. The background to the study is given by the views of historians and sociologists according to whom traditional forms have ceased to exist and the market economy become established as the western system of values. The study identifies points of transition from the traditional forms to economic values. In addition, the dissertation focuses on the modern non-economic forms. The study examines the economic and ethical meanings of gift in antiquity in Homer, Plato, and Aristotle. Following Marcel Mauss, the study analyzes the forms and principles of gift exchange. The study also applies Nietzsche’s philosophy to evaluate under what conditions giving a gift becomes an act of exercising power that puts its receiver into debt. The conclusion of the study is that the classics of philosophy and sociology can rightly be interpreted in terms of the metaphysics of economy, but they also offer grounds for criticizing this metaphysics, even alternatives. One such alternative is non-economic archaic ethic. The study delineates a duality between economy and non-economy as well as creating concepts which could be used in the future to critically analyze economy from a position external to the economic system of concepts.

Double-Edged Imitation : Theories and Practices of Pastiche in Literature

This study concentrates on the contested concept of pastiche in literary studies. It offers the first detailed examination of the history of the concept from its origins in the seventeenth century to the present, showing how pastiche emerged as a critical concept in interaction with the emerging conception of authorial originality and the copyright laws protecting it. One of the key results of this investigation is the contextualisation of the postmodern debate on pastiche. Even though postmodern critics often emphasise the radical novelty of pastiche, they in fact resuscitate older positions and arguments without necessarily reflecting on their historical conditions. This historical background is then used to analyse the distinction between the primarily French conception of pastiche as the imitation of style and the postmodern notion of it as the compilation of different elements. The latter s vagueness and inclusiveness detracts from its value as a critical concept. The study thus concentrates on the notion of stylistic pastiche, challenging the widespread prejudice that it is merely an indication of lack of talent. Because it is multiply based on repetition, pastiche is in fact a highly ambiguous or double-edged practice that calls into question the distinction between repetition and original, thereby undermining the received notion of individual unique authorship as a fundamental aesthetic value. Pastiche does not, however, constitute a radical upheaval of the basic assumptions on which the present institution of literature relies, since, in order to mark its difference, pastiche always refers to a source outside itself against which its difference is measured. Finally, the theoretical analysis of pastiche is applied to literary works. The pastiches written by Marcel Proust demonstrate how it can become an integral part of a writer s poetics: imitation of style is shown to provide Proust with a way of exploring the role of style as a connecting point between inner vision and reality. The pastiches of the Sherlock Holmes stories by Michael Dibdin, Nicholas Meyer and the duo Adrian Conan Doyle and John Dickson Carr illustrate the functions of pastiche within a genre detective fiction that is itself fundamentally repetitive. A.S. Byatt s Possession and D.M. Thomas s Charlotte use Victorian pastiches to investigate the conditions of literary creation in the age of postmodern suspicion of creativity and individuality. The study thus argues that the concept of pastiche has valuable insights to offer to literary criticism and theory, and that literary pastiches, though often dismissed in reviews and criticism, are a particularly interesting object of study precisely because of their characteristic ambiguity.

Ultrasonic attenuation in strongly disordered electronic systems

The attenuation of long-wavelength phonons due to their interaction with electronic excitations in disordered systems is investigated here. Lattice strain couples to electronic stress, and thus ultrasonic attenuation measures electronic viscosity. The enhancement and critical divergence of electronic viscosity due to localization effects is calculated for the first time. Experimental consequences for the anomalous increase of ultrasonic attenuation in disordered metals close to the metal-insulator transition are discussed. In the localized regime, the appropriate model is one of electronic two-level systems (TLS’s) coupled to phonons. The TLS consists of a pair of states with one localized state occupied and the other unoccupied. The density of such low-excitation-energy TLS’s is nonzero due to long-range Coulomb interactions. The question of whether these could be significant low-energy excitations in glasses is touched upon.

Complexes of Lanthanide Perchlorates with N-(2-Pyrimidyl)benzamide

New complexes of lanthanide perchlorates with N-(2-pyrimidyl)benzamide (BApymH) of the general formulae [Ln(BApymH)4](ClO4)3 (where Ln = La-Yb and Y) have been synthesised and characterised by chemical analysis, molar conductivity and physical methods such as infrared and electronic spectra in the visible region. Molar conductance and infrared data point to the ionic nature of the per-chlorate groups in the complexes. IR data unequivocally proves that the coordination of the ligand to the metal ion takes place in a bidentate fashion through the oxygen of the secondary amide and nitrogen of the pyrimidine ring. From a comparison of the visible electronic spectral shapes of the Nd3+ and Ho3+ complexes with those reported in the literature, an eight coordinate geometry around the metal ion has tentatively been assigned in all the complexes.

Albert Einstein; Princeton, New Jersey Portraits; Men

Digital Image

New genetic loci link adipose and insulin biology to body fat distribution

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10−8). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms.

Genetic studies of body mass index yield new insights for obesity biology

Obesity is heritable and predisposes to many diseases. To understand the genetic basis of obesity better, here we conduct a genome-wide association study and Metabochip meta-analysis of body mass index (BMI), a measure commonly used to define obesity and assess adiposity, in up to 339,224 individuals. This analysis identifies 97 BMI-associated loci (P < 5 × 10−8), 56 of which are novel. Five loci demonstrate clear evidence of several independent association signals, and many loci have significant effects on other metabolic phenotypes. The 97 loci account for ~2.7% of BMI variation, and genome-wide estimates suggest that common variation accounts for >20% of BMI variation. Pathway analyses provide strong support for a role of the central nervous system in obesity susceptibility and implicate new genes and pathways, including those related to synaptic function, glutamate signalling, insulin secretion/action, energy metabolism, lipid biology and adipogenesis.

Solutions for archiving data in long-term studies: A reply to Whitlock et al.

In our recent paper [1], we discussed some potential undesirable consequences of public data archiving (PDA) with specific reference to long-term studies and proposed solutions to manage these issues. We reaffirm our commitment to data sharing and collaboration, both of which have been common and fruitful practices supported for many decades by researchers involved in long-term studies. We acknowledge the potential benefits of PDA (e.g., [2]), but believe that several potential negative consequences for science have been underestimated [1] (see also 3 and 4). The objective of our recent paper [1] was to define practices to simultaneously maximize the benefits and minimize the potential unwanted consequences of PDA.

Albert Einstein; Princeton, New Jersey Portraits; Men

Digital Image

The conservation status of the world’s reptiles

Effective and targeted conservation action requires detailed information about species, their distribution, systematics and ecology as well as the distribution of threat processes which affect them. Knowledge of reptilian diversity remains surprisingly disparate, and innovative means of gaining rapid insight into the status of reptiles are needed in order to highlight urgent conservation cases and inform environmental policy with appropriate biodiversity information in a timely manner. We present the first ever global analysis of extinction risk in reptiles, based on a random representative sample of 1500 species (16% of all currently known species). To our knowledge, our results provide the first analysis of the global conservation status and distribution patterns of reptiles and the threats affecting them, highlighting conservation priorities and knowledge gaps which need to be addressed urgently to ensure the continued survival of the world’s reptiles. Nearly one in five reptilian species are threatened with extinction, with another one in five species classed as Data Deficient. The proportion of threatened reptile species is highest in freshwater environments, tropical regions and on oceanic islands, while data deficiency was highest in tropical areas, such as Central Africa and Southeast Asia, and among fossorial reptiles. Our results emphasise the need for research attention to be focussed on tropical areas which are experiencing the most dramatic rates of habitat loss, on fossorial reptiles for which there is a chronic lack of data, and on certain taxa such as snakes for which extinction risk may currently be underestimated due to lack of population information. Conservation actions specifically need to mitigate the effects of human-induced habitat loss and harvesting, which are the predominant threats to reptiles.

Inelastic Postbuckling of Columns of Variable Flexural Rigidity

Effects of large deformation and inelasticity are considered in formulating the behavior of columns of variable cross section subjected to an axial compressive load. Simple, approximate methods are used to obtain numerical results. The combined effect of the nonlinearities is shown to be of a hardening type for small column deflections

Medal of the 11th Hapoel Games

Obverse: Emblem of the games, inscription. Reverse: Figures of four athletes engaged in various sports.

Preparation, Characterisation and Thermal Properties of Hydrazinium Magnesium Sulfate

Hydrazinium magnesium sulfate, (N2H5)2Mg(SO4)2, has been prepared by dissolving magnesium powder in a solution of ammonium sulfate in hydrazine hydrate, by the reaction of ammonium magnesium sulfate with hydrazine hydrate, and by the cocrystallisation of dihydrazinium sulfate and magnesium sulfate. The product has been characterized by chemical analysis and infrared spectra. Thermal analysis of (N2H5)2Mg(SO4)2 by TG and DTA show exothermic decomposition at 302°C giving Mg(N2H4)SO4 as an intermediate and an endother-mic decomposition at 504°C producing MgSO4.