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.

The story of … the top hat

Throughout the 19th century, the top hat was a mainstay of Victorian life: a man in a topper was well-to-do, respectable, a man of industry. But now the top hat is only a caricature of the upper class privilege it once represented. Its history traces a line through dandies, beavers, silk, and madness...

Vikuroivia vilkaisuja : Ruumis, sukupuoli, seksuaalisuus ja visuaalisen kulttuurin tutkimus

The PhD dissertation "Bucking Glances: On Body, Gender, Sexuality and Visual Culture Research" consists of theoretical introduction and five articles published between 2002-2005. The articles analyze the position of visual representations in the processes of knowledge production on acceptable genders, bodies, and sexualities in contemporary Wes¬tern societies. The research material is heterogeneous, consisting of representations of contemporary art, advertisements, and fashion images. The ideological starting point of the PhD dissertation is the politics of the gaze and the methods used to expose this are the concepts of oppositional gaze, close reading, and resisting reading. The study situates visual representations in dialogue with the concepts of the grotesque and androgyny, as well as with queer-theory and theories of the gaze. The research challenges normative meanings of visual representations and opens up space for more non-conventional readings attached to femininity and masculinity. The visual material is read as troubling the prevailing heteronormative gender system. The dissertation also indicates how visual culture research utilizing the approach of queer theory can be fruitful in opposing and re-visioning changes in the repressive gender system. The article "A Heroic Male and A Beautiful Woman. Teemu Mäki, Orlan and the Ambivalence of the Grotesque Body" problematizes the concept of heroic masculinity through the analysis of the Finnish artist Teemu Mäki's masochistic performance The Good Friday (1989). It also analyzes cosmetic surgery, undertaken by the French artist Orlan, as a cultural tool in constructing and visualizing the contemporary, com¬mercial ideals of female beauty. The article "Boys Will Be Girls Will Be Boys Will Be Girls. The Ambivalence of Androgyny in Calvin Klein' Advertisements" is a close reading of the Calvin Klein perfume advertisement One (1998) in reference to the concept of androgyny. The critical point of the article is that androgynous male bodies allow the extension of the categorical boundaries of masculinity and homosexuality, whereas representations of androgynous women feed into the prevailing stereotypes of femininity, namely the fear of fat. The article "See-through Closet: Female Androgyny in the 1990s Fashion Images, New Woman and Lesbian Chic" analyzes the late 1990s fashion advertisements through the concept of female androgyny. The article argues that the figures of the masculine female androgynes in the late 1990s fashion magazines do not problematize the dichotomous gender binary. The women do not pass as men but produce a variation of heterosexual desirability. At the same time, the representations open up space for lesbian gazing and desiring. The article "Why are there no lesbian advertisements?" addresses the issue of femme gaze and desire in relation to heterosexual fashion advertisements from the British edition of the mainstream fashion magazine Vogue. The article considers possibilities for resistant femme visibility, identification, and desire. The article "Woman, Food, Home. Pirjetta Brander's and Heidi Romo's Works as Bucking Representations of Femininity" analyses the production and queering of heteronormative femininity and family through the analysis of art works. The article discusses how the term queer has been translated into Finnish. The article also introduces a new translation for the term queer: the noun vikuuri, i.e. faulty form and the verb vikuroida, i.e. to buck. In Finnish, the term vikuuri is the vernacular or broken form of the term figure, i.e. figuuri. Vikuuri represents all forms situated outside the norm and the normative.

Governance and regional variation of homicide rates: Evidence from cross-national data

Criminological theories of cross-national studies of homicide have underestimated the effects of quality governance of liberal democracy and region. Data sets from several sources are combined and a comprehensive model of homicide is proposed. Results of the spatial regression model, which controls for the effect of spatial autocorrelation, show that quality governance, human development, economic inequality, and ethnic heterogeneity are statistically significant in predicting homicide. In addition, regions of Latin America and non-Muslim Sub-Saharan Africa have significantly higher rates of homicides ceteris paribus while the effects of East Asian countries and Islamic societies are not statistically significant. These findings are consistent with the expectation of the new modernization and regional theories.

Laminar flow of a suspension in a curved pipe with varying curvature

The laminar flow of a fairly concentrated suspension (in which the volume fraction Z of the solid particles < 0.4) in a spatially varying periodically curved pipe has been examined numerically. Unlike the case of interacting suspension flows, the particles are found to flow in a well-mixed fashion, altering both the axial and circumferential velocities and consequently the fluid flux in the tube, depending on their diffusivity and inertia. The magnitude of shear stress at the wall is enhanced, suggesting that, if applied to vascular system, the vascular wall could be prone to ulceration during pathological situations like polycythemia. The delay in adaptation of the deviation in Poiseuille flow velocity to the curvature changes is also discussed in detail.

Rauta ja Ristilukki : Vilho Helasen salapoliisiromaanisarja

Vilho Helanen (1899 1952) was a right-wing opinion leader in interwar Finland. But following the Second World War, the political situation in the country changed dramatically, and Helanen lost his job as well as his influential social station. He began to write detective fiction, and between 1946 and 1952 published seven novels (one had already been published in 1941). The novels protagonist is Kaarlo Rauta, a lawyer who acts as a private investigator. This doctoral dissertation analyzes the Rauta series from three different points of view. It investigates the extent to which the author s life and his strong political background appears in the series. The study also situates the series within Finnish society during and after the war. Finally, the study examines the Rauta series in terms of the genre conventions of detective fiction, that is, the study compares the Rauta series with other Finnish crime fiction and international crime fiction written during the 1940s. The Iron and The Cross Spider uses the term citizenship education when analyzing how Helanen implicitly continued his political teaching when writing crime fiction. The series includes a didactic register, which instructs the middle class in appropriate behaviour and manners, and the social roles entailed by gender. A special area of focus in this didacticism are norms of correct masculinity and femininity. The study devotes specific attention to the status of character in the series. The masculine detective and his beautiful wife are prominent, as is the fictive community and the tensions that criss-cross it. After the war, the Rauta series takes on a positive tone. Men can earn their place in society by fighting at the front, and after the war a homosocial bond exists between all the former soldiers. Women are shut out of the war experience. The detective hero has served in the war, but he is physically and psychologically untouched by it. The community is threatened by artists and immoral bohemians, but not the working class. Artists have affairs outside of marriage and abnormal sexual habits. The members of the upper class are also described as immoral in the series. Sadistic sexuality is often characteristic of the criminals, who are mostly femme fatales in the fashion of hard-boiled detective stories and film noir. Also, strong feelings have a negative connotation in the series, and showing them is forbidden behaviour. Men become criminals when they are insufficiently masculine or when they have not carried out their duty by fighting in the war. Helanen portrayed the communists, his political opponents from the 1930s, as criminals in his post-war series, but they were not openly represented as Russians or communists. Instead, Helanen used the cross spider as their symbol, a symbol which the readers of the time would recognize.

Laughing with the lecturer: The use of humour in shaping university teaching

This paper addresses the ways in which humour is used by university academics to shape teaching personas. Based upon the work of Mauss and Foucault, and employing semi-structured, in-depth interviews with a range of university teachers, this research suggests that most tertiary teachers deliberately fashion various kinds of teaching persona, which they then perform in lectures and tutorials. The use of humour is widely seen as an important component within this form of self-shaping, as it fits within dominant frameworks of expectation regarding contemporary models of “edutainment”. This research demonstrates that a wide range of practices of the self—including physical, verbal, and relational elements—are employed by academics as part of shaping various humorous teaching personas. Some boundaries exist limiting the use of these pedagogic characters; for example, arguments about natural ability with humour prefigure who is most likely to deploy humour as a practice of professional self-formation. Also, professional concerns regarding seniority and job security are also factored into decision-making regarding those humorous personas likely to be considered appropriate within particular tertiary teaching contexts.

Nonlinear analysis for the pre- and post-yield behaviour of a composite structure with the refined plastic hinge approach

The computational technique of the full ranges of the second-order inelastic behaviour evaluation of steel-concrete composite structure is not always sought forgivingly, and therefore it hinders the development and application of the performance-based design approach for the composite structure. To this end, this paper addresses of the advanced computational technique of the higher-order element with the refined plastic hinges to capture the all-ranges behaviour of an entire steel-concrete composite structure. Moreover, this paper presents the efficient and economical cross-section analysis to evaluate the element section capacity of the non-uniform and arbitrary composite section subjected to the axial and bending interaction. Based on the same single algorithm, it can accurately and effectively evaluate nearly continuous interaction capacity curve from decompression to pure bending technically, which is the important capacity range but highly nonlinear. Hence, this cross-section analysis provides the simple but unique algorithm for the design approach. In summary, the present nonlinear computational technique can simulate both material and geometric nonlinearities of the composite structure in the accurate, efficient and reliable fashion, including partial shear connection and gradual yielding at pre-yield stage, plasticity and strain-hardening effect due to axial and bending interaction at post-yield stage, loading redistribution, second-order P-δ and P-Δ effect, and also the stiffness and strength deterioration. And because of its reliable and accurate behavioural evaluation, the present technique can be extended for the design of the high-strength composite structure and potentially for the fibre-reinforced concrete structure.

Frequency and precision of aerial surveys for kangaroo management

The appropriate frequency and precision for surveys of wildlife populations represent a trade-off between survey cost and the risk of making suboptimal management decisions because of poor survey data. The commercial harvest of kangaroos is primarily regulated through annual quotas set as proportions of absolute estimates of population size. Stochastic models were used to explore the effects of varying precision, survey frequency and harvest rate on the risk of quasiextinction for an arid-zone and a more mesic-zone kangaroo population. Quasiextinction probability increases in a sigmoidal fashion as survey frequency is reduced. The risk is greater in more arid regions and is highly sensitive to harvest rate. An appropriate management regime involves regular surveys in the major harvest areas where harvest rate can be set close to the maximum sustained yield. Outside these areas, survey frequency can be reduced in relatively mesic areas and reduced in arid regions when combined with lowered harvest rates. Relative to other factors, quasiextinction risk is only affected by survey precision (standard error/mean × 100) when it is >50%, partly reflecting the safety of the strategy of harvesting a proportion of a population estimate.

Side Chain Structure Determines Unique Physiologic and Therapeutic Properties of norUrsodeoxycholic Acid in Mdr2(-/-) Mice

24-norursodeoxycholic acid (norUDCA), a side chain-modified ursodeoxycholic acid derivative, has dramatic therapeutic effects in experimental cholestasis and may be a promising agent for the treatment of cholestatic liver diseases. We aimed to better understand the physiologic and therapeutic properties of norUDCA and to test if they are related to its side chain length and/or relative resistance to amidation. For this purpose, Mdr2-/- mice, a model for sclerosing cholangitis, received either a standard diet or a norUDCA-, tauro norursodeoxycholic acid (tauro- norUDCA)-, or di norursodeoxycholic acid (di norUDCA)-enriched diet. Bile composition, serum biochemistry, liver histology, fibrosis, and expression of key detoxification and transport systems were investigated. Direct choleretic effects were addressed in isolated bile duct units. The role of Cftr for norUDCA-induced choleresis was explored in Cftr-/- mice. norUDCA had pharmacologic features that were not shared by its derivatives, including the increase in hepatic and serum bile acid levels and a strong stimulation of biliary HCO3- -output. norUDCA directly stimulated fluid secretion in isolated bile duct units in a HCO3- -dependent fashion to a higher extent than the other bile acids. Notably, the norUDCA significantly stimulated HCO 3- -output also in Cftr-/- mice. In Mdr2-/- mice, cholangitis and fibrosis strongly improved with norUDCA, remained unchanged with tauro- norUDCA, and worsened with di norUDCA. Expression of Mrp4, Cyp2b10, and Sult2a1 was increased by norUDCA and di norUDCA, but was unaffected by tauro- norUDCA. Conclusion:The relative resistance of norUDCA to amidation may explain its unique physiologic and pharmacologic properties. These include the ability to undergo cholehepatic shunting and to directly stimulate cholangiocyte secretion, both resulting in a HCO3- -rich hypercholeresis that protects the liver from cholestatic injury.

'The ones with the beastly lives': Gender and textuality in Jean Rhys's Voyage in the Dark

Anna Morgan, the central character of Jean Rhys's Voyage in the Dark, has previously been read as a victim of her own inability to fashion some form of life for herself.1 It is possible, however, to suggest an alternative to such character-based readings and instead examine the systems of oppression which work to ensure that Anna remains an excluded, marginalized subject. Rather than personal failings, it is Anna's gender and colonial status which prevent her from participating fully in the dominant social and economic order of Voyage in the Dark. Anna is textually constrained on three levels, which may be defined as economic, colonialist, and narrative. Imbricated within these is the question of gender, which functions to place Anna in a position of double-exclusion within the text. These forms of exclusion function at the levels of discourse and narrative; I would argue that Anna's position is not, therefore, a product of realist character 'flaws' but rather that her discursive placement within the novel offers insight into the ways in which colonialism and sexism function in terms of textuality.

Under the skin: Wearable technology futures

Artist statement – Artisan Gallery I have a confession to make… I don’t wear a FitBit, I don’t want an Apple Watch and I don’t like bling LED’s. But, what excites me is a future where ‘wearables’ are discreet, seamless and potentially one with our body. Burgeoning E-textiles research will provide the ability to inconspicuously communicate, measure and enhance human health and well-being. Alongside this, next generation wearables arguably will not be worn on the body, but rather within the body…under the skin. ‘Under the Skin’ is a polemic piece provoking debate on the future of wearables – a place where they are not overt, not auxiliary and perhaps not apparent. Indeed, a future where wearables are under the skin or one with our apparel. And, as underwear closets the skin and is the most intimate and cloaked apparel item we wear, this work unashamedly teases dialogue to explore how wearables can transcend from the overt to the unseen. Context Wearable Technology, also referred to as wearable computing or ‘wearables’, is an embryonic field that has the potential to unsettle conventional notions as to how technology can interact, enhance and augment the human body. Wearable technology is the next-generation for ubiquitous consumer electronics and ‘Wearables’ are, in essence, miniature electronic devices that are worn by a person, under clothing, embedded within clothing/textiles, on top of clothing, or as stand-alone accessories/devices. This wearables market is predicted to grow somewhere between $30-$50 billion in the next 5 years (Credit Suisse, 2013). The global ‘wearables’ market, which is emergent in phase, has forecasted predictions for vast consumer revenue with the potential to become a significant cross-disciplinary disruptive space for designers and entrepreneurs. For Fashion, the field of wearables is arguably at the intersection of the second and third generation for design innovation: the first phase being purely decorative with aspects such as LED lighting; the second phase consisting of an array of wearable devices, such as smart watches, to communicate areas such as health and fitness, the third phase involving smart electronics that are woven into the textile to perform a vast range of functions such as body cooling, fabric colour change or garment silhouette change; and the fourth phase where wearable devices are surgically implanted under the skin to augment, transform and enhance the human body. Whilst it is acknowledged the wearable phases are neither clear-cut nor discreet in progression and design innovation can still be achieved with first generation decorative approaches, the later generation of technology that is less overt and at times ‘under the skin’ provides a uniquely rich point for design innovation where the body and technology intersect as one. With this context in mind, the wearable provocation piece ‘Under the Skin’ provides a unique opportunity for the audience to question and challenge conventional notions that wearables need to be a: manifest in nature, b: worn on or next to the body, and c: purely functional. The piece ‘Under the Skin’ is informed by advances in the market place for wearable innovation, such as: the Australian based wearable design firm Catapult with their discreet textile biometric sports tracking innovation, French based Spinali Design with their UV app based textile senor to provide sunburn alerts, as well as opportunities for design technology innovation through UNICEF’s ‘Wearables for Good’ design challenge to improve the quality of life in disadvantaged communities. Exhibition As part of Artisan’s Wearnext exhibition, the work was on public display from 25 July to 7 November 2015 and received the following media coverage: WEARNEXT ONLINE LISTINGS AND MEDIA COVERAGE: http://indulgemagazine.net/wear-next/ http://www.weekendnotes.com/wear-next-exhibition-gallery-artisan/ http://concreteplayground.com/brisbane/event/wear-next_/ http://www.nationalcraftinitiative.com.au/news_and_events/event/48/wear-next http://bneart.com/whats-on/wear-next_/ http://creativelysould.tumblr.com/post/124899079611/creative-weekend-art-edition http://www.abc.net.au/radionational/programs/breakfast/smartly-dressed-the-future-of-wearable-technology/6744374 http://couriermail.newspaperdirect.com/epaper/viewer.aspx RADIO COVERAGE http://www.abc.net.au/radionational/programs/breakfast/wear-next-exhibition-whats-next-for-wearable-technology/6745986 TELEVISION COVERAGE http://www.abc.net.au/radionational/programs/breakfast/wear-next-exhibition-whats-next-for-wearable-technology/6745986 https://au.news.yahoo.com/video/watch/29439742/how-you-could-soon-be-wearing-smart-clothes/#page1

The Eligibility Definition Used in the Social Security Administration’s Disability Programs Needs to be Changed

In its October 2003 report on the definition of disability used by the Social Security Administration’s (SSA’s) disability programs [i.e., Social Security Disability Insurance (SSDI) and Supplemental Security Income (SSI) for people with disabilities], the Social Security Advisory Board raises the issue of whether this definition is at odds with the concept of disability embodied in the Americans with Disabilities Act (ADA) and, more importantly, with the aspirations of people with disabilities to be full participants in mainstream social activities and lead fulfilling, productive lives. The Board declares that “the Nation must face up to the contradictions created by the existing definition of disability.” I wholeheartedly agree. Further, I have concluded that we have to make fundamental, conceptual changes to both how we define eligibility for economic security benefits, and how we provide those benefits, if we are ever to fulfill the promise of the ADA. To convince you of that proposition, I will begin by relating a number of facts that paint a very bleak picture – a picture of deterioration in the economic security of the population that the disability programs are intended to serve; a picture of programs that purport to provide economic security, but are themselves financially insecure and subject to cycles of expansion and cuts that undermine their purpose; a picture of programs that are facing their biggest expenditure crisis ever; and a picture of an eligibility determination process that is inefficient and inequitable -- one that rations benefits by imposing high application costs on applicants in an arbitrary fashion. I will then argue that the fundamental reason for this bleak picture is the conceptual definition of eligibility that these programs use – one rooted in a disability paradigm that social scientists, people with disabilities, and, to a substantial extent, the public have rejected as being flawed, most emphatically through the passage of the ADA. Current law requires eligibility rules to be based on the premise that disability is medically determinable. That’s wrong because, as the ADA recognizes, a person’s environment matters. I will further argue that programs relying on this eligibility definition must inevitably: reward people if they do not try to help themselves, but not if they do; push the people they serve out of society’s mainstream, fostering a culture of isolation and dependency; relegate many to a lifetime of poverty; and undermine their promise of economic security because of the periodic “reforms” that are necessary to maintain taxpayer support. I conclude by pointing out that to change the conceptual definition for program eligibility, we also must change our whole approach to providing for the economic security of people with disabilities. We need to replace our current “caretaker” approach with one that emphasizes helping people with disabilities help themselves. I will briefly describe features that such a program might require, and point out the most significant challenges we would face in making the transition.

Constructing skilled images

When experts construct mental images, they do not rely only on perceptual features; they also access domain-specific knowledge and skills in long-term memory, which enables them to exceed the capacity limitations of the short-term working memory system. The central question of the present dissertation was whether the facilitating effect of long-term memory knowledge on working memory imagery tasks is primarily based on perceptual chunking or whether it relies on higher-level conceptual knowledge. Three domains of expertise were studied: chess, music, and taxi driving. The effects of skill level, stimulus surface features, and the stimulus structure on incremental construction of mental images were investigated. A method was developed to capture the chunking mechanisms that experts use in constructing images: chess pieces, street names, and visual notes were presented in a piecemeal fashion for later recall. Over 150 experts and non-experts participated in a total of 13 experiments, as reported in five publications. The results showed skill effects in all of the studied domains when experts performed memory and problem solving tasks that required mental imagery. Furthermore, only experts' construction of mental images benefited from meaningful stimuli. Manipulation of the stimulus surface features, such as replacing chess pieces with dots, did not significantly affect experts' performance in the imagery tasks. In contrast, the structure of the stimuli had a significant effect on experts' performance in every task domain. For example, taxi drivers recalled more street names from lists that formed a spatially continuous route than from alphabetically organised lists. The results suggest that the mechanisms of conceptual chunking rather than automatic perceptual pattern matching underlie expert performance, even though the tasks of the present studies required perception-like mental representations. The results show that experts are able to construct skilled images that surpass working memory capacity, and that their images are conceptually organised and interpreted rather than merely depictive.

X-ray studies on crystalline complexes involving amino acids and peptides. Part XIV: Closed conformation and head-to-tail arrangement in a new crystal form of L-histidine L-aspartate monohydrate

A new form of L-histidine L-aspartate monohydrate crystallizes in space group P22 witha = 5.131(1),b = 6.881(1),c= 18.277(2) Å,β= 97.26(1)° and Z = 2. The structure has been solved by the direct methods and refined to anR value of 0.044 for 1377 observed reflections. Both the amino acid molecules in the complex assume the energetically least favourable allowed conformation with the side chains staggered between the α-amino and α-scarboxylate groups. This results in characteristic distortions in some bond angles. The unlike molecules aggregate into alternating double layers with water molecules sandwiched between the two layers in the aspartate double layer. The molecules in each layer are arranged in a head-to-tail fashion. The aggregation pattern in the complex is fundamentally similar to that in other binary complexes involving commonly occurring L amino acids, although the molecules aggregate into single layers in them. The distribution of crystallographic (and local) symmetry elements in the old form of the complex is very different from that in the new form. So is the conformation of half the histidine molecules. Yet, the basic features of molecular aggregation, particularly the nature and the orientation of head-to-tail sequences, remain the same in both the forms. This supports the thesis that the characteristic aggregation patterns observed in crystal structures represent an intrinsic property of amino acid aggregation.